Publications
Publications found: 409
- A Calculus of Looping Sequences with Local Rules
Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
Published on 7th Workshop on Developments in Computational Models (DCM'11), 2012 - Computing first passage time distributions in stochastic well-formed nets
G. Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis
Published on ICPE, 2011, Pages: 7-18 - Lumping partially symmetrical stochastic models
Soheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad
Published on Perform. Eval. Vol. 68 n. 1, 2011, Pages: 21-44 - 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: --
Pages: « < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 > »
