| |
| 2007 | ||
|---|---|---|
| 5 | EE | James J. Hunt, Isabel Tonin, Michael Benkel, Mirko Seifert, Katja Siegemund, Nico Feiertag: Modeling architecturally neutral realtime systems. JTRES 2007: 175-184 |
| 4 | EE | Peter H. Schmitt, Isabel Tonin: Verifying the Mondex Case Study. SEFM 2007: 47-58 |
| 2001 | ||
| 3 | Guilherme Bittencourt, Isabel Tonin: An Algorithm for Dual Transformation in First-Order Logic. J. Autom. Reasoning 27(4): 353-389 (2001) | |
| 2000 | ||
| 2 | EE | Guilherme Bittencourt, Isabel Tonin: A Proof Strategy Based on a Dual Representation. AISC 2000: 78-91 |
| 1997 | ||
| 1 | Guilherme Bittencourt, Isabel Tonin: A Multi-Agent Approach to First-Order Logic. EPIA 1997: 167-178 | |
| 1 | Michael Benkel | [5] |
| 2 | Guilherme Bittencourt | [1] [2] [3] |
| 3 | Nico Feiertag | [5] |
| 4 | James J. Hunt | [5] |
| 5 | Peter H. Schmitt | [4] |
| 6 | Mirko Seifert | [5] |
| 7 | Katja Siegemund | [5] |