Search the dblp DataBase

Publications of Author

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