Pubblicazioni
Pubblicazioni trovate: 410
- Typed Stochastic Semantics for the Calculus of Looping Sequences
Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
Apparso su Theoretical Computer Science, 2012 - A Calculus of Looping Sequences with Local Rules
Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
Apparso su 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
Apparso su ICPE, 2011, Pagine: 7-18 - Lumping partially symmetrical stochastic models
Soheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad
Apparso su Perform. Eval. Vol. 68 n. 1, 2011, Pagine: 21-44 - Probe Automata for Passage Time Specification
Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis
Apparso su QEST, 2011, Pagine: 101-110 - First Passage Time Computation in Tagged GSPNs with Queue Places
G. Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis
Apparso su Comput. J. Vol. 54 n. 5, 2011, Pagine: 653-673 - First Passage Time Computation in Tagged GSPN with Queue Places
G. Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis
Apparso su COMPUTER JOURNAL Vol. 54, 2011, Pagine: 653--673 - MDWNsolver: A Framework to Design and Solve Markov Decision Petri Nets
Marco Beccuti, Giuliana Franceschinis, Serge Haddad
Apparso su INTERNATIONAL JOURNAL OF PERFORMABILITY ENGINEERING Vol. 7, 2011, Pagine: 417--428 - Spaced Seeds Design Using Perfect Rulers
Lavinia Egidi, Giovanni Manzini
Apparso su SPIRE, 2011, Pagine: 32-43 - Double-exponential inseparability of Robinson subsystem Q+
Lavinia Egidi, Giovanni Faglia
Apparso su J. Symb. Log. Vol. 76 n. 1, 2011, Pagine: 94-124
Pagine: « < 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 > »
