 | 2007 |
|---|
| 10 |       | Gilles Barthe,
Pierre Crégut,
Benjamin Grégoire,
Thomas P. Jensen,
David Pichardie:
The MOBIUS Proof Carrying Code Infrastructure.
FMCO 2007: 1-24 |
| 9 | | Pierre Crégut:
Extracting Control from Data: User Interfaces of MIDP Applications.
TGC 2007: 41-56 |
| 8 | | Pierre Crégut:
Strongly reducing variants of the Krivine abstract machine.
Higher-Order and Symbolic Computation 20(3): 209-230 (2007) |
| 2006 |
|---|
| 7 | | Gilles Barthe,
Lennart Beringer,
Pierre Crégut,
Benjamin Grégoire,
Martin Hofmann,
Peter Müller,
Erik Poll,
Germán Puebla,
Ian Stark,
Eric Vétillard:
MOBIUS: Mobility, Ubiquity, Security.
TGC 2006: 10-29 |
| 2005 |
|---|
| 6 | | Pierre Crégut,
Cuihtlauac Alvarado:
Improving the Security of Downloadable Java Applications With Static Analysis.
Electr. Notes Theor. Comput. Sci. 141(1): 129-144 (2005) |
| 1999 |
|---|
| 5 | | Pierre Crégut,
Barbara Heyd:
Progress Properties for Empty UNITY Programs.
Inf. Process. Lett. 69(3): 107-109 (1999) |
| 1996 |
|---|
| 4 | | Pierre Crégut,
Fabrice Guillemin,
Barbara Heyd:
A Protocol for Supporting the ABT/DT Capability.
ICNP 1996: 218-225 |
| 3 | | Barbara Heyd,
Pierre Crégut:
A Modular Coding of UNITY in COQ.
TPHOLs 1996: 251-266 |
| 1991 |
|---|
| 2 |  | Pierre Crégut:
Interprétation abstraite pour améliorer la représentation des environnements dans les langages fonctionnels.
JTASPEFT/WSA 1991: 37-43 |
| 1990 |
|---|
| 1 | | Pierre Crégut:
An Abstract Machine for Lambda-Terms Normalization.
LISP and Functional Programming 1990: 333-340 |
