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.

cerca in
Risultati 851 - 860 di 6992 (tempo di esecuzione: 0.026 secondi).
Data di pubblicazione Titolo Autore/i Tipologia Documento allegato
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-2024 ARCH-COMP 2024 Category Report: Falsification Khandait, T.; Formica, F.; Arcaini, P.; Chotaliya, S.; Fainekos, G.; Hekal, A.; Kundu, A.; Lew, E.; Loreti, M.; Menghi, Claudio; Nenzi, L.; Pedrielli, G.; Peltomaki, J.; Porres, I.; Ray, R.; Soloviev, V.; Visconti, E.; Waga, M.; 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-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
1-dic-2020 Architetture adattive mediante un nuovo modulo tensegrale pieghevole di tipo T4 Ruscica, Giuseppe; Micheletti, Andrea 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
Risultati 851 - 860 di 6992 (tempo di esecuzione: 0.026 secondi).
↑ Back to top
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

Filtra la ricerca per:  
Aggiungi
Opzioni
Scopri
Tipologia
  • 1.4.01 Contributi in atti di convegno - Conference presentations 6013
  • 1.4.02 Abstract in atti di convegno - Conference abstracts 822
  • 1.4.03 Testi di poster in atti di convegno - Conference posters 157
  • 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
  • ATEE Spring Conference 1
Autore
  • PREVIDI, Fabio 147
  • GARGANTINI, Angelo Michele 142
  • RIVA, Paolo 139
  • RE, Valerio 129
  • GAIARDELLI, Paolo 123
  • BELLERI, Andrea 122
  • RIZZI, Caterina 121
  • PEZZOTTA, Giuditta 118
  • CAVALIERI, Sergio 117
  • PINTO, Roberto 115
Data di pubblicazione
  • 2020 - 2025 1949
  • 2010 - 2019 3670
  • 2000 - 2009 1237
  • 1990 - 1999 126
  • 1984 - 1989 10
Editore
  • Springer 463
  • IEEE 296
  • IEEE (Institute of Electrical and Electronics Engineers) 241
  • Elsevier 193
  • IEEE (Institute of Electric and Electronics Engineers) 130
  • Institute of Electrical and Electronics Engineers Inc. 72
  • Springer Nature Switzerland AG 56
  • ASME (American Society of Mechanical Engineers) 42
  • ASME 38
  • Pensa Multimedia 38
Rivista
  • ...SUMMER SCHOOL FRANCESCO TURCO. PROCEEDINGS 46
  • POS PROCEEDINGS OF SCIENCE 40
  • PROCEDIA STRUCTURAL INTEGRITY 25
  • JOURNAL OF PHYSICS. CONFERENCE SERIES 16
  • IOP CONFERENCE SERIES: MATERIALS SCIENCE AND ENGINEERING 15
  • ACADEMY OF MANAGEMENT ANNUAL MEETING PROCEEDINGS 14
  • FINANCIAL MANAGEMENT OF FIRMS AND FINANCIAL INSTITUTIONS 14
  • PROCEDIA COMPUTER SCIENCE 14
  • PROCEDIA ENGINEERING 14
  • MEMORIE GEOGRAFICHE 12
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE 123
  • IFIP ADVANCES IN INFORMATION AND COMMUNICATION TECHNOLOGY 121
  • IFAC-PAPERSONLINE 85
  • LECTURE NOTES IN COMPUTER SCIENCE 58
  • PROCEDIA CIRP 49
  • CEUR WORKSHOP PROCEEDINGS 44
  • KEY ENGINEERING MATERIALS 40
  • SOCIETÀ ITALIANA DI PEDAGOGIA 40
  • IFAC PROCEEDINGS VOLUMES 34
  • LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 32
Keyword
  • Sustainability 44
  • TRIZ 41
  • Industry 4.0 40
  • Electrical and Electronic Engineering 38
  • Nuclear and High Energy Physics 31
  • Control and Systems Engineering 30
  • microelectronics 29
  • sustainability 29
  • CMOS 28
  • Bergamo 27
Lingua
  • eng 5246
  • ita 1595
  • fre 57
  • ger 47
  • spa 36
  • rus 34
  • mul 12
  • lat 5
  • chi 4
  • cze 2
Accesso al fulltext
  • reserved 3715
  • no fulltext 1826
  • open 1388
  • partially open 62
  • mixed 1
Settore disciplinare
  • Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni 452
  • Settore ING-IND/17 - Impianti Industriali Meccanici 344
  • Settore ING-INF/04 - Automatica 200
  • Settore ING-IND/35 - Ingegneria Economico-Gestionale 195
  • Settore ING-IND/15 - Disegno e Metodi dell'Ingegneria Industriale 191
  • 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 156
  • Settore ING-INF/01 - Elettronica 145
  • Settore SECS-P/08 - Economia e Gestione delle Imprese 134
Settore disciplinare (2024)
  • Settore IIND-05/A - Impianti industriali meccanici 53
  • Settore IINF-05/A - Sistemi di elaborazione delle informazioni 49
  • Settore IINF-04/A - Automatica 42
  • Settore IIND-03/B - Disegno e metodi dell'ingegneria industriale 41
  • Settore IBIO-01/A - Bioingegneria 34
  • Settore IIND-06/A - Macchine a fluido 29
  • Settore PAED-02/A - Didattica e pedagogia speciale 29
  • Settore CEAR-06/A - Scienza delle costruzioni 21
  • Settore CEAR-07/A - Tecnica delle costruzioni 18
  • Settore GLOT-01/A - Glottologia e linguistica 17
Appartenenza
  • Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione 2289
  • Dipartimento di Ingegneria e Scienze Applicate 1913
  • Dipartimento di Scienze Umane e Sociali 946
  • Dipartimento di Lingue, Letterature e Culture Straniere 525
  • Universita' degli Studi di Bergamo 489
  • Dipartimento di Lettere, Filosofia, Comunicazione 449
  • Dipartimento di Scienze Economiche 364
  • Dipartimento di Scienze Aziendali 326
  • Dipartimento di Giurisprudenza 187
  • Scuola di Alta Formazione Dottorale 166