Fausto Giunchiglia

Tropos: An Agent-Oriented Software Development Methodology

Paolo Bresciani, Anna Perini, Paolo Giorgini et al. · Autonomous Agents and Multi-Agent Systems · 2004 · 1.7K citations

Computing, Computer Science, Distributed Systems +11

NUSMV: a new symbolic model checker

Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia et al. · International Journal on Software Tools for Technology Transfer · 2000 · 716 citations

Computing, Computer Engineering, Computer Science +9

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.

Chiara Ghidini, Fausto Giunchiglia · Artificial Intelligence · 2001 · 419 citations

Computing, Computer Science, Knowledge Representation +7

Data Management for Peer-to-Peer Computing: A Vision

Philip A. Bernstein, Fausto Giunchiglia, Anastasios Kementsietsidis et al. · Unitn Eprints Research (Università Degli Studi di Trento) · 2002 · 372 citations · Full text

Computing, Computer Science, Data Management +14

Multilanguage hierarchical logics, or: How we can do without modal logics

Fausto Giunchiglia, Luciano Serafini · Artificial Intelligence · 1994 · 352 citations

Humanities, Computer Science, Knowledge Representation +8