Search the dblp DataBase
Paolo Ciancarini :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Paolo Ciancarini , Andrea Giovannini , Davide Rossi Mobility and Coordination for Distributed Java Applications. [Citation Graph (0, 0)][DBLP ] Advances in Distributed Systems, 1999, pp:402-426 [Conf ] Andrea Bolognesi , Paolo Ciancarini Computer Programming of Kriegspiel Endings: The Case of KR versus K. [Citation Graph (0, 0)][DBLP ] ACG, 2003, pp:325-342 [Conf ] Paolo Ciancarini , Daniela Fogli , Mauro Gaspari A Logic Language Based on GAMMA-Like Multiset Rewriting. [Citation Graph (0, 0)][DBLP ] GULP-PRODE, 1995, pp:125-138 [Conf ] Michael Wooldridge , Paolo Ciancarini Agent-Oriented Software Engineering: The State of the Art. [Citation Graph (0, 0)][DBLP ] AOSE, 2000, pp:1-28 [Conf ] Stefan Bussmann , Paolo Ciancarini , Keith S. Decker , Michael N. Huhns , Michael Wooldridge Agent-Oriented Software Engineering. [Citation Graph (0, 0)][DBLP ] ATAL, 1999, pp:248-249 [Conf ] Laura Bocchi , Paolo Ciancarini A Perspective on Multiagent Coordination Models. [Citation Graph (0, 0)][DBLP ] Communication in Multiagent Systems, 2003, pp:146-163 [Conf ] Paolo Ciancarini , Andrea Omicini , Franco Zambonelli Multiagent System Engineering: The Coordination Viewpoint. [Citation Graph (0, 0)][DBLP ] ATAL, 1999, pp:250-259 [Conf ] Andrea Bolognesi , Paolo Ciancarini Searching over Metapositions in Kriegspiel. [Citation Graph (0, 0)][DBLP ] Computers and Games, 2004, pp:246-261 [Conf ] Stefania Castellani , Paolo Ciancarini Enhancing Coordination and Modularity Mechanisms for a Language with Objects-as-Multisets. [Citation Graph (0, 0)][DBLP ] COORDINATION, 1996, pp:89-106 [Conf ] Laura Bocchi , Paolo Ciancarini , Davide Rossi Transactional Aspects in Semantic Based Discovery of Services. [Citation Graph (0, 0)][DBLP ] COORDINATION, 2005, pp:283-297 [Conf ] Paolo Ciancarini , Robert Tolksdorf , Fabio Vitali Weaving the Web Using Coordination. [Citation Graph (0, 0)][DBLP ] COORDINATION, 1996, pp:411-415 [Conf ] Paolo Ciancarini , Stelvio Cimato Animating a Non-executable Formal Specification with a Distributed Symbolic Language. [Citation Graph (0, 0)][DBLP ] DISCO, 1996, pp:200-201 [Conf ] Paolo Ciancarini , Cecilia Mascolo Analyzing the Dynamics of a Z Specification. [Citation Graph (0, 0)][DBLP ] DISCO, 1996, pp:138-149 [Conf ] Paolo Ciancarini , Federico Folli , Davide Rossi , Fabio Vitali XLinkProxy: external linkbases with XLink. [Citation Graph (0, 0)][DBLP ] ACM Symposium on Document Engineering, 2002, pp:57-65 [Conf ] Paolo Ciancarini , Keld K. Jensen , Daniel Yankelevich On the Operational Sematics of a Coordination Language. [Citation Graph (0, 0)][DBLP ] ECOOP Workshop, 1994, pp:77-106 [Conf ] Stelvio Cimato , Paolo Ciancarini A Formal Approach to the Specification of Java Components. [Citation Graph (0, 0)][DBLP ] ECOOP Workshops, 1999, pp:107-108 [Conf ] Paolo Ciancarini , Daniela Fogli , Mauro Gaspari A Logic Language based on GAMMA-like Multiset Rewriting. [Citation Graph (0, 0)][DBLP ] ELP, 1996, pp:83-101 [Conf ] Paolo Ciancarini , Riccardo Gentilucci , Marco Pirruccio , Valentina Presutti , Fabio Vitali Metadata on the Web: On the integration of RDF and Topic Maps. [Citation Graph (0, 0)][DBLP ] Extreme Markup Languages®, 2003, pp:- [Conf ] Paolo Ciancarini , David Gelernter A Distributed Programming Environment based on Logic Tuple Spaces. [Citation Graph (0, 0)][DBLP ] FGCS, 1992, pp:926-933 [Conf ] Sergio Andreozzi , Paolo Ciancarini , Danilo Montesi , Rocco Moretti Towards a Metamodeling Based Method for Representing and Selecting Grid Services. [Citation Graph (0, 0)][DBLP ] GSEM, 2004, pp:78-93 [Conf ] Paolo Ciancarini Parallel Logic Programming Using the Linda Model of Computation. [Citation Graph (0, 0)][DBLP ] Research Directions in High-Level Parallel Programming Languages, 1991, pp:110-125 [Conf ] Paolo Ciancarini Coordination Languages for Open System Design. [Citation Graph (0, 0)][DBLP ] ICCL, 1990, pp:252-260 [Conf ] Paolo Ciancarini , Mauro Gaspari Parallel Symbolic Computing with the Shared Dataspace Coordination Model. [Citation Graph (0, 0)][DBLP ] ICLP Workshop: Process-Based Parallel Logic Programming, 1994, pp:11-37 [Conf ] Luca Bompani , Paolo Ciancarini , Fabio Vitali Software engineering and the Internet: a roadmap. [Citation Graph (0, 0)][DBLP ] ICSE - Future of SE Track, 2000, pp:303-315 [Conf ] Paolo Ciancarini On the education of future software engineers. [Citation Graph (0, 0)][DBLP ] ICSE, 2005, pp:649-650 [Conf ] Paolo Ciancarini , Michael Wooldridge Agent-oriented software engineering (workshop). [Citation Graph (0, 0)][DBLP ] ICSE, 2000, pp:816-817 [Conf ] Andrea Bolognesi , Paolo Ciancarini , Rocco Moretti On the Education of Future Software Engineers. [Citation Graph (0, 0)][DBLP ] Software Education and Training Sessions @ ICSE, 2005, pp:186-205 [Conf ] Paolo Ciancarini , Gian Piero Favini Representing Kriegspiel States with Metapositions. [Citation Graph (0, 0)][DBLP ] IJCAI, 2007, pp:2450-2455 [Conf ] Vincenzo Ambriola , Paolo Ciancarini , Carlo Montangero Software processes as a hierarchy. [Citation Graph (0, 0)][DBLP ] ISPW, 1990, pp:57-60 [Conf ] Paolo Ciancarini A Linda-Based Runtime System for a Distributed Logic Language. [Citation Graph (0, 0)][DBLP ] LCPC, 1992, pp:356-368 [Conf ] Vincenzo Ambriola , Paolo Ciancarini , Carlo Montangero The Logic Language ESP and its Programming Environment. [Citation Graph (0, 0)][DBLP ] LPE, 1990, pp:12-15 [Conf ] Paolo Ciancarini , Davide Rossi Jada - Coordination and Communication for Java Agents. [Citation Graph (0, 0)][DBLP ] Mobile Object Systems, 1996, pp:213-226 [Conf ] Paolo Ciancarini , P. Mancini Distributing Search and Knowledge Using a Coordination Language. [Citation Graph (0, 0)][DBLP ] PaCT, 1995, pp:400-410 [Conf ] Paolo Ciancarini , Davide Rossi WebCluster: A Web-Accessible Cluster Computing System Based on Coordination and Mobility. [Citation Graph (0, 0)][DBLP ] PaCT, 2001, pp:205-210 [Conf ] S. Sancese , Paolo Ciancarini , A. Messina Message Passing vs. Tuple Space Coordination in an Aerodynamics Application. [Citation Graph (0, 0)][DBLP ] PaCT, 1999, pp:320-334 [Conf ] Marco Bernardo , Lorenzo Donatiello , Paolo Ciancarini Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language. [Citation Graph (0, 0)][DBLP ] Performance, 2002, pp:236-260 [Conf ] Sergio Andreozzi , Paolo Ciancarini , Danilo Montesi , Rocco Moretti Towards a Language for a Satisfaction-Based Selection of Grid Services. [Citation Graph (0, 0)][DBLP ] PPAM, 2005, pp:723-730 [Conf ] Vincenzo Ambriola , Paolo Ciancarini , Marco Danelutto Design and Distributed Implementation of the Parallel Logic Language Shared Prolog. [Citation Graph (0, 0)][DBLP ] PPOPP, 1990, pp:40-49 [Conf ] Paolo Ciancarini , Valentina Presutti Towards Ontology Driven Software Design. [Citation Graph (0, 0)][DBLP ] RISSEF, 2002, pp:122-136 [Conf ] Laura Bocchi , Paolo Ciancarini , Rocco Moretti , Valentina Presutti , Davide Rossi An OWL-S based approach to express grid services coordination. [Citation Graph (0, 0)][DBLP ] SAC, 2005, pp:1661-1667 [Conf ] Paolo Ciancarini , Davide Rossi Coordinating distributed applets with Shade/Java. [Citation Graph (0, 0)][DBLP ] SAC, 1998, pp:130-138 [Conf ] Paolo Ciancarini , Robert Tolksdorf , Franco Zambonelli Coordination middleware for XML-centric applications. [Citation Graph (0, 0)][DBLP ] SAC, 2002, pp:336-343 [Conf ] Paolo Ciancarini , Stelvio Cimato , Cecilia Mascolo Engineering Formal Requirements: Analysis and Testing. [Citation Graph (0, 0)][DBLP ] SEKE, 1996, pp:385-392 [Conf ] Paolo Ciancarini , Rocco Moretti Towards a Framework for Web Sites Quality Evaluation. [Citation Graph (0, 0)][DBLP ] SEKE, 2003, pp:721-725 [Conf ] Paolo Ciancarini , Valentina Presutti , L. Abeti An Ontology Driven Design Method for inter-Agent Communication. [Citation Graph (0, 0)][DBLP ] SEKE, 2003, pp:90-94 [Conf ] Paolo Ciaccia , Paolo Ciancarini , Wilma Penzo From Formal Requirements to Formal Design. [Citation Graph (0, 0)][DBLP ] SEKE, 1995, pp:23-30 [Conf ] Paolo Ciancarini , Robert Tolksdorf Using the web to coordinate distributed applications. [Citation Graph (0, 0)][DBLP ] ACM SIGOPS European Workshop, 1996, pp:197-203 [Conf ] Marco Bernardo , Paolo Ciancarini , Lorenzo Donatiello On the formalization of architectural types with process algebras. [Citation Graph (0, 0)][DBLP ] SIGSOFT FSE, 2000, pp:140-148 [Conf ] Paolo Ciancarini Modeling the software process using coordination rules. [Citation Graph (0, 0)][DBLP ] WETICE, 1995, pp:46-53 [Conf ] Sergio Andreozzi , Danilo Montesi , Paolo Ciancarini , Rocco Moretti Towards a Model for Quality of Web and Grid Services. [Citation Graph (0, 0)][DBLP ] WETICE, 2004, pp:271-276 [Conf ] Paolo Ciancarini , A. Fantini , Davide Rossi A Multi-Agent Process Centered Environment Integrated with the WWW. [Citation Graph (0, 0)][DBLP ] WETICE, 1997, pp:113-120 [Conf ] 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]. [Citation Graph (0, 0)][DBLP ] WETICE, 1995, pp:8-0 [Conf ] Paolo Ciancarini , Davide Rossi , Fabio Vitali The World Wide Web as a Place to Work in. [Citation Graph (0, 0)][DBLP ] WETICE, 1998, pp:118-125 [Conf ] Paolo Ciancarini , Davide Rossi , Fabio Vitali , Andreas Knoche , Robert Tolksdorf Coordination technology for the WWW. [Citation Graph (0, 0)][DBLP ] WETICE, 1996, pp:322-327 [Conf ] Robert Tolksdorf , Paolo Ciancarini , Mark Ginsburg , Jakob Hummes , Wilfred C. Jamison Working Group Report on Coordination Architectures for Distributed Web Applications. [Citation Graph (0, 0)][DBLP ] WETICE, 1998, pp:150-153 [Conf ] Marco Bernardo , Paolo Ciancarini , Lorenzo Donatiello Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems. [Citation Graph (0, 0)][DBLP ] WICSA, 2001, pp:77-86 [Conf ] Marco Bernardo , Paolo Ciancarini , Lorenzo Donatiello ÆMPA: a process algebraic description language for the performance analysis of software architectures. [Citation Graph (0, 0)][DBLP ] Workshop on Software and Performance, 2000, pp:1-11 [Conf ] Paolo Ciaccia , Paolo Ciancarini A Course on Formal Methods in Software Engineering: Matching Requirements with Design. [Citation Graph (0, 0)][DBLP ] ZUM, 1995, pp:482-496 [Conf ] Paolo Ciaccia , Paolo Ciancarini , Wilma Penzo A Formal Approach to Software Design: The Clepsydra Methodology. [Citation Graph (0, 0)][DBLP ] ZUM, 1995, pp:5-24 [Conf ] Paolo Ciancarini , Cecilia Mascolo Analyzing and Refining an Architectural Style. [Citation Graph (0, 0)][DBLP ] ZUM, 1997, pp:349-368 [Conf ] Paolo Ciancarini , Cecilia Mascolo , Fabio Vitali Visualizing Z Notation in HTML Documents. [Citation Graph (0, 0)][DBLP ] ZUM, 1998, pp:81-95 [Conf ] Paolo Ciancarini , Robert Tolksdorf Coordination Mechanisms for Web Agents. [Citation Graph (0, 0)][DBLP ] Autonomous Agents and Multi-Agent Systems, 1999, v:2, n:3, pp:215-216 [Journal ] Luca Bompani , Paolo Ciancarini , Fabio Vitali XML-Based Hypertext Functionalities for Software Engineering. [Citation Graph (0, 0)][DBLP ] Ann. Software Eng., 2002, v:13, n:1-4, pp:231-247 [Journal ] Paolo Ciancarini , Stelvio Cimato , Cecilia Mascolo Engineering Formal Requirements: An Analysis and Testing Method for Z Documents. [Citation Graph (0, 0)][DBLP ] Ann. Software Eng., 1997, v:3, n:, pp:189-219 [Journal ] Paolo Ciancarini , Cecilia Mascolo Using Formal Methods for Teaching Software Engineering: A Tool-Based Approach. [Citation Graph (0, 0)][DBLP ] Ann. Software Eng., 1998, v:6, n:, pp:433-453 [Journal ] Paolo Ciancarini Parallel Programming with Logic Languages: A Survey. [Citation Graph (0, 0)][DBLP ] Comput. Lang., 1992, v:17, n:4, pp:213-239 [Journal ] Paolo Ciancarini , Daniela Fogli , Mauro Gaspari A declarative coordination language. [Citation Graph (0, 0)][DBLP ] Comput. Lang., 2000, v:26, n:2-4, pp:125-163 [Journal ] Paolo Ciancarini , Mauro Gaspari Rule-Based Coordination of Logic Programs. [Citation Graph (0, 0)][DBLP ] Comput. Lang., 1996, v:22, n:2/3, pp:95-113 [Journal ] Paolo Ciancarini , Andreas Knoche , Robert Tolksdorf , Fabio Vitali PageSpace: An Architecture to Coordinate Distributed Applications on the Web. [Citation Graph (0, 0)][DBLP ] Computer Networks, 1996, v:28, n:7-11, pp:941-952 [Journal ] Paolo Ciancarini , Alfredo Rizzi , Fabio Vitali An Extensible Rendering Engine for XML. [Citation Graph (0, 0)][DBLP ] Computer Networks, 1998, v:30, n:1-7, pp:225-237 [Journal ] Sergio Andreozzi , Paolo Ciancarini , Danilo Montesi , Rocco Moretti An approach to the quantitative evaluation of Grid services. [Citation Graph (0, 0)][DBLP ] Concurrency and Computation: Practice and Experience, 2006, v:18, n:8, pp:827-836 [Journal ] Paolo Ciancarini Coordination Models and Languages as Software Integrators. [Citation Graph (0, 0)][DBLP ] ACM Comput. Surv., 1996, v:28, n:2, pp:300-302 [Journal ] Laura Bocchi , Paolo Ciancarini On the Impact of Formal Methods in the SOA. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:113-126 [Journal ] Paolo Ciaccia , Paolo Ciancarini , Wilma Penzo Formal Requirements and Design Specifications: The Clepsydra Methodology. [Citation Graph (0, 0)][DBLP ] International Journal of Software Engineering and Knowledge Engineering, 1997, v:7, n:1, pp:1-42 [Journal ] Paolo Ciancarini , Michael Wooldridge Agent-Based Software Engineering - Guest Editors' Introduction. [Citation Graph (0, 0)][DBLP ] International Journal of Software Engineering and Knowledge Engineering, 2001, v:11, n:3, pp:205-206 [Journal ] Paolo Ciancarini , Davide Rossi , Fabio Vitali Designing a document-centric coordination application over the Internet. [Citation Graph (0, 0)][DBLP ] Interacting with Computers, 2001, v:13, n:6, pp:677-693 [Journal ] Tiziana Castagnetti , Paolo Ciancarini Static Analysis of a Parallel Logic Language Based on the Blackboard Model. [Citation Graph (0, 0)][DBLP ] J. Parallel Distrib. Comput., 1991, v:13, n:4, pp:412-423 [Journal ] Vincenzo Ambriola , Paolo Ciancarini , Andrea Corradini , Nicoletta De Francesco Towards innovative software engineering environments. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1991, v:14, n:1, pp:17-29 [Journal ] Paolo Ciancarini Distributed Programming with Logic Tuple Spaces. [Citation Graph (0, 0)][DBLP ] New Generation Comput., 1994, v:12, n:3, pp:251-284 [Journal ] Paolo Ciancarini , Andrea Omicini , Franco Zambonelli Coordination Technologies for Internet Agents. [Citation Graph (0, 0)][DBLP ] Nord. J. Comput., 1999, v:6, n:3, pp:215-240 [Journal ] Paolo Ciancarini , Federico Folli , Davide Rossi , Fabio Vitali XlinkProxy: external linkbases wih Xlink (Technical Note). [Citation Graph (0, 0)][DBLP ] The New Review of Hypermedia and Multimedia, 2002, v:8, n:, pp:- [Journal ] Farhad Arbab , Paolo Ciancarini , Chris Hankin Coordination Languages for Parallel Programming. [Citation Graph (0, 0)][DBLP ] Parallel Computing, 1998, v:24, n:7, pp:989-1004 [Journal ] Paolo Ciancarini , M. Mazza , L. Pazzaglia A Logic for a Coordination Model with Multiple Spaces. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1998, v:31, n:2-3, pp:231-261 [Journal ] Paolo Ciancarini , Alexander L. Wolf Issues in Coordination Languages and Architectures. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2003, v:46, n:1-2, pp:1-3 [Journal ] Paolo Ciancarini , N. Guerrini Linda meets Minix. [Citation Graph (0, 0)][DBLP ] Operating Systems Review, 1993, v:27, n:4, pp:76-92 [Journal ] Carlos A. Varela , Paolo Ciancarini , Kenjiro Taura Worldwide computing: Adaptive middleware and programming technology for dynamic Grid environments. [Citation Graph (0, 0)][DBLP ] Scientific Programming, 2005, v:13, n:4, pp:255-263 [Journal ] Vincenzo Ambriola , Paolo Ciancarini , Andrea Corradini Declarative Specification of the Architecture of a Software Development Environment. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 1995, v:25, n:2, pp:143-174 [Journal ] Paolo Ciancarini , Fabio Vitali , Cecilia Mascolo Managing Complex Documents Over the WWW: A Case Study for XML. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Knowl. Data Eng., 1999, v:11, n:4, pp:629-638 [Journal ] Antonio Brogi , Paolo Ciancarini The Concurrent Language, Shared Prolog. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1991, v:13, n:1, pp:99-123 [Journal ] Marco Bernardo , Paolo Ciancarini , Lorenzo Donatiello Architecting families of software systems with process algebras. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 2002, v:11, n:4, pp:386-426 [Journal ] Paolo Ciancarini Coordinating Rule-Based Software Processes with ESP. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 1993, v:2, n:3, pp:203-227 [Journal ] Paolo Ciancarini , Francesco Franzé , Cecilia Mascolo Using a coordination language to specify and analyze systems containing mobile components. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 2000, v:9, n:2, pp:167-198 [Journal ] Paolo Ciancarini , Robert Tolksdorf , Fabio Vitali , Davide Rossi , Andreas Knoche Coordinating Multiagent Aplications on the WWW: A Reference Architecture. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1998, v:24, n:5, pp:362-375 [Journal ] Paolo Ciancarini , Davide Rossi Coordinating Java Agents over the WWW. [Citation Graph (0, 0)][DBLP ] World Wide Web, 1998, v:1, n:2, pp:87-99 [Journal ] Paolo Ciancarini , Robert Tolksdorf , Jan Vitek Distributed World Wide Web Processing: Applications and Techniques of Web Agents - Preface. [Citation Graph (0, 0)][DBLP ] World Wide Web, 1998, v:1, n:3, pp:109- [Journal ] Solving Kriegspiel Endings with Brute Force: The Case of KR vs. K. [Citation Graph (, )][DBLP ] Business Process Modeling for Organizational Knowledge Management. [Citation Graph (, )][DBLP ] EUCIP in Italian Universities. [Citation Graph (, )][DBLP ] Monte Carlo Tree Search Techniques in the Game of Kriegspiel. [Citation Graph (, )][DBLP ] Model Driven Development of Ontology-Based Grid Services. [Citation Graph (, )][DBLP ] On the Effectiveness of Manual and Automatic Unit Test Generation. [Citation Graph (, )][DBLP ] Plagiarism detection in game-playing software. [Citation Graph (, )][DBLP ] Monte Carlo tree search in Kriegspiel. [Citation Graph (, )][DBLP ] Search in 0.008secs, Finished in 0.012secs