Blockchain based choreographies: The construction industry case study
2023 Spalazzi, L.; Spegni, F.; Corneli, A.; Naticchia, B.
A Mixed Reality Application for the On-Site Assessment of Building Renovation: Development and Testing
2022 Carbonari, Alessandro; Franco, Carlos; Naticchia, Berardo; Spegni, Francesco; Vaccarini, Massimo
Seamless Augmented Reality Registration Supporting Facility Management Operations in Unprepared Environments
2024 Messi, Leonardo; Spegni, Francesco; Vaccarini, Massimo; Corneli, Alessandra; Binni, Leonardo
Verifying temporal specifications of Java programs
2020 Spegni, F.; Spalazzi, L.; Liva, G.; Pinzger, M.; Bollin, A.
A Holonic Construction Management System for the Efficient Implementation of Building Energy Renovation Actions
2024 Messi, Leonardo; Carbonari, Alessandro; Franco, Carlos; Spegni, Francesco; Vaccarini, Massimo; Naticchia, Berardo
PARAMETERIZED MODEL-CHECKING OF DISCRETE-TIMED NETWORKS AND SYMMETRIC-BROADCAST SYSTEMS
2025 Aminof, B.; Rubin, S.; Spegni, F.; Zuleger, F.
Model Checking Grid Security
2013 Pagliarecci, Francesco; Spegni, Francesco; Spalazzi, Luca
Parameterized model checking of rendezvous systems
2018 Aminof, Benjamin; Kotek, Tomer; Rubin, Sasha; Spegni, Francesco; Veith, Helmut
Automatic Repair of Timestamp Comparisons
2021 Liva, Giovanni; Khan, Muhammad Taimoor; Pinzger, Martin; Spegni, Francesco; Spalazzi, Luca
Interoperable mixed reality for facility management: a cyber-physical perspective
2024 Vaccarini, Massimo; Spegni, Francesco; Giretti, Alberto; Pirani, Massimiliano; Carbonari, Alessandro
On a long standing conjecture: positive Liouville Theorem for hypoelliptic Ornstein-Uhlenbeck operators
2025 Kogoj, Alessia E.; Lanconelli, Ermanno; Tralli, Giulio
An introduction to “Second Order Subelliptic PDEs”: the scientific work of Ermanno Lanconelli
2025 Bonfiglioli, Andrea; Citti, Giovanna; Cupini, Giovanni; Kogoj, Alessia E.; Manfredini, Maria; Montanari, Annamaria; Morbidelli, Daniele; Pascucci, Andrea; Polidoro, Sergio; Tralli, Giulio; Uguzzoni, Francesco
«Bisogna saper ascoltare». Sanzio Balducci intervistato a cinquant’anni dalla tesi di laurea
2026 Balducci, Sanzio; Bedussi, Elia; Frontera, Manuela; Piccardi, Duccio; Celata, Chiara
Integrating classical methods and a new viability index to assess shallow ground heat exchange potential: application to the Gioia Tauro coastal plain (Calabria, southern Italy)
2026 Vespasiano, Giovanni; Taussi, Marco; Russo, Luigi; Cianflone, Giuseppe; Chemeri, Lorenzo; Fuoco, Ilaria; Bloise, Andrea; La Russa, Mauro F.; Dominici, Rocco; Venturi, Stefania; Cabassi, Jacopo; De Rosa, Rosanna; Guido, Adriano; Renzulli, Alberto; Ciniglia, Federico; Apollaro, Carmine
Neotectonics in Lago Roca, Santa Cruz province, Argentina
2026 Bunicontro, Stefania D.; Restelli, Florencia B.; Winocur, Diego A.; Bran, Donaldo M.; Lozano, Jorge G.; Menichetti, Marco; Gutierrez, Yasmin S.; Baradello, Luca; Lodolo, Emanuele; Tassone, Alejandro A.
Morphoevolutive drivers on a rapidly‐evolving soft rocky cliff and connected shore platform system
2025 Torre, Davide; Zocchi, Marta; Iacobucci, Giulia; Menichetti, Marco; Toselli, Roberto; Troiani, Francesco; Piacentini, Daniela
Tecnologia e sicurezza sul lavoro. Riflessioni a partire da una sperimentazione sul campo: il Digital Wallet for Safety at Work Training (DWS)
2026 Lazzari, Chiara
Critical Assessment of a Structure-Based Pipeline for Targeting the Long Noncoding RNA MALAT1
2026 Aguti, Riccardo; Bernetti, Mattia; Elisi, Gian Marco; Cavalli, Andrea; Masetti, Matteo
Dissecting the RAD51–BRC4 Interaction Landscape through Integrative Molecular Simulations and Experimental Biophysics
2025 Bresciani, Veronica; Rinaldi, Francesco; Franco, Pedro; Girotto, Stefania; Cavalli, Andrea; Langer, Julian D.; Masetti, Matteo; Bernetti, Mattia
Comparative analysis of nutritional content and antioxidant preservation in barley–wheat products made from various Hordeum vulgare genotypes from Sardinia
2026 De Bellis, Roberta; Palma, Francesco; Lai, Federico; Lai, Angelica; Brundu, Laura; Meli, Maria Assunta; Roselli, Carla; Fagiolino, Ivan; Amicucci, Antonella; Chiarantini, Laura; Potenza, Lucia
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Blockchain based choreographies: The construction industry case study | 1-gen-2023 | Spalazzi, L.; Spegni, F.; Corneli, A.; Naticchia, B. | |
| A Mixed Reality Application for the On-Site Assessment of Building Renovation: Development and Testing | 1-gen-2022 | Carbonari, Alessandro; Franco, Carlos; Naticchia, Berardo; Spegni, Francesco; Vaccarini, Massimo | |
| Seamless Augmented Reality Registration Supporting Facility Management Operations in Unprepared Environments | 1-gen-2024 | Messi, Leonardo; Spegni, Francesco; Vaccarini, Massimo; Corneli, Alessandra; Binni, Leonardo | |
| Verifying temporal specifications of Java programs | 1-gen-2020 | Spegni, F.; Spalazzi, L.; Liva, G.; Pinzger, M.; Bollin, A. | |
| A Holonic Construction Management System for the Efficient Implementation of Building Energy Renovation Actions | 1-gen-2024 | Messi, Leonardo; Carbonari, Alessandro; Franco, Carlos; Spegni, Francesco; Vaccarini, Massimo; Naticchia, Berardo | |
| PARAMETERIZED MODEL-CHECKING OF DISCRETE-TIMED NETWORKS AND SYMMETRIC-BROADCAST SYSTEMS | 1-gen-2025 | Aminof, B.; Rubin, S.; Spegni, F.; Zuleger, F. | |
| Model Checking Grid Security | 1-gen-2013 | Pagliarecci, Francesco; Spegni, Francesco; Spalazzi, Luca | |
| Parameterized model checking of rendezvous systems | 1-gen-2018 | Aminof, Benjamin; Kotek, Tomer; Rubin, Sasha; Spegni, Francesco; Veith, Helmut | |
| Automatic Repair of Timestamp Comparisons | 1-gen-2021 | Liva, Giovanni; Khan, Muhammad Taimoor; Pinzger, Martin; Spegni, Francesco; Spalazzi, Luca | |
| Interoperable mixed reality for facility management: a cyber-physical perspective | 1-gen-2024 | Vaccarini, Massimo; Spegni, Francesco; Giretti, Alberto; Pirani, Massimiliano; Carbonari, Alessandro | |
| On a long standing conjecture: positive Liouville Theorem for hypoelliptic Ornstein-Uhlenbeck operators | 1-gen-2025 | Kogoj, Alessia E.; Lanconelli, Ermanno; Tralli, Giulio | |
| An introduction to “Second Order Subelliptic PDEs”: the scientific work of Ermanno Lanconelli | 1-gen-2025 | Bonfiglioli, Andrea; Citti, Giovanna; Cupini, Giovanni; Kogoj, Alessia E.; Manfredini, Maria; Montanari, Annamaria; Morbidelli, Daniele; Pascucci, Andrea; Polidoro, Sergio; Tralli, Giulio; Uguzzoni, Francesco | |
| «Bisogna saper ascoltare». Sanzio Balducci intervistato a cinquant’anni dalla tesi di laurea | 1-gen-2026 | Balducci, Sanzio; Bedussi, Elia; Frontera, Manuela; Piccardi, Duccio; Celata, Chiara | |
| Integrating classical methods and a new viability index to assess shallow ground heat exchange potential: application to the Gioia Tauro coastal plain (Calabria, southern Italy) | 1-gen-2026 | Vespasiano, Giovanni; Taussi, Marco; Russo, Luigi; Cianflone, Giuseppe; Chemeri, Lorenzo; Fuoco, Ilaria; Bloise, Andrea; La Russa, Mauro F.; Dominici, Rocco; Venturi, Stefania; Cabassi, Jacopo; De Rosa, Rosanna; Guido, Adriano; Renzulli, Alberto; Ciniglia, Federico; Apollaro, Carmine | |
| Neotectonics in Lago Roca, Santa Cruz province, Argentina | 1-gen-2026 | Bunicontro, Stefania D.; Restelli, Florencia B.; Winocur, Diego A.; Bran, Donaldo M.; Lozano, Jorge G.; Menichetti, Marco; Gutierrez, Yasmin S.; Baradello, Luca; Lodolo, Emanuele; Tassone, Alejandro A. | |
| Morphoevolutive drivers on a rapidly‐evolving soft rocky cliff and connected shore platform system | 1-gen-2025 | Torre, Davide; Zocchi, Marta; Iacobucci, Giulia; Menichetti, Marco; Toselli, Roberto; Troiani, Francesco; Piacentini, Daniela | |
| Tecnologia e sicurezza sul lavoro. Riflessioni a partire da una sperimentazione sul campo: il Digital Wallet for Safety at Work Training (DWS) | 1-gen-2026 | Lazzari, Chiara | |
| Critical Assessment of a Structure-Based Pipeline for Targeting the Long Noncoding RNA MALAT1 | 1-gen-2026 | Aguti, Riccardo; Bernetti, Mattia; Elisi, Gian Marco; Cavalli, Andrea; Masetti, Matteo | |
| Dissecting the RAD51–BRC4 Interaction Landscape through Integrative Molecular Simulations and Experimental Biophysics | 1-gen-2025 | Bresciani, Veronica; Rinaldi, Francesco; Franco, Pedro; Girotto, Stefania; Cavalli, Andrea; Langer, Julian D.; Masetti, Matteo; Bernetti, Mattia | |
| Comparative analysis of nutritional content and antioxidant preservation in barley–wheat products made from various Hordeum vulgare genotypes from Sardinia | 1-gen-2026 | De Bellis, Roberta; Palma, Francesco; Lai, Federico; Lai, Angelica; Brundu, Laura; Meli, Maria Assunta; Roselli, Carla; Fagiolino, Ivan; Amicucci, Antonella; Chiarantini, Laura; Potenza, Lucia |
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
- 1 Contributo su rivista24159
- 4 Contributo Atto di Convegno (ex...2
- 2 Contributo in Volume(ex Articol...1
Data di pubblicazione
- In corso di stampa47
- 2020 - 20276019
- 2010 - 20198114
- 2000 - 20095471
- 1990 - 19992897
- 1980 - 19891294
- 1970 - 1979283
- 1962 - 196936
Editore
- Verona : Euroconference48
- Societa Editrice il Mulino Spa:St...34
- Elsevier BV:PO Box 211, 1000 AE A...29
- Edizioni Quattroventi di Anna Ver...23
- Editrice Scuola Spa:via L Cadorna...20
- -Milano : Franco Angeli -Genova...15
- Katlenburg-Lindau : European Geop...15
- Franco Angeli Riviste SRL:viale M...14
- G. Giappichelli Editore, Torino13
- Il Mulino, Bologna13
Rivista
- JOURNAL OF HIGH ENERGY PHYSICS255
- PHYSICAL REVIEW LETTERS214
- STUDI URBINATI DI SCIENZE GIURIDI...154
- PHYSICAL REVIEW D146
- PHYSICS LETTERS. SECTION B144
- STUDI URBINATI B, SCIENZE UMANE E...136
- CLASSICAL AND QUANTUM GRAVITY134
- PICCOLA IMPRESA118
- SOCIOLOGIA DELLA COMUNICAZIONE109
- PLOS ONE95
Serie
- WORKING PAPERS OLYMPUS1
Keyword
- Humans178
- Animals127
- COVID-19107
- Italy77
- Male73
- Gravitational Waves61
- Female57
- LIGO56
- Mice52
- inflammation49
Lingua
- eng11952
- ita6743
- fre223
- spa153
- ger107
- lat40
- por31
- rus31
- grc11
- ara7
Accesso al fulltext
- no fulltext21078
- open2106
- restricted593
- partially open336
- reserved40
- embargoed7
- mixed1