Integrated Formal Methods - Proceedings of the 17th International Conference on Integrated Formal Methods (IFM'22)
2022 M.H. ter Beek; R. Monahan
Preface
2023 Basili, Roberto; Limongelli, Carla; Lembo, Domenico; Orlandini, Andrea
AITA 2011. Abstract Book
2011 Moroni D.; Ronchi L.; Salvetti O.
14th International Conference on Flexible Query Answering Systems, FQAS 2021
2021 Andreasen, Troels; De Trè, Guy; Kacprzyk, Janusz; Legind Larsen, Henrik; Bordogna, Gloria; Zadrozny, Slawomir
Atti degli Incontri di studio: Amianto, altri cancerogeni e patologie collegate
2016 Lorenza FiumiMichele RuccoHa contribuito Carlo Meoni,
Proceedings of 1st Joint SLTU and CCURL Workshop (SLTU-CCURL 2020)
2020 Beermann Dorothée; Besacier Laurent; Sakriani Sakti; Soria Claudia
Proceedings of The 1st Annual Meeting of the ELRA/ISCA Special Interest Group on Under-Resourced Languages (SIGUL2022)
2022 Melero, Maite; Sakriani, Sakti; Soria, Claudia
Atti della Conferenza del Dipartimento di Scienze Chimiche e Tecnologie dei Materiali -CNR, 2017
2017 Verginelli F.; Lamba D.
Book of Abstracts. ArcheoFOSS International Conference 2020
2020 Bogdani, ; Julian, ; Battistin, ; Fabiana, ; Stefano de, Angeli; Stefano, ; Moresi, ; Federico, Valerio; Pastura, ; Giancarlo, ; Serpetti, ; Matteo, ; Brandolini, ; Filippo, ; Carrer, ; Francesco, ; Ciccone, ; Gabriele, ; D'Erasmo, ; Domizia, ; Ago, ; Renata, ; Diara, ; Filippo, ; Rinaudo, ; Fulvio, ; Fornaciari, ; Lorenzo, ; Brienza, ; Emanuele, ; Caratelli, ; Giovanni, ; Giorgi, ; Cecilia, ; Malatesta, ; Saverio, Giulio; Pellegrino, ; Michele, ; Coppola, ; Donato, ; Price, ; Ben, ; Rosati, ; Paolo, ; Caravale, ; Alessandra, ; Piergrossi, ; Alessandra, ; Rossi, ; Irene, ; D'Andrea, ; Andrea, ; Forte, ; Francesca, ; Ducke, ; Benjamin, ; Gattiglia, ; Gabriele, ; Anichini, ; Francesca, ; Grossi, ; Piergiovanna, ; Ciurcina, ; Marco, ; Laneri, ; Nicola, ; Brancato, ; Rodolfo, ; Cristofaro, ; Salvatore, ; Figuera, ; Marianna, ; Nicolosi, Asmundo; Marianna, ; Santamaria, ; Daniele, Francesco; Spampinato, ; Daria, ; Roesler, ; Katja, ; Auth, ; Frederic, ; Domscheit, ; Wenke, ; Hofmann, ; Kerstin, P; Schmidt, ; Sophie, C; Thiery, ; Florian, ; Serlorenzi, ; Mirella, ; Montalbano, ; Riccardo, ; D'Andrea, ; Ascanio, ; Cifarelli, ; Carlo, ; Berto, ; Simone, ; Demetrescu, Emanuel; Demetrescu, Emanuel; Carpanese, ; Irene, ; Fanini, ; Bruno, ; Homburg, ; Timo, ; Lewis, ; Joseph, ; Palombini, ; Augusto,
COORDINATION 2017 - Coordination Models and Languages
2017 Jacquet, Jm; Massink, M
Preface to the 8th Eurographics Workshop on 3D Object Retrieval 2015
2015 Pratikakis, Ioannis; Theoharis, Theoharis; Spagnuolo, Michela; Van Gool, Luc; Veltkamp, Remco; Godil, Afzal
WORKSHOP ON THE BASIC AND APPLIED ASPECTS OF RARE-EARTHS - PROCEEDINGS OF THE 2ND WORKSHOP CENTRO RICERCHE VENEZIA, TEMAV, VENICE, ITALY, MAY 9-10, 1991
1992 Blasse, G; Guerriero, P; Vigato, Pa
Sustainable Development and Management of Water Resources: A Legal Framework for the Mediterranean
1999 Tamburelli, Gianfranco; Marchisio, Sergio; Pecoraro, Liana
Il sistema giuridico italiano delle Aree protette
2000 Tamburelli, Gianfranco
Organometallic Chemistry and Challenges in CO2 Activation and Utilization
2019 Luca Gonsalvi; Alessandro Mordini; Maurizio Peruzzini
Konradin (1252-1268): eine Reise durch Geschichte, Recht und Mythos
2022 Vitolo, G.; Schwarz-Ricci, V. I.
The Ionian and Adriatic Region: energy resources and environmental sustainability
2017 Caroppo, C; Rovere, M
Proceedings FMSPLE 2015
2015 Gnesi, S; Atlee, J M
Ancient quarries and building sites in Asia Minor. Research on Hierapolis in Phrygia and other cities in south-western Anatolia: archaeology, archaeometry, conservation
2016 Ismaelli, T; Scardozzi, G
Electronic Government and the Information Systems Perspective
2016 Ko, A; Francesconi, E
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Integrated Formal Methods - Proceedings of the 17th International Conference on Integrated Formal Methods (IFM'22) | 1-gen-2022 | M.H. ter Beek; R. Monahan | |
| Preface | 1-gen-2023 | Basili, Roberto; Limongelli, Carla; Lembo, Domenico; Orlandini, Andrea | |
| AITA 2011. Abstract Book | 1-gen-2011 | Moroni D.; Ronchi L.; Salvetti O. | |
| 14th International Conference on Flexible Query Answering Systems, FQAS 2021 | 1-gen-2021 | Andreasen, Troels; De Trè, Guy; Kacprzyk, Janusz; Legind Larsen, Henrik; Bordogna, Gloria; Zadrozny, Slawomir | |
| Atti degli Incontri di studio: Amianto, altri cancerogeni e patologie collegate | 1-gen-2016 | Lorenza FiumiMichele RuccoHa contribuito Carlo Meoni, | |
| Proceedings of 1st Joint SLTU and CCURL Workshop (SLTU-CCURL 2020) | 1-gen-2020 | Beermann Dorothée; Besacier Laurent; Sakriani Sakti; Soria Claudia | |
| Proceedings of The 1st Annual Meeting of the ELRA/ISCA Special Interest Group on Under-Resourced Languages (SIGUL2022) | 1-gen-2022 | Melero, Maite; Sakriani, Sakti; Soria, Claudia | |
| Atti della Conferenza del Dipartimento di Scienze Chimiche e Tecnologie dei Materiali -CNR, 2017 | 1-gen-2017 | Verginelli F.; Lamba D. | |
| Book of Abstracts. ArcheoFOSS International Conference 2020 | 1-gen-2020 | Bogdani, ; Julian, ; Battistin, ; Fabiana, ; Stefano de, Angeli; Stefano, ; Moresi, ; Federico, Valerio; Pastura, ; Giancarlo, ; Serpetti, ; Matteo, ; Brandolini, ; Filippo, ; Carrer, ; Francesco, ; Ciccone, ; Gabriele, ; D'Erasmo, ; Domizia, ; Ago, ; Renata, ; Diara, ; Filippo, ; Rinaudo, ; Fulvio, ; Fornaciari, ; Lorenzo, ; Brienza, ; Emanuele, ; Caratelli, ; Giovanni, ; Giorgi, ; Cecilia, ; Malatesta, ; Saverio, Giulio; Pellegrino, ; Michele, ; Coppola, ; Donato, ; Price, ; Ben, ; Rosati, ; Paolo, ; Caravale, ; Alessandra, ; Piergrossi, ; Alessandra, ; Rossi, ; Irene, ; D'Andrea, ; Andrea, ; Forte, ; Francesca, ; Ducke, ; Benjamin, ; Gattiglia, ; Gabriele, ; Anichini, ; Francesca, ; Grossi, ; Piergiovanna, ; Ciurcina, ; Marco, ; Laneri, ; Nicola, ; Brancato, ; Rodolfo, ; Cristofaro, ; Salvatore, ; Figuera, ; Marianna, ; Nicolosi, Asmundo; Marianna, ; Santamaria, ; Daniele, Francesco; Spampinato, ; Daria, ; Roesler, ; Katja, ; Auth, ; Frederic, ; Domscheit, ; Wenke, ; Hofmann, ; Kerstin, P; Schmidt, ; Sophie, C; Thiery, ; Florian, ; Serlorenzi, ; Mirella, ; Montalbano, ; Riccardo, ; D'Andrea, ; Ascanio, ; Cifarelli, ; Carlo, ; Berto, ; Simone, ; Demetrescu, Emanuel; Demetrescu, Emanuel; Carpanese, ; Irene, ; Fanini, ; Bruno, ; Homburg, ; Timo, ; Lewis, ; Joseph, ; Palombini, ; Augusto, | |
| COORDINATION 2017 - Coordination Models and Languages | 1-gen-2017 | Jacquet, Jm; Massink, M | |
| Preface to the 8th Eurographics Workshop on 3D Object Retrieval 2015 | 1-gen-2015 | Pratikakis, Ioannis; Theoharis, Theoharis; Spagnuolo, Michela; Van Gool, Luc; Veltkamp, Remco; Godil, Afzal | |
| WORKSHOP ON THE BASIC AND APPLIED ASPECTS OF RARE-EARTHS - PROCEEDINGS OF THE 2ND WORKSHOP CENTRO RICERCHE VENEZIA, TEMAV, VENICE, ITALY, MAY 9-10, 1991 | 1-gen-1992 | Blasse, G; Guerriero, P; Vigato, Pa | |
| Sustainable Development and Management of Water Resources: A Legal Framework for the Mediterranean | 1-gen-1999 | Tamburelli, Gianfranco; Marchisio, Sergio; Pecoraro, Liana | |
| Il sistema giuridico italiano delle Aree protette | 1-gen-2000 | Tamburelli, Gianfranco | |
| Organometallic Chemistry and Challenges in CO2 Activation and Utilization | 1-gen-2019 | Luca Gonsalvi; Alessandro Mordini; Maurizio Peruzzini | |
| Konradin (1252-1268): eine Reise durch Geschichte, Recht und Mythos | 1-gen-2022 | Vitolo, G.; Schwarz-Ricci, V. I. | |
| The Ionian and Adriatic Region: energy resources and environmental sustainability | 1-gen-2017 | Caroppo, C; Rovere, M | |
| Proceedings FMSPLE 2015 | 1-gen-2015 | Gnesi, S; Atlee, J M | |
| Ancient quarries and building sites in Asia Minor. Research on Hierapolis in Phrygia and other cities in south-western Anatolia: archaeology, archaeometry, conservation | 1-gen-2016 | Ismaelli, T; Scardozzi, G | |
| Electronic Government and the Information Systems Perspective | 1-gen-2016 | Ko, A; Francesconi, E |
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
- 04 Contributo in convegno614
Data di pubblicazione
- 2020 - 2026197
- 2010 - 2019347
- 2000 - 200962
- 1990 - 19996
- 1980 - 19892
Editore
- Springer36
- CEUR-WS.org14
- ACM Press12
- Springer Nature Switzerland12
- ACM, Association for computing ma...9
- CNR edizioni9
- European Language Resources Assoc...8
- CNR EDIZIONI7
- Springer-Verlag7
- IEEE6
Rivista
- ELECTRONIC PROCEEDINGS IN THEORET...8
- APPLIED SURFACE SCIENCE5
- ARCHEOLOGIA E CALCOLATORI5
- ARCHEOLOGIA AEREA3
- BMC BIOINFORMATICS2
- JOURNAL OF NANOSCIENCE AND NANOTE...2
- CHEMISTRY INTERNATIONAL1
- CRETA ANTICA1
- ENGINEERING PROCEEDINGS1
- ENTROPY1
Serie
- CEUR WORKSHOP PROCEEDINGS29
- CEUR Workshop Proceedings14
- LECTURE NOTES IN COMPUTER SCIENCE10
- COMMUNICATIONS IN COMPUTER AND IN...5
- IMACS SERIES COMPUTATIONAL AND AP...4
- SMART INNOVATION, SYSTEMS AND TEC...4
- SPRINGER INDAM SERIES3
- FILOSOFIA E SCIENZA NELL'ETÀ MODERNA2
- FRONTIERS RESEARCH TOPICS2
- ILIESI DIGITALE. RICERCHE FILOSOF...2
Keyword
- Information retrieval20
- Artificial Intelligence12
- Formal Methods11
- Formal methods11
- Artificial intelligence10
- Mediterraneo10
- Software Engineering9
- Archeologia7
- cultural heritage7
- Security7
Lingua
- eng518
- ita127
- fre13
- spa11
- ger3
- cpe2
- enm2
- grc1
- lat1
- por1
Accesso al fulltext
- no fulltext344
- open175
- restricted70
- reserved19
- partially open5
- embargoed1