IRIS

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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1 a 20 di 5.318
Titolo Data di pubblicazione Autore(i) File
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
Parametric and probabilistic model checking of confidentiality in data dispersal algorithms 1-gen-2016 Baldi, Marco; Cucchiarelli, Alessandro; Senigagliesi, Linda; Spalazzi, Luca; Spegni, Francesco
A probabilistic small model theorem to assess confidentiality of dispersed cloud storage (extended abstract) 1-gen-2017 Baldi, Marco; Bartocci, Ezio; Chiaraluce, Franco; Cucchiarelli, Alessandro; Senigagliesi, Linda; Spalazzi, Luca; Spegni, Francesco
Security in heterogeneous distributed storage systems: a practically achievable information-theoretic approach 1-gen-2017 Baldi, Marco; Chiaraluce, Franco; Senigagliesi, Linda; Spalazzi, Luca; Spegni, Francesco
Bioenergy potential from green waste through lab-scale anaerobic digestion: Thermophilic versus mesophilic conditions 1-gen-2024 Folino, Adele; Randazzo, Antonio; Tassi, Franco; Tatano, Fabio; De Rosa, Sandro; Gambioli, Alma
On Reversibility in Petri Nets 1-gen-2026 Melgratti, Hernán; Mezzina, Claudio Antares; Michele Pinna, G.
Event-Driven Digital Twins 1-gen-2026 Picone, Marco; Morandi, Riccardo; Burattini, Samuele; Croatti, Angelo; Mariani, Stefano; Montagna, Sara; Ricci, Alessandro
Creazione, incarnazione, ispirazione. L'artista a “immagine di Dio” nel pensiero di Denis de Rougemont 1-gen-2011 Bondi, D
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1 a 20 di 5.318
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...5318
  • 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 - 2026632
  • 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
  • PROCEEDINGS IFKAD...4
Keyword
  • Marche26
  • SMEs25
  • Urbino15
  • internationalization14
  • Montefeltro12
  • Cirene11
  • Italy11
  • performance10
  • cultural heritage8
  • iconografia8
Lingua
  • eng2360
  • ita1603
  • fre87
  • spa36
  • ger29
  • rus19
  • lat7
  • por6
  • mul3
  • enm2
Accesso al fulltext
  • no fulltext5123
  • restricted95
  • open82
  • embargoed10
  • reserved7
  • partially open1