| |
| 2006 | ||
|---|---|---|
| 2 | EE | Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz: Theorema: Towards computer-aided mathematical theory exploration. J. Applied Logic 4(4): 470-504 (2006) |
| 2004 | ||
| 1 | Tudor Jebelean, Laura Kovács, Nikolaj Popov: Experimental Program Verification in the Theorema System. ISoLA (Preliminary proceedings) 2004: 92-99 | |
| 1 | Bruno Buchberger | [2] |
| 2 | Adrian Craciun | [2] |
| 3 | Tudor Jebelean | [1] [2] |
| 4 | Laura Kovács (Laura Ildikó Kovács) | [1] [2] |
| 5 | Temur Kutsia | [2] |
| 6 | Koji Nakagawa | [2] |
| 7 | Florina Piroi | [2] |
| 8 | Judit Robu | [2] |
| 9 | Markus Rosenkranz | [2] |