dblp.uni-trier.dewww.uni-trier.de

Pierre Crégut Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2007
10EEGilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas P. Jensen, David Pichardie: The MOBIUS Proof Carrying Code Infrastructure. FMCO 2007: 1-24
9EEPierre Crégut: Extracting Control from Data: User Interfaces of MIDP Applications. TGC 2007: 41-56
8EEPierre Crégut: Strongly reducing variants of the Krivine abstract machine. Higher-Order and Symbolic Computation 20(3): 209-230 (2007)
2006
7EEGilles 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
6EEPierre 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
5EEPierre Crégut, Barbara Heyd: Progress Properties for Empty UNITY Programs. Inf. Process. Lett. 69(3): 107-109 (1999)
1996
4EEPierre Crégut, Fabrice Guillemin, Barbara Heyd: A Protocol for Supporting the ABT/DT Capability. ICNP 1996: 218-225
3EEBarbara 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
1EEPierre Crégut: An Abstract Machine for Lambda-Terms Normalization. LISP and Functional Programming 1990: 333-340

Coauthor Index

1Cuihtlauac Alvarado [6]
2Gilles Barthe [7] [10]
3Lennart Beringer [7]
4Benjamin Grégoire [7] [10]
5Fabrice Guillemin [4]
6Barbara Heyd [3] [4] [5]
7Martin Hofmann [7]
8Thomas P. Jensen [10]
9Peter Müller [7]
10David Pichardie [10]
11Erik Poll [7]
12Germán Puebla (German Puebla) [7]
13Ian Stark [7]
14Eric Vétillard [7]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)