Florina Piroi
Florina Piroi
Institute of Software Technology and Interactive Systems
Verified email at tuwien.ac.at
TitleCited byYear
Theorema: Towards computer-aided mathematical theory exploration
B Buchberger, A Crǎciun, T Jebelean, L Kovács, T Kutsia, K Nakagawa, ...
Journal of Applied Logic 4 (4), 470-504, 2006
1752006
CLEF-IP 2009: retrieval experiments in the Intellectual Property domain
G Roda, J Tait, F Piroi, V Zenz
Workshop of the Cross-Language Evaluation Forum for European Languages, 385-409, 2009
742009
CLEF-IP 2010: Retrieval Experiments in the Intellectual Property Domain.
F Piroi, M Lupu, A Hanbury, AP Sexton, W Magdy, IV Filippov
CLEF (notebook papers/labs/workshops), 2010
722010
CLEF-IP 2011: Retrieval in the Intellectual Property Domain.
F Piroi, M Lupu, A Hanbury, V Zenz
CLEF (notebook papers/labs/workshop), 2011
562011
Overview of the TREC 2009 chemical IR track
M Lupu, F Piroi, X Huang, J Zhu, J Tait
YORK UNIV DOWNSVIEW (ONTARIO), 2009
392009
Tools for using automated provers in mathematical theory exploration
FM Piroi
na, 2004
162004
An environment for building mathematical knowledge libraries
F Piroi, B Buchberger
Proc. of the first Workshop on Computer-Supported Mathematical Theory …, 2004
142004
Fixed-cost pooling strategies based on IR evaluation measures
A Lipani, J Palotti, M Lupu, F Piroi, G Zuccon, A Hanbury
European Conference on Information Retrieval, 357-368, 2017
122017
Software module for switch electromechanics failure detection
E Spunei, I Piroi, C Muscai, F Piroi
Electrical and Power Engineering (EPE), 2014 International Conference and …, 2014
122014
An information retrieval ontology for information retrieval nanopublications
A Lipani, F Piroi, L Andersson, A Hanbury
International Conference of the Cross-Language Evaluation Forum for European …, 2014
122014
ABS failure diagnosis charts for a blocked CL
E Spunei, I Piroi, C Muscai, F Piroi
Applied and Theoretical Electricity (ICATE), 2014 International Conference …, 2014
112014
PROMISE retreat report prospects and opportunities for information access evaluation
M Agosti, R Berendsen, T Bogers, M Braschler, P Buitelaar, K Choukri, ...
ACM SIGIR Forum 46 (2), 60-84, 2012
112012
Overview of clef-ip 2013 lab
F Piroi, M Lupu, A Hanbury
International Conference of the Cross-Language Evaluation Forum for European …, 2013
102013
Rule-based programming with Mathematica
M Marin, F Piroi
In Sixth Mathematica Symposium (IMS 2004), 1-6, 2004
102004
Diagnosis charts for regular inversion failures of an Automatic Block Signal Installation
I Piroi, E Spunei, C Muscai, F Piroi
Applied and Theoretical Electricity (ICATE), 2014 International Conference …, 2014
92014
Insight to Hyponymy Lexical Relation Extraction in the Patent Genre Versus Other Text Genres.
L Andersson, M Lupu, JRM Palotti, F Piroi, A Hanbury, A Rauber
IPaMin@ KONVENS, 2014
92014
Patent images-a glass-encased tool: opening the case
M Lupu, R Schuster, R Mörzinger, F Piroi, T Schleser, A Hanbury
Proceedings of the 12th international conference on knowledge management and …, 2012
92012
Patent Images-a Glass-encased Tool
M Lupu, R Mörzinger, T Schleser, R Schuster, F Piroi, A Hanbury
9*2012
Focus windows: A new technique for proof presentation
F Piroi, B Buchberger
Artificial Intelligence, Automated Reasoning, and Symbolic Computation, 337-341, 2002
92002
Automatic block signaling installation failure diagnosis with LCOBla
E Spunei, I Piroi, C Muscai, F Piroi
Applied and Theoretical Electricity (ICATE), 2014 International Conference …, 2014
82014
The system can't perform the operation now. Try again later.
Articles 1–20