BALLARINI, Paolo
BALLARINI, Paolo
Dip. INFORMATICA (attivo dal 01/01/1900 al 30/04/2013)
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.013 secondi).
A Framework for Optimisation Based Stochastic Process Discovery
2024-01-01 Cry, Pierre; Horváth, András; Ballarini, Paolo; Le Gall, Pascale
Formal analysis of production line systems by probabilistic model checking tools
2021-01-01 Ballarini P.; Horvath A.
Performance Analysis of Production Lines Through Statistical Model Checking
2021-01-01 Ballarini P.; Horvath A.
Probabilistic Process Discovery with Stochastic Process Trees
2026-01-01 Horváth, András; Ballarini, Paolo; Cry, Pierre
Statistical Bayesian Inference for Stochastic Process Discovery
2025-01-01 Cry, Pierre; Ballarini, Paolo; Horváth, András; Gall, Pascale Le
Stochastic Process Trees: A Formal Framework for Stochastic Process Discovery
2025-01-01 Cry, Pierre; Horváth, András; Ballarini, Paolo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Framework for Optimisation Based Stochastic Process Discovery | 2024 | Cry, Pierre; Horváth, András; Ballarini, Paolo; Le Gall, Pascale | |
| Formal analysis of production line systems by probabilistic model checking tools | 2021 | Ballarini P.; Horvath A. | |
| Performance Analysis of Production Lines Through Statistical Model Checking | 2021 | Ballarini P.; Horvath A. | |
| Probabilistic Process Discovery with Stochastic Process Trees | 2026 | Horváth, András; Ballarini, Paolo; Cry, Pierre | |
| Statistical Bayesian Inference for Stochastic Process Discovery | 2025 | Cry, Pierre; Ballarini, Paolo; Horváth, András; Gall, Pascale Le | |
| Stochastic Process Trees: A Formal Framework for Stochastic Process Discovery | 2025 | Cry, Pierre; Horváth, András; Ballarini, Paolo |