Computer Science Institute

Publications

ICCBR 2010 Workshop Proceedings
Cindy Marling
Published on TR-INF-2010-06-03-UNIPMN, Ed. Computer Science Department, UPO, 2010

Verifying Business Process Compliance by Reasoning about Actions
Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gianluca Pozzato, Daniele Theseider Dupré
Published on TR-INF-2010-05-02-UNIPMN, Ed. Computer Science Department, UPO, 2010

Lightweight Data Indexing and Compression in External Memory
Paolo Ferragina, Travis Gagie, Giovanni Manzini
Published on Proc. 9th Latin American Theoretical Informatics Symposium (LATIN '10), 2010, Pages: 698-711

A Case-based Approach to Business Process Monitoring
Stefania Montani, Giorgio Leonardi
Published on TR-INF-2010-03-01-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2010

From partially to fully lumped Markov chains in stochastic well formed Petri nets
Soheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis
Published on VALUETOOLS, 2009, Pages: 43

Interfaces and binding in component based development of formal models
Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Francesco Moscato, Valeria Vittorini
Published on VALUETOOLS, 2009, Pages: 44

Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings
Giuliana Franceschinis, Karsten Wolf
Published on Petri Nets Vol. 5606, Ed. Springer, 2009

Tagged Generalized Stochastic Petri Nets
G. Balbo, Massimiliano De Pierro, Giuliana Franceschinis
Published on EPEW, 2009, Pages: 1-15

The GreatSPN tool: recent enhancements
Soheib Baarir, Marco Beccuti, Davide Cerotti, Massimiliano De Pierro, Susanna Donatelli, Giuliana Franceschinis
Published on SIGMETRICS Performance Evaluation Review Vol. 36 n. 4, 2009, Pages: 4-9

At your service: Service-Oriented Computing from an EU perspective
D. Ardagna, L. Ardissono, S. Bocconi, C. Cappiello, L. Console, M-O Cordier, P. Dague, K. Drira, J. Eder, G. Friedrich, M. Fugini, Roberto Furnari, A. Goy, K. Guennoun, A. Hess, V. Ivanchenko, X. Le Guillou, M. Lehmann, Y. Li, J. Mangler, T. Melliti, S. Modafferi, E. Mussi, Y. Pencolè, B. Pernici, G. Petrone, C. Picardi, X. Pucel, S. Robin, L. Rozè, M. Segnan, A. Subias, A. Tahamtan, A. Ten Tejie, Daniele Theseider Dupré, L. Travé-Massuyès, F. Van Harmelen, T. Vidal
Ed. MIT Press, 2009, Pages: 213--239