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