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.
A CTL* Model Checker for Petri Nets
2020-01-01 Elvio Gilberto Amparore and Susanna Donatelli and Francesco Gall{`{a}}
A Dependently-Typed Linear π -Calculus in Agda
2020-01-01 Luca Ciccone; Luca Padovani
A design-methodology for epidemic dynamics via time-varying hypergraphs
2020-01-01 Antelmi A.; Cordasco G.; Spagnuolo C.; Scarano V.
A DIGITAL WORKFLOW FOR BUILDING ASSESSMENT AND RENOVATION
2020-01-01 Giuseppe Martino Di Giuda, Elena Seghezzi, Marco Schievano, Francesco Paleari
A dynamic viewpoint of institutional logics multiplicity in entrepreneurial universities
2021-01-01 Canio Forliano, Paola De Bernardi, Francesca Ricciardi
A Formal Model of Algorand Smart Contracts
2021-01-01 Bartoletti M.; Bracciali A.; Lepore C.; Scalas A.; Zunino R.
A Formal Model of the Kubernetes Container Framework
2020-01-01 Turin G.; Borgarelli A.; Donetti S.; Johnsen E.B.; Tapia Tarifa S.L.; Damiani F.
A framework for filtering in hidden Markov models with normalized random measures
2021-01-01 Ascolani, F., Lijoi, A., Pruenster, I., Ruggiero, M.
A Framework for Project Risk Assessment in Telehealth
2021-01-01 Sulis, E; Cordero, A; Donetti, S; Ferrero, P; Violato, A
A General Approach to Derive Uncontrolled Reversible Semantics
2020-01-01 Ivan Lanese; Doriana Medic
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A CTL* Model Checker for Petri Nets | 2020 | Elvio Gilberto Amparore and Susanna Donatelli and Francesco Gall{`{a}} | |
| A Dependently-Typed Linear π -Calculus in Agda | 2020 | Luca Ciccone; Luca Padovani | |
| A design-methodology for epidemic dynamics via time-varying hypergraphs | 2020 | Antelmi A.; Cordasco G.; Spagnuolo C.; Scarano V. | |
| A DIGITAL WORKFLOW FOR BUILDING ASSESSMENT AND RENOVATION | 2020 | Giuseppe Martino Di Giuda, Elena Seghezzi, Marco Schievano, Francesco Paleari | |
| A dynamic viewpoint of institutional logics multiplicity in entrepreneurial universities | 2021 | Canio Forliano, Paola De Bernardi, Francesca Ricciardi | |
| A Formal Model of Algorand Smart Contracts | 2021 | Bartoletti M.; Bracciali A.; Lepore C.; Scalas A.; Zunino R. | |
| A Formal Model of the Kubernetes Container Framework | 2020 | Turin G.; Borgarelli A.; Donetti S.; Johnsen E.B.; Tapia Tarifa S.L.; Damiani F. | |
| A framework for filtering in hidden Markov models with normalized random measures | 2021 | Ascolani, F., Lijoi, A., Pruenster, I., Ruggiero, M. | |
| A Framework for Project Risk Assessment in Telehealth | 2021 | Sulis, E; Cordero, A; Donetti, S; Ferrero, P; Violato, A | |
| A General Approach to Derive Uncontrolled Reversible Semantics | 2020 | Ivan Lanese; Doriana Medic |
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
- 04-CONTRIBUTO IN ATTI DI CONVEGNO 1294
- 04-CONTRIBUTO IN ATTI DI CONVEGNO... 1294
- 02-CAPITOLO DI LIBRO 1
- 02-CAPITOLO DI LIBRO::02A-Contrib... 1
- 04-CONTRIBUTO IN ATTI DI CONVEGNO... 1
Data di pubblicazione
- 2022 446
- 2021 415
- 2020 433
Editore
- IEEE 76
- Springer 53
- Springer Science and Business Med... 44
- Institute of Electrical and Elect... 37
- CEUR-WS 32
- CEUR 24
- Association for Computing Machinery 23
- ACM 21
- Association for Computing Machine... 21
- EuroMed Press 20
Serie
- CEUR WORKSHOP PROCEEDINGS 62
- LECTURE NOTES IN ARTIFICIAL INTEL... 41
- LECTURE NOTES IN COMPUTER SCIENCE 25
- EUROMED ACADEMY OF BUSINESS CONFE... 12
- LECTURE NOTES IN CIVIL ENGINEERING 10
- ACTA ITALUS HORTUS 9
- COMMUNICATIONS IN COMPUTER AND IN... 7
- EDULEARN PROCEEDINGS 6
- IEEE ENGINEERING IN MEDICINE AND ... 6
- LEIBNIZ INTERNATIONAL PROCEEDINGS... 6
Keyword
- Cultural Heritage 9
- Deep Learning 7
- Digital Learning Environment 7
- social media 7
- Advanced Computing Environment 6
- Ambiente Digitale di Apprendimento 6
- conservazione 6
- Deep learning 6
- Digital Education 6
- STEM Education 6
Lingua
- eng 969
- ita 265
- fre 22
- spa 22
- Inglese 10
- Italiano 7
- ger 5
- por 4
- rus 2
Accesso al fulltext
- open 676
- reserved 353
- no fulltext 198
- partially open 54
- embargoed 13