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 107 (tempo di esecuzione: 0.021 secondi).
Titolo Data di pubblicazione Autore(i) Tipo File
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
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
Risultati 21 - 30 di 107 (tempo di esecuzione: 0.021 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 107
  • 05 ATTO DI CONVEGNO SU VOLUME::Co... 107
Autore
  • CORRADINI, Flavio 67
  • POLZONETTI, Alberto 46
  • POLINI, Andrea 38
  • TIEZZI, Francesco 29
  • FORNARI, FABRIZIO 18
  • FALCIONI, DAMIANO 15
  • DE ANGELIS, Francesco 14
  • COGNINI, RICCARDO 11
  • ROSSI, LORENZO 11
  • MORICHETTA, Andrea 9
Data di pubblicazione
  • 2020 - 2024 25
  • 2010 - 2019 65
  • 2004 - 2009 17
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 104
  • ita 4
Accesso al fulltext
  • no fulltext 86
  • reserved 15
  • open 6