Search the dblp DataBase

Publications of Author

1. Jack Minker, Guy Zanon
   An Extension to Linear Resolution with Selection Function. [Citation Graph (1, 0)][DBLP]
   Inf. Process. Lett., 1982, v:14, n:4, pp:191-194 [Journal]
   
2. Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon
   Checking Secure Interactions of Smart Card Applets. [Citation Graph (0, 0)][DBLP]
   ESORICS, 2000, pp:1-16 [Conf]
   
3. Jack Foisseau, René Jacquart, Michel Lemaître, Michel Lemoine, J. C. Vignat, Guy Zanon
   Programming Development with or without Coding. [Citation Graph (0, 0)][DBLP]
   IFIP Congress, 1980, pp:327-330 [Conf]
   
4. Pierre Bieber, Jacques Cazin, A. El Marouani, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon
   The PACAP Prototype: A Tool for Detecting Java Card Illegal Flow. [Citation Graph (0, 0)][DBLP]
   Java Card Workshop, 2000, pp:25-37 [Conf]
   
5. René Jacquart, Michel Lemaître, Guy Zanon
   LF: langage de spécification de fonctions et de types de données en logique. [Citation Graph (0, 0)][DBLP]
   SPLT, 1982, pp:- [Conf]
   
6. Michel Lemoine, René Jacquart, Guy Zanon
   SPRAC: A Software Engineering Environment. [Citation Graph (0, 0)][DBLP]
   STACS, 1987, pp:477-478 [Conf]
   
7. Pierre Bieber, Jacques Cazin, Virginie Wiels, Guy Zanon, Pierre Girard, Jean-Louis Lanet
   Electronic Purse Applet Certification: extended abstract. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2000, v:32, n:, pp:- [Journal]
   
8. Pierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon
   Checking Secure Interactions of Smart Card Applets: Extended Version. [Citation Graph (0, 0)][DBLP]
   Journal of Computer Security, 2002, v:10, n:4, pp:369-398 [Journal]