dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Paolo Ciancarini Home Page Coauthor index pubzone.org

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

DBLP keys2012
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Angelo Di Iorio, Luca Furini, Fabio Vitali: High-quality pagination for publishing. Softw., Pract. Exper. 42(6): 733-751 (2012)
2011
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariacarla Calzarossa, Paolo Ciancarini, Luisa Mich, Nello Scarabottolo: Informatics Education in Italian High Schools. ISSEP 2011: 31-42
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Giovanni Nuzzolese, Aldo Gangemi, Valentina Presutti, Paolo Ciancarini: Encyclopedic Knowledge Patterns from Wikipedia Links. International Semantic Web Conference (1) 2011: 520-536
2010
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Gian Piero Favini: Retrograde Analysis of Kriegspiel endgames. CIG 2010: 411-418
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Gian Piero Favini: Monte Carlo tree search in Kriegspiel. Artif. Intell. 174(11): 670-684 (2010)
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Bolognesi, Paolo Ciancarini, Gian Piero Favini: Progress Through Uncertainty in Some Kriegspiel Endings. IEEE Trans. Comput. Intellig. and AI in Games 2(2): 99-110 (2010)
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Gian Piero Favini: Playing the perfect Kriegspiel endgame. Theor. Comput. Sci. 411(40-42): 3563-3577 (2010)
2009
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Gian Piero Favini: Solving Kriegspiel Endings with Brute Force: The Case of KR vs. K. ACG 2009: 136-145
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Gian Piero Favini: Plagiarism detection in game-playing software. FDG 2009: 264-271
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Gian Piero Favini: Monte Carlo Tree Search Techniques in the Game of Kriegspiel. IJCAI 2009: 474-479
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergio Andreozzi, Paolo Ciancarini, Danilo Montesi, Rocco Moretti, Silvio Pardi: Implementation and Performance Analysis of XMatch: a Language for Quality-based Selection of Grid Services. J. Grid Comput. 7(2): 247-264 (2009)
2008
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Abeti, Paolo Ciancarini, Rocco Moretti: Business Process Modeling for Organizational Knowledge Management. Concurrency, Graphs and Models 2008: 301-311
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Bacchelli, Paolo Ciancarini, Davide Rossi: On the Effectiveness of Manual and Automatic Unit Test Generation. ICSEA 2008: 252-257
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristiana Rita Alfonsi, Elena Breno, Mariacarla Calzarossa, Paolo Ciancarini, Paolo Maresca, Luisa Mich, Fuliva Sala, Nello Scarabottolo: EUCIP in Italian Universities. Learning to Live in the Knowledge Society 2008: 201-208
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYudistira Asnar, Paolo Giorgini, Paolo Ciancarini, Rocco Moretti, Maurizio Sebastianis, Nicola Zannone: An evaluation of business solutions in manufacturing enterprises. IJBIDM 3(3): 305-329 (2008)
2007
112no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLH. Jaap van den Herik, Paolo Ciancarini, H. H. L. M. Donkers: Computers and Games, 5th International Conference, CG 2006, Turin, Italy, May 29-31, 2006. Revised Papers Springer 2007
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Gian Piero Favini: Representing Kriegspiel States with Metapositions. IJCAI 2007: 2450-2455
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Abeti, Paolo Ciancarini, Rocco Moretti: Model Driven Development of Ontology-Based Grid Services. WETICE 2007: 229-234
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMariacarla Calzarossa, Paolo Ciancarini, Paolo Maresca, Luisa Mich, Nello Scarabottolo: The ECDL programme in Italian Universities. Computers & Education 49(2): 514-529 (2007)
108no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Gian Piero Favini: A Program to Play Kriegspiel. ICGA Journal 30(1): 3-24 (2007)
2006
107no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Herbert Wiklicky: Coordination Models and Languages, 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings Springer 2006
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergio Andreozzi, Paolo Ciancarini, Danilo Montesi, Rocco Moretti: An approach to the quantitative evaluation of Grid services. Concurrency and Computation: Practice and Experience 18(8): 827-836 (2006)
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Bocchi, Paolo Ciancarini: On the Impact of Formal Methods in the SOA. Electr. Notes Theor. Comput. Sci. 160: 113-126 (2006)
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Abeti, Paolo Ciancarini, Rocco Moretti: Service oriented software engineering for modeling agents and services in grid systems. Multiagent and Grid Systems 2(2): 135-148 (2006)
2005
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Bocchi, Paolo Ciancarini, Davide Rossi: Transactional Aspects in Semantic Based Discovery of Services. COORDINATION 2005: 283-297
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini: On the education of future software engineers. ICSE 2005: 649-650
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergio Andreozzi, Paolo Ciancarini, Danilo Montesi, Rocco Moretti: Towards a Language for a Satisfaction-Based Selection of Grid Services. PPAM 2005: 723-730
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Bocchi, Paolo Ciancarini, Rocco Moretti, Valentina Presutti, Davide Rossi: An OWL-S based approach to express grid services coordination. SAC 2005: 1661-1667
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Bolognesi, Paolo Ciancarini, Rocco Moretti: On the Education of Future Software Engineers. Software Education and Training Sessions @ ICSE 2005: 186-205
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos A. Varela, Paolo Ciancarini, Kenjiro Taura: Worldwide computing: Adaptive middleware and programming technology for dynamic Grid environments. Scientific Programming 13(4): 255-263 (2005)
2004
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Bolognesi, Paolo Ciancarini: Searching over Metapositions in Kriegspiel. Computers and Games 2004: 246-261
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergio Andreozzi, Paolo Ciancarini, Danilo Montesi, Rocco Moretti: Towards a Metamodeling Based Method for Representing and Selecting Grid Services. GSEM 2004: 78-93
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergio Andreozzi, Danilo Montesi, Paolo Ciancarini, Rocco Moretti: Towards a Model for Quality of Web and Grid Services. WETICE 2004: 271-276
2003
94no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrea Bolognesi, Paolo Ciancarini: Computer Programming of Kriegspiel Endings: The Case of KR versus K. ACG 2003: 325-342
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Bocchi, Paolo Ciancarini: A Perspective on Multiagent Coordination Models. Communication in Multiagent Systems 2003: 146-163
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Riccardo Gentilucci, Marco Pirruccio, Valentina Presutti, Fabio Vitali: Metadata on the Web: On the integration of RDF and Topic Maps. Extreme Markup Languages® 2003
91no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Rocco Moretti: Towards a Framework for Web Sites Quality Evaluation. SEKE 2003: 721-725
90no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Valentina Presutti, Luca Abeti: An Ontology Driven Design Method for inter-Agent Communication. SEKE 2003: 90-94
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Alexander L. Wolf: Issues in Coordination Languages and Architectures. Sci. Comput. Program. 46(1-2): 1-3 (2003)
2002
88no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Wooldridge, Gerhard Weiß, Paolo Ciancarini: Agent-Oriented Software Engineering II, Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001, Revised Papers and Invited Contributions Springer 2002
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Federico Folli, Davide Rossi, Fabio Vitali: XLinkProxy: external linkbases with XLink. ACM Symposium on Document Engineering 2002: 57-65
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bernardo, Lorenzo Donatiello, Paolo Ciancarini: Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language. Performance 2002: 236-260
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Valentina Presutti: Towards Ontology Driven Software Design. RISSEF 2002: 122-136
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Robert Tolksdorf, Franco Zambonelli: Coordination middleware for XML-centric applications. SAC 2002: 336-343
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bernardo, Paolo Ciancarini, Lorenzo Donatiello: Architecting families of software systems with process algebras. ACM Trans. Softw. Eng. Methodol. 11(4): 386-426 (2002)
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Bompani, Paolo Ciancarini, Fabio Vitali: XML-Based Hypertext Functionalities for Software Engineering. Ann. Software Eng. 13(1-4): 231-247 (2002)
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Federico Folli, Davide Rossi, Fabio Vitali: XlinkProxy: external linkbases wih Xlink (Technical Note). The New Review of Hypermedia and Multimedia 8: 27-37 (2002)
2001
80no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Michael Wooldridge: Agent-Oriented Software Engineering, First International Workshop, AOSE 2000, Limerick, Ireland, June 10, 2000, Revised Papers Springer 2001
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Davide Rossi: WebCluster: A Web-Accessible Cluster Computing System Based on Coordination and Mobility. PaCT 2001: 205-210
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bernardo, Paolo Ciancarini, Lorenzo Donatiello: Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems. WICSA 2001: 77-86
77no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Paolo Ciancarini, Roberto Gorrieri, Gianluigi Zavattaro: Coordination Models: A Guided Tour. Coordination of Internet Agents: Models, Technologies, and Applications 2001: 6-24
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Davide Rossi, Fabio Vitali: Designing a document-centric coordination application over the Internet. Interacting with Computers 13(6): 677-693 (2001)
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Michael Wooldridge: Agent-Based Software Engineering - Guest Editors' Introduction. International Journal of Software Engineering and Knowledge Engineering 11(3): 205-206 (2001)
2000
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Wooldridge, Paolo Ciancarini: Agent-Oriented Software Engineering: The State of the Art. AOSE 2000: 1-28
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Michael Wooldridge: Agent-oriented software engineering (workshop). ICSE 2000: 816-817
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Bompani, Paolo Ciancarini, Fabio Vitali: Software engineering and the Internet: a roadmap. ICSE - Future of SE Track 2000: 303-315
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bernardo, Paolo Ciancarini, Lorenzo Donatiello: On the formalization of architectural types with process algebras. SIGSOFT FSE 2000: 140-148
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bernardo, Paolo Ciancarini, Lorenzo Donatiello: ÆMPA: a process algebraic description language for the performance analysis of software architectures. Workshop on Software and Performance 2000: 1-11
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Francesco Franzé, Cecilia Mascolo: Using a coordination language to specify and analyze systems containing mobile components. ACM Trans. Softw. Eng. Methodol. 9(2): 167-198 (2000)
68Electronic Edition 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
67no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri: Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy Kluwer 1999
66no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Alexander L. Wolf: Coordination Languages and Models, Third International Conference, COORDINATION '99, Amsterdam, The Netherlands, April 26-28, 1999, Proceedings Springer 1999
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Bussmann, Paolo Ciancarini, Keith S. Decker, Michael N. Huhns, Michael Wooldridge: Agent-Oriented Software Engineering. ATAL 1999: 248-249
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Andrea Omicini, Franco Zambonelli: Multiagent System Engineering: The Coordination Viewpoint. ATAL 1999: 250-259
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Andrea Giovannini, Davide Rossi: Mobility and Coordination for Distributed Java Applications. Advances in Distributed Systems 1999: 402-426
62no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStelvio Cimato, Paolo Ciancarini: A Formal Approach to the Specification of Java Components. ECOOP Workshops 1999: 107-108
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLS. Sancese, Paolo Ciancarini, A. Messina: Message Passing vs. Tuple Space Coordination in an Aerodynamics Application. PaCT 1999: 320-334
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Robert Tolksdorf, Fabio Vitali: The World Wide Web as a Place for Agents. Artificial Intelligence Today 1999: 175-193
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Robert Tolksdorf: Coordination Mechanisms for Web Agents. Autonomous Agents and Multi-Agent Systems 2(3): 215-216 (1999)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Fabio Vitali, Cecilia Mascolo: Managing Complex Documents Over the WWW: A Case Study for XML. IEEE Trans. Knowl. Data Eng. 11(4): 629-638 (1999)
57no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Andrea Omicini, Franco Zambonelli: Coordination Technologies for Internet Agents. Nord. J. Comput. 6(3): 215-240 (1999)
1998
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Davide Rossi: Coordinating distributed applets with Shade/Java. SAC 1998: 130-138
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Davide Rossi, Fabio Vitali: The World Wide Web as a Place to Work in. WETICE 1998: 118-125
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Tolksdorf, Paolo Ciancarini, Mark Ginsburg, Jakob Hummes, Wilfred C. Jamison: Working Group Report on Coordination Architectures for Distributed Web Applications. WETICE 1998: 150-153
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Cecilia Mascolo, Fabio Vitali: Visualizing Z Notation in HTML Documents. ZUM 1998: 81-95
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Cecilia Mascolo: Using Formal Methods for Teaching Software Engineering: A Tool-Based Approach. Ann. Software Eng. 6: 433-453 (1998)
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Alfredo Rizzi, Fabio Vitali: An Extensible Rendering Engine for XML. Computer Networks 30(1-7): 225-237 (1998)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Robert Tolksdorf, Fabio Vitali, Davide Rossi, Andreas Knoche: Coordinating Multiagent Aplications on the WWW: A Reference Architecture. IEEE Trans. Software Eng. 24(5): 362-375 (1998)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarhad Arbab, Paolo Ciancarini, Chris Hankin: Coordination Languages for Parallel Programming. Parallel Computing 24(7): 989-1004 (1998)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, M. Mazza, L. Pazzaglia: A Logic for a Coordination Model with Multiple Spaces. Sci. Comput. Program. 31(2-3): 231-261 (1998)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Davide Rossi: Coordinating Java Agents over the WWW. World Wide Web 1(2): 87-99 (1998)
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Robert Tolksdorf, Jan Vitek: Distributed World Wide Web Processing: Applications and Techniques of Web Agents - Preface. World Wide Web 1(3): 109 (1998)
1997
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, A. Fantini, Davide Rossi: A Multi-Agent Process Centered Environment Integrated with the WWW. WETICE 1997: 113-120
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Cecilia Mascolo: Analyzing and Refining an Architectural Style. ZUM 1997: 349-368
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Stelvio Cimato, Cecilia Mascolo: Engineering Formal Requirements: An Analysis and Testing Method for Z Documents. Ann. Software Eng. 3: 189-219 (1997)
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciaccia, Paolo Ciancarini, Wilma Penzo: Formal Requirements and Design Specifications: The Clepsydra Methodology. International Journal of Software Engineering and Knowledge Engineering 7(1): 1-42 (1997)
1996
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Chris Hankin: Coordination Languages and Models, First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996, Proceedings Springer 1996
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Robert Tolksdorf: Using the web to coordinate distributed applications. ACM SIGOPS European Workshop 1996: 197-203
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Robert Tolksdorf, Fabio Vitali: Weaving the Web Using Coordination. COORDINATION 1996: 411-415
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefania Castellani, Paolo Ciancarini: Enhancing Coordination and Modularity Mechanisms for a Language with Objects-as-Multisets. COORDINATION 1996: 89-106
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Cecilia Mascolo: Analyzing the Dynamics of a Z Specification. DISCO 1996: 138-149
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Stelvio Cimato: Animating a Non-executable Formal Specification with a Distributed Symbolic Language. DISCO 1996: 200-201
35Electronic 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
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Davide Rossi: Jada - Coordination and Communication for Java Agents. Mobile Object Systems 1996: 213-226
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Stelvio Cimato, Cecilia Mascolo: Engineering Formal Requirements: Analysis and Testing. SEKE 1996: 385-392
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Davide Rossi, Fabio Vitali, Andreas Knoche, Robert Tolksdorf: Coordination technology for the WWW. WETICE 1996: 322-327
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini: Coordination Models and Languages as Software Integrators. ACM Comput. Surv. 28(2): 300-302 (1996)
30Electronic Edition 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)
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Andreas Knoche, Robert Tolksdorf, Fabio Vitali: PageSpace: An Architecture to Coordinate Distributed Applications on the Web. Computer Networks 28(7-11): 941-952 (1996)
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Leon Sterling: Guest Editor's Introduction. International Journal of Software Engineering and Knowledge Engineering 6(1): 1-3 (1996)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeon Sterling, Paolo Ciancarini, Todd Turnidge: On the Animation of "not Executable" Specifications by Prolog. International Journal of Software Engineering and Knowledge Engineering 6(1): 63-87 (1996)
1995
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Oscar Nierstrasz, Akinori Yonezawa: Object-Based Models and Languages for Concurrent Systems, ECOOP'94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Bologna, Italy, July 5, 1994, Selected Papers Springer 1995
25no 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
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, P. Mancini: Distributing Search and Knowledge Using a Coordination Language. PaCT 1995: 400-410
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciaccia, Paolo Ciancarini, Wilma Penzo: From Formal Requirements to Formal Design. SEKE 1995: 23-30
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini: Modeling the software process using coordination rules. WETICE 1995: 46-53
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, V. Juggy Jagannathan, Mark Klein, Wil M. P. van der Aalst: Working group report on process [production process workflow in cooperative virtual enterprises]. WETICE 1995: 8-
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciaccia, Paolo Ciancarini: A Course on Formal Methods in Software Engineering: Matching Requirements with Design. ZUM 1995: 482-496
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciaccia, Paolo Ciancarini, Wilma Penzo: A Formal Approach to Software Design: The Clepsydra Methodology. ZUM 1995: 5-24
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincenzo Ambriola, Paolo Ciancarini, Andrea Corradini: Declarative Specification of the Architecture of a Software Development Environment. Softw., Pract. Exper. 25(2): 143-174 (1995)
1994
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Keld K. Jensen, Daniel Yankelevich: On the Operational Sematics of a Coordination Language. ECOOP Workshop 1994: 77-106
16Electronic 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
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini: Distributed Programming with Logic Tuple Spaces. New Generation Comput. 12(3): 251-284 (1994)
1993
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini: Coordinating Rule-Based Software Processes with ESP. ACM Trans. Softw. Eng. Methodol. 2(3): 203-227 (1993)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, N. Guerrini: Linda meets Minix. Operating Systems Review 27(4): 76-92 (1993)
1992
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, David Gelernter: A Distributed Programming Environment based on Logic Tuple Spaces. FGCS 1992: 926-933
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini: A Linda-Based Runtime System for a Distributed Logic Language. LCPC 1992: 356-368
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini: Parallel Programming with Logic Languages: A Survey. Comput. Lang. 17(4): 213-239 (1992)
1991
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini: Parallel Logic Programming Using the Linda Model of Computation. Research Directions in High-Level Parallel Programming Languages 1991: 110-125
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Brogi, Paolo Ciancarini: The Concurrent Language, Shared Prolog. ACM Trans. Program. Lang. Syst. 13(1): 99-123 (1991)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTiziana Castagnetti, Paolo Ciancarini: Static Analysis of a Parallel Logic Language Based on the Blackboard Model. J. Parallel Distrib. Comput. 13(4): 412-423 (1991)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincenzo Ambriola, Paolo Ciancarini, Andrea Corradini, Nicoletta De Francesco: Towards innovative software engineering environments. Journal of Systems and Software 14(1): 17-29 (1991)
1990
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini: Coordination Languages for Open System Design. ICCL 1990: 252-260
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincenzo Ambriola, Paolo Ciancarini, Carlo Montangero: Software processes as a hierarchy. ISPW 1990: 57-60
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincenzo Ambriola, Paolo Ciancarini, Carlo Montangero: The Logic Language ESP and its Programming Environment. LPE 1990: 12-15
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincenzo Ambriola, Paolo Ciancarini, Marco Danelutto: Design and Distributed Implementation of the Parallel Logic Language Shared Prolog. PPOPP 1990: 40-49
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincenzo Ambriola, Paolo Ciancarini, Carlo Montangero: Software process enactment in Oikos. SDE 1990: 183-192

Coauthor Index

1Wil M. P. van der Aalst [21]
2Luca Abeti [90] [104] [110] [116]
3Cristiana Rita Alfonsi [114]
4Vincenzo Ambriola [1] [2] [3] [4] [6] [18]
5Sergio Andreozzi [95] [96] [101] [106] [117]
6Farhad Arbab [49]
7Yudistira Asnar [113]
8Alberto Bacchelli [115]
9Marco Bernardo [70] [71] [78] [83] [86]
10Laura Bocchi [93] [100] [103] [105]
11Andrea Bolognesi [94] [97] [99] [122]
12Luca Bompani [72] [82]
13Elena Breno [114]
14Antonio Brogi [8]
15Nadia Busi [77]
16Stefan Bussmann [65]
17Mariacarla Calzarossa (Maria Calzarossa) [109] [114] [126]
18Tiziana Castagnetti [7]
19Stefania Castellani [38]
20Paolo Ciaccia [19] [20] [23] [42]
21Stelvio Cimato [33] [36] [43] [62]
22Andrea Corradini [6] [18]
23Marco Danelutto [2]
24Keith S. Decker (Keith Decker) [65]
25Lorenzo Donatiello [70] [71] [78] [83] [86]
26H. H. L. M. Donkers (Jeroen Donkers) [112]
27Alessandro Fantechi [67]
28A. Fantini [45]
29Gian Piero Favini [108] [111] [118] [119] [120] [121] [122] [123] [124]
30Daniela Fogli [25] [35] [68]
31Federico Folli [81] [87]
32Nicoletta De Francesco [6]
33Francesco Franzé [69]
34Luca Furini [127]
35Aldo Gangemi [125]
36Mauro Gaspari [16] [25] [30] [35] [68]
37David Gelernter [12]
38Riccardo Gentilucci [92]
39Mark Ginsburg [54]
40Paolo Giorgini [113]
41Andrea Giovannini [63]
42Roberto Gorrieri [67] [77]
43N. Guerrini [13]
44Chris Hankin [41] [49]
45H. Jaap van den Herik [112]
46Michael N. Huhns [65]
47Jakob Hummes [54]
48Angelo Di Iorio [127]
49V. Juggy Jagannathan [21]
50Wilfred C. Jamison [54]
51Keld K. Jensen [17]
52Mark Klein [21]
53Andreas Knoche [29] [32] [50]
54P. Mancini [24]
55Paolo Maresca [109] [114]
56Cecilia Mascolo [33] [37] [43] [44] [52] [53] [58] [69]
57M. Mazza [48]
58A. Messina [61]
59Luisa Mich [109] [114] [126]
60Carlo Montangero [1] [3] [4]
61Danilo Montesi [95] [96] [101] [106] [117]
62Rocco Moretti [91] [95] [96] [99] [100] [101] [104] [106] [110] [113] [116] [117]
63Oscar Nierstrasz [26]
64Andrea Giovanni Nuzzolese [125]
65Andrea Omicini [57] [64]
66Silvio Pardi [117]
67L. Pazzaglia [48]
68Wilma Penzo [19] [23] [42]
69Marco Pirruccio [92]
70Valentina Presutti [85] [90] [92] [100] [125]
71Alfredo Rizzi [51]
72Davide Rossi [32] [34] [45] [47] [50] [55] [56] [63] [76] [79] [81] [87] [100] [103] [115]
73Fuliva Sala [114]
74S. Sancese [61]
75Nello Scarabottolo [109] [114] [126]
76Maurizio Sebastianis [113]
77Leon Sterling [27] [28]
78Kenjiro Taura [98]
79Robert Tolksdorf [29] [32] [39] [40] [46] [50] [54] [59] [60] [84]
80Todd Turnidge [27]
81Carlos A. Varela [98]
82Fabio Vitali [29] [32] [39] [50] [51] [53] [55] [58] [60] [72] [76] [81] [82] [87] [92] [127]
83Jan Vitek [46]
84Gerhard Weiß [88]
85Herbert Wiklicky [107]
86Alexander L. Wolf [66] [89]
87Michael Wooldridge (Michael J. Wooldridge) [65] [73] [74] [75] [80] [88]
88Daniel Yankelevich [17]
89Akinori Yonezawa [26]
90Franco Zambonelli [57] [64] [84]
91Nicola Zannone [113]
92Gianluigi Zavattaro [77]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page