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

Paolo Ciancarini

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
113EELuca Abeti, Paolo Ciancarini, Rocco Moretti: Business Process Modeling for Organizational Knowledge Management. Concurrency, Graphs and Models 2008: 301-311
112EEAlberto Bacchelli, Paolo Ciancarini, Davide Rossi: On the Effectiveness of Manual and Automatic Unit Test Generation. ICSEA 2008: 252-257
111EECristiana 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
110EEYudistira 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
109 H. 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
108EEPaolo Ciancarini, Gian Piero Favini: Representing Kriegspiel States with Metapositions. IJCAI 2007: 2450-2455
107EELuca Abeti, Paolo Ciancarini, Rocco Moretti: Model Driven Development of Ontology-Based Grid Services. WETICE 2007: 229-234
2006
106 Paolo Ciancarini, Herbert Wiklicky: Coordination Models and Languages, 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings Springer 2006
105EESergio 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)
104EELaura Bocchi, Paolo Ciancarini: On the Impact of Formal Methods in the SOA. Electr. Notes Theor. Comput. Sci. 160: 113-126 (2006)
103EELuca 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
102EELaura Bocchi, Paolo Ciancarini, Davide Rossi: Transactional Aspects in Semantic Based Discovery of Services. COORDINATION 2005: 283-297
101EEPaolo Ciancarini: On the education of future software engineers. ICSE 2005: 649-650
100EESergio Andreozzi, Paolo Ciancarini, Danilo Montesi, Rocco Moretti: Towards a Language for a Satisfaction-Based Selection of Grid Services. PPAM 2005: 723-730
99EELaura Bocchi, Paolo Ciancarini, Rocco Moretti, Valentina Presutti, Davide Rossi: An OWL-S based approach to express grid services coordination. SAC 2005: 1661-1667
98EEAndrea Bolognesi, Paolo Ciancarini, Rocco Moretti: On the Education of Future Software Engineers. Software Education and Training Sessions @ ICSE 2005: 186-205
97EECarlos 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
96EEAndrea Bolognesi, Paolo Ciancarini: Searching over Metapositions in Kriegspiel. Computers and Games 2004: 246-261
95EESergio Andreozzi, Paolo Ciancarini, Danilo Montesi, Rocco Moretti: Towards a Metamodeling Based Method for Representing and Selecting Grid Services. GSEM 2004: 78-93
94EESergio Andreozzi, Danilo Montesi, Paolo Ciancarini, Rocco Moretti: Towards a Model for Quality of Web and Grid Services. WETICE 2004: 271-276
2003
93 Andrea Bolognesi, Paolo Ciancarini: Computer Programming of Kriegspiel Endings: The Case of KR versus K. ACG 2003: 325-342
92EELaura Bocchi, Paolo Ciancarini: A Perspective on Multiagent Coordination Models. Communication in Multiagent Systems 2003: 146-163
91EEPaolo 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
90 Paolo Ciancarini, Rocco Moretti: Towards a Framework for Web Sites Quality Evaluation. SEKE 2003: 721-725
89 Paolo Ciancarini, Valentina Presutti, Luca Abeti: An Ontology Driven Design Method for inter-Agent Communication. SEKE 2003: 90-94
88EEPaolo Ciancarini, Alexander L. Wolf: Issues in Coordination Languages and Architectures. Sci. Comput. Program. 46(1-2): 1-3 (2003)
2002
87 Michael 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
86EEPaolo Ciancarini, Federico Folli, Davide Rossi, Fabio Vitali: XLinkProxy: external linkbases with XLink. ACM Symposium on Document Engineering 2002: 57-65
85EEMarco Bernardo, Lorenzo Donatiello, Paolo Ciancarini: Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language. Performance 2002: 236-260
84EEPaolo Ciancarini, Valentina Presutti: Towards Ontology Driven Software Design. RISSEF 2002: 122-136
83EEPaolo Ciancarini, Robert Tolksdorf, Franco Zambonelli: Coordination middleware for XML-centric applications. SAC 2002: 336-343
82EEMarco Bernardo, Paolo Ciancarini, Lorenzo Donatiello: Architecting families of software systems with process algebras. ACM Trans. Softw. Eng. Methodol. 11(4): 386-426 (2002)
81 Luca Bompani, Paolo Ciancarini, Fabio Vitali: XML-Based Hypertext Functionalities for Software Engineering. Ann. Software Eng. 13(1-4): 231-247 (2002)
80 Paolo Ciancarini, Federico Folli, Davide Rossi, Fabio Vitali: XlinkProxy: external linkbases wih Xlink (Technical Note). The New Review of Hypermedia and Multimedia 8: (2002)
2001
79 Paolo Ciancarini, Michael Wooldridge: Agent-Oriented Software Engineering, First International Workshop, AOSE 2000, Limerick, Ireland, June 10, 2000, Revised Papers Springer 2001
78EEPaolo Ciancarini, Davide Rossi: WebCluster: A Web-Accessible Cluster Computing System Based on Coordination and Mobility. PaCT 2001: 205-210
77EEMarco Bernardo, Paolo Ciancarini, Lorenzo Donatiello: Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems. WICSA 2001: 77-86
76 Nadia Busi, Paolo Ciancarini, Roberto Gorrieri, Gianluigi Zavattaro: Coordination Models: A Guided Tour. Coordination of Internet Agents: Models, Technologies, and Applications 2001: 6-24
75 Paolo Ciancarini, Davide Rossi, Fabio Vitali: Designing a document-centric coordination application over the Internet. Interacting with Computers 13(6): 677-693 (2001)
74 Paolo Ciancarini, Michael Wooldridge: Agent-Based Software Engineering - Guest Editors' Introduction. International Journal of Software Engineering and Knowledge Engineering 11(3): 205-206 (2001)
2000
73EEMichael Wooldridge, Paolo Ciancarini: Agent-Oriented Software Engineering: The State of the Art. AOSE 2000: 1-28
72EEPaolo Ciancarini, Michael Wooldridge: Agent-oriented software engineering (workshop). ICSE 2000: 816-817
71EELuca Bompani, Paolo Ciancarini, Fabio Vitali: Software engineering and the Internet: a roadmap. ICSE - Future of SE Track 2000: 303-315
70EEMarco Bernardo, Paolo Ciancarini, Lorenzo Donatiello: On the formalization of architectural types with process algebras. SIGSOFT FSE 2000: 140-148
69EEMarco 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
68EEPaolo 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)
67 Paolo Ciancarini, Daniela Fogli, Mauro Gaspari: A declarative coordination language. Comput. Lang. 26(2-4): 125-163 (2000)
1999
66 Paolo 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
65 Paolo Ciancarini, Alexander L. Wolf: Coordination Languages and Models, Third International Conference, COORDINATION '99, Amsterdam, The Netherlands, April 26-28, 1999, Proceedings Springer 1999
64 Stefan Bussmann, Paolo Ciancarini, Keith S. Decker, Michael N. Huhns, Michael Wooldridge: Agent-Oriented Software Engineering. ATAL 1999: 248-249
63 Paolo Ciancarini, Andrea Omicini, Franco Zambonelli: Multiagent System Engineering: The Coordination Viewpoint. ATAL 1999: 250-259
62EEPaolo Ciancarini, Andrea Giovannini, Davide Rossi: Mobility and Coordination for Distributed Java Applications. Advances in Distributed Systems 1999: 402-426
61 Stelvio Cimato, Paolo Ciancarini: A Formal Approach to the Specification of Java Components. ECOOP Workshops 1999: 107-108
60EES. Sancese, Paolo Ciancarini, A. Messina: Message Passing vs. Tuple Space Coordination in an Aerodynamics Application. PaCT 1999: 320-334
59EEPaolo Ciancarini, Robert Tolksdorf, Fabio Vitali: The World Wide Web as a Place for Agents. Artificial Intelligence Today 1999: 175-193
58 Paolo Ciancarini, Robert Tolksdorf: Coordination Mechanisms for Web Agents. Autonomous Agents and Multi-Agent Systems 2(3): 215-216 (1999)
57EEPaolo 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)
56 Paolo Ciancarini, Andrea Omicini, Franco Zambonelli: Coordination Technologies for Internet Agents. Nord. J. Comput. 6(3): 215-240 (1999)
1998
55EEPaolo Ciancarini, Davide Rossi: Coordinating distributed applets with Shade/Java. SAC 1998: 130-138
54EEPaolo Ciancarini, Davide Rossi, Fabio Vitali: The World Wide Web as a Place to Work in. WETICE 1998: 118-125
53EERobert Tolksdorf, Paolo Ciancarini, Mark Ginsburg, Jakob Hummes, Wilfred C. Jamison: Working Group Report on Coordination Architectures for Distributed Web Applications. WETICE 1998: 150-153
52 Paolo Ciancarini, Cecilia Mascolo, Fabio Vitali: Visualizing Z Notation in HTML Documents. ZUM 1998: 81-95
51 Paolo Ciancarini, Cecilia Mascolo: Using Formal Methods for Teaching Software Engineering: A Tool-Based Approach. Ann. Software Eng. 6: 433-453 (1998)
50EEPaolo Ciancarini, Alfredo Rizzi, Fabio Vitali: An Extensible Rendering Engine for XML. Computer Networks 30(1-7): 225-237 (1998)
49EEPaolo 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)
48 Farhad Arbab, Paolo Ciancarini, Chris Hankin: Coordination Languages for Parallel Programming. Parallel Computing 24(7): 989-1004 (1998)
47 Paolo Ciancarini, M. Mazza, L. Pazzaglia: A Logic for a Coordination Model with Multiple Spaces. Sci. Comput. Program. 31(2-3): 231-261 (1998)
46 Paolo Ciancarini, Davide Rossi: Coordinating Java Agents over the WWW. World Wide Web 1(2): 87-99 (1998)
45 Paolo 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
44EEPaolo Ciancarini, A. Fantini, Davide Rossi: A Multi-Agent Process Centered Environment Integrated with the WWW. WETICE 1997: 113-120
43 Paolo Ciancarini, Cecilia Mascolo: Analyzing and Refining an Architectural Style. ZUM 1997: 349-368
42 Paolo Ciancarini, Stelvio Cimato, Cecilia Mascolo: Engineering Formal Requirements: An Analysis and Testing Method for Z Documents. Ann. Software Eng. 3: 189-219 (1997)
41EEPaolo 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
40 Paolo Ciancarini, Chris Hankin: Coordination Languages and Models, First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996, Proceedings Springer 1996
39EEPaolo Ciancarini, Robert Tolksdorf: Using the web to coordinate distributed applications. ACM SIGOPS European Workshop 1996: 197-203
38 Paolo Ciancarini, Robert Tolksdorf, Fabio Vitali: Weaving the Web Using Coordination. COORDINATION 1996: 411-415
37 Stefania Castellani, Paolo Ciancarini: Enhancing Coordination and Modularity Mechanisms for a Language with Objects-as-Multisets. COORDINATION 1996: 89-106
36 Paolo Ciancarini, Cecilia Mascolo: Analyzing the Dynamics of a Z Specification. DISCO 1996: 138-149
35 Paolo Ciancarini, Stelvio Cimato: Animating a Non-executable Formal Specification with a Distributed Symbolic Language. DISCO 1996: 200-201
34 Paolo Ciancarini, Daniela Fogli, Mauro Gaspari: A Logic Language based on GAMMA-like Multiset Rewriting. ELP 1996: 83-101
33 Paolo Ciancarini, Davide Rossi: Jada - Coordination and Communication for Java Agents. Mobile Object Systems 1996: 213-226
32 Paolo Ciancarini, Stelvio Cimato, Cecilia Mascolo: Engineering Formal Requirements: Analysis and Testing. SEKE 1996: 385-392
31EEPaolo Ciancarini, Davide Rossi, Fabio Vitali, Andreas Knoche, Robert Tolksdorf: Coordination technology for the WWW. WETICE 1996: 322-327
30 Paolo Ciancarini: Coordination Models and Languages as Software Integrators. ACM Comput. Surv. 28(2): 300-302 (1996)
29 Paolo Ciancarini, Mauro Gaspari: Rule-Based Coordination of Logic Programs. Comput. Lang. 22(2/3): 95-113 (1996)
28EEPaolo 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)
27EEPaolo Ciancarini, Leon Sterling: Guest Editor's Introduction. International Journal of Software Engineering and Knowledge Engineering 6(1): 1-3 (1996)
26EELeon 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
25 Paolo 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
24 Paolo Ciancarini, Daniela Fogli, Mauro Gaspari: A Logic Language Based on GAMMA-Like Multiset Rewriting. GULP-PRODE 1995: 125-138
23 Paolo Ciancarini, P. Mancini: Distributing Search and Knowledge Using a Coordination Language. PaCT 1995: 400-410
22 Paolo Ciaccia, Paolo Ciancarini, Wilma Penzo: From Formal Requirements to Formal Design. SEKE 1995: 23-30
21EEPaolo Ciancarini: Modeling the software process using coordination rules. WETICE 1995: 46-53
20EEPaolo 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-
19 Paolo Ciaccia, Paolo Ciancarini: A Course on Formal Methods in Software Engineering: Matching Requirements with Design. ZUM 1995: 482-496
18 Paolo Ciaccia, Paolo Ciancarini, Wilma Penzo: A Formal Approach to Software Design: The Clepsydra Methodology. ZUM 1995: 5-24
17 Vincenzo Ambriola, Paolo Ciancarini, Andrea Corradini: Declarative Specification of the Architecture of a Software Development Environment. Softw., Pract. Exper. 25(2): 143-174 (1995)
1994
16 Paolo Ciancarini, Keld K. Jensen, Daniel Yankelevich: On the Operational Sematics of a Coordination Language. ECOOP Workshop 1994: 77-106
15EEPaolo Ciancarini, Mauro Gaspari: Parallel Symbolic Computing with the Shared Dataspace Coordination Model. ICLP Workshop: Process-Based Parallel Logic Programming 1994: 11-37
14 Paolo Ciancarini: Distributed Programming with Logic Tuple Spaces. New Generation Comput. 12(3): 251-284 (1994)
1993
13EEPaolo Ciancarini: Coordinating Rule-Based Software Processes with ESP. ACM Trans. Softw. Eng. Methodol. 2(3): 203-227 (1993)
12 Paolo Ciancarini, N. Guerrini: Linda meets Minix. Operating Systems Review 27(4): 76-92 (1993)
1992
11 Paolo Ciancarini, David Gelernter: A Distributed Programming Environment based on Logic Tuple Spaces. FGCS 1992: 926-933
10 Paolo Ciancarini: A Linda-Based Runtime System for a Distributed Logic Language. LCPC 1992: 356-368
9 Paolo Ciancarini: Parallel Programming with Logic Languages: A Survey. Comput. Lang. 17(4): 213-239 (1992)
1991
8 Paolo Ciancarini: Parallel Logic Programming Using the Linda Model of Computation. Research Directions in High-Level Parallel Programming Languages 1991: 110-125
7EEAntonio Brogi, Paolo Ciancarini: The Concurrent Language, Shared Prolog. ACM Trans. Program. Lang. Syst. 13(1): 99-123 (1991)
6 Tiziana Castagnetti, Paolo Ciancarini: Static Analysis of a Parallel Logic Language Based on the Blackboard Model. J. Parallel Distrib. Comput. 13(4): 412-423 (1991)
5EEVincenzo Ambriola, Paolo Ciancarini, Andrea Corradini, Nicoletta De Francesco: Towards innovative software engineering environments. Journal of Systems and Software 14(1): 17-29 (1991)
1990
4 Paolo Ciancarini: Coordination Languages for Open System Design. ICCL 1990: 252-260
3 Vincenzo Ambriola, Paolo Ciancarini, Carlo Montangero: Software processes as a hierarchy. ISPW 1990: 57-60
2 Vincenzo Ambriola, Paolo Ciancarini, Carlo Montangero: The Logic Language ESP and its Programming Environment. LPE 1990: 12-15
1 Vincenzo Ambriola, Paolo Ciancarini, Marco Danelutto: Design and Distributed Implementation of the Parallel Logic Language Shared Prolog. PPOPP 1990: 40-49

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)