| Nusmv 2: An opensource tool for symbolic model checking A Cimatti, E Clarke, E Giunchiglia, F Giunchiglia, M Pistore, M Roveri, ... Computer Aided Verification, 241-268, 2002 | 2701 | 2002 |
| Tropos: An agent-oriented software development methodology P Bresciani, A Perini, P Giorgini, F Giunchiglia, J Mylopoulos Autonomous Agents and Multi-Agent Systems 8 (3), 203-236, 2004 | 2655 | 2004 |
| NuSMV: A new symbolic model verifier A Cimatti, E Clarke, F Giunchiglia, M Roveri Computer Aided Verification (CAV), 1999 | 1031 | 1999 |
| NuSMV: a new symbolic model checker A Cimatti, E Clarke, F Giunchiglia, M Roveri International Journal on Software Tools for Technology Transfer (STTT) 2 (4 …, 2000 | 1008 | 2000 |
| S-Match: an algorithm and an implementation of semantic matching F Giunchiglia, P Shvaiko, M Yatskevich The semantic web: research and applications, 61-75, 2004 | 780 | 2004 |
| Local models semantics, or contextual reasoning= locality+ compatibility C Ghidini, F Giunchiglia Artificial intelligence 127 (2), 221-259, 2001 | 644 | 2001 |
| A theory of abstraction F Giunchiglia, T Walsh Artificial Intelligence 57 (2-3), 323-389, 1992 | 597 | 1992 |
| C-owl: Contextualizing ontologies P Bouquet, F Giunchiglia, F Van Harmelen, L Serafini, H Stuckenschmidt International Semantic Web Conference, 164-179, 2003 | 573 | 2003 |
| Data management for peer-to-peer computing: A vision PA Bernstein, F Giunchiglia, A Kementsietsidis, J Mylopoulos, L Serafini, ... | 554 | 2002 |
| Semantic matching F Giunchiglia, P Shvaiko The Knowledge Engineering Review 18 (03), 265-280, 2003 | 546 | 2003 |
| Contextual reasoning F Giunchiglia Epistemologia, special issue on I Linguaggi e le Macchine 16, 345-364, 1993 | 533 | 1993 |
| Multilanguage hierarchical logics, or: how we can do without modal logics F Giunchiglia, L Serafini Artificial intelligence 65 (1), 29-70, 1994 | 487 | 1994 |
| The tropos software development methodology: processes, models and diagrams F Giunchiglia, J Mylopoulos, A Perini Proceedings of the 3rd international conference on Agent-oriented software …, 2002 | 453 | 2002 |
| Mobile social media usage and academic performance F Giunchiglia, M Zeni, E Gobbi, E Bignotti, I Bison Computers in Human Behavior 82, 177-185, 2018 | 433 | 2018 |
| Semantic matching: Algorithms and implementation F Giunchiglia, M Yatskevich, P Shvaiko Journal on Data Semantics IX, 1-38, 2007 | 396 | 2007 |
| Planning as model checking F Giunchiglia, P Traverso Recent Advances in AI Planning, 1-20, 2000 | 343 | 2000 |
| Contextualizing ontologies P Bouquet, F Giunchiglia, F Van Harmelen, L Serafini, H Stuckenschmidt Web Semantics: Science, Services and Agents on the World Wide Web 1 (4), 325-343, 2004 | 316 | 2004 |
| Improved automata generation for linear temporal logic M Daniele, F Giunchiglia, M Vardi Computer Aided Verification, 681-681, 1999 | 279 | 1999 |
| A formal definition of culture A Birukou, E Blanzieri, P Giorgini, F Giunchiglia | 273* | 2009 |
| Building decision procedures for modal logics from propositional decision procedures—the case study of modal K F Giunchiglia, R Sebastiani Automated Deduction—Cade-13, 583-597, 1996 | 228* | 1996 |
Alessandro CimattiFondazione Bruno KesslerVerified email at fbk.eu
