IRIS

4.1 Contributo Atti di Convegno (Proceeding): [5325] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1 a 20 di 5.325
Titolo Data di pubblicazione Autore(i) File
Desarrollar el pensamiento crítico en tiempos de AI: hacia una hipótesis de currículo. 1-gen-2025 Crescentini, Sophia
Negli orizzonti di Federico Barocci 1-gen-2026 Ambrosini Massari, Anna Maria
Network building in a Trauma-informed perspective. European Conference Improving GBV Support Services and access to justice through Trauma-Informed Care 1-gen-2024 Acquarini, Elena
Trauma-informed Care Approaches. European Conference on Improving GBV Support Services and the access to justice through Trauma-Informed Care 1-gen-2024 Acquarini, Elena
Trasmissione transgenerazionale del trauma: uno studio su popolazione palestinese. 1-gen-2024 Acquarini, Elena
Oltre la visione. Tecniche di imaging avanzate per la digitalizzazione del patrimonio culturale 1-gen-2025 Garagnani, Simone
Querying Fault and Attack Trees: Property Specification on a Water Network 1-gen-2024 Nicoletti, Stefano M.; Lopuhaä-Zwakenberg, Milan; Moritz Hahn, E.; Stoelinga, Mariëlle
La formazione del docente universitario supportata dalle TIC: un’esperien za di (tras)formazione per il miglioramento della didattica universitaria 1-gen-2025 Susta, Mirko; Salvucci, Marta
Potenziale di biometanazione della frazione organica verde da rifiuti urbani: prove sperimentali in condizioni mesofile e termofile 1-gen-2025 Folino, Adele; Randazzo, Antonio; Tassi, Franco; Tatano, Fabio; De Rosa, Sandro; Gambioli, Alma
A modular environment for software development and re-engineering 1-gen-2012 Salvatore, Campana; Andrea, Poli; Spalazzi, Luca; Spegni, Francesco
Dynamic Networks of Timed Automata for Collaborative Systems: a Network Monitoring Case Study 1-gen-2010 Campana, S; Spalazzi, L; Spegni, F
XAL: A Web Oriented Programming Language Based on Timed-Automata 1-gen-2008 Campana, S; Spalazzi, L; Spegni, F
Disjunctive timed networks 1-gen-2017 Spalazzi, Luca; Spegni, Francesco
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage 1-gen-2017 Baldi, Marco; Bartocci, Ezio; Chiaraluce, Franco; Cucchiarelli, Alessandro; Senigagliesi, Linda; Spalazzi, Luca; Spegni, Francesco
Modeling Time in Java Programs for Automatic Error Detection 1-gen-2018 Liva, Giovanni; Khan, Muhammad Taimoor; Spalazzi, Luca; Spegni, Francesco; Bollin, Andreas; Pinzger, Martin
Accuracy of message counting abstraction in fault-tolerant distributed algorithms 1-gen-2017 Konnov, Igor; Widder, Josef; Spegni, Francesco; Spalazzi, Luca
Verification-as-a-Service for Parameter Assessment 1-gen-2019 Spalazzi, L.; Spegni, F.
High-Performance Computing for Formal Security Assessment 1-gen-2019 Spalazzi, L.; Spegni, F.
Towards model checking security of real time Java software 1-gen-2018 Spalazzi, Luca; Spegni, Francesco; Liva, Giovanni; Pinzger, Martin
Parameterized model-checking of timed systems with conjunctive guards 1-gen-2014 Spalazzi, Luca; Spegni, Francesco
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1 a 20 di 5.325
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

Scopri
Tipologia
  • 4 Contributo Atto di Convegno (ex...5325
  • 1 Contributo su rivista1
Autore
  • BOGLIOLO, ALESSANDRO142
  • FALCIERI, ELISABETTA134
  • FERRETTI, STEFANO125
  • BERNARDO, MARCO97
  • TARZIA, GIORGIO82
  • DURANTI, ANDREA78
  • TATANO, FABIO75
  • ZAMAI, LORIS75
  • FRANCIONI, BARBARA72
  • MUSSO, FABIO72
Data di pubblicazione
  • In corso di stampa45
  • 2020 - 2026639
  • 2010 - 20191634
  • 2000 - 20092192
  • 1990 - 1999667
  • 1980 - 1989127
  • 1973 - 197921
Editore
  • IEEE106
  • Springer88
  • s.n37
  • QuattroVenti24
  • ACM21
  • World Scientific19
  • ETS18
  • Società Italiana Marketing18
  • IEEE Computer Society17
  • SPRINGER17
Rivista
  • JOURNAL OF PHYSICS. CONFERENCE SE...22
  • RENT21
  • ELECTRONIC PROCEEDINGS IN THEORET...12
  • JOURNAL OF PHYSICS. CONFERENCE SE...12
  • SPORT SCIENCES FOR HEALTH11
  • BIOLOGIA MARINA MEDITERRANEA10
  • RENDICONTI ONLINE DELLA SOCIETÀ G...10
  • ANNALS OF ONCOLOGY8
  • CLASSICAL AND QUANTUM GRAVITY7
  • ITALIAN JOURNAL OF BIOCHEMISTRY6
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE74
  • CEUR WORKSHOP PROCEEDINGS17
  • SARDINIA...9
  • WIT TRANSACTIONS ON ECOLOGY AND T...8
  • ATTI CONFERENZA NAZIONALE ASITA7
  • INTED PROCEEDINGS5
  • SELECTED PAPERS OF INTERNET RESEARCH5
  • ARCHEOMED4
  • BIBLIOTECA DELLA RICERCA. CULTURA...4
  • MOUSAI4
Keyword
  • Marche26
  • SMEs25
  • Urbino15
  • internationalization14
  • Montefeltro12
  • Cirene11
  • Italy11
  • performance10
  • cultural heritage8
  • iconografia8
Lingua
  • eng2364
  • ita1604
  • fre87
  • spa37
  • ger29
  • rus19
  • lat7
  • por6
  • mul3
  • enm2
Accesso al fulltext
  • no fulltext5127
  • restricted95
  • open85
  • embargoed10
  • reserved7
  • partially open1