Florina Piroi and Allan Hanbury. Multilingual patent text retrieval evaluation: CLEF-IP. In Nicola Ferro and Carol Peters, editors, Information Retrieval Evaluation in a Changing World - Lessons Learned from 20 Years of CLEF, volume 41 of The Information Retrieval Series, pages 365--387. Springer, 2019. [ DOI | http ]
E. Spunei, B. Protea, I. Piroi, V. Navrapescu, and F. Piroi. Use of renewable energy sources to power railroad traffic safety installations. In 9th International Symposium on Advanced Topics in Electrical Engineering, pages 1--4, Mar 2019.
E. Spunei, I. Piroi, and F. Piroi. Finding the operating winding induced excess voltage during the three-phase shortening of the synchronous generator. Scientific Bulletin, 81:1--4, Mar 2019.
E. Spunei, I. Piroi, C. Muscai, F. Piroi, C. P. Chioncel, and P. Bogdan. Computer assisted diagnosis of CED-CR2 installations: Part ii. In 2018 International Conference on Applied and Theoretical Electricity (ICATE), pages 1--4, Oct 2018. [ DOI ]
B. L. Protea, C. Muscai, V. Navrapescu, E. Spunei, I. Piroi, and F. Piroi. Computer assisted equipment selection for components of electric panels. In 2018 International Conference on Applied and Theoretical Electricity (ICATE), pages 1--5, Oct 2018. [ DOI ]
E. Spunei, I. Piroi, and F. Piroi. Led and incandescence lamps in railroad repetitive light signals: A comparative performance analysis. In 2018 International Conference on Applied and Theoretical Electricity (ICATE), pages 1--4, Oct 2018. [ DOI ]
E. Spunei, I. Piroi, C. P. Chioncel, and F. Piroi. Replacing light sources and the need to determine the technical luminous coefficients. IOP Conference Series: Materials Science and Engineering, 393(1):012014, 2018. [ http ]
E. Spunei, I. Piroi, C. Muscai, E. Răduca, and F. Piroi. Track circuits diagnosis for railway lines equipped with an automatic block signalling system. IOP Conference Series: Materials Science and Engineering, 294(1):012014, 2018. [ http ]
E. Spunei, I. Piroi, C. P. Chioncel, and F. Piroi. Diagnosis diagrams for passing signals on an Automatic Block Signaling railway section. IOP Conference Series: Materials Science and Engineering, 294(1):012013, 2018. [ http ]
Aldo Lipani, João R. M. Palotti, Mihai Lupu, Florina Piroi, Guido Zuccon, and Allan Hanbury. Fixed-cost pooling strategies based on IR evaluation measures. In Joemon M. Jose, Claudia Hauff, Ismail Sengör Altingövde, Dawei Song, Dyaa Albakour, Stuart N. K. Watt, and John Tait, editors, Advances in Information Retrieval - 39th European Conference on IR Research, ECIR 2017, Aberdeen, UK, April 8-13, 2017, Proceedings, volume 10193 of Lecture Notes in Computer Science, pages 357--368, 2017. [ DOI | http ]
Mihai Lupu, Florina Piroi, and Veronika Stefanov. An introduction to contemporary search technology. In Mihai Lupu, Katja Mayer, Noriko Kando, and Anthony J. Trippe, editors, Current Challenges in Patent Information Retrieval, pages 47--73. Springer Berlin Heidelberg, Berlin, Heidelberg, 2017. [ DOI | http ]
Florina Piroi and Allan Hanbury. Evaluating information retrieval systems on european patent data: The clef-ip campaign. In Mihai Lupu, Katja Mayer, Noriko Kando, and Anthony J. Trippe, editors, Current Challenges in Patent Information Retrieval, pages 113--142. Springer Berlin Heidelberg, Berlin, Heidelberg, 2017. [ DOI | http ]
Elisabeta Spunei, Ion Piroi, Dorian Anghel, and Florina Piroi. The square root method for terminal voltage adjustment in a self-excited synchronous generator. In 2017 5th International Symposium on Electrical and Electronics Engineering (ISEEE). IEEE, 2017. [ DOI ]
Elisabeta Spunei, Ion Piroi, Cristi Muscai, and Florina Piroi. Computer assisted diagnosis of automatic signalling installations with blinking red lights. In 2017 International Conference on Electromechanical and Power Systems (SIELMEN), pages 589--592. IEEE, 2017. [ DOI ]
Elisabeta Spunei, Ion Piroi, and Florina Piroi. Computer-based diagnosis for electric power supply in train traffic installations. In 2017 5th International Symposium on Electrical and Electronics Engineering (ISEEE). IEEE, 2017. [ DOI ]
Abdel Aziz Taha, Florina Piroi, Allan Hanbury, Thomas Tropper, Thomas Mutzl, and Haroun Shehata. Message ranking in a factory setting using context and user preference. In 22nd IEEE Conference on Emerging Technologies & Factory Automation (ETFA). IEEE, 2017. [ DOI ]
Stefan Philipp, Alexander Degelsegger, Florina Piroi, and Gabriela Cikykian. Patent activity analysis: ASEAN countries and their collaboration with the EU28/AC. Vorlesungsskript, 2016. Deliverable 4.1.2, part 2. [ www: ]
I. Piroi, E. Spunei, C. Chioncel, and F. Piroi. Statistical analysis of LED light flux variations. In 2016 International Conference and Exposition on Electrical and Power Engineering (EPE), pages 477--482, Oct 2016. [ DOI ]
E. Spunei, I. Piroi, C. Muscai, and F. Piroi. The diagnosis of the entry lighting signal when the free command cannot be set. In 2016 International Conference on Applied and Theoretical Electricity (ICATE), pages 1--4, Oct 2016. [ DOI ]
E. Spunei, I. Piroi, C. Chioncel, and F. Piroi. Computerized diagnostic of the red and white entry lighting signal indications. In 2016 International Conference on Applied and Theoretical Electricity (ICATE), pages 1--6, Oct 2016. [ DOI ]
Ralf Bierig, Allan Hanbury, Florina Piroi, Marita Haas, Helmut Berger, Mihai Lupu, and Michael Dittenbach. A researcher's view on (big) data analytics in austria results from an online survey. In Markus Helfert, Andreas Holzinger, Orlando Belo, and Chiara Francalanci, editors, Data Management Technologies and Applications, Third International Conference, DATA 2014, Vienna, Austria, August 29-31, 2014, Revised Selected papers, volume 178, pages 45--61. Springer International Publishing, 2015. [ DOI | .pdf ]
Florina Piroi, Aldo Lipani, Mihai Lupu, and Allan Hanbury. DASyR(IR) - document analysis system for systematic reviews (in information retrieval). In 13th International Conference on Document Analysis and Recognition (ICDAR), 2015, pages 591--595. IEEE Xplore, 2015. [ DOI | .pdf ]
Elisabeta Spunei, Ion Piroi, Cristian Chioncel, and Florina Piroi. Rapid diagnosis of track circuits in a railroad station. In 9th International Symposium on Advanced Topics in Electrical Engineering (ATEE), 2015, pages 710--715. IEEE Xplore, 2015. [ DOI ]
Elisabeta Spunei, Ion Piroi, and Florina Piroi. Basic concepts in the diagnosis of traffic safety installations using fuzzy logic based models. Analele Universitatii “Eftimie Murgu” Resita, Fascicula de Inginerie, 2(2):327--335, 2015. [ .pdf ]
Elisabeta Spunei, Ion Piroi, and Florina Piroi. Software assisted diagnosis for shunting, repeater, and failure light signals in stations with electro-dynamic interlocking systems. In Proceedings of the 10th International Conference on Electromechanical and Power Systems, pages 512--517. ALMA Verlag, Craiova, Romania, 2015. [ .pdf ]
Elisabeta Spunei, Ion Piroi, and Florina Piroi. A study on the voltage control loop of a self-excited synchronous generator in a micro-hydroelectric power plant. In Proceedings of the 10th International Conference on Electromechanical and Power Systems, pages 237--240. ALMA Verlag, Craiova, Romania, 2015. [ .pdf ]
Aldo Lipani, Linda Andersson, Florina Piroi, Mihai Lupu, and Allan Hanbury. TUW-IMP at the NTCIR-11 math-2. In Noriko Kando, Hideo Joho, and Kazuaki Kishida, editors, Proceedings of the 11th NTCIR Conference on Evaluation of Information Access Technologies, NTCIR-11, National Center of Sciences, Tokyo, Japan, December 9-12, 2014, 2014. [ .pdf ]
Linda Andersson, Mihai Lupu, João R. M. Palotti, Florina Piroi, Allan Hanbury, and Andreas Rauber. Insight to hyponymy lexical relation extraction in the patent genre versus other text genres. In Patent Mining and Its Applications, volume 1292 of CEUR Workshop Proceedings. CEUR-WS.org, 2014.
Aldo Lipani, Florina Piroi, Linda Andersson, and Allan Hanbury. Extracting nanopublications from IR papers. In IRFC: Multidisciplinary Information Retrieval, volume 8849 of Lecture Notes in Computer Science, pages 53--62. Springer, 2014. [ DOI ]
Aldo Lipani, Florina Piroi, Linda Andersson, and Allan Hanbury. An information retrieval ontology for information retrieval nanopublications. In CLEF, volume 8685 of Lecture Notes in Computer Science, pages 44--49. Springer, 2014. [ DOI ]
I. Piroi, E. Spunei, C. Muscai, and F. Piroi. Diagnosis charts for regular inversion failures of an automatic block signal installation. In 2014 International Conference on Applied and Theoretical Electricity (ICATE), pages 1--4. IEEExplore, Oct 2014. [ DOI ]
E. Spunei, I. Piroi, C. Muscai, and F. Piroi. Automatic block signaling installation failure diagnosis with lcobla. In 2014 International Conference on Applied and Theoretical Electricity (ICATE), pages 1--6. IEEExplore, Oct 2014. [ DOI ]
Elisabeta Spunei, Ion Piroi, Cristi Muscai, and Florina Piroi. ABS failure diagnosis charts for a blocked CL. In Proceedings of the 2014 International Conference on Applied and Theoretical Electricity (ICATE), pages 1--5. IEEExplore, 2014. [ DOI | .pdf ]
Ion Piroi, Elisabeta Spunei, and Florina Piroi. Experimental measurements of the rotor oscillations in an synchronous generator during the three-phased sudden short-circuit test. In Proceedings of the 2014 International Conference on Applied and Theoretical Electricity (ICATE), pages 1--5. IEEExplore, 2014. [ DOI | .pdf ]
Ion Piroi, Elisabeta Spunei, Cristi Muscai, and Florina Piroi. Diagnosis charts for regular inversion failures of an automatic block signal installation. In Proceedings of the 2014 International Conference on Applied and Theoretical Electricity (ICATE), pages 1--4. IEEExplore, 2014. Vortrag: International Conference on Applied and Theoretical Electricity (ICATE) 2014, University of Craiova, Craiova, Romania; 2014-10-23 -- 2014-10-25. [ DOI | .pdf ]
Ralf Bierig, Allan Hanbury, Marita Haas, Florina Piroi, Helmut Berger, and Michael Dittenbach. A glimpse into the state and future of (big) data analytics in austria. In DATA 2014, pages 178--188. ScitePress, 2014. [ DOI ]
E. Spunei, I. Piroi, C. Muscai, and F. Piroi. Software module for switch electromechanics failure detection. In 2014 International Conference and Exposition on Electrical and Power Engineering (EPE), pages 1089--1091, Oct 2014. [ DOI ]
Elisabeta Spunei, Ion Piroi, and Florina Piroi. Optimizing street lighting systems design. Analele Universitătii Eftimie Murgu Resita. Fascicula de Inginerie, 21(3):257--268, 2014.
Elisabeta Spunei, Ion Piroi, and Florina Piroi. Notes on led installations in street illumination. Analele Universitătii Eftimie Murgu Resita. Fascicula de Inginerie, 21(3):269--280, 2014.
Florina Piroi, Mihai Lupu, and Allan Hanbury. Overview of CLEF-IP 2013 lab - information retrieval in the patent domain. In Information Access Evaluation. Multilinguality, Multimodality, and Visualization - 4th International Conference of the CLEF Initiative, CLEF 2013, Valencia, Spain, September 23-26, 2013. Proceedings, volume 8138 of Lecture Notes in Computer Science, pages 232--249. Springer, 2013. [ DOI ]
Florina Piroi, Mihai Lupu, and Allan Hanbury. Passage retrieval starting from patent claims A clef-ip 2013 task overview. In CLEF (Working Notes), volume 1179 of CEUR Workshop Proceedings. CEUR-WS.org, 2013.
Mihai Lupu, Florina Piroi, and Allan Hanbury. Evaluating flowchart recognition for patent retrieval. In The Fifth International Workshop on Evaluating Information Access (EVIA). National Institute of Informatics (NII), 2013.
Elisabeta Spunei, Laurentiu Padeanu, Florina Piroi, Ion Piroi, and Gheorghe Liuba. Research on decreasing the cost price for the synchronous hydrogenerator. Buletinul AGIR, 3:163--168, 2013. [ .pdf ]
Elisabeta Spunei, Laurentiu Pădeanu, Florina Piroi, Ion Piroi, and Gheorghe Liuba. The synchronous generators rated speed’s influence on electromagnetic stresses and on costs. Analele Universitătii Eftimie Murgu Resita. Fascicula de Inginerie, 20(2):267--274, 2013.
Ralf Bierig, Florina Piroi, Mihai Lupu, Allan Hanbury, Helmut Berger, Michael Dittenbach, and Marita Haas. Conquering data (final study), 2013. Roadmap study on Intelligent Data Analytics Technologies in Austria. [ .pdf ]
Mihai Lupu, René Schuster, Roland Mörzinger, Florina Piroi, Tobias Schleser, and Allan Hanbury. Patent images - a glass-encased tool: Opening the case. In Proceedings of the 12th International Conference on Knowledge Management and Knowledge Technologies, i-KNOW '12, pages 16:1--16:8, New York, NY, USA, 2012. ACM. [ DOI | http ]
Maristella Agosti, Richard Berendsen, Toine Bogers, Martin Braschler, Paul Buitelaar, Khalid Choukri, Giorgio Maria Di Nunzio, Nicola Ferro, Pamela Forner, Allan Hanbury, Karin Friberg Heppin, Preben Hansen, Anni Järvelin, Birger Larsen, Mihai Lupu, Ivano Masiero, Henning Müller, Simone Peruzzo, Vivien Petras, Florina Piroi, Maarten de Rijke, Giuseppe Santucci, Gianmaria Silvello, and Elaine G. Toms. PROMISE retreat report prospects and opportunities for information access evaluation. SIGIR Forum, 46(2):60--84, 2012.
Florina Piroi, Mihai Lupu, and Allan Hanbury. Effects of language and topic size in patent IR: an empirical study. In CLEF, volume 7488 of Lecture Notes in Computer Science, pages 54--66. Springer, 2012. [ DOI | http ]
Florina Piroi, Mihai Lupu, Allan Hanbury, Alan P. Sexton, Walid Magdy, and Igor V. Filippov. CLEF-IP 2012: Retrieval experiments in the intellectual property domain. In CLEF (Online Working Notes/Labs/Workshop), volume 1178 of CEUR Workshop Proceedings. CEUR-WS.org, 2012.
Mihai Lupu, Roland Mörzinger, Tobias Schleser, Rene Schuster, Florina Piroi, and Allan Hanbury. Patent images - a glass encased tool / opening the case. In Proceedings of the 12th International Conference on Knowledge Management and Knowledge Technologies. ACM, 2012. [ DOI | .pdf ]
Ion Piroi and Florina Piroi. Notes on LED Installations in Street Illumination. Analele Universitătii Eftimie Murgu Resita. Fascicula de Inginerie, 269(1):269--280, 2012.
Elisabeta Spunei, Ion Piroi, and Florina Piroi. On the electromagnetic stresses impact on the synchronous generator costs. Analele Universitătii Eftimie Murgu Resita. Fascicula de Inginerie, 311(1):311--317, 2012.
Elisabeta Spunei, Ion Piroi, and Florina Piroi. On the electromagnetic stress impact on the synchronous generator structural dimensions and efficiency. Analele Universitătii Eftimie Murgu Resita. Fascicula de Inginerie, 19(1):318--324, 2012.
M. Lupu, F. Piroi, A. Hanbury, and V.Zenz. CLEF-IP 2011: Retrieval in the Intellectual Property Domain. In CLEF 2011 Labs and Workshop, Notebook Papers, September 2011. Online proceedings.
Florina Piroi and Veronika Zenz. Evaluating Information Retrieval in the Intellectual Property Domain: The Clef-Ip Campaign. In Mihai Lupu, Katja Mayer, John Tait, and Anthony J. Trippe, editors, Current Challenges in Patent Information Retrieval, volume 29 of The Information Retrieval Series, pages 87--108. Springer Berlin Heidelberg, 2011. [ www: ]
F. Piroi and J. Tait. CLEF-IP 2010: Retrieval experiments in the intellectual property domain. Technical Report IRF--TR--2010--00005, Information Retrieval Facility, Vienna, September 2010. Also available as a Notebook Paper of the CLEF 2010 Informal Proceedings.
F. Piroi. CLEF-IP 2010: Classification task evaluation summary. Technical Report IRF--TR--2010--00004, Information Retrieval Facility, Vienna, August 2010. [ .pdf ]
F. Piroi. CLEF-IP 2010: Prior art candidates search evaluation summary. Technical Report IRF--TR--2010--00003, Information Retrieval Facility, Vienna, July 2010. [ .pdf ]
Florina Piroi, Giovanna Roda, and Veronika Zenz. CLEF-IP 2009 Evaluation Summary part II. Technical Report IRF--TR--2010--00002, Information Retrieval Facility, Vienna, July 2010.
Florina Piroi. CLEF-IP 2010: Retrieval Experiments in the Intellectual Property Domain. In Martin Braschler, Donna Harman, and Emanuele Pianta, editors, CLEF 2010 LABs and Workshops, Notebook Papers, 22-23 September 2010, Padua, Italy, 2010.
M. Lupu, F. Piroi, and A. Hanbury. Aspects and Analysis of Patent Test Collections. In Proceedings of the 3rd International Workshop on Patent Information Retrieval (PaIR'10), pages 17--22, 2010.
Giovanna Roda, John Tait, Florina Piroi, and Veronika Zenz. CLEF-IP 2009: Retrieval Experiments in the Intellectual Property Domain. In Carol Peters, Giorgio Maria Di Nunzio, Mikko Kurimo, Thomas Mandl, Djamel Mostefa, Anselmo Peñas, and Giovanna Roda, editors, Multilingual Information Access Evaluation I. Text Retrieval Experiments, 10th Workshop of the Cross-Language Evaluation Forum, CLEF 2009, Corfu, Greece, September 30 - October 2, 2009, Revised Selected Papers, volume 6241 of Lecture Notes in Computer Science. Springer, 2010.
Florina Piroi, Giovanna Roda, and Veronika Zenz. CLEF-IP 2009 Evaluation Summary. Technical Report IRF--TR--2009--00001, Information Retrieval Facility, Vienna, July 2009.
Mihai Lupu, Florina Piroi, Xiangji Huang, Jianhan Zhu, and John Tait. Overview of the TREC 2009 Chemical IR Track. In Ellen M. Voorhees and Lori P. Buckland, editors, Proceedings of The Eighteenth Text REtrieval Conference, TREC 2009, Gaithersburg, Maryland, USA, November 17-20, 2009, volume Special Publication 500-278. National Institute of Standards and Technology (NIST), 2009.
Florina Piroi, Bruno Buchberger, and Camelia Rosenkranz. Mathematical Journals as Reasoning Agents: Literature Review. RISC Report Series 08-05, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Schloss Hagenberg, 4232 Hagenberg, Austria, March 2008.
F. Piroi and B. Buchberger and C. Rosenkranz and T. Jebelean. Organisational Tools for MKM in Theorema. Technical report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, 2007. Technical report no. 07--11 in RISC Report Series, University of Linz, Austria.
Florina Piroi. Organizational Tools for Formal Mathematics in Theorema. Lecture at the Special Semester on Gröbner Bases and Related Methods, Workshop C: Formal Gröbner Bases Theory, March 2006.
B. Buchberger, A. Craciun, T. Jebelean, L. Kovacs, T. Kutsia, K. Nakagawa, F. Piroi, N. Popov, J. Robu, M. Rosenkranz, and W. Windsteiger. Theorema: Towards Computer-Aided Mathematical Theory Exploration. Journal of Applied Logic, 4(4):470--504, 2006.
Camelia Rosenkranz and Florina Piroi. Organizational Tools in Theorema, November 14-15 2005. Contributed talk at Theorema-Ultra-Omega Workshop, Department of Computer Science, University of Saarbruecken, Germany.
F. Piroi and B. Buchberger. Label Management in Theorema. In M. Kohlhase, editor, Informal proceedings of the 4th International Conference on Mathematical Knowledge Management, pages --, July 2005. Bremen, Germany.
A. Winterhof F. Piroi. Quantum period reconstruction of binary sequences. In Marc P. C. Fossorier, Hideki Imai, Shu Lin, and Alain Poli, editors, Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 16th International Symposium, AAECC-16, Las Vegas, NV, USA, February 20-24, 2006, Proceedings, volume 3857 of Lecture Notes in Computer Science, pages 60--67. Springer, February 2005.
Florina Piroi and Temur Kutsia. The Theorema Environment for Interactive Proof Development. In G. Sutcliffe and A. Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning. Proceedings of the 12th International Conference, LPAR'05, volume 3835 of Lecture Notes in Artificial Intelligence, pages 261--275. Springer Verlag, 2005. [ http ]
F. Piroi and B. Buchberger. Label Management in Mathematical Theories. Technical Report 2004--16, Johann Radon Institute for Computational and Applied Mathematics (RICAM), November 2004.
Florina Piroi. Tools for Using Automated Provers in Mathematical Theory Exploration. Technical Report 04-12, RISC Report Series, University of Linz, Austria, August 2004. PhD Thesis.
Mircea Marin and Florina Piroi. Rule-Based Programming with Mathematica. In Proceedings of the 6th International Mathematica Conference, Alberta, Canada, 2004, pages --. Wolfram Institute, August 2004. Also as RICAM report series 2004-16.
Mircea Marin and Florina Piroi. Deduction and Presentation in ρLog. In F. Kamareddine, editor, Proceedings of the Mathematical Knowledge Management Symposium, volume 93 of ENTCS, pages 161--182. Heriot-Watt University, Edinburgh, Elsevier, February 2004.
Florina Piroi. User Interface Features in Theorema: A Summary. In Paul Libbrecht, editor, In Proceedings of "Mathematical User-Interfaces Workshop" At the Third Mathematical Knowledge Management Conference, pages 1--16, 2004. Also available as SFB Technical Report 2004-46. [ http ]
F. Piroi and B. Buchberger. An Environment for Building Mathematical Knowledge Libraries. In Wolfgang Windsteiger and Christoph Benzmueller, editors, Proceedings of the Workshop on Computer-Supported Mathematical Theory Development, Second International Joint Conference (IJCAR), pages 19--29, Cork, Ireland, 4-8 July 2004.
B. Buchberger, T. Jebelean, W. Windsteiger, T. Kutsia, K. Nakagawa, J. Robu, F. Piroi, A. Craciun, N. Popov, G. Kusper, M. Rosenkranz, L. Kovacs, and C. Kocsis. F 1302: THEOREMA: Proving, Solving and Computing in General Domains. In P. Paule and U. Langer, editors, Special Research Program (SFB) F 013, Numerical and Symbolic Scientific Computing, Proposal for Continuation, Part I: Progress Report, April 2001-September 2003, pages 148--170. Johannes Kepler University Linz, Austria, October 2003.
B. Buchberger, T. Jebelean, W. Windsteiger, T. Kutsia, K. Nakagawa, J. Robu, F. Piroi, A. Craciun, N. Popov, G. Kusper, M. Rosenkranz, L. Kovacs, and C. Kocsis. F 1302: THEOREMA: Proving, Solving, and Computing in the Theory of Hilbert Spaces. In P. Paule and U. Langer, editors, Special Research Program (SFB) F 013, Numerical and Symbolic Scientific Computing, Proposal for Continuation, Part II: Proposal, pages 58--73. Johannes Kepler University Linz, Austria, October 2003.
Mircea Marin and Florina Piroi. Rule-based deduction and views in Mathematica. Technical Report 2003--43, Johannes Kepler University, Linz, Spezialforschungsbereich F013, Numerical and Symbolic Scientific Computing, October 2003. Eds.: T. Jebelean, J. Schicho. [ .pdf ]
Florina Piroi. Aspects of proof presentation in Theorema. Theorema - Omega workshop, May 2003.
Florina Piroi. Theorema for the user. SFB Status Seminar Strobl, Austria, April 25, 2003, April 2003.
F. Piroi and B. Buchberger. Focus Windows: A New Technique for Proof Presentation. In H. Kredel and W. Seiler, editors, Proceedings of the 8th Rhine Workshop on Computer Algebra, Mannheim, Germany, pages 297--313, March 21-22 2002.
B. Buchberger, T. Jebelean, W. Windsteiger, T. Kutsia, K. Nakagawa, J. Robu, F. Piroi, A. Craciun, N. Popov, G. Kusper, and M. Rosenkranz. F 1302: Solving and Proving in General Domains. In U. Langer and F. Winkler, editors, Special Research Program (SFB) F 013, Numerical and Symbolic Scientific Computing, Annual Report 2002, pages 4--5. Johannes Kepler University Linz, Austria, February 2002.
F. Piroi and B. Buchberger. Focus windows: A new technique for proof presentation. In J. Calmet and B. Benhamou and O. Caprotti and L. Henocque and V. Sorge, editor, Artificial Intelligence, Automated Reasoning and Symbolic Computation. Proceedings of Joint AICS'2002 - Calculemus'2002 Conference, Marseille, France, July 2002, Lecture Notes in Artificial Intelligence, pages 290--304. Springer-Verlag, 2002.
F. Piroi. Focus windows: A tool for automated provers. In D. Petcu, V. Negru, D. Zaharie, and T. Jebelean, editors, Proceeding of SYNASC'02 International Worksop, Timisoara, Romania, October 2002, 2002.
F. Piroi and T. Jebelean. Interactive Proving in Theorema. In Collected Abstracts of Ninth Workshop on Automated Reasoning, AISB'02. 3-5 April, 2002., Imperial College of Science, Technology and Medicine, University of London. England, 2002.
Florina Piroi and Tudor Jebelean. Advanced Proof Presentation in Theorema. Special Issue of the Annals of the University of the West, Timisoara., XXXIX:181--199, September 2001. Proceedings of SYNASC 01, 3rd International Workshop on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, October 2-5, 2001.
B. Buchberger, C. Dupre, T. Jebelean, B. Konev, F. Kriftner, T. Kutsia, K. Nakagawa, F. Piroi, D. Vasaru, and W. Windsteiger. The Theorema System: Proving, Solving, and Computing for the Working Mathematician. Technical Report 00--38, RISC Report Series, University of Linz, Austria, August 2000.
B. Buchberger, C. Dupre, T. Jebelean, B. Konev, F. Kriftner, T. Kutsia, K. Nakagawa, F. Piroi, D. Vasaru, and W. Windsteiger. The Natural Style Provers of Theorema: A Survey of Strategies for Different Mathematical Domains. Technical Report 00--39, RISC Report Series, University of Linz, Austria, June 2000.
B. Buchberger, C. Dupre, T. Jebelean, B. Konev, F. Kriftner, T. Kutsia, K. Nakagawa, F. Piroi, D. Vasaru, and W. Windsteiger. The Facilities of Theorema for Teaching Logic and Mathematics. Technical Report 00--41, RISC Report Series, University of Linz, Austria, June 2000.
F. Piroi. Time and Objects in Databases. Master's thesis, The University Of The West, Timisoara, Romania, 1998. MSC thesis, in Romanian.
F. Piroi. Development of a Data Processing and Simulating Test Process Model for Electrical Machines. Master's thesis, The University Of The West, Timisoara, Romania, 1997. Diploma thesis, in Romanian.
This file was generated by bibtex2html 1.98.