Paolo Ciancarini

Bing Citeseer DBLP Google Google Scholar Kosmix Wikipedia Yahoo!
Loading Google Thumbnails...
2011
31Encyclopedic Knowledge Patterns from Wikipedia Links. Andrea Giovanni Nuzzolese, Aldo Gangemi, Valentina Presutti, Paolo Ciancarini. International Semantic Web Conference (1) 2011, 520-536. Web SearchBibTeXDownload
30Informatics Education in Italian High Schools. Mariacarla Calzarossa, Paolo Ciancarini, Luisa Mich, Nello Scarabottolo. ISSEP 2011, 31-42. Web SearchBibTeXDownload
2009
29Implementation and Performance Analysis of XMatch: a Language for Quality-based Selection of Grid Services. Sergio Andreozzi, Paolo Ciancarini, Danilo Montesi, Rocco Moretti, Silvio Pardi. J. Grid Comput. (7): 247-264 (2009). Web SearchBibTeXDownload
2008
28An evaluation of business solutions in manufacturing enterprises. Yudistira Asnar, Paolo Giorgini, Paolo Ciancarini, Rocco Moretti, Maurizio Sebastianis, Nicola Zannone. IJBIDM (3): 305-329 (2008). Web SearchBibTeXDownload
27EUCIP in Italian Universities. Cristiana Rita Alfonsi, Elena Breno, Mariacarla Calzarossa, Paolo Ciancarini, Paolo Maresca, Luisa Mich, Fuliva Sala, Nello Scarabottolo. Learning to Live in the Knowledge Society 2008, 201-208. Web SearchBibTeXDownload
2007
26The ECDL programme in Italian Universities. Mariacarla Calzarossa, Paolo Ciancarini, Paolo Maresca, Luisa Mich, Nello Scarabottolo. Computers & Education (49): 514-529 (2007). Web SearchBibTeXDownload
2006
25An approach to the quantitative evaluation of Grid services. Sergio Andreozzi, Paolo Ciancarini, Danilo Montesi, Rocco Moretti. Concurrency and Computation: Practice and Experience (18): 827-836 (2006). Web SearchBibTeXDownload
2005
24Towards a Language for a Satisfaction-Based Selection of Grid Services. Sergio Andreozzi, Paolo Ciancarini, Danilo Montesi, Rocco Moretti. PPAM 2005, 723-730. Web SearchBibTeXDownload
23An OWL-S based approach to express grid services coordination. Laura Bocchi, Paolo Ciancarini, Rocco Moretti, Valentina Presutti, Davide Rossi. SAC 2005, 1661-1667. Web SearchBibTeXDownload
2004
22Towards a Metamodeling Based Method for Representing and Selecting Grid Services. Sergio Andreozzi, Paolo Ciancarini, Danilo Montesi, Rocco Moretti. GSEM 2004, 78-93. Web SearchBibTeXDownload
21Towards a Model for Quality of Web and Grid Services. Sergio Andreozzi, Danilo Montesi, Paolo Ciancarini, Rocco Moretti. WETICE 2004, 271-276. Web SearchBibTeXDownload
2003
20Metadata on the Web: On the integration of RDF and Topic Maps. Paolo Ciancarini, Riccardo Gentilucci, Marco Pirruccio, Valentina Presutti, Fabio Vitali. Extreme Markup Languages® 2003. Web SearchBibTeXDownload
19Issues in Coordination Languages and Architectures. Paolo Ciancarini, Alexander L. Wolf. Sci. Comput. Program. (46): 1-3 (2003). Web SearchBibTeXDownload
18An Ontology Driven Design Method for inter-Agent Communication. Paolo Ciancarini, Valentina Presutti, Luca Abeti. SEKE 2003, 90-94. Web SearchBibTeX
2002
17Towards Ontology Driven Software Design. Paolo Ciancarini, Valentina Presutti. RISSEF 2002, 122-136. Web SearchBibTeXDownload
2000
16Using a coordination language to specify and analyze systems containing mobile components. Paolo Ciancarini, Francesco Franzé, Cecilia Mascolo. ACM Trans. Softw. Eng. Methodol. (9): 167-198 (2000). Web SearchBibTeXDownload
1999
15Agent-Oriented Software Engineering. Howell R. Jordan, Mike Hinchey, Rem W. Collier, Michael N. Huhns, Michael Wooldridge. ATAL 1999, 248-249. Web SearchBibTeXDownload
14Managing Complex Documents Over the WWW: A Case Study for XML. Paolo Ciancarini, Fabio Vitali, Cecilia Mascolo. IEEE Trans. Knowl. Data Eng. (11): 629-638 (1999). Web SearchBibTeXDownload
1998
13Using Formal Methods for Teaching Software Engineering: A Tool-Based Approach. Paolo Ciancarini, Cecilia Mascolo. Ann. Software Eng. (6): 433-453 (1998). Web SearchBibTeXDownload
12Visualizing Z Notation in HTML Documents. Paolo Ciancarini, Cecilia Mascolo, Fabio Vitali. ZUM 1998, 81-95. Web SearchBibTeXDownload
1997
11Engineering Formal Requirements: An Analysis and Testing Method for Z Documents. Paolo Ciancarini, Stelvio Cimato, Cecilia Mascolo. Ann. Software Eng. (3): 189-219 (1997). Web SearchBibTeXDownload
10Formal Requirements and Design Specifications: The Clepsydra Methodology. Paolo Ciaccia, Paolo Ciancarini, Wilma Penzo. International Journal of Software Engineering and Knowledge Engineering (7): 1-42 (1997). Web SearchBibTeXDownload
9Analyzing and Refining an Architectural Style. Paolo Ciancarini, Cecilia Mascolo. ZUM 1997, 349-368. Web SearchBibTeXDownload
1996
8Analyzing the Dynamics of a Z Specification. Paolo Ciancarini, Cecilia Mascolo. DISCO 1996, 138-149. Web SearchBibTeXDownload
7Guest Editor's Introduction. Sally A. McKee, Saumya K. Debray, Manuel V. Hermenegildo, Michael J. Maher. International Journal of Software Engineering and Knowledge Engineering (6): 1-3 (1996). Web SearchBibTeXDownload
6Engineering Formal Requirements: Analysis and Testing. Paolo Ciancarini, Stelvio Cimato, Cecilia Mascolo. SEKE 1996, 385-392. Web SearchBibTeX
1995
5From Formal Requirements to Formal Design. Paolo Ciaccia, Paolo Ciancarini, Wilma Penzo. SEKE 1995, 23-30. Web SearchBibTeX
4Working group report on process [production process workflow in cooperative virtual enterprises]. Paolo Ciancarini, V. Juggy Jagannathan, Mark Klein, Wil M. P. van der Aalst. WETICE 1995, 8. Web SearchBibTeXDownload
3A Formal Approach to Software Design: The Clepsydra Methodology. Paolo Ciaccia, Paolo Ciancarini, Wilma Penzo. ZUM 1995, 5-24. Web SearchBibTeXDownload
2A Course on Formal Methods in Software Engineering: Matching Requirements with Design. Paolo Ciaccia, Paolo Ciancarini. ZUM 1995, 482-496. Web SearchBibTeXDownload
1991
1Towards innovative software engineering environments. Vincenzo Ambriola, Paolo Ciancarini, Andrea Corradini, Nicoletta De Francesco. Journal of Systems and Software (14): 17-29 (1991). Web SearchBibTeXDownload
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research