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 | 217 | 2006 |

CLEF-IP 2011: Retrieval in the Intellectual Property Domain. F Piroi, M Lupu, A Hanbury, V Zenz CLEF (notebook papers/labs/workshop), 2011 | 99 | 2011 |

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 | 90 | 2010 |

CLEF-IP 2009: retrieval experiments in the Intellectual Property domain G Roda, J Tait, F Piroi, V Zenz Multilingual Information Access Evaluation I. Text Retrieval Experiments …, 2010 | 80 | 2010 |

Overview of the TREC 2009 Chemical IR Track. M Lupu, F Piroi, X Huang, J Zhu, J Tait TREC, 2009 | 44 | 2009 |

Overview of clef-ip 2013 lab F Piroi, M Lupu, A Hanbury International Conference of the Cross-Language Evaluation Forum for European …, 2013 | 25 | 2013 |

Fixed-cost pooling strategies based on IR evaluation measures A Lipani, J Palotti, M Lupu, F Piroi, G Zuccon, A Hanbury Advances in Information Retrieval: 39th European Conference on IR Research …, 2017 | 22 | 2017 |

Tools for using automated provers in mathematical theory exploration FM Piroi na, 2004 | 19 | 2004 |

CLEF 2021 Working Notes G Faggioli, N Ferro, A Joly, M Maistro, F Piroi Working Notes of CLEF, 2021 | 18 | 2021 |

Rule-based programming with Mathematica M Marin, F Piroi In Sixth Mathematica Symposium (IMS 2004), 1-6, 2004 | 18 | 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 | 17 | 2014 |

An information retrieval ontology for information retrieval nanopublications A Lipani, F Piroi, L Andersson, A Hanbury Information Access Evaluation. Multilinguality, Multimodality, and …, 2014 | 16 | 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 | 13 | 2004 |

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 | 12 | 2014 |

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 |

Focus windows: A new technique for proof presentation F Piroi, B Buchberger Artificial Intelligence, Automated Reasoning, and Symbolic Computation …, 2002 | 11 | 2002 |

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 | 9 | 2014 |

The *Theorema* Environment for Interactive Proof DevelopmentF Piroi, T Kutsia Logic for Programming, Artificial Intelligence, and Reasoning: 12th …, 2005 | 9 | 2005 |