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.
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
ZeroMT: Multi-transfer Protocol for Enabling Privacy in Off-Chain Payments
2022-01-01 Corradini, F.; Mostarda, L.; Scala, E.
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
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 | |
ZeroMT: Multi-transfer Protocol for Enabling Privacy in Off-Chain Payments | 1-gen-2022 | Corradini, F.; Mostarda, L.; Scala, E. | 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 157
- 05 ATTO DI CONVEGNO SU VOLUME::Co... 151
- 05 ATTO DI CONVEGNO SU VOLUME::Po... 4
- 05 ATTO DI CONVEGNO SU VOLUME::Ab... 2
Data di pubblicazione
- 2020 - 2024 22
- 2010 - 2019 52
- 2000 - 2009 81
- 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
- Pitagora Editrice 3
- Remenyi D.Ed. Academic Conference... 3
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 152
- ita 5
Accesso al fulltext
- no fulltext 137
- reserved 13
- open 7