The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Frédéric Voisin: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Michel Bidoit, Christine Choppy, Frédéric Voisin
    The ASSPEGIQUE Specification Environment - Motivations and Design. [Citation Graph (0, 0)][DBLP]
    ADT, 1984, pp:54-72 [Conf]
  2. Michel Bidoit, Christine Choppy, Frédéric Voisin
    ASSPEQUIE: An Integrated Specification Environment Providing Inter-Operability of Tools. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:555-558 [Conf]
  3. Frédéric Voisin
    A New Proof-Manager and Graphic Interface for the Larch Prover. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:567-570 [Conf]
  4. Michel Bidoit, Christine Choppy, Frédéric Voisin
    Interchange Format for Inter-operability of Tools and Translation: The SALSA and ASSPEGIQU+/LP Experience. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1995, pp:102-124 [Conf]
  5. Frédéric Voisin, Michel Bidoit
    Modular Algebraic Specifications and the Orientation of Equations into Rewrite Rules. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1995, pp:503-521 [Conf]
  6. Michel Bidoit, Francis Capy, Christine Choppy, Stéphane Kaplan, Françoise Schlienger, Frédéric Voisin
    ASSPEGIQUE: An Integrated Specification Environment. [Citation Graph (0, 0)][DBLP]
    CTRS, 1987, pp:251-252 [Conf]
  7. Jean-Claude Raoult, Frédéric Voisin
    Set-Theoretic Graph Rewriting. [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:312-325 [Conf]
  8. Frédéric Voisin
    A New Front-End for the Larch Prover. [Citation Graph (0, 0)][DBLP]
    Larch, 1992, pp:282-296 [Conf]
  9. Frédéric Voisin
    A Bottom-Up Adaption of Earley's Parsing Algorithm. [Citation Graph (0, 0)][DBLP]
    PLILP, 1988, pp:146-160 [Conf]
  10. Frédéric Voisin
    A New Proof Manager and Graphic Interface for Larch Prover. [Citation Graph (0, 0)][DBLP]
    RTA, 1996, pp:408-411 [Conf]
  11. Michel Bidoit, Francis Capy, Christine Choppy, M.-A. Choquer, Stéphane Kaplan, Françoise Schlienger, Frédéric Voisin
    Asspegique: An Integrated Specification Environment. [Citation Graph (0, 0)][DBLP]
    STACS, 1987, pp:471- [Conf]
  12. Frédéric Voisin
    A new Proof-Manager and Graphic Interface for the Larch Prover. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:863-866 [Conf]
  13. Frédéric Voisin
    CIGALE: A Tool for Interactive Grammar Construction and Expression Parsing. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1986, v:7, n:1, pp:61-86 [Journal]

Search in 0.002secs, 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