RicercaCancella la 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.
Appunti sulla Commedia nella polifonia fiorentina del Trecento
2023-01-01 Checchi, Davide; Calvia, Antonio
Aproximación a la violencia de género en La Voz de la Mujer (1925-1931)
2016-01-01 Rota, Ivana
ARCH-COMP 2020 category report: Falsification
2020-01-01 Ernst, G.; Arcaini, P.; Bennani, I.; Donze, A.; Fainekos, G.; Frehse, G.; Mathesen, L.; Menghi, Claudio; Pedrielli, G.; Pouzet, M.; Yaghoubi, S.; Yamagata, Y.; Zhang, Z.
ARCH-COMP 2021 Category Report: Falsification with Validation of Results
2021-01-01 Ernst, Gidon; Arcaini, Paolo; Bennani, Ismail; Chandratre, Aniruddh; Donze, Alexandre; Fainekos, Georgios; Frehse, Goran; Gaaloul, Khouloud; Inoue, Jun; Khandait, Tanmay; Mathesen, Logan; Menghi, Claudio; Pedrielli, Giulia; Pouzet, Marc; Waga, Masaki; Yaghoubi, Shakiba; Yamagata, Yoriyuki; Zhang, Zhenya
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources
2022-01-01 Ernst, Gidon; Arcaini, Paolo; Fainekos, Georgios; Formica, Federico; Inoue, Jun; Khandait, Tanmay; Mahboob, Mohammad Mahdi; Menghi, Claudio; Pedrielli, Giulia; Waga, Masaki; Yamagata, Yoriyuki; Zhang, Zhenya
ARCH-COMP 2023 Category Report: Falsification
2023-01-01 Menghi, Claudio; Arcaini, Paolo; Baptista, Walstan; Ernst, Gidon; Fainekos, Georgios; Formica, Federico; Gon, Sauvik; Khandait, Tanmay; Kundu, Atanu; Pedrielli, Giulia; Peltomäki, Jarkko; Porres, Ivan; Ray, Rajarshi; Waga, Masaki; Zhang, Zhenya
Architecting a big data-driven software architecture for smart street lighting
2023-01-01 Ali, M.; Scandurra, Patrizia; Moretti, F.; Blaso, L.
Architecting Explainable Service Robots
2023-01-01 Bersani, Marcello M.; Camilli, Matteo; Lestingi, Livia; Mirandola, Raffaella; Rossi, Matteo; Scandurra, Patrizia
Architectural decisions for HW/SW partitioning based on multiple extra-functional properties
2014-01-01 Sapienza, Gaetana; Crnkovic, Ivica; Potena, Pasqualina
Architetti e uomini d'arme di fronte al "Mechanicorum liber" di Guidobaldo dal Monte
2015-01-01 Trabucco, Oreste
Data di pubblicazione | Titolo | Autore/i | Tipologia | Documento allegato |
---|---|---|---|---|
1-gen-2023 | Appunti sulla Commedia nella polifonia fiorentina del Trecento | Checchi, Davide; Calvia, Antonio | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2016 | Aproximación a la violencia de género en La Voz de la Mujer (1925-1931) | Rota, Ivana | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2020 | ARCH-COMP 2020 category report: Falsification | Ernst, G.; Arcaini, P.; Bennani, I.; Donze, A.; Fainekos, G.; Frehse, G.; Mathesen, L.; Menghi, Claudio; Pedrielli, G.; Pouzet, M.; Yaghoubi, S.; Yamagata, Y.; Zhang, Z. | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2021 | ARCH-COMP 2021 Category Report: Falsification with Validation of Results | Ernst, Gidon; Arcaini, Paolo; Bennani, Ismail; Chandratre, Aniruddh; Donze, Alexandre; Fainekos, Georgios; Frehse, Goran; Gaaloul, Khouloud; Inoue, Jun; Khandait, Tanmay; Mathesen, Logan; Menghi, Claudio; Pedrielli, Giulia; Pouzet, Marc; Waga, Masaki; Yaghoubi, Shakiba; Yamagata, Yoriyuki; Zhang, Zhenya | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2022 | ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources | Ernst, Gidon; Arcaini, Paolo; Fainekos, Georgios; Formica, Federico; Inoue, Jun; Khandait, Tanmay; Mahboob, Mohammad Mahdi; Menghi, Claudio; Pedrielli, Giulia; Waga, Masaki; Yamagata, Yoriyuki; Zhang, Zhenya | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2023 | ARCH-COMP 2023 Category Report: Falsification | Menghi, Claudio; Arcaini, Paolo; Baptista, Walstan; Ernst, Gidon; Fainekos, Georgios; Formica, Federico; Gon, Sauvik; Khandait, Tanmay; Kundu, Atanu; Pedrielli, Giulia; Peltomäki, Jarkko; Porres, Ivan; Ray, Rajarshi; Waga, Masaki; Zhang, Zhenya | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2023 | Architecting a big data-driven software architecture for smart street lighting | Ali, M.; Scandurra, Patrizia; Moretti, F.; Blaso, L. | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2023 | Architecting Explainable Service Robots | Bersani, Marcello M.; Camilli, Matteo; Lestingi, Livia; Mirandola, Raffaella; Rossi, Matteo; Scandurra, Patrizia | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2014 | Architectural decisions for HW/SW partitioning based on multiple extra-functional properties | Sapienza, Gaetana; Crnkovic, Ivica; Potena, Pasqualina | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.02 Abstract in atti di convegno - Conference abstracts | |
1-gen-2015 | Architetti e uomini d'arme di fronte al "Mechanicorum liber" di Guidobaldo dal Monte | Trabucco, Oreste | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations |
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
- 1.4.01 Contributi in atti di convegno - Conference presentations 5479
- 1.4.02 Abstract in atti di convegno - Conference abstracts 668
- 1.4.03 Testi di poster in atti di convegno - Conference posters 153
- DIPSI Workshop 2012 3
- DIPSI Workshop 2018 3
- GRASPA15 3
- L&F by issue - Fascicoli della rivista L&F 3
- DIPSI Workshop 2019 2
- GRASPA19 2
- DIPSI Workshop 2011 1
Data di pubblicazione
- 2020 - 2024 1345
- 2010 - 2019 3590
- 2000 - 2009 1230
- 1990 - 1999 125
- 1984 - 1989 10
Editore
- Springer 374
- IEEE 262
- IEEE (Institute of Electrical and Electronics Engineers) 192
- Elsevier 167
- IEEE (Institute of Electric and Electronics Engineers) 130
- Institute of Electrical and Electronics Engineers Inc. 63
- Springer Nature Switzerland AG 56
- ASME (American Society of Mechanical Engineers) 42
- Trans Tech Publications 38
- ACM 34
Rivista
- ...SUMMER SCHOOL FRANCESCO TURCO. PROCEEDINGS 42
- POS PROCEEDINGS OF SCIENCE 35
- PROCEDIA STRUCTURAL INTEGRITY 21
- FINANCIAL MANAGEMENT OF FIRMS AND FINANCIAL INSTITUTIONS 14
- PROCEDIA ENGINEERING 14
- ACADEMY OF MANAGEMENT ANNUAL MEETING PROCEEDINGS 13
- IOP CONFERENCE SERIES: MATERIALS SCIENCE AND ENGINEERING 13
- JOURNAL OF PHYSICS. CONFERENCE SERIES 12
- MEMORIE GEOGRAFICHE 11
- PROCEDIA COMPUTER SCIENCE 10
Serie
- LECTURE NOTES IN COMPUTER SCIENCE 102
- IFIP ADVANCES IN INFORMATION AND COMMUNICATION TECHNOLOGY 90
- IFAC-PAPERSONLINE 62
- LECTURE NOTES IN COMPUTER SCIENCE 58
- PROCEDIA CIRP 43
- KEY ENGINEERING MATERIALS 40
- CEUR WORKSHOP PROCEEDINGS 37
- IFAC PROCEEDINGS VOLUMES 33
- SOCIETÀ ITALIANA DI PEDAGOGIA 33
- LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 31
Settore disciplinare
- Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni 450
- Settore ING-IND/17 - Impianti Industriali Meccanici 345
- Settore ING-INF/04 - Automatica 196
- Settore ING-IND/35 - Ingegneria Economico-Gestionale 192
- Settore ING-IND/15 - Disegno e Metodi dell'Ingegneria Industriale 190
- Settore ICAR/09 - Tecnica delle Costruzioni 181
- Settore M-PED/03 - Didattica e Pedagogia Speciale 160
- Settore ING-IND/22 - Scienza e Tecnologia dei Materiali 154
- Settore ING-INF/01 - Elettronica 142
- Settore SECS-P/08 - Economia e Gestione delle Imprese 134
Keyword
- Electrical and Electronic Engineering 38
- Industry 4.0 38
- TRIZ 38
- Sustainability 34
- Nuclear and High Energy Physics 31
- Control and Systems Engineering 30
- microelectronics 29
- CMOS 28
- Software 27
- Bergamo 26
Lingua
- eng 4697
- ita 1462
- fre 53
- ger 46
- spa 32
- rus 28
- mul 12
- cze 2
- lat 2
- ach 1
Accesso al fulltext
- reserved 3308
- no fulltext 1817
- open 1112
- partially open 58
- embargoed 3
- mixed 2
Appartenenza
- Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione 2046
- Dipartimento di Ingegneria e Scienze Applicate 1736
- Dipartimento di Scienze Umane e Sociali 861
- Universita' degli Studi di Bergamo 486
- Dipartimento di Lingue, Letterature e Culture Straniere 466
- Dipartimento di Lettere, Filosofia, Comunicazione 401
- Dipartimento di Scienze Economiche 330
- Dipartimento di Scienze Aziendali 306
- Dipartimento di Giurisprudenza 174
- Centro di Ateneo SDM School of Management 47