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 ECLIPSE Plug-in for Formal Verification of BPMN Processes
2010-01-01 Corradini, Flavio; Polzonetti, Alberto; Re, Barbara; Falcioni, Damiano
An Individual-based Probabilistic Model for Fish Stock Simulation
2010-01-01 Buti, Federico; Corradini, Flavio; Merelli, Emanuela; Paschini, E.; Penna, P.; Tesei, Luca
An integrate framework for document management: the role of semantic and administrative cooperation
2006-01-01 Polzonetti, Alberto; Corradini, Flavio; Pruno, Romeo; Re, Barbara; Sergiacomi, A.
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 Open Service Architecture for Sensor Integration
2008-01-01 Burzacca, Paolo; Corradini, Flavio; Papalini, Michele; Polzonetti, Alberto; Riganelli, Oliviero
An Open Service Platform For Distributed Sensor Networks
2008-01-01 Burzacca, Paolo; Corradini, Flavio; Marcantoni, Fausto; Polzonetti, Alberto; Riganelli, Oliviero
An Operational Semantics of BPMN Collaboration
2016-01-01 Corradini, Flavio; Polini, Andrea; Tiezzi, Francesco; Re, Barbara
An overview of Service-Oriented Computing challenges and issues
2016-01-01 Corradini, Flavio; De Angelis, Francesco; Fani', Daniele; Polini, Andrea
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
BioShape - a 3D Modelling and Simulator Environment for Biological Systems
2012-01-01 Buti, Federico; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
An ECLIPSE Plug-in for Formal Verification of BPMN Processes | 1-gen-2010 | Corradini, Flavio; Polzonetti, Alberto; Re, Barbara; Falcioni, Damiano | Contributo in atto di convegno su volume | |
An Individual-based Probabilistic Model for Fish Stock Simulation | 1-gen-2010 | Buti, Federico; Corradini, Flavio; Merelli, Emanuela; Paschini, E.; Penna, P.; Tesei, Luca | Contributo in atto di convegno su volume | |
An integrate framework for document management: the role of semantic and administrative cooperation | 1-gen-2006 | Polzonetti, Alberto; Corradini, Flavio; Pruno, Romeo; Re, Barbara; Sergiacomi, A. | Contributo in atto di convegno su volume | |
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 Open Service Architecture for Sensor Integration | 1-gen-2008 | Burzacca, Paolo; Corradini, Flavio; Papalini, Michele; Polzonetti, Alberto; Riganelli, Oliviero | Contributo in atto di convegno su volume | |
An Open Service Platform For Distributed Sensor Networks | 1-gen-2008 | Burzacca, Paolo; Corradini, Flavio; Marcantoni, Fausto; Polzonetti, Alberto; Riganelli, Oliviero | 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 | |
An overview of Service-Oriented Computing challenges and issues | 1-gen-2016 | Corradini, Flavio; De Angelis, Francesco; Fani', Daniele; Polini, Andrea | 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 | |
BioShape - a 3D Modelling and Simulator Environment for Biological Systems | 1-gen-2012 | Buti, Federico; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca | Poster atto 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