Jacques Cazin Coauthor index DBLP Vis pubzone.org

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

DBLP keys2002
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon: Checking Secure Interactions of Smart Card Applets: Extended Version. Journal of Computer Security 10(4): 369-398 (2002)
2000
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Bieber, Jacques Cazin, Pierre Girard, Jean-Louis Lanet, Virginie Wiels, Guy Zanon: Checking Secure Interactions of Smart Card Applets. ESORICS 2000: 1-16
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre 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. Java Card Workshop 2000: 25-37
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Bieber, Jacques Cazin, Virginie Wiels, Guy Zanon, Pierre Girard, Jean-Louis Lanet: Electronic Purse Applet Certification: extended abstract. Electr. Notes Theor. Comput. Sci. 32: (2000)
1999
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruno d'Ausbourg, Jacques Cazin: Using TRIO Specifications to Generate Test Cases for an Interactive System. DSV-IS 1999: 148-166
1991
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cazin, Patrice Cros, René Jacquart, Michel Lemoine, P. Michel: Construction and Reuse of Formal Program Developments. TAPSOFT, Vol.2 1991: 120-136
1989
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cazin, René Jacquart, Michel Lemoine, P. Michel, P. Maurice: Method Driven Programming. IFIP Congress 1989: 351-356
1985
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Cazin, René Jacquart, P. Michel: The F1 Formalism: An Extension of the Entity-Relationship Model Using the First Order Logic. ER 1985: 216-223

Coauthor Index

1Pierre Bieber [5] [6] [7] [8]
2Patrice Cros [3]
3Pierre Girard [5] [6] [7] [8]
4René Jacquart [1] [2] [3]
5Jean-Louis Lanet [5] [6] [7] [8]
6Michel Lemoine [2] [3]
7A. El Marouani [6]
8P. Maurice [2]
9P. Michel [1] [2] [3]
10Virginie Wiels [5] [6] [7] [8]
11Guy Zanon [5] [6] [7] [8]
12Bruno d'Ausbourg [4]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)