Paolo Ciancarini

Paolo Ciancarini, Angelo Di Iorio, Luca Furini, Fabio Vitali: High-quality pagination for publishing. Softw., Pract. Exper. 42(6): 733-751 (2012)

Sara Zuppiroli, Paolo Ciancarini, Maurizio Gabbrielli: A Role-Playing Game for a Software Engineering Lab: Developing a Product Line. CSEE&T 2012: 13-22

Paolo Ciancarini, Andrea Gasparro: Priority Level Planning in Kriegspiel. ICEC 2012: 333-340

Aldo Gangemi, Andrea Giovanni Nuzzolese, Valentina Presutti, Francesco Draicchio, Alberto Musetti, Paolo Ciancarini: Automatic Typing of DBpedia Entities. International Semantic Web Conference (1) 2012: 65-81

Andrea Giovanni Nuzzolese, Aldo Gangemi, Valentina Presutti, Paolo Ciancarini: Type inference through the analysis of Wikipedia links. LDOW 2012

Mariacarla Calzarossa, Paolo Ciancarini, Luisa Mich, Nello Scarabottolo: Informatics Education in Italian High Schools. ISSEP 2011: 31-42

Alessandro Adamou, Paolo Ciancarini, Aldo Gangemi, Valentina Presutti: User-sensitive Explanations under a Knowledge Pattern Lens. SPIM 2011: 14-21

Andrea Giovanni Nuzzolese, Aldo Gangemi, Valentina Presutti, Paolo Ciancarini: Encyclopedic Knowledge Patterns from Wikipedia Links. International Semantic Web Conference (1) 2011: 520-536

Paolo Ciancarini, Gian Piero Favini: Monte Carlo tree search in Kriegspiel. Artif. Intell. 174(11): 670-684 (2010)

Andrea 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)

Paolo Ciancarini, Gian Piero Favini: Playing the perfect Kriegspiel endgame. Theor. Comput. Sci. 411(40-42): 3563-3577 (2010)

Paolo Ciancarini, Gian Piero Favini: Retrograde Analysis of Kriegspiel endgames. CIG 2010: 411-418

Sergio 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)

Paolo Ciancarini, Gian Piero Favini: Solving Kriegspiel Endings with Brute Force: The Case of KR vs. K. ACG 2009: 136-145

Paolo Ciancarini, Gian Piero Favini: Plagiarism detection in game-playing software. FDG 2009: 264-271

Paolo Ciancarini, Gian Piero Favini: Monte Carlo Tree Search Techniques in the Game of Kriegspiel. IJCAI 2009: 474-479

Yudistira 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)

Luca Abeti, Paolo Ciancarini, Rocco Moretti: Business Process Modeling for Organizational Knowledge Management. Concurrency, Graphs and Models 2008: 301-311

Alberto Bacchelli, Paolo Ciancarini, Davide Rossi: On the Effectiveness of Manual and Automatic Unit Test Generation. ICSEA 2008: 252-257

Cristiana 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

Mariacarla Calzarossa, Paolo Ciancarini, Paolo Maresca, Luisa Mich, Nello Scarabottolo: The ECDL programme in Italian Universities. Computers & Education 49(2): 514-529 (2007)

Paolo Ciancarini, Gian Piero Favini: A Program to Play Kriegspiel. ICGA Journal 30(1): 3-24 (2007)

Paolo Ciancarini, Gian Piero Favini: Representing Kriegspiel States with Metapositions. IJCAI 2007: 2450-2455

Luca Abeti, Paolo Ciancarini, Rocco Moretti: Model Driven Development of Ontology-Based Grid Services. WETICE 2007: 229-234

H. Jaap van den Herik, Paolo Ciancarini, H. H. L. M. Donkers (Eds.): Computers and Games, 5th International Conference, CG 2006, Turin, Italy, May 29-31, 2006. Revised Papers. Lecture Notes in Computer Science 4630, Springer 2007, isbn 978-3-540-75537-1

Sergio 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)

Laura Bocchi, Paolo Ciancarini: On the Impact of Formal Methods in the SOA. Electr. Notes Theor. Comput. Sci. 160: 113-126 (2006)

Luca 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)

Paolo Ciancarini, Herbert Wiklicky (Eds.): Coordination Models and Languages, 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings. Lecture Notes in Computer Science 4038, Springer 2006, isbn 3-540-34694-5

Carlos A. Varela, Paolo Ciancarini, Kenjiro Taura: Worldwide computing: Adaptive middleware and programming technology for dynamic Grid environments. Scientific Programming 13(4): 255-263 (2005)

Laura Bocchi, Paolo Ciancarini, Davide Rossi: Transactional Aspects in Semantic Based Discovery of Services. COORDINATION 2005: 283-297

Andrea Bolognesi, Paolo Ciancarini, Rocco Moretti: On the Education of Future Software Engineers. Software Education and Training Sessions @ ICSE 2005: 186-205

Paolo Ciancarini: On the education of future software engineers. ICSE 2005: 649-650

Sergio Andreozzi, Paolo Ciancarini, Danilo Montesi, Rocco Moretti: Towards a Language for a Satisfaction-Based Selection of Grid Services. PPAM 2005: 723-730

Laura Bocchi, Paolo Ciancarini, Rocco Moretti, Valentina Presutti, Davide Rossi: An OWL-S based approach to express grid services coordination. SAC 2005: 1661-1667

Andrea Bolognesi, Paolo Ciancarini: Searching over Metapositions in Kriegspiel. Computers and Games 2004: 246-261

Sergio Andreozzi, Paolo Ciancarini, Danilo Montesi, Rocco Moretti: Towards a Metamodeling Based Method for Representing and Selecting Grid Services. GSEM 2004: 78-93

Sergio Andreozzi, Danilo Montesi, Paolo Ciancarini, Rocco Moretti: Towards a Model for Quality of Web and Grid Services. WETICE 2004: 271-276

Paolo Ciancarini, Alexander L. Wolf: Issues in Coordination Languages and Architectures. Sci. Comput. Program. 46(1-2): 1-3 (2003)

Andrea Bolognesi, Paolo Ciancarini: Computer Programming of Kriegspiel Endings: The Case of KR versus K. ACG 2003: 325-342

Laura Bocchi, Paolo Ciancarini: A Perspective on Multiagent Coordination Models. Communication in Multiagent Systems 2003: 146-163

Paolo 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

Paolo Ciancarini, Valentina Presutti, Luca Abeti: An Ontology Driven Design Method for inter-Agent Communication. SEKE 2003: 90-94

Paolo Ciancarini, Rocco Moretti: Towards a Framework for Web Sites Quality Evaluation. SEKE 2003: 721-725

Luca Bompani, Paolo Ciancarini, Fabio Vitali: XML-Based Hypertext Functionalities for Software Engineering. Ann. Software Eng. 13(1-4): 231-247 (2002)

Paolo Ciancarini, Robert Tolksdorf, Franco Zambonelli: A survey of coordination middleware for XML-centric applications. Knowledge Eng. Review 17(4): 389-405 (2002)

Paolo 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)

Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello: Architecting families of software systems with process algebras. ACM Trans. Softw. Eng. Methodol. 11(4): 386-426 (2002)

Paolo Ciancarini, Federico Folli, Davide Rossi, Fabio Vitali: XLinkProxy: external linkbases with XLink. ACM Symposium on Document Engineering 2002: 57-65

Marco Bernardo, Lorenzo Donatiello, Paolo Ciancarini: Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language. Performance 2002: 236-260

Paolo Ciancarini, Valentina Presutti: Towards Ontology Driven Software Design. RISSEF 2002: 122-136

Paolo Ciancarini, Robert Tolksdorf, Franco Zambonelli: Coordination middleware for XML-centric applications. SAC 2002: 336-343

Michael Wooldridge, Gerhard Weiß, Paolo Ciancarini (Eds.): Agent-Oriented Software Engineering II, Second International Workshop, AOSE 2001, Montreal, Canada, May 29, 2001, Revised Papers and Invited Contributions. Lecture Notes in Computer Science 2222, Springer 2002, isbn 3-540-43282-5

Paolo Ciancarini, Michael Wooldridge: Agent-Based Software Engineering - Guest Editors' Introduction. International Journal of Software Engineering and Knowledge Engineering 11(3): 205-206 (2001)

Paolo Ciancarini, Davide Rossi, Fabio Vitali: Designing a document-centric coordination application over the Internet. Interacting with Computers 13(6): 677-693 (2001)

Nadia Busi, Paolo Ciancarini, Roberto Gorrieri, Gianluigi Zavattaro: Coordination Models: A Guided Tour. Coordination of Internet Agents: Models, Technologies, and Applications 2001: 6-24

Paolo Ciancarini, Davide Rossi: WebCluster: A Web-Accessible Cluster Computing System Based on Coordination and Mobility. PaCT 2001: 205-210

Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello: Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems. WICSA 2001: 77-86

Paolo Ciancarini, Michael Wooldridge (Eds.): Agent-Oriented Software Engineering, First International Workshop, AOSE 2000, Limerick, Ireland, June 10, 2000, Revised Papers. Lecture Notes in Computer Science 1957, Springer 2001, isbn 3-540-41594-7

Paolo Ciancarini, Daniela Fogli, Mauro Gaspari: A declarative coordination language. Comput. Lang. 26(2-4): 125-163 (2000)

Paolo 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)

Michael Wooldridge, Paolo Ciancarini: Agent-Oriented Software Engineering: The State of the Art. AOSE 2000: 1-28

Luca Bompani, Paolo Ciancarini, Fabio Vitali: Software engineering and the Internet: a roadmap. ICSE - Future of SE Track 2000: 303-315

Paolo Ciancarini, Michael Wooldridge: Agent-oriented software engineering (workshop). ICSE 2000: 816-817

Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello: On the formalization of architectural types with process algebras. SIGSOFT FSE 2000: 140-148

Marco 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

Paolo Ciancarini, Robert Tolksdorf: Coordination Mechanisms for Web Agents. Autonomous Agents and Multi-Agent Systems 2(3): 215-216 (1999)

Paolo Ciancarini, Andrea Omicini, Franco Zambonelli: Coordination Technologies for Internet Agents. Nord. J. Comput. 6(3): 215-240 (1999)

Paolo 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)

Paolo Ciancarini, Robert Tolksdorf, Fabio Vitali: The World Wide Web as a Place for Agents. Artificial Intelligence Today 1999: 175-193

Paolo Ciancarini, Andrea Giovannini, Davide Rossi: Mobility and Coordination for Distributed Java Applications. Advances in Distributed Systems 1999: 402-426

Stefan Bussmann, Paolo Ciancarini, Keith S. Decker, Michael N. Huhns, Michael Wooldridge: Agent-Oriented Software Engineering. ATAL 1999: 248-249

Paolo Ciancarini, Andrea Omicini, Franco Zambonelli: Multiagent System Engineering: The Coordination Viewpoint. ATAL 1999: 250-259

Stelvio Cimato, Paolo Ciancarini: A Formal Approach to the Specification of Java Components. ECOOP Workshops 1999: 107-108

S. Sancese, Paolo Ciancarini, A. Messina: Message Passing vs. Tuple Space Coordination in an Aerodynamics Application. PaCT 1999: 320-334

Paolo Ciancarini, Alexander L. Wolf (Eds.): Coordination Languages and Models, Third International Conference, COORDINATION '99, Amsterdam, The Netherlands, April 26-28, 1999, Proceedings. Lecture Notes in Computer Science 1594, Springer 1999, isbn 3-540-65836-X

Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri (Eds.): 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. IFIP Conference Proceedings 139, Kluwer 1999, isbn 0-7923-8429-6

Paolo Ciancarini, Cecilia Mascolo: Using Formal Methods for Teaching Software Engineering: A Tool-Based Approach. Ann. Software Eng. 6: 433-453 (1998)

Paolo Ciancarini, Alfredo Rizzi, Fabio Vitali: An Extensible Rendering Engine for XML. Computer Networks 30(1-7): 225-237 (1998)

Farhad Arbab, Paolo Ciancarini, Chris Hankin: Coordination Languages for Parallel Programming. Parallel Computing 24(7): 989-1004 (1998)

Paolo Ciancarini, M. Mazza, L. Pazzaglia: A Logic for a Coordination Model with Multiple Spaces. Sci. Comput. Program. 31(2-3): 231-261 (1998)

Paolo 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)

Paolo Ciancarini, Davide Rossi: Coordinating Java Agents over the WWW. World Wide Web 1(2): 87-99 (1998)

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)

Paolo Ciancarini, Davide Rossi: Coordinating distributed applets with Shade/Java. SAC 1998: 130-138

Paolo Ciancarini, Davide Rossi, Fabio Vitali: The World Wide Web as a Place to Work in. WETICE 1998: 118-125

Robert Tolksdorf, Paolo Ciancarini, Mark Ginsburg, Jakob Hummes, Wilfred C. Jamison: Working Group Report on Coordination Architectures for Distributed Web Applications. WETICE 1998: 150-153

Paolo Ciancarini, Cecilia Mascolo, Fabio Vitali: Visualizing Z Notation in HTML Documents. ZUM 1998: 81-95

Paolo Ciancarini, Stelvio Cimato, Cecilia Mascolo: Engineering Formal Requirements: An Analysis and Testing Method for Z Documents. Ann. Software Eng. 3: 189-219 (1997)

Paolo 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)

Paolo Ciancarini, A. Fantini, Davide Rossi: A Multi-Agent Process Centered Environment Integrated with the WWW. WETICE 1997: 113-120

Paolo Ciancarini, Cecilia Mascolo: Analyzing and Refining an Architectural Style. ZUM 1997: 349-368

Paolo Ciancarini, Mauro Gaspari: Rule-Based Coordination of Logic Programs. Comput. Lang. 22(2/3): 95-113 (1996)

Paolo 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)

Paolo Ciancarini: Coordination Models and Languages as Software Integrators. ACM Comput. Surv. 28(2): 300-302 (1996)

Paolo Ciancarini, Leon Sterling: Guest Editor's Introduction. International Journal of Software Engineering and Knowledge Engineering 6(1): 1-3 (1996)

Leon 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)

Stefania Castellani, Paolo Ciancarini: Enhancing Coordination and Modularity Mechanisms for a Language with Objects-as-Multisets. COORDINATION 1996: 89-106

Paolo Ciancarini, Robert Tolksdorf, Fabio Vitali: Weaving the Web Using Coordination. COORDINATION 1996: 411-415

Paolo Ciancarini, Cecilia Mascolo: Analyzing the Dynamics of a Z Specification. DISCO 1996: 138-149

Paolo Ciancarini, Stelvio Cimato: Animating a Non-executable Formal Specification with a Distributed Symbolic Language. DISCO 1996: 200-201

Paolo Ciancarini, Daniela Fogli, Mauro Gaspari: A Logic Language based on GAMMA-like Multiset Rewriting. ELP 1996: 83-101

Paolo Ciancarini, Davide Rossi: Jada - Coordination and Communication for Java Agents. Mobile Object Systems 1996: 213-226

Paolo Ciancarini, Stelvio Cimato, Cecilia Mascolo: Engineering Formal Requirements: Analysis and Testing. SEKE 1996: 385-392

Paolo Ciancarini, Robert Tolksdorf: Using the web to coordinate distributed applications. ACM SIGOPS European Workshop 1996: 197-203

Paolo Ciancarini, Davide Rossi, Fabio Vitali, Andreas Knoche, Robert Tolksdorf: Coordination technology for the WWW. WETICE 1996: 322-327

Paolo Ciancarini, Chris Hankin (Eds.): Coordination Languages and Models, First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996, Proceedings. Lecture Notes in Computer Science 1061, Springer 1996, isbn 3-540-61052-9

Vincenzo Ambriola, Paolo Ciancarini, Andrea Corradini: Declarative Specification of the Architecture of a Software Development Environment. Softw., Pract. Exper. 25(2): 143-174 (1995)

Paolo Ciancarini, Daniela Fogli, Mauro Gaspari: A Logic Language Based on GAMMA-Like Multiset Rewriting. GULP-PRODE 1995: 125-138

Paolo Ciancarini, P. Mancini: Distributing Search and Knowledge Using a Coordination Language. PaCT 1995: 400-410

Paolo Ciaccia, Paolo Ciancarini, Wilma Penzo: From Formal Requirements to Formal Design. SEKE 1995: 23-30

Paolo 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-

Paolo Ciancarini: Modeling the software process using coordination rules. WETICE 1995: 46-53

Paolo Ciaccia, Paolo Ciancarini, Wilma Penzo: A Formal Approach to Software Design: The Clepsydra Methodology. ZUM 1995: 5-24

Paolo Ciaccia, Paolo Ciancarini: A Course on Formal Methods in Software Engineering: Matching Requirements with Design. ZUM 1995: 482-496

Paolo Ciancarini, Oscar Nierstrasz, Akinori Yonezawa (Eds.): 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. Lecture Notes in Computer Science 924, Springer 1995, isbn 3-540-59450-7

Paolo Ciancarini: Distributed Programming with Logic Tuple Spaces. New Generation Comput. 12(3): 251-284 (1994)

Paolo Ciancarini, Keld K. Jensen, Daniel Yankelevich: On the Operational Sematics of a Coordination Language. ECOOP Workshop 1994: 77-106

Paolo Ciancarini, Mauro Gaspari: Parallel Symbolic Computing with the Shared Dataspace Coordination Model. ICLP Workshop: Process-Based Parallel Logic Programming 1994: 11-37

Paolo Ciancarini, N. Guerrini: Linda meets Minix. Operating Systems Review 27(4): 76-92 (1993)

Paolo Ciancarini: Coordinating Rule-Based Software Processes with ESP. ACM Trans. Softw. Eng. Methodol. 2(3): 203-227 (1993)

Paolo Ciancarini: Parallel Programming with Logic Languages: A Survey. Comput. Lang. 17(4): 213-239 (1992)

Paolo Ciancarini, David Gelernter: A Distributed Programming Environment based on Logic Tuple Spaces. FGCS 1992: 926-933

Paolo Ciancarini: A Linda-Based Runtime System for a Distributed Logic Language. LCPC 1992: 356-368

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)

Vincenzo Ambriola, Paolo Ciancarini, Andrea Corradini, Nicoletta De Francesco: Towards innovative software engineering environments. Journal of Systems and Software 14(1): 17-29 (1991)

Antonio Brogi, Paolo Ciancarini: The Concurrent Language, Shared Prolog. ACM Trans. Program. Lang. Syst. 13(1): 99-123 (1991)

Paolo Ciancarini: Parallel Logic Programming Using the Linda Model of Computation. Research Directions in High-Level Parallel Programming Languages 1991: 110-125

Paolo Ciancarini: Coordination Languages for Open System Design. ICCL 1990: 252-260

Vincenzo Ambriola, Paolo Ciancarini, Carlo Montangero: Software processes as a hierarchy. ISPW 1990: 57-60

Vincenzo Ambriola, Paolo Ciancarini, Carlo Montangero: The Logic Language ESP and its Programming Environment. LPE 1990: 12-15

Vincenzo Ambriola, Paolo Ciancarini, Marco Danelutto: Design and Distributed Implementation of the Parallel Logic Language Shared Prolog. PPOPP 1990: 40-49

Vincenzo Ambriola, Paolo Ciancarini, Carlo Montangero: Software process enactment in Oikos. SDE 1990: 183-192