 | 2009 |
|---|
| 115 |       | Paolo Ciancarini,
Gian Piero Favini:
Monte Carlo Tree Search Techniques in the Game of Kriegspiel.
IJCAI 2009: 474-479 |
| 2008 |
|---|
| 114 | | Luca Abeti,
Paolo Ciancarini,
Rocco Moretti:
Business Process Modeling for Organizational Knowledge Management.
Concurrency, Graphs and Models 2008: 301-311 |
| 113 | | Alberto Bacchelli,
Paolo Ciancarini,
Davide Rossi:
On the Effectiveness of Manual and Automatic Unit Test Generation.
ICSEA 2008: 252-257 |
| 112 | | 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 |
| 111 | | 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) |
| 2007 |
|---|
| 110 |  | 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 |
| 109 | | Paolo Ciancarini,
Gian Piero Favini:
Representing Kriegspiel States with Metapositions.
IJCAI 2007: 2450-2455 |
| 108 | | Luca Abeti,
Paolo Ciancarini,
Rocco Moretti:
Model Driven Development of Ontology-Based Grid Services.
WETICE 2007: 229-234 |
| 107 | | Mariacarla Calzarossa,
Paolo Ciancarini,
Paolo Maresca,
Luisa Mich,
Nello Scarabottolo:
The ECDL programme in Italian Universities.
Computers & Education 49(2): 514-529 (2007) |
| 2006 |
|---|
| 106 | | Paolo Ciancarini,
Herbert Wiklicky:
Coordination Models and Languages, 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings
Springer 2006 |
| 105 | | 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) |
| 104 | | Laura Bocchi,
Paolo Ciancarini:
On the Impact of Formal Methods in the SOA.
Electr. Notes Theor. Comput. Sci. 160: 113-126 (2006) |
| 103 | | 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) |
| 2005 |
|---|
| 102 | | Laura Bocchi,
Paolo Ciancarini,
Davide Rossi:
Transactional Aspects in Semantic Based Discovery of Services.
COORDINATION 2005: 283-297 |
| 101 | | Paolo Ciancarini:
On the education of future software engineers.
ICSE 2005: 649-650 |
| 100 | | Sergio Andreozzi,
Paolo Ciancarini,
Danilo Montesi,
Rocco Moretti:
Towards a Language for a Satisfaction-Based Selection of Grid Services.
PPAM 2005: 723-730 |
| 99 | | Laura Bocchi,
Paolo Ciancarini,
Rocco Moretti,
Valentina Presutti,
Davide Rossi:
An OWL-S based approach to express grid services coordination.
SAC 2005: 1661-1667 |
| 98 | | Andrea Bolognesi,
Paolo Ciancarini,
Rocco Moretti:
On the Education of Future Software Engineers.
Software Education and Training Sessions @ ICSE 2005: 186-205 |
| 97 | | 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) |
| 2004 |
|---|
| 96 | | Andrea Bolognesi,
Paolo Ciancarini:
Searching over Metapositions in Kriegspiel.
Computers and Games 2004: 246-261 |
| 95 | | Sergio Andreozzi,
Paolo Ciancarini,
Danilo Montesi,
Rocco Moretti:
Towards a Metamodeling Based Method for Representing and Selecting Grid Services.
GSEM 2004: 78-93 |
| 94 | | Sergio 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 |
| 92 | | Laura Bocchi,
Paolo Ciancarini:
A Perspective on Multiagent Coordination Models.
Communication in Multiagent Systems 2003: 146-163 |
| 91 | | 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 |
| 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 |
| 88 | | Paolo 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 |
| 86 | | Paolo Ciancarini,
Federico Folli,
Davide Rossi,
Fabio Vitali:
XLinkProxy: external linkbases with XLink.
ACM Symposium on Document Engineering 2002: 57-65 |
| 85 | | Marco Bernardo,
Lorenzo Donatiello,
Paolo Ciancarini:
Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language.
Performance 2002: 236-260 |
| 84 | | Paolo Ciancarini,
Valentina Presutti:
Towards Ontology Driven Software Design.
RISSEF 2002: 122-136 |
| 83 | | Paolo Ciancarini,
Robert Tolksdorf,
Franco Zambonelli:
Coordination middleware for XML-centric applications.
SAC 2002: 336-343 |
| 82 | | Marco 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 |
| 78 | | Paolo Ciancarini,
Davide Rossi:
WebCluster: A Web-Accessible Cluster Computing System Based on Coordination and Mobility.
PaCT 2001: 205-210 |
| 77 | | Marco 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 |
|---|
| 73 | | Michael Wooldridge,
Paolo Ciancarini:
Agent-Oriented Software Engineering: The State of the Art.
AOSE 2000: 1-28 |
| 72 | | Paolo Ciancarini,
Michael Wooldridge:
Agent-oriented software engineering (workshop).
ICSE 2000: 816-817 |
| 71 | | Luca Bompani,
Paolo Ciancarini,
Fabio Vitali:
Software engineering and the Internet: a roadmap.
ICSE - Future of SE Track 2000: 303-315 |
| 70 | | Marco Bernardo,
Paolo Ciancarini,
Lorenzo Donatiello:
On the formalization of architectural types with process algebras.
SIGSOFT FSE 2000: 140-148 |
| 69 | | 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 |
| 68 | | 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) |
| 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 |
| 62 | | Paolo 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 |
| 60 | | S. Sancese,
Paolo Ciancarini,
A. Messina:
Message Passing vs. Tuple Space Coordination in an Aerodynamics Application.
PaCT 1999: 320-334 |
| 59 | | Paolo 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) |
| 57 | | 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) |
| 56 | | Paolo Ciancarini,
Andrea Omicini,
Franco Zambonelli:
Coordination Technologies for Internet Agents.
Nord. J. Comput. 6(3): 215-240 (1999) |
| 1998 |
|---|
| 55 | | Paolo Ciancarini,
Davide Rossi:
Coordinating distributed applets with Shade/Java.
SAC 1998: 130-138 |
| 54 | | Paolo Ciancarini,
Davide Rossi,
Fabio Vitali:
The World Wide Web as a Place to Work in.
WETICE 1998: 118-125 |
| 53 | | 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 |
| 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) |
| 50 | | Paolo Ciancarini,
Alfredo Rizzi,
Fabio Vitali:
An Extensible Rendering Engine for XML.
Computer Networks 30(1-7): 225-237 (1998) |
| 49 | | 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) |
| 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 |
|---|
| 44 | | Paolo 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) |
| 41 | | 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) |
| 1996 |
|---|
| 40 | | Paolo Ciancarini,
Chris Hankin:
Coordination Languages and Models, First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996, Proceedings
Springer 1996 |
| 39 | | Paolo 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 |
| 31 | | Paolo 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) |
| 28 | | 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) |
| 27 | | Paolo Ciancarini,
Leon Sterling:
Guest Editor's Introduction.
International Journal of Software Engineering and Knowledge Engineering 6(1): 1-3 (1996) |
| 26 | | 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) |
| 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 |
| 21 | | Paolo Ciancarini:
Modeling the software process using coordination rules.
WETICE 1995: 46-53 |
| 20 | | 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- |
| 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 |
| 15 | | Paolo 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 |
|---|
| 13 | | Paolo 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 |
| 7 | | Antonio 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) |
| 5 | | Vincenzo 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 |
