Isabel Tonin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1997–2007
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | SEFM | Verifying the Mondex Case Study. | Peter H. Schmitt, Isabel Tonin |
| 2000 | AISC | A Proof Strategy Based on a Dual Representation. | Guilherme Bittencourt, Isabel Tonin |
| 1997 | EPIA | A Multi-Agent Approach to First-Order Logic. | Guilherme Bittencourt, Isabel Tonin |