| 2006 |
|---|
| 5 | EE | Florina Piroi,
Arne Winterhof:
Quantum Period Reconstruction of Binary Sequences.
AAECC 2006: 60-67 |
| 4 | 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) |
| 2005 |
|---|
| 3 | EE | Florina Piroi,
Temur Kutsia:
The Theorema Environment for Interactive Proof Development.
LPAR 2005: 261-275 |
| 2004 |
|---|
| 2 | EE | Mircea Marin,
Florina Piroi:
Deduction and Presentation in rho Log.
Electr. Notes Theor. Comput. Sci. 93: 161-182 (2004) |
| 2002 |
|---|
| 1 | EE | Florina Piroi,
Bruno Buchberger:
Focus Windows: A New Technique for Proof Presentation.
AISC 2002: 337-342 |
