The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jacques Cazin: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jacques Cazin, René Jacquart, P. Michel
    The F1 Formalism: An Extension of the Entity-Relationship Model Using the First Order Logic. [Citation Graph (2, 3)][DBLP]
    ER, 1985, pp:216-223 [Conf]
  2. Bruno d'Ausbourg, Jacques Cazin
    Using TRIO Specifications to Generate Test Cases for an Interactive System. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 1999, pp:148-166 [Conf]
  3. 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]
  4. Jacques Cazin, René Jacquart, Michel Lemoine, P. Michel, P. Maurice
    Method Driven Programming. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1989, pp:351-356 [Conf]
  5. 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]
  6. Jacques Cazin, Patrice Cros, René Jacquart, Michel Lemoine, P. Michel
    Construction and Reuse of Formal Program Developments. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1991, pp:120-136 [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]

Search in 0.003secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002