Search the dblp DataBase

Publications of Author

1. Pierre Crégut, Fabrice Guillemin, Barbara Heyd
   A Protocol for Supporting the ABT/DT Capability. [Citation Graph (0, 0)][DBLP]
   ICNP, 1996, pp:218-225 [Conf]
   
2. Pierre Crégut
   An Abstract Machine for Lambda-Terms Normalization. [Citation Graph (0, 0)][DBLP]
   LISP and Functional Programming, 1990, pp:333-340 [Conf]
   
3. Pierre Crégut
   Interprétation abstraite pour améliorer la représentation des environnements dans les langages fonctionnels. [Citation Graph (0, 0)][DBLP]
   JTASPEFT/WSA, 1991, pp:37-43 [Conf]
   
4. Barbara Heyd, Pierre Crégut
   A Modular Coding of UNITY in COQ. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 1996, pp:251-266 [Conf]
   
5. Pierre Crégut, Cuihtlauac Alvarado
   Improving the Security of Downloadable Java Applications With Static Analysis. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:141, n:1, pp:129-144 [Journal]
   
6. Pierre Crégut, Barbara Heyd
   Progress Properties for Empty UNITY Programs. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1999, v:69, n:3, pp:107-109 [Journal]
   
7. 
   The MOBIUS Proof Carrying Code Infrastructure. [Citation Graph (, )][DBLP]
   
   
8. 
   MOBIUS: Mobility, Ubiquity, Security. [Citation Graph (, )][DBLP]
   
   
9. 
   Extracting Control from Data: User Interfaces of MIDP Applications. [Citation Graph (, )][DBLP]