Sfoglia per Serie
Electronic Government
2019-01-01 Lindgren, Ida; Janssen, Marijn; Lee, Habin; Polini, Andrea; Pedro Rodríguez Bolívar, Manuel; Jochen Scholl, Hans; Tambouris, Efthimios
Enabling Auditing of Smart Contracts Through Process Mining
2019-01-01 Corradini, Flavio; Marcantoni, Fausto; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Sampaolo, Massimiliano
High dimensional bayesian optimization assisted by principal component analysis
2020-01-01 Raponi, E.; Wang, H.; Bujny, M.; Boria, S.; Doerr, C.
Improved Migrating Birds Optimization Algorithm to Solve Hybrid Flowshop Scheduling Problem with Lot-Streaming of Random Breakdown
2022-01-01 Wang, Ping; De Leone, R.; Sang, H.
Interactive/Participatory Designing the Experience of Contemporary Maquettes
2019-01-01 Magagnini, Marta; Sardo, Nicolò
Monitoring Spatio-Temporal Properties (Invited Tutorial)
2020-01-01 Nenzi, L.; Bartocci, E.; Bortolussi, L.; Loreti, M.; Visconti, E.
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties
2020-01-01 Bartocci, E.; Bortolussi, L.; Loreti, M.; Nenzi, L.; Silvetti, S.
PALM: A Technique for Process ALgebraic Specification Mining
2020-01-01 Belluccini, S.; De Nicola, R.; Re, B.; Tiezzi, F.
TLV-dissγ : A Dissimilarity Measure for Public Administration Process Logs
2021-01-01 Corradini, F.; Luciani, C.; Morichetta, A.; Piangerelli, M.; Polini, A.
Topological Interpretation of Interactive Computation
2019-01-01 Merelli, Emanuela; Wasilewska, Anita
Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies
2019-01-01 Corradini, Flavio; Morichetta, Andrea; Re, Barbara; Tiezzi, Francesco
| Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
|---|---|---|---|---|
| Electronic Government | 1-gen-2019 | Lindgren, Ida; Janssen, Marijn; Lee, Habin; Polini, Andrea; Pedro Rodríguez Bolívar, Manuel; Jochen Scholl, Hans; Tambouris, Efthimios | Cura di atti, volumi e cataloghi | |
| Enabling Auditing of Smart Contracts Through Process Mining | 1-gen-2019 | Corradini, Flavio; Marcantoni, Fausto; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Sampaolo, Massimiliano | Contributo in atto di convegno su volume | |
| High dimensional bayesian optimization assisted by principal component analysis | 1-gen-2020 | Raponi, E.; Wang, H.; Bujny, M.; Boria, S.; Doerr, C. | Contributo in atto di convegno su volume | |
| Improved Migrating Birds Optimization Algorithm to Solve Hybrid Flowshop Scheduling Problem with Lot-Streaming of Random Breakdown | 1-gen-2022 | Wang, Ping; De Leone, R.; Sang, H. | Contributo in atto di convegno su volume | |
| Interactive/Participatory Designing the Experience of Contemporary Maquettes | 1-gen-2019 | Magagnini, Marta; Sardo, Nicolò | Contributo in atto di convegno su volume | |
| Monitoring Spatio-Temporal Properties (Invited Tutorial) | 1-gen-2020 | Nenzi, L.; Bartocci, E.; Bortolussi, L.; Loreti, M.; Visconti, E. | Capitolo di libro o voce di enciclopedia | |
| MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties | 1-gen-2020 | Bartocci, E.; Bortolussi, L.; Loreti, M.; Nenzi, L.; Silvetti, S. | Capitolo di libro o voce di enciclopedia | |
| PALM: A Technique for Process ALgebraic Specification Mining | 1-gen-2020 | Belluccini, S.; De Nicola, R.; Re, B.; Tiezzi, F. | Contributo in atto di convegno su volume | |
| TLV-dissγ : A Dissimilarity Measure for Public Administration Process Logs | 1-gen-2021 | Corradini, F.; Luciani, C.; Morichetta, A.; Piangerelli, M.; Polini, A. | Contributo in atto di convegno su volume | |
| Topological Interpretation of Interactive Computation | 1-gen-2019 | Merelli, Emanuela; Wasilewska, Anita | Capitolo di libro o voce di enciclopedia | |
| Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies | 1-gen-2019 | Corradini, Flavio; Morichetta, Andrea; Re, Barbara; Tiezzi, Francesco | Contributo in atto di convegno su volume |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile