| 2007 |
|---|
| 35 | EE | Mauro Gaspari,
Davide Guidi:
Facilitating Agent Development in Open Distributed Systems.
LADS 2007: 243-260 |
| 34 | EE | Nicola Dragoni,
Mauro Gaspari,
Davide Guidi:
An ACL for Specifying Fault-Tolerant Protocols.
Applied Artificial Intelligence 21(4&5): 361-381 (2007) |
| 2006 |
|---|
| 33 | EE | Nicola Dragoni,
Mauro Gaspari:
Performative Patterns for Designing Verifiable ACLs.
CIA 2006: 375-387 |
| 32 | EE | Nicola Dragoni,
Mauro Gaspari,
Davide Guidi:
An infrastructure to support cooperation of knowledge-level agents on the semantic Grid.
Appl. Intell. 25(2): 159-180 (2006) |
| 31 | EE | Nicola Dragoni,
Mauro Gaspari:
Crash failure detection in asynchronous agent communication languages.
Autonomous Agents and Multi-Agent Systems 13(3): 355-390 (2006) |
| 2005 |
|---|
| 30 | EE | Nicola Dragoni,
Mauro Gaspari,
Davide Guidi:
An ACL for Specifying Fault-Tolerant Protocols.
AI*IA 2005: 237-248 |
| 29 | | Nicola Dragoni,
Mauro Gaspari,
Davide Guidi:
Integrating Knowledge-Level Agents in the (Semantic) Web: An Agent-based Open Service Architecture.
FLAIRS Conference 2005: 320-325 |
| 28 | EE | Nicola Dragoni,
Mauro Gaspari,
Davide Guidi:
NOWHERE - An Open Service Architecture to support Agents and Services within the Semantic Web.
SWAP 2005 |
| 27 | | Nicola Dragoni,
Mauro Gaspari,
Davide Guidi:
A Peer-to-Peer Knowledge Level Open Service Architecture.
Wissensmanagement 2005: 195-201 |
| 26 | EE | Nicola Dragoni,
Mauro Gaspari:
An object based algebra for specifying a fault tolerant software architecture.
J. Log. Algebr. Program. 63(2): 271-297 (2005) |
| 2003 |
|---|
| 25 | EE | Enrico Motta,
John Domingue,
Liliana Cabral,
Mauro Gaspari:
IRS-II: A Framework and Infrastructure for Semantic Web Services.
International Semantic Web Conference 2003: 306-318 |
| 24 | EE | Dieter Fensel,
Enrico Motta,
Frank van Harmelen,
V. Richard Benjamins,
Monica Crubézy,
Stefan Decker,
Mauro Gaspari,
Rix Groenboom,
William E. Grosso,
Mark A. Musen,
Enric Plaza,
Guus Schreiber,
Rudi Studer,
Bob J. Wielinga:
The Unified Problem-Solving Method Development Language UPML.
Knowl. Inf. Syst. 5(1): 83-131 (2003) |
| 2002 |
|---|
| 23 | | Mauro Gaspari,
Gianluigi Roveda,
Cinzia Scandellari,
Sergio Stecchi:
An expert system for the evaluation of EDSS in multiple sclerosis.
Artificial Intelligence in Medicine 25(2): 187-210 (2002) |
| 22 | | Mauro Gaspari:
An ACL for a Dynamic System of Agents.
Computational Intelligence 18(2): 102-119 (2002) |
| 2001 |
|---|
| 21 | EE | Mauro Gaspari,
Gianluigi Zavattaro:
An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study.
Concurrent Object-Oriented Programming and Petri Nets 2001: 428-444 |
| 2000 |
|---|
| 20 | | Paolo Ciancarini,
Daniela Fogli,
Mauro Gaspari:
A declarative coordination language.
Comput. Lang. 26(2-4): 125-163 (2000) |
| 1999 |
|---|
| 19 | EE | Mauro Gaspari,
Gianluigi Zavattaro:
Process Algebraic Specification of the New Asynchronous CORBA Messaging Service.
ECOOP 1999: 495-518 |
| 18 | | Mauro Gaspari,
Enrico Motta,
Dieter Fensel:
Automatic Selection of Problem Solving Libraries Based on Competence Matching.
ECOOP Workshops 1999: 10-11 |
| 17 | | Mauro Gaspari,
Gianluigi Zavattaro:
An Algebra of Actors.
FMOODS 1999 |
| 1998 |
|---|
| 16 | EE | Mauro Gaspari:
Concurrency and Knowledge-Level Communication in Agent Languages.
Artif. Intell. 105(1-2): 1-45 (1998) |
| 1997 |
|---|
| 15 | | Mauro Gaspari:
Efficient Support for Reactive Rules in Prolog.
AI*IA 1997: 357-368 |
| 1996 |
|---|
| 14 | | Paolo Ciancarini,
Daniela Fogli,
Mauro Gaspari:
A Logic Language based on GAMMA-like Multiset Rewriting.
ELP 1996: 83-101 |
| 13 | | Paolo Ciancarini,
Mauro Gaspari:
Rule-Based Coordination of Logic Programs.
Comput. Lang. 22(2/3): 95-113 (1996) |
| 12 | | Giuseppe Attardi,
Mauro Gaspari:
Multilanguage Interoperability.
Computers and Artificial Intelligence 15(6): (1996) |
| 1995 |
|---|
| 11 | | Mauro Gaspari:
Modelling Interactions in Agent System.
AI*IA 1995: 426-438 |
| 10 | | Paolo Ciancarini,
Daniela Fogli,
Mauro Gaspari:
A Logic Language Based on GAMMA-Like Multiset Rewriting.
GULP-PRODE 1995: 125-138 |
| 9 | EE | Mauro Gaspari,
Enrico Motta,
Arthur Stutt:
An Open Framework for Cooperative Problem Solving.
IEEE Expert 10(3): 48-55 (1995) |
| 1994 |
|---|
| 8 | | Mauro Gaspari,
Enrico Motta:
Symbol-Level Requirements for Agent-Level Programming.
ECAI 1994: 264-268 |
| 7 | EE | Paolo Ciancarini,
Mauro Gaspari:
Parallel Symbolic Computing with the Shared Dataspace Coordination Model.
ICLP Workshop: Process-Based Parallel Logic Programming 1994: 11-37 |
| 1993 |
|---|
| 6 | | Mauro Gaspari,
Enrico Motta,
Arthur Stutt:
Inferring in Lego-land: an Architecture for the Integration of Heterogeneous Inference Modules.
AI*IA 1993: 142-153 |
| 5 | | Roberto Barbuti,
E. Bellugi,
Mauro Gaspari,
Roberto Giacobazzi:
La Terminazione di Prolog Modellata in un Linguaggio Logico con Vincoli.
GULP 1993: 341-358 |
| 1991 |
|---|
| 4 | | Giuseppe Attardi,
Mauro Gaspari,
Pietro Iglio:
Effiecient Compilation of First Order Predicates.
AI*IA 1991: 440-444 |
| 3 | | Giuseppe Attardi,
Mauro Gaspari:
Multilanguage Interoperability.
PLILP 1991: 429-430 |
| 1990 |
|---|
| 2 | | Giuseppe Attardi,
Mauro Gaspari,
F. Saracco:
Interoperability of AI Languages.
ECAI 1990: 41-46 |
| 1989 |
|---|
| 1 | | Giuseppe Attardi,
Cinzia Bonini,
Maria Rosario Boscotrecase,
Tito Flagella,
Mauro Gaspari:
Metalevel Programming in CLOS.
ECOOP 1989: 243-256 |
