Search the dblp DataBase

Publications of Author

1. Florina Piroi, Arne Winterhof
   Quantum Period Reconstruction of Binary Sequences. [Citation Graph (0, 0)][DBLP]
   AAECC, 2006, pp:60-67 [Conf]
   
2. Florina Piroi, Bruno Buchberger
   Focus Windows: A New Technique for Proof Presentation. [Citation Graph (0, 0)][DBLP]
   AISC, 2002, pp:337-342 [Conf]
   
3. Florina Piroi, Temur Kutsia
   The Theorema Environment for Interactive Proof Development. [Citation Graph (0, 0)][DBLP]
   LPAR, 2005, pp:261-275 [Conf]
   
4. Mircea Marin, Florina Piroi
   Deduction and Presentation in rho Log. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:93, n:, pp:161-182 [Journal]
   
5. 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. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2006, v:4, n:4, pp:470-504 [Journal]
   
6. 
   CLEF-IP 2009: Retrieval Experiments in the Intellectual Property Domain. [Citation Graph (, )][DBLP]
   
   
7. 
   CLEF-IP 2010: Retrieval Experiments in the Intellectual Property Domain. [Citation Graph (, )][DBLP]