| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Paolo Ciancarini, Angelo Di Iorio, Luca Furini, Fabio Vitali |
High-quality pagination for publishing.  |
Softw., Pract. Exper.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mariacarla Calzarossa, Paolo Ciancarini, Luisa Mich, Nello Scarabottolo |
Informatics Education in Italian High Schools. |
ISSEP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Giovanni Nuzzolese, Aldo Gangemi, Valentina Presutti, Paolo Ciancarini |
Encyclopedic Knowledge Patterns from Wikipedia Links. |
International Semantic Web Conference |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Gian Piero Favini |
Playing the perfect Kriegspiel endgame. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bolognesi, Paolo Ciancarini, Gian Piero Favini |
Progress Through Uncertainty in Some Kriegspiel Endings. |
IEEE Trans. Comput. Intellig. and AI in Games |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Gian Piero Favini |
Monte Carlo tree search in Kriegspiel. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Gian Piero Favini |
Retrograde Analysis of Kriegspiel endgames. |
CIG |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Gian Piero Favini |
Solving Kriegspiel Endings with Brute Force: The Case of KR vs. K. |
ACG |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Gian Piero Favini |
Plagiarism detection in game-playing software. |
FDG |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Gian Piero Favini |
Monte Carlo Tree Search Techniques in the Game of Kriegspiel. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Yudistira Asnar, Paolo Giorgini, Paolo Ciancarini, Rocco Moretti, Maurizio Sebastianis, Nicola Zannone |
An evaluation of business solutions in manufacturing enterprises. |
IJBIDM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Bacchelli, Paolo Ciancarini, Davide Rossi |
On the Effectiveness of Manual and Automatic Unit Test Generation. |
ICSEA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Abeti, Paolo Ciancarini, Rocco Moretti |
Business Process Modeling for Organizational Knowledge Management. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mariacarla Calzarossa, Paolo Ciancarini, Paolo Maresca, Luisa Mich, Nello Scarabottolo |
The ECDL programme in Italian Universities. |
Computers & Education |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Gian Piero Favini |
A Program to Play Kriegspiel. |
ICGA Journal |
2007 |
DBLP BibTeX RDF |
|
| 1 | Paolo Ciancarini, Gian Piero Favini |
Representing Kriegspiel States with Metapositions. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
Computers and Games |
2007 |
DBLP BibTeX RDF |
|
| 1 | Luca Abeti, Paolo Ciancarini, Rocco Moretti |
Model Driven Development of Ontology-Based Grid Services. |
WETICE |
2007 |
DBLP DOI BibTeX RDF |
SOA, MDA, WSRF, Semantic Grid |
| 1 | Sergio Andreozzi, Paolo Ciancarini, Danilo Montesi, Rocco Moretti |
An approach to the quantitative evaluation of Grid services. |
Concurrency and Computation: Practice and Experience |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bocchi, Paolo Ciancarini |
On the Impact of Formal Methods in the SOA. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Abeti, Paolo Ciancarini, Rocco Moretti |
Service oriented software engineering for modeling agents and services in grid systems. |
Multiagent and Grid Systems |
2006 |
DBLP BibTeX RDF |
|
| 1 | Paolo Ciancarini, Herbert Wiklicky (eds.) |
Coordination Models and Languages, 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings |
COORDINATION |
2006 |
DBLP BibTeX RDF |
|
| 1 | Carlos A. Varela, Paolo Ciancarini, Kenjiro Taura |
Worldwide computing: Adaptive middleware and programming technology for dynamic Grid environments. |
Scientific Programming |
2005 |
DBLP BibTeX RDF |
|
| 1 | Sergio Andreozzi, Paolo Ciancarini, Danilo Montesi, Rocco Moretti |
Towards a Language for a Satisfaction-Based Selection of Grid Services. |
PPAM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bocchi, Paolo Ciancarini, Davide Rossi |
Transactional Aspects in Semantic Based Discovery of Services. |
COORDINATION |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bocchi, Paolo Ciancarini, Rocco Moretti, Valentina Presutti, Davide Rossi |
An OWL-S based approach to express grid services coordination. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bolognesi, Paolo Ciancarini, Rocco Moretti |
On the Education of Future Software Engineers. |
Software Education and Training Sessions @ ICSE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini |
On the education of future software engineers. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
software engineering, UML |
| 1 | Sergio Andreozzi, Paolo Ciancarini, Danilo Montesi, Rocco Moretti |
Towards a Metamodeling Based Method for Representing and Selecting Grid Services. |
GSEM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bolognesi, Paolo Ciancarini |
Searching over Metapositions in Kriegspiel. |
Computers and Games |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Andreozzi, Danilo Montesi, Paolo Ciancarini, Rocco Moretti |
Towards a Model for Quality of Web and Grid Services. |
WETICE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Alexander L. Wolf |
Issues in Coordination Languages and Architectures. |
Sci. Comput. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bolognesi, Paolo Ciancarini |
Computer Programming of Kriegspiel Endings: The Case of KR versus K. |
ACG |
2003 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Paolo Ciancarini, Rocco Moretti |
Towards a Framework for Web Sites Quality Evaluation. |
SEKE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Paolo Ciancarini, Valentina Presutti, Luca Abeti |
An Ontology Driven Design Method for inter-Agent Communication. |
SEKE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Laura Bocchi, Paolo Ciancarini |
A Perspective on Multiagent Coordination Models. |
Communication in Multiagent Systems |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Bompani, Paolo Ciancarini, Fabio Vitali |
XML-Based Hypertext Functionalities for Software Engineering. |
Ann. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello |
Architecting families of software systems with process algebras. |
ACM Trans. Softw. Eng. Methodol. |
2002 |
DBLP DOI BibTeX RDF |
Architectural mismatch detection, software architectures, process algebras, architectural styles |
| 1 | Paolo Ciancarini, Federico Folli, Davide Rossi, Fabio Vitali |
XlinkProxy: external linkbases wih Xlink (Technical Note). |
The New Review of Hypermedia and Multimedia |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Robert Tolksdorf, Franco Zambonelli |
Coordination middleware for XML-centric applications. |
SAC |
2002 |
DBLP DOI BibTeX RDF |
XML |
| 1 | Marco Bernardo, Lorenzo Donatiello, Paolo Ciancarini |
Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language. |
Performance |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Federico Folli, Davide Rossi, Fabio Vitali |
XLinkProxy: external linkbases with XLink. |
ACM Symposium on Document Engineering |
2002 |
DBLP DOI BibTeX RDF |
external linkbases, XLink, XPointer |
| 1 | Paolo Ciancarini, Valentina Presutti |
Towards Ontology Driven Software Design. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
AOSE |
2002 |
DBLP BibTeX RDF |
|
| 1 | Paolo Ciancarini, Davide Rossi, Fabio Vitali |
Designing a document-centric coordination application over the Internet. |
Interacting with Computers |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Michael Wooldridge |
Agent-Based Software Engineering - Guest Editors' Introduction. |
International Journal of Software Engineering and Knowledge Engineering |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadia Busi, Paolo Ciancarini, Roberto Gorrieri, Gianluigi Zavattaro |
Coordination Models: A Guided Tour. |
Coordination of Internet Agents: Models, Technologies, and Applications |
2001 |
DBLP BibTeX RDF |
|
| 1 | Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello |
Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems. |
WICSA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Davide Rossi |
WebCluster: A Web-Accessible Cluster Computing System Based on Coordination and Mobility. |
PaCT |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Michael Wooldridge (eds.) |
Agent-Oriented Software Engineering, First International Workshop, AOSE 2000, Limerick, Ireland, June 10, 2000, Revised Papers |
AOSE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Paolo Ciancarini, Francesco Franzé, Cecilia Mascolo |
Using a coordination language to specify and analyze systems containing mobile components. |
ACM Trans. Softw. Eng. Methodol. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Daniela Fogli, Mauro Gaspari |
A declarative coordination language. |
Comput. Lang. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Wooldridge, Paolo Ciancarini |
Agent-Oriented Software Engineering: The State of the Art. |
AOSE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Bompani, Paolo Ciancarini, Fabio Vitali |
Software engineering and the Internet: a roadmap. |
ICSE - Future of SE Track |
2000 |
DBLP DOI BibTeX RDF |
XML, UML |
| 1 | Paolo Ciancarini, Michael Wooldridge |
Agent-oriented software engineering (workshop). |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello |
On the formalization of architectural types with process algebras. |
SIGSOFT FSE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Fabio Vitali, Cecilia Mascolo |
Managing Complex Documents Over the WWW: A Case Study for XML. |
IEEE Trans. Knowl. Data Eng. |
1999 |
DBLP DOI BibTeX RDF |
specification documents, Java, XML, hypertext, Z notation, Document management systems, active documents |
| 1 | Paolo Ciancarini, Robert Tolksdorf |
Coordination Mechanisms for Web Agents. |
Autonomous Agents and Multi-Agent Systems |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Andrea Omicini, Franco Zambonelli |
Coordination Technologies for Internet Agents. |
Nord. J. Comput. |
1999 |
DBLP BibTeX RDF |
|
| 1 | Paolo Ciancarini, Robert Tolksdorf, Fabio Vitali |
The World Wide Web as a Place for Agents. |
Artificial Intelligence Today |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Stelvio Cimato, Paolo Ciancarini |
A Formal Approach to the Specification of Java Components. |
ECOOP Workshops |
1999 |
DBLP BibTeX RDF |
|
| 1 | Paolo Ciancarini, Alexander L. Wolf (eds.) |
Coordination Languages and Models, Third International Conference, COORDINATION '99, Amsterdam, The Netherlands, April 26-28, 1999, Proceedings |
COORDINATION |
1999 |
DBLP BibTeX RDF |
|
| 1 | S. Sancese, Paolo Ciancarini, A. Messina |
Message Passing vs. Tuple Space Coordination in an Aerodynamics Application. |
PaCT |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Andrea Omicini, Franco Zambonelli |
Multiagent System Engineering: The Coordination Viewpoint. |
ATAL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Bussmann, Paolo Ciancarini, Keith S. Decker, Michael N. Huhns, Michael Wooldridge |
Agent-Oriented Software Engineering. |
ATAL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Andrea Giovannini, Davide Rossi |
Mobility and Coordination for Distributed Java Applications. |
Advances in Distributed Systems |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Robert Tolksdorf, Fabio Vitali, Davide Rossi, Andreas Knoche |
Coordinating Multiagent Aplications on the WWW: A Reference Architecture. |
IEEE Trans. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
Distributed programming systems, Java, Internet, coordination, Web applications, Linda, open distributed systems |
| 1 | Paolo Ciancarini, M. Mazza, L. Pazzaglia |
A Logic for a Coordination Model with Multiple Spaces. |
Sci. Comput. Program. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Farhad Arbab, Paolo Ciancarini, Chris Hankin |
Coordination Languages for Parallel Programming. |
Parallel Computing |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Cecilia Mascolo |
Using Formal Methods for Teaching Software Engineering: A Tool-Based Approach. |
Ann. Software Eng. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Davide Rossi |
Coordinating Java Agents over the WWW. |
World Wide Web |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Robert Tolksdorf, Jan Vitek |
Distributed World Wide Web Processing: Applications and Techniques of Web Agents - Preface. |
World Wide Web |
1998 |
DBLP BibTeX RDF |
|
| 1 | Paolo Ciancarini, Alfredo Rizzi, Fabio Vitali |
An Extensible Rendering Engine for XML. |
Computer Networks |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Davide Rossi |
Coordinating distributed applets with Shade/Java. |
SAC |
1998 |
DBLP DOI BibTeX RDF |
Java |
| 1 | Robert Tolksdorf, Paolo Ciancarini, Mark Ginsburg, Jakob Hummes, Wilfred C. Jamison |
Working Group Report on Coordination Architectures for Distributed Web Applications. (PDF / PS) |
WETICE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Davide Rossi, Fabio Vitali |
The World Wide Web as a Place to Work in. (PDF / PS) |
WETICE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Cecilia Mascolo, Fabio Vitali |
Visualizing Z Notation in HTML Documents. |
ZUM |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Stelvio Cimato, Cecilia Mascolo |
Engineering Formal Requirements: An Analysis and Testing Method for Z Documents. |
Ann. Software Eng. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciaccia, Paolo Ciancarini, Wilma Penzo |
Formal Requirements and Design Specifications: The Clepsydra Methodology. |
International Journal of Software Engineering and Knowledge Engineering |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, A. Fantini, Davide Rossi |
A Multi-Agent Process Centered Environment Integrated with the WWW. (PDF / PS) |
WETICE |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Cecilia Mascolo |
Analyzing and Refining an Architectural Style. |
ZUM |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Leon Sterling |
Guest Editor's Introduction. |
International Journal of Software Engineering and Knowledge Engineering |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Leon Sterling, Paolo Ciancarini, Todd Turnidge |
On the Animation of "not Executable" Specifications by Prolog. |
International Journal of Software Engineering and Knowledge Engineering |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Andreas Knoche, Robert Tolksdorf, Fabio Vitali |
PageSpace: An Architecture to Coordinate Distributed Applications on the Web. |
Computer Networks |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini |
Coordination Models and Languages as Software Integrators. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Mauro Gaspari |
Rule-Based Coordination of Logic Programs. |
Comput. Lang. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Robert Tolksdorf |
Using the web to coordinate distributed applications. |
ACM SIGOPS European Workshop |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Castellani, Paolo Ciancarini |
Enhancing Coordination and Modularity Mechanisms for a Language with Objects-as-Multisets. |
COORDINATION |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Robert Tolksdorf, Fabio Vitali |
Weaving the Web Using Coordination. |
COORDINATION |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Chris Hankin (eds.) |
Coordination Languages and Models, First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996, Proceedings |
COORDINATION |
1996 |
DBLP BibTeX RDF |
|
| 1 | Paolo Ciancarini, Davide Rossi, Fabio Vitali, Andreas Knoche, Robert Tolksdorf |
Coordination technology for the WWW. (PDF / PS) |
WETICE |
1996 |
DBLP DOI BibTeX RDF |
WWW middleware, distributed multiuser application development, enhanced middleware support, Internet languages, PageSpace architecture, high-level coordination capabilities, Java, Internet, World Wide Web |
| 1 | Paolo Ciancarini, Stelvio Cimato |
Animating a Non-executable Formal Specification with a Distributed Symbolic Language. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Cecilia Mascolo |
Analyzing the Dynamics of a Z Specification. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Daniela Fogli, Mauro Gaspari |
A Logic Language based on GAMMA-like Multiset Rewriting. |
ELP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Stelvio Cimato, Cecilia Mascolo |
Engineering Formal Requirements: Analysis and Testing. |
SEKE |
1996 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")