-
1
Service-Aware Interactive Presentation of Items for Decision-Making
Veröffentlicht in Applied sciences
VolltextArtikel -
2
On flexible dynamic trait replacement for Java-like languages
Veröffentlicht in Science of computer programming
VolltextArtikel -
3
Information Flow Safety in Multiparty Sessions
Veröffentlicht in Electronic proceedings in theoretical computer science
VolltextArtikel -
4
Typing access control and secure information flow in sessions
Veröffentlicht in Information and computation
VolltextArtikel -
5
Information flow safety in multiparty sessions
Veröffentlicht in Mathematical structures in computer science
VolltextArtikel -
6
Global escape in multiparty sessions
Veröffentlicht in Mathematical structures in computer science
VolltextArtikel -
7
Types for BioAmbients
Veröffentlicht in Electronic proceedings in theoretical computer science
VolltextArtikel -
8
-
9
-
10
-
11
-
12
-
13
Featherweight Java with dynamic and static overloading
Veröffentlicht in Science of computer programming
VolltextArtikel -
14
Amalgamating sessions and methods in object-oriented languages with generics
Veröffentlicht in Theoretical computer science
VolltextArtikel -
15
Deriving session and union types for objects
Veröffentlicht in Mathematical structures in computer science
VolltextArtikel -
16
-
17
Mental state attribution to educational robots: an experience with children in primary school
Veröffentlicht in arXiv.org
VolltextArtikel -
18
-
19
-
20