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 | 197 | 2006 |
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 | 85 | 2010 |
CLEF-IP 2011: Retrieval in the Intellectual Property Domain. F Piroi, M Lupu, A Hanbury, V Zenz CLEF (notebook papers/labs/workshop), 2011 | 84 | 2011 |
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 | 78 | 2009 |
Overview of the TREC 2009 chemical IR track M Lupu, F Piroi, X Huang, J Zhu, J Tait YORK UNIV DOWNSVIEW (ONTARIO), 2009 | 43 | 2009 |
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 | 21 | 2017 |
Overview of clef-ip 2013 lab F Piroi, M Lupu, A Hanbury International Conference of the Cross-Language Evaluation Forum for European …, 2013 | 21 | 2013 |
Tools for using automated provers in mathematical theory exploration FM Piroi na, 2004 | 17 | 2004 |
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 | 16 | 2014 |
Rule-based programming with Mathematica M Marin, F Piroi In Sixth Mathematica Symposium (IMS 2004), 1-6, 2004 | 16 | 2004 |
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 | 15 | 2014 |
Software module for switch electromechanics failure detection E Spunei, I Piroi, C Muscai, F Piroi 2014 International Conference and Exposition on Electrical and Power …, 2014 | 13 | 2014 |
An environment for building mathematical knowledge libraries F Piroi, B Buchberger Proc. of the 3rd Int. Conference on Mathematical Knowledge Management, MKM 4, 2004 | 12 | 2004 |
ABS failure diagnosis charts for a blocked CL E Spunei, I Piroi, C Muscai, F Piroi 2014 International Conference on Applied and Theoretical Electricity (ICATE …, 2014 | 11 | 2014 |
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 | 11 | 2012 |
TUW-IMP at the NTCIR-11 Math-2. A Lipani, L Andersson, F Piroi, M Lupu, A Hanbury NTCIR, 2014 | 10 | 2014 |
Diagnosis charts for regular inversion failures of an Automatic Block Signal Installation I Piroi, E Spunei, C Muscai, F Piroi 2014 International Conference on Applied and Theoretical Electricity (ICATE …, 2014 | 10 | 2014 |
Rapid diagnosis of track circuits in a railroad station S Elisabeta, P Ion, CC Paul, P Florina 2015 9th International Symposium on Advanced Topics in Electrical …, 2015 | 9 | 2015 |
The Theorema Environment for Interactive Proof Development F Piroi, T Kutsia International Conference on Logic for Programming Artificial Intelligence …, 2005 | 9 | 2005 |
Deduction and Presentation in ρLog M Marin, F Piroi Electronic Notes in Theoretical Computer Science 93, 161-182, 2004 | 9 | 2004 |