Publications
Publications found: 401
- Trace retrieval and clustering for business process monitoring
Stefania Montani, Giorgio Leonardi
Published on TR-INF-2012-03-01-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2012
- 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
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 > »
