| |
| 2005 | ||
|---|---|---|
| 7 | EE | Gérard Boudol, Pascal Zimmer: On Type Inference in the Intersection Type Discipline. Electr. Notes Theor. Comput. Sci. 136: 23-42 (2005) |
| 2004 | ||
| 6 | EE | David Teller, Pascal Zimmer, Daniel Hirschkoff: Using ambients to control resources. Int. J. Inf. Sec. 2(3-4): 126-144 (2004) |
| 2003 | ||
| 5 | Pascal Zimmer: On The Expressiveness Of Pure Safe Ambients. Mathematical Structures in Computer Science 13(5): 721-770 (2003) | |
| 2002 | ||
| 4 | EE | David Teller, Pascal Zimmer, Daniel Hirschkoff: Using Ambients to Control Resources. CONCUR 2002: 288-303 |
| 3 | Gérard Boudol, Pascal Zimmer: Recursion in the call-by-value lambda-calculus. FICS 2002: 61-66 | |
| 2000 | ||
| 2 | EE | Pascal Zimmer: Subtyping and Typing Algorithms for Mobile Ambients. FoSSaCS 2000: 375-390 |
| 1 | EE | Pascal Zimmer: On the Expressiveness of Pure Mobile Ambients. Electr. Notes Theor. Comput. Sci. 39(1): (2000) |
| 1 | Gérard Boudol | [3] [7] |
| 2 | Daniel Hirschkoff | [4] [6] |
| 3 | David Teller | [4] [6] |