Publications
Publications found: 410
- Typed Stochastic Semantics for the Calculus of Looping Sequences
Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
Published on Theoretical Computer Science, 2012 - 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
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 > »
