Computer Science Institute

Publications

Probe Automata for Passage Time Specification
Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis
Published on QEST, 2011, Pages: 101-110

First Passage Time Computation in Tagged GSPNs with Queue Places
G. Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis
Published on Comput. J. Vol. 54 n. 5, 2011, Pages: 653-673

First Passage Time Computation in Tagged GSPN with Queue Places
G. Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis
Published on COMPUTER JOURNAL Vol. 54, 2011, Pages: 653--673

MDWNsolver: A Framework to Design and Solve Markov Decision Petri Nets
Marco Beccuti, Giuliana Franceschinis, Serge Haddad
Published on INTERNATIONAL JOURNAL OF PERFORMABILITY ENGINEERING Vol. 7, 2011, Pages: 417--428

Spaced Seeds Design Using Perfect Rulers
Lavinia Egidi, Giovanni Manzini
Published on SPIRE, 2011, Pages: 32-43

Double-exponential inseparability of Robinson subsystem Q+
Lavinia Egidi, Giovanni Faglia
Published on J. Symb. Log. Vol. 76 n. 1, 2011, Pages: 94-124

Semantic similarity in heterogeneous ontologies
E. Chiabrando, S. Likavec, I. Lombardi, C. Picardi, Daniele Theseider Dupré
Published on HT'11, Proceedings of the 22nd ACM Conference on Hypertext and Hypermedia, 2011, Pages: --

WantEat: interacting with "social" networks of intelligent things and people in the world of enogastronomy. In: Proceedings of the Workshop on Interacting with Smart Objects
F. Antonelli, G. Biamino, F. Carmagnola, F. Cena, E. Chiabrando, L. Console, V. Cuciti, M. Demichelis, F. Fassio, F. Franceschi, Roberto Furnari, C. Gena, M. Geymonat, P. Grillo, P. Grimaldi, E. Guercio, S. Likavec, I. Lombardi, D. Mana, A. Marcengo, M. Mioli, M. Mirabelli, M. Perrero, C. Picardi, F. Protti, A. Rapp, O. Reviglio, R. Sandon, R. Simeoni, Daniele Theseider Dupré, I. Torre, F. Torta, A. Toso, F. Vernero
Published on Proceedings of the Workshop on Interacting with Smart Objects, 2011, Pages: --

A Modular Database Architecture Enabled to Comparative Sequence Analysis
Paola Bonfante, Francesca Cordero, Stefano Ghignone, Dino Ienco, Luisa Lanfranco, Giorgio Leonardi, Rosa Meo, Stefania Montani, Luca Roversi, Alessia Visconti
Published on T. Large-Scale Data- and Knowledge-Centered Systems 4, 2011, Pages: 124-147

Supporting Knowledge-Based Decision Making in the Medical Context: The GLARE Approach
Luca Anselma, Alessio Bottrighi, Gianpaolo Molino, Stefania Montani, Paolo Terenziani, Mauro Torchio
Published on IJKBO 1 1, 2011, Pages: 42-60