Fausto Giunchiglia
University of Trento(IT)
Publications by Year
Research Areas
Semantic Web and Ontologies, Service-Oriented Architecture and Web Services, Natural Language Processing Techniques, Logic, Reasoning, and Knowledge, Topic Modeling
Most-Cited Works
- → Tropos: An Agent-Oriented Software Development Methodology(2004)1,719 cited
- → NuSMV 2: An OpenSource Tool for Symbolic Model Checking(2002)1,616 cited
- → NUSMV: a new symbolic model checker(2000)709 cited
- → NuSMV: A New Symbolic Model Verifier(1999)610 cited
- → S-Match: an Algorithm and an Implementation of Semantic Matching(2004)465 cited
- → Local Models Semantics, or contextual reasoning=locality+compatibility☆☆This paper is a substantially revised and extended version of a paper with the same title presented at the 1998 Knowledge Representation and Reasoning Conference (KR'98). The order of the names is alphabetical.(2001)419 cited
- Data Management for Peer-to-Peer Computing: A Vision(2002)