PhD Thesis:
- Récursion généralisée et inférence
de types avec intersection, Thèse de Doctorat en Informatique, Université de Nice - Sophia
Antipolis, avril 2004.
[ Abstract,
PostScript ,
.ps.gz,
PDF ]
Journal papers:
- David Teller, Pascal Zimmer and Daniel Hirschkoff,
Using Ambients to Control Resources,
International Journal of Information Security, volume 2, numbers 3-4
(2004), p. 126-144.
[ Abstract
, PDF ]
- Pascal Zimmer, On the Expressiveness of Pure Safe
Ambients, Mathematical Structures
in Computer Science, volume 13 issue 5, Cambridge University Press (2003), p. 721-770.
[ Abstract
, PDF ]
Conference papers:
- Gérard Boudol and Pascal Zimmer,
On type inference in the intersection type discipline,
ITRS'04,
Workshop on Intersection Types and Related Systems,
ICALP-LICS 2004, Turku, Finland, 2004.
Published in
Electronic Notes in Theoretical Computer Science, volume 136,
Elsevier (2005), p. 23-42.
[ Abstract ,
PDF ,
final PDF from ENTCS ,
slides ]
- David Teller, Pascal Zimmer and Daniel Hirschkoff,
Using Ambients to Control Resources, CONCUR 2002,
19th International Conference on Concurrency Theory, Brno, Czech Republic.
Published in LNCS 2421 (2002), p. 288-303.
A short abstract was also published in "Chambéry-Kraków-Lyon
Workshop on lambda calculus, type theory
and mathematical logic", Schedae Informaticae,
volume 12, Jagiellonian University Press (2003), p. 113-127.
[ Abstract
, PostScript , .ps.gz ]
- Gérard Boudol and Pascal Zimmer, Recursion in the Call-by-Value
Lambda-Calculus, FICS
2002, Fixed Points in Computer Science, workshop of LICS
2002, part of FLoC'02, Copenhagen, Denmark. Published in FICS preliminary
proceedings, BRICS Notes
Series NS-02-2 (2002).
[ Abstract
, PostScript , .ps.gz , slides
]
- Pascal Zimmer, On the Expressiveness of Pure Mobile
Ambients, EXPRESS'00, the 7th International Workshop on Expressiveness
in Concurrency, part of CONCUR 2000
, State College, USA. Published in
Electronic Notes in Theoretical Computer Science, volume 39 issue 1,
Elsevier (2003).
A preliminary version was also published in BRICS Notes Series NS-00-2
(2000).
[ Abstract
, PostScript , .ps.gz , slides 1 , slides 2 ]
- Pascal Zimmer, Subtyping and Typing Algorithms for
Mobile Ambients, FOSSACS'00, the Foundations of Software Science
and Computation Structures conference, part of ETAPS 2000
, Berlin, Germany. Published in LNCS
1784 (2000), p. 375-390.
[ Abstract
, PostScript , .ps.gz , slides ]
Research reports:
- David Teller, Pascal Zimmer and Daniel Hirschkoff,
Using Ambients to Control Resources, LIP Research Report N°2002-16,
ENS Lyon, France
(2002).
[ Abstract
, PostScript , .ps.gz ]
- Pascal Zimmer, On the Expressiveness of Pure Safe
Ambients, INRIA
Research Report RR-4350, France (2002).
[ Abstract
, PostScript , .ps.gz ]
Other:
- Pascal Zimmer, A Calculus for Context-Awareness,
draft.
[ draft ]
- Invited seminar: CAC, a Context-Aware Calculus,
MIMOSA, INRIA Sophia Antipolis, June 7th, 2005.
[ slides ]
- Local seminar: CAC, a Context-Aware Calculus,
BRICS, Aarhus, April 15th, 2005.
[ slides ]
- Invited seminar: CAC, a Context-Aware Calculus,
LIF, Marseille, March 31st, 2005.
[ slides (see above) ]
- Invited seminar: Generalised recursion in ML and mixins,
BRICS, Aalborg, November 24th, 2004.
[ slides ]
- Local seminar: On type inference in the intersection type discipline,
BRICS, Aarhus, October 1st, 2004.
[ slides ]
- Invited seminar: Generalised recursion, degrees and a mixin language,
BRICS, Aarhus, May 17th, 2004.
[ slides ]
- Invited seminar: Récursion généralisée et inférence de types
avec intersection, LAMA, Université de Savoie, May 13th, 2004.
[ slides ]
- Invited seminar: Generalised recursion and type inference for intersection
types, project Comete, INRIA Futurs, May 4th, 2004.
[ slides ]
- Pascal Zimmer, Book Review: "Process Algebra with Timing", written
by J.C.M.Baeten and C.A. Middelburg,
The Computer Journal,
Vol. 46, No. 4, 2003.
- Pascal Zimmer, Etude de l'expressivité des
ambients mobiles purs, internship report of the "DEA d'Informatique
Fondamentale",
ENS Lyon, France (2000) (french only).
[ Abstract
, PostScript ,
.ps.gz ]
- Pascal Zimmer, Subtyping and typing algorithms for
mobile ambients, internship report of the "Maîtrise d'Informatique",
ENS Lyon,
France (1999).
[ Abstract
, PostScript
, .ps.gz ]
- Pascal Zimmer, L'analyse d'alias: de l'interprétation
abstraite à l'analyse de flot, internship report of the
"Licence d'Informatique", ENS Lyon, France (1998).
[ PostScript
, .ps.gz
, Source code (.tar.gz)
]
Pascal Zimmer