Mauro Gaspari Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Barzanti, Mauro Gaspari, Davide Saletti: Modelling decision making in fund raising management by a fuzzy knowledge system. Expert Syst. Appl. 36(5): 9466-9478 (2009)
2007
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Gaspari, Davide Guidi: Facilitating Agent Development in Open Distributed Systems. LADS 2007: 243-260
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicola Dragoni, Mauro Gaspari, Davide Guidi: An ACL for Specifying Fault-Tolerant Protocols. Applied Artificial Intelligence 21(4&5): 361-381 (2007)
2006
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicola Dragoni, Mauro Gaspari, Davide Guidi: A Fault Tolerant Agent Communication Language for Supporting Web Agent Interaction. AC 2006: 273-288
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicola Dragoni, Mauro Gaspari: Performative Patterns for Designing Verifiable ACLs. CIA 2006: 375-387
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicola 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)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicola Dragoni, Mauro Gaspari: Crash failure detection in asynchronous agent communication languages. Autonomous Agents and Multi-Agent Systems 13(3): 355-390 (2006)
2005
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicola Dragoni, Mauro Gaspari, Davide Guidi: An ACL for Specifying Fault-Tolerant Protocols. AI*IA 2005: 237-248
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicola Dragoni, Mauro Gaspari, Davide Guidi: Integrating Knowledge-Level Agents in the (Semantic) Web: An Agent-based Open Service Architecture. FLAIRS Conference 2005: 320-325
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicola Dragoni, Mauro Gaspari, Davide Guidi: NOWHERE - An Open Service Architecture to support Agents and Services within the Semantic Web. SWAP 2005
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicola Dragoni, Mauro Gaspari, Davide Guidi: A Peer-to-Peer Knowledge Level Open Service Architecture. Wissensmanagement 2005: 195-201
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicola Dragoni, Mauro Gaspari: An object based algebra for specifying a fault tolerant software architecture. J. Log. Algebr. Program. 63(2): 271-297 (2005)
2003
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Motta, John Domingue, Liliana Cabral, Mauro Gaspari: IRS-II: A Framework and Infrastructure for Semantic Web Services. International Semantic Web Conference 2003: 306-318
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDieter 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
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro 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)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Gaspari: An ACL for a Dynamic System of Agents. Computational Intelligence 18(2): 102-119 (2002)
2001
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro 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
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Daniela Fogli, Mauro Gaspari: A declarative coordination language. Comput. Lang. 26(2-4): 125-163 (2000)
1999
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Gaspari, Gianluigi Zavattaro: Process Algebraic Specification of the New Asynchronous CORBA Messaging Service. ECOOP 1999: 495-518
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Gaspari, Enrico Motta, Dieter Fensel: Automatic Selection of Problem Solving Libraries Based on Competence Matching. ECOOP Workshops 1999: 10-11
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Gaspari, Gianluigi Zavattaro: An Algebra of Actors. FMOODS 1999
1998
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Gaspari: Concurrency and Knowledge-Level Communication in Agent Languages. Artif. Intell. 105(1-2): 1-45 (1998)
1997
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Gaspari: Efficient Support for Reactive Rules in Prolog. AI*IA 1997: 357-368
1996
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Daniela Fogli, Mauro Gaspari: A Logic Language based on GAMMA-like Multiset Rewriting. ELP 1996: 83-101
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Mauro Gaspari: Rule-Based Coordination of Logic Programs. Comput. Lang. 22(2/3): 95-113 (1996)
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe Attardi, Mauro Gaspari: Multilanguage Interoperability. Computers and Artificial Intelligence 15(6): (1996)
1995
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Gaspari: Modelling Interactions in Agent System. AI*IA 1995: 426-438
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Daniela Fogli, Mauro Gaspari: A Logic Language Based on GAMMA-Like Multiset Rewriting. GULP-PRODE 1995: 125-138
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Gaspari, Enrico Motta, Arthur Stutt: An Open Framework for Cooperative Problem Solving. IEEE Expert 10(3): 48-55 (1995)
1994
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Gaspari, Enrico Motta: Symbol-Level Requirements for Agent-Level Programming. ECAI 1994: 264-268
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Mauro Gaspari: Parallel Symbolic Computing with the Shared Dataspace Coordination Model. ICLP Workshop: Process-Based Parallel Logic Programming 1994: 11-37
1993
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Gaspari, Enrico Motta, Arthur Stutt: Inferring in Lego-land: an Architecture for the Integration of Heterogeneous Inference Modules. AI*IA 1993: 142-153
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Barbuti, E. Bellugi, Mauro Gaspari, Roberto Giacobazzi: La Terminazione di Prolog Modellata in un Linguaggio Logico con Vincoli. GULP 1993: 341-358
1991
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe Attardi, Mauro Gaspari, Pietro Iglio: Effiecient Compilation of First Order Predicates. AI*IA 1991: 440-444
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe Attardi, Mauro Gaspari: Multilanguage Interoperability. PLILP 1991: 429-430
1990
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe Attardi, Mauro Gaspari, F. Saracco: Interoperability of AI Languages. ECAI 1990: 41-46
1989
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiuseppe Attardi, Cinzia Bonini, Maria Rosario Boscotrecase, Tito Flagella, Mauro Gaspari: Metalevel Programming in CLOS. ECOOP 1989: 243-256

Coauthor Index

1Giuseppe Attardi [1] [2] [3] [4] [12]
2Roberto Barbuti [5]
3Luca Barzanti [37]
4E. Bellugi [5]
5V. Richard Benjamins [24]
6Cinzia Bonini [1]
7Maria Rosario Boscotrecase [1]
8Liliana Cabral [25]
9Paolo Ciancarini [7] [10] [13] [14] [20]
10Monica Crubézy [24]
11Stefan Decker [24]
12John Domingue [25]
13Nicola Dragoni [26] [27] [28] [29] [30] [31] [32] [33] [34] [35]
14Dieter Fensel [18] [24]
15Tito Flagella [1]
16Daniela Fogli [10] [14] [20]
17Roberto Giacobazzi [5]
18Rix Groenboom [24]
19William E. Grosso [24]
20Davide Guidi [27] [28] [29] [30] [32] [34] [35] [36]
21Frank van Harmelen [24]
22Pietro Iglio [4]
23Enrico Motta [6] [8] [9] [18] [24] [25]
24Mark A. Musen [24]
25Enric Plaza [24]
26Gianluigi Roveda [23]
27Davide Saletti [37]
28F. Saracco [2]
29Cinzia Scandellari [23]
30Guus Schreiber (A. Th. Schreiber) [24]
31Sergio Stecchi [23]
32Rudi Studer [24]
33Arthur Stutt [6] [9]
34Bob J. Wielinga [24]
35Gianluigi Zavattaro [17] [19] [21]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)