RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
Time and Fairness in a Process Algebra with Non-blocking Reading
2009-01-01 Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, W.
Timed process calculi: from durationless actions to durational ones
2014-01-01 Marco, Bernardo; Corradini, Flavio; Tesei, Luca
TLV-dissγ : A Dissimilarity Measure for Public Administration Process Logs
2021-01-01 Corradini, F.; Luciani, C.; Morichetta, A.; Piangerelli, M.; Polini, A.
Trends on the Usage of BPMN 2.0 from Publicly Available Repositories
2021-01-01 Compagnucci, I.; Corradini, F.; Fornari, F.; Re, B.
UBBA: Unity Based BPMN Animator
2019-01-01 Abdul, BASIT MUBEEN; Corradini, Flavio; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco
Using Data-Object Flow Relations to Derive Control Flow Variants in Configurable Business Processes
2015-01-01 Cognini, Riccardo; Corradini, Flavio; Polini, Andrea; Re, Barbara
Verification of WS-CDL Choreographies
2007-01-01 Corradini, Flavio; DE ANGELIS, Francesco; Polzonetti, Alberto
vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments
2017-01-01 Vannucchi, Claudia; Diamanti, Michelangelo; Mazzante, Gianmarco; Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; Gorogiannis, Nikos; Mostarda, Leonardo; Raimondi, Franco
Walking Through the Semantics of Exclusive and Event-Based Gateways in BPMN Choreographies
2019-01-01 Corradini, Flavio; Morichetta, Andrea; Re, Barbara; Tiezzi, Francesco
X-IoT: A Model-Driven Approach for Cross-Platform IoT Applications Development
2022-01-01 Corradini, Flavio; Fedeli, Arianna; Fornari, Fabrizio; Polini, Andrea; Re, Barbara
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
Time and Fairness in a Process Algebra with Non-blocking Reading | 1-gen-2009 | Corradini, Flavio; DI BERARDINI, Maria Rita; Vogler, W. | Contributo in atto di convegno su volume | |
Timed process calculi: from durationless actions to durational ones | 1-gen-2014 | Marco, Bernardo; Corradini, Flavio; Tesei, Luca | 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 | |
Trends on the Usage of BPMN 2.0 from Publicly Available Repositories | 1-gen-2021 | Compagnucci, I.; Corradini, F.; Fornari, F.; Re, B. | Contributo in atto di convegno su volume | |
UBBA: Unity Based BPMN Animator | 1-gen-2019 | Abdul, BASIT MUBEEN; Corradini, Flavio; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco | Contributo in atto di convegno su volume | |
Using Data-Object Flow Relations to Derive Control Flow Variants in Configurable Business Processes | 1-gen-2015 | Cognini, Riccardo; Corradini, Flavio; Polini, Andrea; Re, Barbara | Contributo in atto di convegno su volume | |
Verification of WS-CDL Choreographies | 1-gen-2007 | Corradini, Flavio; DE ANGELIS, Francesco; Polzonetti, Alberto | Contributo in atto di convegno su volume | |
vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments | 1-gen-2017 | Vannucchi, Claudia; Diamanti, Michelangelo; Mazzante, Gianmarco; Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; Gorogiannis, Nikos; Mostarda, Leonardo; Raimondi, Franco | Contributo in atto di convegno su volume | |
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 | |
X-IoT: A Model-Driven Approach for Cross-Platform IoT Applications Development | 1-gen-2022 | Corradini, Flavio; Fedeli, Arianna; Fornari, Fabrizio; Polini, Andrea; Re, Barbara | 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
Opzioni
Scopri
Tipologia
- 05 ATTO DI CONVEGNO SU VOLUME 151
- 05 ATTO DI CONVEGNO SU VOLUME::Co... 151
Data di pubblicazione
- 2020 - 2024 22
- 2010 - 2019 51
- 2000 - 2009 76
- 1994 - 1999 2
Editore
- Springer 23
- CEUR-WS 9
- IEEE Computer Society 7
- Springer Science and Business Med... 5
- Luzar-Stiffler V. and HlJuz Dobri... 4
- Springer Verlag 4
- Institute of Electrical and Elect... 3
- Isaias P., Nunes M.B., and Martin... 3
- Remenyi D.Ed. Academic Conference... 3
- ACM 2
Rivista
- CEUR WORKSHOP PROCEEDINGS 2
- LECTURE NOTES IN BUSINESS INFORMA... 1
Serie
- CEUR WORKSHOP PROCEEDINGS 9
- LECTURE NOTES IN BUSINESS INFORMA... 9
- LECTURE NOTES IN ARTIFICIAL INTEL... 3
- LECTURE NOTES IN COMPUTER SCIENCE 3
- AMBIENT INTELLIGENCE AND SMART EN... 1
- ELECTRONIC PROCEEDINGS IN THEORET... 1
- LECTURE NOTES IN NETWORKS AND SYS... 1
Lingua
- eng 146
- ita 5
Accesso al fulltext
- no fulltext 131
- reserved 13
- open 7