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.

cerca in
Risultati 21 - 30 di 86 (tempo di esecuzione: 0.03 secondi).
Titolo Data di pubblicazione Autore(i) Tipo File
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
CASSANDRA: An Online Failure Prediction Strategy for Dynamically Evolving Systems 1-gen-2014 DE ANGELIS, Francesco; Maria Rita Di, Berardini; Henry, Muccini; Polini, Andrea Contributo in atto di convegno su volume
CATANA: Replay Testing for the Ethereum Blockchain 1-gen-2023 Barboni, M.; Angelis, G. D.; Morichetta, A.; Polini, A. Contributo in atto di convegno su volume
Checking Business Process Correctness in Apromore 1-gen-2018 Fornari, Fabrizio; La Rosa, Marcello; Polini, Andrea; Re, Barbara; Tiezzi, Francesco Contributo in atto di convegno su volume
Checking business process modeling guidelines in apromore 1-gen-2017 Fornari, Fabrizio; Gnesi, Stefania; Rosa, Marcello La; Polini, Andrea; Re, Barbara; Spagnolo, Giorgio Oronzo Contributo in atto di convegno su volume
ChorChain: A Blockchain-Based Framework for Executing and Auditing BPMN Choreographies 1-gen-2022 Corradini, F.; Marcelletti, A.; Morichetta, A.; Polini, A.; Re, B.; Tiezzi, F. Contributo in atto di convegno su volume
ChorChain: A model-driven framework for choreography-based systems using blockchain 1-gen-2021 Corradini, F.; Marcelletti, A.; Morichetta, A.; Polini, A.; Re, B.; Tiezzi, F. Contributo in atto di convegno su volume
Cloud Readiness Assessment of Legacy Application 1-gen-2015 Corradini, Flavio; DE ANGELIS, Francesco; Polini, Andrea; Sabbatini, Samuele Contributo in atto di convegno su volume
Risultati 21 - 30 di 86 (tempo di esecuzione: 0.03 secondi).
↑ Back to top
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

Aggiungere filtri:  
Aggiungi
Opzioni
Scopri
Tipologia
  • 05 ATTO DI CONVEGNO SU VOLUME 86
  • 05 ATTO DI CONVEGNO SU VOLUME::Co... 86
Autore
  • CORRADINI, Flavio 39
  • RE, Barbara 38
  • TIEZZI, Francesco 15
  • MORICHETTA, Andrea 14
  • POLZONETTI, Alberto 13
  • FORNARI, FABRIZIO 12
  • DE ANGELIS, Francesco 10
  • COGNINI, RICCARDO 7
  • FALCIONI, DAMIANO 6
  • MARCELLETTI, ALESSANDRO 6
Data di pubblicazione
  • 2020 - 2023 17
  • 2010 - 2019 42
  • 2002 - 2009 27
Editore
  • IEEE 11
  • Springer 8
  • Springer Verlag 7
  • ACM 6
  • CEUR-WS 6
  • Springer Science and Business Med... 4
  • Association for Computing Machinery 3
  • Institute of Electrical and Elect... 3
  • Springer-Verlag 3
  • Grigore Rosu 2
Rivista
  • LECTURE NOTES IN BUSINESS INFORMA... 1
Serie
  • LECTURE NOTES IN BUSINESS INFORMA... 5
  • CEUR WORKSHOP PROCEEDINGS 4
  • LECTURE NOTES IN COMPUTER SCIENCE 3
  • LECTURE NOTES IN ARTIFICIAL INTEL... 2
  • COMMUNICATIONS IN COMPUTER AND IN... 1
Lingua
  • eng 85
  • ita 1
Accesso al fulltext
  • no fulltext 73
  • reserved 10
  • open 3