Olivier Fissore
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2002–2004
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | ICTAC | A Proof of Weak Termination Providing the Right Way to Terminate. | Olivier Fissore, Isabelle Gnaedig, Hlne Kirchner |
| 2003 | PPDP | Simplification and termination of strategies in rule-based languages. | Olivier Fissore, Isabelle Gnaedig, Hlne Kirchner |
| 2002 | PPDP | System Presentation -- CARIBOO: An induction based proof tool for termination with strategies. | Olivier Fissore, Isabelle Gnaedig, Hlne Kirchner |