| Contextual reasoning distilled M Benerecetti, P Bouquet, C Ghidini Journal of Experimental & Theoretical Artificial Intelligence 12 (3), 279-305, 2000 | 241 | 2000 |
| Model checking multiagent systems M Benerecetti, F Giunchiglia, L Serafini Journal of Logic and Computation 8 (3), 401-423, 1998 | 167 | 1998 |
| Distributed context-aware systems M Benerecetti, P Bouquet, M Bonifacio Human–Computer Interaction 16 (2-4), 213-228, 2001 | 78 | 2001 |
| On the dimensions of context dependence: partiality, approximation, and perspective M Benerecetti, P Bouquet, C Ghidini Modeling and Using Context: Third International and Interdisciplinary …, 2001 | 75 | 2001 |
| A model checking algorithm for multi-agent systems M Benerecetti, F Giunchiglia, L Serafini Intelligent Agents V: Agents Theories, Architectures, and Languages: 5th …, 1999 | 42 | 1999 |
| Modeling and Using Context: Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 9-11, 1999, Proceedings P Bouquet, L Serafini, P Brézillon, M Benerecetti, F Castellani Springer, 2003 | 41* | 2003 |
| Validation of multiagent systems by symbolic model checking M Benerecetti, A Cimatti Agent-Oriented Software Engineering III: Third International Workshop, AOSE …, 2003 | 40* | 2003 |
| Solving parity games via priority promotion M Benerecetti, D Dell'Erba, F Mogavero Formal Methods in System Design 52 (2), 193–226, 2018 | 38 | 2018 |
| Analysis of timed recursive state machines M Benerecetti, S Minopoli, A Peron 2010 17th International Symposium on Temporal Representation and Reasoning …, 2010 | 37 | 2010 |
| Abstraction refinement of linear programs with arrays A Armando, M Benerecetti, J Mantovani Tools and Algorithms for the Construction and Analysis of Systems, 373-388, 2007 | 26 | 2007 |
| Formalizing belief reports—The approach and a case study M Benerecetti, P Bouquet, C Ghidini Artificial Intelligence: Methodology, Systems, and Applications: 8th …, 1998 | 25 | 1998 |
| Modeling railway control systems in Promela R Nardone, U Gentile, M Benerecetti, A Peron, V Vittorini, S Marrone, ... Formal Techniques for Safety-Critical Systems: 4th International Workshop …, 2016 | 22 | 2016 |
| Dynamic state machines for formalizing railway control system specifications R Nardone, U Gentile, A Peron, M Benerecetti, V Vittorini, S Marrone, ... Formal Techniques for Safety-Critical Systems: Third International Workshop …, 2015 | 22 | 2015 |
| Dynamic state machines for modelling railway control systems M Benerecetti, R De Guglielmo, U Gentile, S Marrone, N Mazzocca, ... Science of Computer Programming 133, 116-153, 2017 | 21 | 2017 |
| Soundness of Schema Matching Methods. M Benerecetti, P Bouquet, S Zanobini ESWC, 211-225, 2005 | 21 | 2005 |
| TPMC: A Model Checker For Time-Sensitive Security Protocols. M Benerecetti, N Cuomo, A Peron J. Comput. 4 (5), 366-377, 2009 | 20 | 2009 |
| Model checking linear programs with arrays A Armando, M Benerecetti, J Mantovani Electronic Notes in Theoretical Computer Science 144 (3), 79-94, 2006 | 20 | 2006 |
| On the dimensions of context dependence M Benerecetti, P Bouquet, C Ghidini University of Trento, 2002 | 20 | 2002 |
| Automatic synthesis of switching controllers for linear hybrid systems: Safety control M Benerecetti, M Faella, S Minopoli Theoretical Computer Science 493, 116-138, 2013 | 19 | 2013 |
| Model checking security protocols using a logic of belief M Benerecetti, F Giunchiglia Tools and Algorithms for the Construction and Analysis of Systems: 6th …, 2000 | 17 | 2000 |
Luciano SerafiniHead of Data and Knowledge Management Research Unit, Fondazione Bruno Kessler, Trento, ItalyVerified email at fbk.eu
