1.4.01 Contributi in atti di convegno - Conference presentations

oppure torna alle liste di scorrimento su tutto Aisberg
Schede nella collezione (ordinate per data di archiviazione in ordine decrescente): 1.481 a 1.500 di 6.323 successivo > < precedente
Data di pubblicazione Titolo Autore/i Tipologia Documento allegato
1-gen-2021 Esperienze di filologia dialettale D'Onghia, Luca 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2021 Pour un dictionnaire historique et étymologique du vénitien D'Onghia, Luca; Tomasin, Lorenzo 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2013 Identità precaria. Rappresentazioni, concezioni e ansie dei giovani con lavoro ‘atipico' Cataldi, Silvia; Sena, Barbara 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2022 Characterization and verification of the Shunt-LDO regulator and its protection circuits for serial powering of the ATLAS and CMS pixel detectors Kampkötter, Jeremias; Karagounis, Michael; Koukola, Dominik; Loddo, Flavio; Orfanelli, Stella; Luengo, Alvaro Pradas; Traversi, Gianluca; Kokozinski, Rainer 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2011 Happy child Sena, Barbara 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2011 La nuova impresa nel Mezzogiorno Sena, Barbara 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2009 Functional modeling for TRIZ-based evolutionary analyses Cascini, Gaetano; Rotini, Federico; Russo, Davide 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-2014 Verifying incomplete and evolving specifications Menghi, Claudio 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2019 MAPmAKER: Performing multi-robot LTL planning under uncertainty Garcia, Sergio; Menghi, Claudio; Pelliccione, Patrizio 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 Trace-checking CPS properties: Bridging the cyber-physical gap Menghi, Claudio; Viganò, Enrico; Bianculli, Domenico; Briand, Lionel 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2020 Approximation-refinement testing of compute-intensive cyber-physical models: An approach based on system identification Menghi, Claudio; Nejati, Shiva; Briand, Lionel; Parache, Yago Isasi 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2018 An Architecture for Decentralized, Collaborative, and Autonomous Robots Garcia, Sergio; Menghi, Claudio; Pelliccione, Patrizio; Berger, Thorsten; Wohlrab, Rebekka 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2014 Topology aware adaptive security Pasquale, Liliana; Ghezzi, Carlo; Menghi, Claudio; Tsigkanos, Christos; Nuseibeh, Bashar 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2013 On requirements verification for model refinements Ghezzi, Carlo; Menghi, Claudio; Sharifloo, Amir Molzam; Spoletini, Paola 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2014 Engineering topology aware adaptive security: Preventing requirements violations at runtime Tsigkanos, Christos; Pasquale, Liliana; Menghi, Claudio; Ghezzi, Carlo.; Nuseibeh, Bashar 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2015 A control-theoretic approach to self-adaptive systems and an application to cloud-based software Ghezzi, Carlo; Gibilisco, Giovanni Paolo; Menghi, Claudio; Miglierina, Marco 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2019 High-level mission specification for multiple robots Garcia, Sergio; Pelliccione, Patrizio; Menghi, Claudio; Berger, Thorsten; Bures, Tomas 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2017 Integrating Goal Model Analysis with Iterative Design Menghi, Claudio; Spoletini, Paola; Ghezzi, Carlo 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
Schede nella collezione (ordinate per data di archiviazione in ordine decrescente): 1.481 a 1.500 di 6.323 successivo > < precedente
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.4.01 Contributi in atti di convegno - Conference presentations6323
  • DIPSI Workshop 20123
  • GRASPA153
  • L&F by issue - Fascicoli della rivista L&F3
  • DIPSI Workshop 20192
  • DIPSI Workshop 20111
  • DIPSI Workshop 20231
Autore
  • PREVIDI, Fabio149
  • GARGANTINI, Angelo Michele146
  • RIVA, Paolo143
  • BELLERI, Andrea128
  • RE, Valerio127
  • RIZZI, Caterina120
  • GAIARDELLI, Paolo119
  • PEZZOTTA, Giuditta118
  • CAVALIERI, Sergio115
  • CARDACI, Alessio109
Data di pubblicazione
  • 2020 - 20271798
  • 2010 - 20193196
  • 2000 - 20091199
  • 1990 - 1999120
  • 1984 - 198910
Editore
  • Springer499
  • IEEE300
  • IEEE (Institute of Electrical and Electronics Engineers)253
  • Elsevier193
  • IEEE (Institute of Electric and Electronics Engineers)128
  • Institute of Electrical and Electronics Engineers Inc.80
  • Springer Nature Switzerland AG56
  • ASME (American Society of Mechanical Engineers)42
  • Trans Tech Publications41
  • Springer Nature39
Rivista
  • ...SUMMER SCHOOL FRANCESCO TURCO. PROCEEDINGS52
  • POS PROCEEDINGS OF SCIENCE41
  • PROCEDIA STRUCTURAL INTEGRITY35
  • JOURNAL OF PHYSICS. CONFERENCE SERIES19
  • PROCEDIA COMPUTER SCIENCE17
  • FINANCIAL MANAGEMENT OF FIRMS AND FINANCIAL INSTITUTIONS15
  • IOP CONFERENCE SERIES: MATERIALS SCIENCE AND ENGINEERING14
  • PROCEDIA ENGINEERING14
  • MEMORIE GEOGRAFICHE12
  • SAE TECHNICAL PAPER9
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE140
  • IFIP ADVANCES IN INFORMATION AND COMMUNICATION TECHNOLOGY132
  • IFAC-PAPERSONLINE89
  • LECTURE NOTES IN COMPUTER SCIENCE58
  • PROCEDIA CIRP50
  • SOCIETÀ ITALIANA DI PEDAGOGIA42
  • CEUR WORKSHOP PROCEEDINGS40
  • KEY ENGINEERING MATERIALS40
  • LECTURE NOTES IN MECHANICAL ENGINEERING36
  • IFAC PROCEEDINGS VOLUMES34
Keyword
  • Sustainability45
  • TRIZ44
  • Industry 4.043
  • Electrical and Electronic Engineering36
  • Nuclear and High Energy Physics31
  • Control and Systems Engineering30
  • microelectronics29
  • CMOS28
  • sustainability28
  • Bergamo25
Lingua
  • eng4691
  • ita1481
  • fre57
  • ger47
  • spa38
  • rus31
  • mul12
  • lat5
  • chi3
  • cze2
Accesso al fulltext
  • reserved3324
  • no fulltext1722
  • open1227
  • partially open50
Settore disciplinare
  • Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni426
  • Settore ING-IND/17 - Impianti Industriali Meccanici330
  • Settore ING-INF/04 - Automatica198
  • Settore ING-IND/15 - Disegno e Metodi dell'Ingegneria Industriale187
  • Settore ICAR/09 - Tecnica delle Costruzioni179
  • Settore ING-IND/35 - Ingegneria Economico-Gestionale156
  • Settore ING-INF/01 - Elettronica142
  • Settore ING-IND/22 - Scienza e Tecnologia dei Materiali128
  • Settore M-PED/03 - Didattica e Pedagogia Speciale125
  • Settore ING-IND/16 - Tecnologie e Sistemi di Lavorazione114
Settore disciplinare (2024)
  • Settore IINF-05/A - Sistemi di elaborazione delle informazioni86
  • Settore IIND-05/A - Impianti industriali meccanici74
  • Settore IIND-03/B - Disegno e metodi dell'ingegneria industriale55
  • Settore IINF-04/A - Automatica53
  • Settore PAED-02/A - Didattica e pedagogia speciale36
  • Settore CEAR-07/A - Tecnica delle costruzioni32
  • Settore IBIO-01/A - Bioingegneria29
  • Settore IIND-06/A - Macchine a fluido28
  • Settore CEAR-12/A - Tecnica e pianificazione urbanistica21
  • Settore STAT-01/A - Statistica21
Appartenenza
  • Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione2187
  • Dipartimento di Ingegneria e Scienze Applicate1829
  • Dipartimento di Scienze Umane e Sociali564
  • Dipartimento di Lingue, Letterature e Culture Straniere509
  • Dipartimento di Lettere, Filosofia, Comunicazione461
  • Universita' degli Studi di Bergamo424
  • Dipartimento di Scienze Economiche327
  • Dipartimento di Scienze Aziendali262
  • Scuola di Alta Formazione Dottorale205
  • Dipartimento di Giurisprudenza171