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.
An Integration Platform for Private Assisted Houses
2015-01-01 Iddas, Paolo; CALLISTO DE DONATO, Massimo; Anceschi, Emiliano; Re, Barbara; DE ANGELIS, Francesco; Corradini, Flavio
An Operational Semantics of BPMN Collaboration
2016-01-01 Corradini, Flavio; Polini, Andrea; Tiezzi, Francesco; Re, Barbara
Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support
2018-01-01 Corradini, Flavio; Muzi, Chiara; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco
BPFM: A Notation and an Approach to Homogenize Variable Business Processes for Public Services
2015-01-01 Cognini, Riccardo; Polini, Andrea; Polzonetti, Alberto; Re, Barbara
BPMN Inspector: A Tool for Extracting Features from BPMN Models
2023-01-01 Compagnucci, I.; Corradini, F.; Fornari, F.; Re, B.
BPMN-Redrawer: From Images to BPMN Models
2022-01-01 Antinori, A.; Coltrinari, R.; Corradini, F.; Fornari, F.; Re, B.; Scarpetta, M.
BProVe: a Formal Verification Framework for Business Process Models
2017-01-01 Corradini, Flavio; Polini, Andrea; Fornari, Fabrizio; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea
BProVe: Tool Support for Business Process Verification
2017-01-01 Corradini, Flavio; Polini, Andrea; Fornari, Fabrizio; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea
C2ST: A QUALITY FRAMEWORK TO EVALUATE E-GOVERNMENT SERVICE DELIVERY
2009-01-01 Corradini, Flavio; Hinkelmann, K; Polini, Andrea; Polzonetti, Alberto; Re, Barbara
Case studies for a new IoT programming paradigm: Fluidware
2019-01-01 Mariani, Stefano; Casadei, Roberto; Fornari, Fabrizio; Fortino, Giancarlo; Pianini, Danilo; Re, Barbara; Russo, Wilma; Savaglio, Claudio; Viroli, Mirko; Zambonelli, Franco
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
An Integration Platform for Private Assisted Houses | 1-gen-2015 | Iddas, Paolo; CALLISTO DE DONATO, Massimo; Anceschi, Emiliano; Re, Barbara; DE ANGELIS, Francesco; Corradini, Flavio | Contributo in atto di convegno su volume | |
An Operational Semantics of BPMN Collaboration | 1-gen-2016 | Corradini, Flavio; Polini, Andrea; Tiezzi, Francesco; Re, Barbara | Contributo in atto di convegno su volume | |
Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support | 1-gen-2018 | Corradini, Flavio; Muzi, Chiara; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco | Contributo in atto di convegno su volume | |
BPFM: A Notation and an Approach to Homogenize Variable Business Processes for Public Services | 1-gen-2015 | Cognini, Riccardo; Polini, Andrea; Polzonetti, Alberto; Re, Barbara | Contributo in atto di convegno su volume | |
BPMN Inspector: A Tool for Extracting Features from BPMN Models | 1-gen-2023 | Compagnucci, I.; Corradini, F.; Fornari, F.; Re, B. | Contributo in atto di convegno su volume | |
BPMN-Redrawer: From Images to BPMN Models | 1-gen-2022 | Antinori, A.; Coltrinari, R.; Corradini, F.; Fornari, F.; Re, B.; Scarpetta, M. | Contributo in atto di convegno su volume | |
BProVe: a Formal Verification Framework for Business Process Models | 1-gen-2017 | Corradini, Flavio; Polini, Andrea; Fornari, Fabrizio; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea | Contributo in atto di convegno su volume | |
BProVe: Tool Support for Business Process Verification | 1-gen-2017 | Corradini, Flavio; Polini, Andrea; Fornari, Fabrizio; Re, Barbara; Tiezzi, Francesco; Vandin, Andrea | Contributo in atto di convegno su volume | |
C2ST: A QUALITY FRAMEWORK TO EVALUATE E-GOVERNMENT SERVICE DELIVERY | 1-gen-2009 | Corradini, Flavio; Hinkelmann, K; Polini, Andrea; Polzonetti, Alberto; Re, Barbara | Contributo in atto di convegno su volume | |
Case studies for a new IoT programming paradigm: Fluidware | 1-gen-2019 | Mariani, Stefano; Casadei, Roberto; Fornari, Fabrizio; Fortino, Giancarlo; Pianini, Danilo; Re, Barbara; Russo, Wilma; Savaglio, Claudio; Viroli, Mirko; Zambonelli, Franco | 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 112
- 05 ATTO DI CONVEGNO SU VOLUME::Co... 107
- 05 ATTO DI CONVEGNO SU VOLUME::Po... 5
Data di pubblicazione
- 2020 - 2024 25
- 2010 - 2019 67
- 2004 - 2009 20
Editore
- Springer 16
- CEUR-WS 11
- IEEE 7
- Springer Science and Business Med... 5
- Association for Computing Machinery 3
- Institute of Electrical and Elect... 3
- ACM 2
- Grigore Rosu 2
- Institute of Electrical and Elect... 2
- Springer International Publishing 2
Rivista
- LECTURE NOTES IN BUSINESS INFORMA... 1
Serie
- CEUR WORKSHOP PROCEEDINGS 10
- LECTURE NOTES IN BUSINESS INFORMA... 9
- LECTURE NOTES IN COMPUTER SCIENCE 4
- LECTURE NOTES IN ARTIFICIAL INTEL... 3
- ELECTRONIC PROCEEDINGS IN THEORET... 1
Lingua
- eng 108
- ita 5
Accesso al fulltext
- no fulltext 91
- reserved 15
- open 6