Maurizio Martelli 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 keys2008
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiovanni Casella, Vincenzo Deufemia, Viviana Mascardi, Maurizio Martelli, Genoveffa Tortora: Reasoning about Hand-Drawn Sketches: An Approach Based on Intelligent Software Agents. VISUAL 2008: 302-314
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiovanni Casella, Vincenzo Deufemia, Viviana Mascardi, Gennaro Costagliola, Maurizio Martelli: An agent-based framework for sketched symbol interpretation. J. Vis. Lang. Comput. 19(2): 225-257 (2008)
2007
64no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatteo Baldoni, Antonio Boccalatte, Flavio De Paoli, Maurizio Martelli, Viviana Mascardi: WOA 2007: Dagli Oggetti agli Agenti. 8th AI*IA/TABOO Joint Workshop "From Objects to Agents": Agents and Industry: Technological Applications of Software Agents, 24-25 September 2007, Genova, Italy Seneca Edizioni Torino 2007
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViviana Mascardi, Maurizio Martelli, Ivana Gungui: DCaseLP: A Prototyping Environment for Multi-language Agent Systems. LADS 2007: 139-155
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatteo Baldoni, Antonio Boccalatte, Flavio De Paoli, Maurizio Martelli, Viviana Mascardi: Preface to the Proceedings of WOA 2007. WOA 2007
2006
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiovanni Casella, Gennaro Costagliola, Vincenzo Deufemia, Maurizio Martelli, Viviana Mascardi: An Agent-Based Framework for Context-Driven Interpretation of Symbols in Diagrammatic Sketches. VL/HCC 2006: 73-80
2005
60no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Montagna, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi: BDI^ATL : An Alternating-Time BDI Logic for Multiagent Systems. EUMAS 2005: 214-223
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLValentina Cordì, Paolo Lombardi, Maurizio Martelli, Viviana Mascardi: An Ontology-Based Similarity between Sets of Concepts. WOA 2005: 16-21
2004
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatteo Baldoni, Cristina Baroglio, Ivana Gungui, Alberto Martelli, Maurizio Martelli, Viviana Mascardi, Viviana Patti, Claudio Schifanella: Reasoning About Agents' Interaction Protocols Inside DCaseLP. DALT 2004: 112-131
57no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViviana Mascardi, Maurizio Martelli, Leon Sterling: Logic-Based Specification Languages for Intelligent Software Agents. TPLP 4(4): 429-494 (2004)
56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bozzano, Giorgio Delzanno, Maurizio Martelli: Model Checking Linear Logic Specifications. TPLP 4(5-6): 573-619 (2004)
2003
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Juan, Leon Sterling, Maurizio Martelli, Viviana Mascardi: Customizing AOSE methodologies by reusing AOSE features. AAMAS 2003: 113-120
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Martelli, Viviana Mascardi: From UML Diagrams to Jess Rules: Integrating OO and Rule-Based Languages to Specify, Implement and Execute Agents. APPIA-GULP-PRODE 2003: 275-286
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. Delato, Alberto Martelli, Maurizio Martelli, Viviana Mascardi, Alessandro Verri: A Multimedia, Multichannel, and Personalized News Provider. MIPS 2003: 388-399
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEgidio Astesiano, Maurizio Martelli, Viviana Mascardi, Gianna Reggio: From Requirement Specification to Prototype Execution: a Combination of Multiview Use-Case Driven Methods and Agent-Oriented Techniques. SEKE 2003: 578-585
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViviana Mascardi, Maurizio Martelli, Leon Sterling: Logic-Based Specification Languages for Intelligent Software Agents CoRR cs.AI/0311024: (2003)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bozzano, Giorgio Delzanno, Maurizio Martelli: Model Checking Linear Logic Specifications CoRR cs.PL/0309003: (2003)
2002
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Albertoni, Maurizio Martelli, Viviana Mascardi, Stefano Miglia: Specifica, Implementazione ed Esecuzione di un Prototipo di Sistema Multi-Agente in D-CaseLP. WOA 2002: 149-156
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bozzano, Giorgio Delzanno, Maurizio Martelli: An effective fixpoint semantics for linear logic programs. TPLP 2(1): 85-122 (2002)
2001
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bozzano, Giorgio Delzanno, Maurizio Martelli: An Effective Bottom-Up Semantics for First-Order Linear Logic Programs. FLOPS 2001: 138-152
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bozzano, Giorgio Delzanno, Maurizio Martelli: An Effective Fixpoint Semantics for Linear Logic Programs CoRR cs.PL/0102025: (2001)
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bozzano, Giorgio Delzanno, Maurizio Martelli: On the Relations between Disjunctive and Linear Logic Programming. Electr. Notes Theor. Comput. Sci. 48: (2001)
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Delzanno, Maurizio Martelli: Proofs as computations in linear logic. Theor. Comput. Sci. 258(1-2): 269-297 (2001)
2000
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimone Marini, Maurizio Martelli, Viviana Mascardi, Floriano Zini: Specification of Heterogeneous Agent Architectures. ATAL 2000: 275-289
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bozzano, Giorgio Delzanno, Maurizio Martelli: A bottom-up semantics for linear logic programs. PPDP 2000: 92-102
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimone Marini, Maurizio Martelli, Viviana Mascardi, Floriano Zini: HEMASL: A Flexible Language to Specify Heterogeneous Agents. WOA 2000: 76-81
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli: Object calculi in linear logic. J. Log. Comput. 10(1): 75-104 (2000)
1999
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Martelli, Viviana Mascardi, Floriano Zini: Specification and Simulation of Multi-Agent Systems in CaseLP. APPIA-GULP-PRODE 1999: 13-28
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini: Multi-agent Systems Development as a Software Engineering Enterprise. PADL 1999: 46-60
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Delzanno, Didier Galmiche, Maurizio Martelli: A specification logic for concurrent object-oriented programming. Mathematical Structures in Computer Science 9(3): 253-286 (1999)
1997
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bozzano, Giorgio Delzanno, Maurizio Martelli: A Linear Logic Semantics for Object-Oriented, Deductive and Active Databases. APPIA-GULP-PRODE 1997: 105-116
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Martelli, Viviana Mascardi, Floriano Zini: Applying Logic Programming to the Specification of Complex Applications. APPIA-GULP-PRODE 1997: 491-500
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDanilo Montesi, Elisa Bertino, Maurizio Martelli: Transactions and Updates in Deductive Databases. IEEE Trans. Knowl. Data Eng. 9(5): 784-797 (1997)
1996
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaqui Lucio, Maurizio Martelli, Marisa Navarro: 1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96, Donostia-San Sebastian, Spain, July 15-18, 1996 APPIA-GULP-PRODE 1996
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Delzanno, Maurizio Martelli: Proofs as Computations in Linear Logic. APPIA-GULP-PRODE 1996: 155-166
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli: A Linear Logic Calculus Objects. JICSLP 1996: 67-81
1995
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Delzanno, Maurizio Martelli: Forum Objects. GULP-PRODE 1995: 283-294
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Delzanno, Maurizio Martelli: Objects in Forum. ILPS 1995: 115-129
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Di Pierro, Maurizio Martelli, Catuscia Palamidessi: Negation as Instantiation Inf. Comput. 120(2): 263-278 (1995)
1994
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Martelli, Alessandro Messora, Catuscia Palamidessi, Alain Hui-Bon-Hoa: Fixpoint Semantics of L lambda. GULP-PRODE (1) 1994: 187-201
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElisa Bertino, Barbara Catania, Giovanna Guerrini, Maurizio Martelli, Danilo Montesi: A Bottom-Up Interpreter for a Database Language with Updates and Transactions. GULP-PRODE (2) 1994: 206-220
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnalisa Bossi, Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli: The s-Semantics Approach: Theory and Applications. J. Log. Program. 19/20: 149-197 (1994)
1993
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElisa Bertino, Barbara Catania, Giovanna Guerrini, Maurizio Martelli, Danilo Montesi: Formalizzazione e Ottimizzazione di Transazioni di modifica in CLP(AD). GULP 1993: 501-518
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Martelli, Alessandro Messora, Catuscia Palamidessi: Fixpoint Semantics of L-lambda. ILPS 1993: 666
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Delzanno, Maurizio Martelli: A Bottom-Up Characterization of Finite Success. ILPS 1993: 676
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi: A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs Inf. Comput. 103(1): 86-113 (1993)
1992
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElisa Bertino, Maurizio Martelli, Danilo Montesi: CLP (X) as a framework for action and deduction. CNKBS 1992: 27-29
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElisa Bertino, Maurizio Martelli, Danilo Montesi: CLP(AD) as a Deductive Database Language with Updates. ELP 1992: 80-99
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElisa Bertino, Maurizio Martelli, Danilo Montesi: Modelling Database Updates with Constraint Logic Programming. FMLDO 1992: 121-132
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Gabbrielli, Giorgio Levi, Maurizio Martelli: New Semantic Tools for Logic Programming. REX Workshop 1992: 204-235
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElisa Bertino, Maurizio Martelli, Danilo Montesi: Modeling Database Updates with Constraint Logic Programming. Workshop on Deductive Databases, JICSLP 1992: 175-184
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurizio Martelli, Chiara Tricomi: A New SLDNF-Tree. Inf. Process. Lett. 43(2): 57-62 (1992)
1991
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Di Pierro, Maurizio Martelli, Catuscia Palamidessi: Negation as Instantitation: A New Rule for the Treatment of Negation in Logic Programming. ICLP 1991: 32-45
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWlodzimierz Drabent, Maurizio Martelli: Strict Completion of Logic Programs. New Generation Comput. 9(1): 69-80 (1991)
1990
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Levi, Maurizio Martelli, Catuscia Palamidessi: Failure and Success made Symmetric. NACLP 1990: 3-22
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Barbuti, Maurizio Martelli: Recognizing Non-Floundering Logic Programs and Goals. Int. J. Found. Comput. Sci. 1(2): 151- (1990)
1989
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoreno Falaschi, Giorgio Levi, Catuscia Palamidessi, Maurizio Martelli: Declarative Modeling of the Operational Behavior of Logic Languages. Theor. Comput. Sci. 69(3): 289-318 (1989)
1988
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMoreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi: A New Declarative Semantics for Logic Languages. ICLP/SLP 1988: 993-1005
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Barbuti, Maurizio Martelli: A Tool to Check the Non-Floundering Logic Programs and Goals. PLILP 1988: 58-67
1986
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Barbuti, Maurizio Martelli: Completeness of the SLDNF-resolution for a class of logic programs. ICLP 1986: 600-614
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli: LEAF: A Language which Integrates Logic, Equations and Functions. Logic Programming: Functions, Relations, and Equations 1986: 201-238
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLC. Aquilano, Roberto Barbuti, P. Bocchetti, Maurizio Martelli: Negation as Failure. Completeness of the Query Evaluation Process for Horn Clause Programs with Recursive Definitions. J. Autom. Reasoning 2(2): 155-170 (1986)
1985
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrizia Asirelli, Michele de Santis, Maurizio Martelli: Integrity Constraints for Logic Databases. J. Log. Program. 2(3): 221-232 (1985)
1984
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Barbuti, Marco Bellia, Giorgio Levi, Maurizio Martelli: On the Integration of Logic Programming and Functional Programming. SLP 1984: 160-166
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli: A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language. Implementations of Prolog 1984: 309-326
1982
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli: Applicative communicating processes in first order logic. Symposium on Programming 1982: 1-14

Coauthor Index

1Riccardo Albertoni [49]
2C. Aquilano [5]
3Patrizia Asirelli [4]
4Egidio Astesiano [52]
5Matteo Baldoni [58] [62] [64]
6Roberto Barbuti [3] [5] [6] [7] [8] [11]
7Cristina Baroglio [58]
8Marco Bellia [1] [2] [3] [6]
9Elisa Bertino [16] [18] [19] [20] [24] [26] [34]
10Antonio Boccalatte [62] [64]
11P. Bocchetti [5]
12Annalisa Bossi [25]
13Marco Bozzano [36] [38] [42] [45] [46] [47] [48] [50] [56]
14Michele Bugliesi [31] [40]
15Giovanni Casella [61] [65] [66]
16Barbara Catania [24] [26]
17Valentina Cordì [59]
18Gennaro Costagliola [61] [65]
19Enrico Dameri [1] [2]
20Pierpaolo Degano [1] [2]
21M. Delato [53]
22Giorgio Delzanno [22] [29] [30] [31] [32] [36] [37] [38] [40] [42] [44] [45] [46] [47] [48] [50] [56] [60]
23Vincenzo Deufemia [61] [65] [66]
24Wlodzimierz Drabent (Wlodek Drabent) [13]
25Moreno Falaschi [9] [10] [21]
26Maurizio Gabbrielli [17] [25]
27Didier Galmiche [37]
28Giovanna Guerrini [24] [26]
29Ivana Gungui [58] [63]
30Alain Hui-Bon-Hoa [27]
31Thomas Juan [55]
32Giorgio Levi [1] [2] [3] [6] [9] [10] [12] [17] [21] [25]
33Luigi Liquori [31] [40]
34Paolo Lombardi [59]
35Paqui Lucio [33]
36Simone Marini [41] [43]
37Alberto Martelli [53] [58]
38Viviana Mascardi [35] [38] [39] [41] [43] [49] [51] [52] [53] [54] [55] [57] [58] [59] [60] [61] [62] [63] [64] [65] [66]
39Alessandro Messora [23] [27]
40Stefano Miglia [49]
41Roberto Montagna [60]
42Danilo Montesi [16] [18] [19] [20] [24] [26] [34]
43Marisa Navarro [33]
44Catuscia Palamidessi [9] [10] [12] [14] [21] [23] [27] [28]
45Flavio De Paoli [62] [64]
46Viviana Patti [58]
47Alessandra Di Pierro [14] [28]
48Gianna Reggio [52]
49Michele de Santis [4]
50Claudio Schifanella [58]
51Leon Sterling [51] [55] [57]
52Genny Tortora (Genoveffa Tortora) [66]
53Chiara Tricomi [15]
54Alessandro Verri [53]
55Floriano Zini [35] [38] [39] [41] [43]

Colors in the list of coauthors

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