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.381 a 1.400 di 6.197 successivo > < precedente
Data di pubblicazione Titolo Autore/i Tipologia Documento allegato
1-gen-2020 Integrating topological proofs with model checking to instrument iterative design Menghi, Claudio; Rizzi, Alessandro Maria; Bernasconi, Anna 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2016 Dealing with incompleteness in automata-based model checking 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
1-gen-2020 Mind the gap: Robotic Mission Planning Meets Software Engineering Askarpour, Mehrnoosh; Menghi, Claudio; Belli, Gabriele; Bersani, Marcello M.; 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-2022 'Alle scuole dei laici'. Sulle tracce della formazione intellettuale di Dante nella Firenze di Brunetto Latini Lombardo, Luca 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2020 UML Consistency Rules: a Case Study with Open-Source UML Models Torre, Damiano; Labiche, Yvan; Genero, Marcela; Elaasar, Maged; 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-2022 Hey, Robot! An Investigation of Getting Robot's Attention Through Touch Lehmann, Hagen; Rojik, Adam; Friebe, Kassandra; Hoffmann, Matej 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2020 Mining Assumptions for Software Components using Machine Learning Gaaloul, Khouloud; Menghi, Claudio; Nejati, Shiva; Briand, Lionel C.; Wolfe, David 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2019 Evaluating model testing and model checking for finding requirements violations in Simulink models Nejati, Shiva; Gaaloul, Khouloud; Menghi, Claudio; Briand, Lionel C.; Foster, Stephen; Wolfe, David 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2021 RoboMAX: Robotic Mission Adaptation eXemplars Askarpour, M.; Tsigkanos, C.; Menghi, Claudio; Calinescu, R.; Pelliccione, P.; Garcia, S.; Caldas, R.; Von Oertzen, T. J.; Wimmer, M.; Berardinelli, L.; Rossi, M.; Bersani, M. M.; Rodrigues, G. S. 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2019 Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors Menghi, Claudio; Nejati, Shiva; Gaaloul, Khouloud; Briand, Lionel C. 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2022 Elementi di fiorentinità nel racconto della "Vita nova". Il caso esemplare del paragrafo XXIV Lombardo, Luca 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2022 Uguaglianza e genere: cenni per un dibattito, fra punti fermi e sabbie mobili Lorenzetti, Anna 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2022 Publish and Flourish? Academic Goals and the Performance of Academic Spin-Offs Minola, Tommaso; Hahn, Davide; Pittino, Daniel; Criaco, Giuseppe; Visintin, Francesca 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2022 Bayesian Analysis of Mortality in Iceland via Locally Adaptive Splines Pavone, Federico; Legramanti, Sirio 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2022 Bayesian Clustering of Brain Regions via Extended Stochastic Block Models Legramanti, Sirio; Rigon, Tommaso; Durante, Daniele 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2022 Real tasks in Italian mathematics standardized assessment Giberti, Chiara; Passarella, Simone 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2022 Guglielmo Centueri da Cremona e la ricezione minoritica della Monarchia dantesca Saccenti, Riccardo 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2022 Analytical modeling of micro-milling operations on biocompatible Ti6Al4V titanium alloy Abeni, Andrea; Cappellini, Cristian; Ginestra, Paola Serena; Attanasio, Aldo 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2022 An Element Deletion Algorithm for an Open-Source Finite Element Software Alomar, Zaki; Cappellini, Cristian; Concli, Franco 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2022 Towards Sustainable Manufacturing: A Case Study for Sustainable Packaging Redesign Rauch, Erwin; Rofner, Matthias; Cappellini, Cristian; Matt, Dominik T. 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.381 a 1.400 di 6.197 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 presentations6197
  • DIPSI Workshop 20123
  • GRASPA153
  • L&F by issue - Fascicoli della rivista L&F3
  • DIPSI Workshop 20192
  • DIPSI Workshop 20111
  • DIPSI Workshop 20231
Autore
  • PREVIDI, Fabio148
  • RIVA, Paolo143
  • GARGANTINI, Angelo Michele140
  • BELLERI, Andrea128
  • RE, Valerio126
  • RIZZI, Caterina118
  • GAIARDELLI, Paolo117
  • PEZZOTTA, Giuditta116
  • CAVALIERI, Sergio115
  • CARDACI, Alessio109
Data di pubblicazione
  • 2020 - 20261683
  • 2010 - 20193184
  • 2000 - 20091201
  • 1990 - 1999119
  • 1984 - 198910
Editore
  • Springer478
  • IEEE296
  • IEEE (Institute of Electrical and Electronics Engineers)249
  • Elsevier190
  • IEEE (Institute of Electric and Electronics Engineers)128
  • Institute of Electrical and Electronics Engineers Inc.76
  • Springer Nature Switzerland AG56
  • ASME (American Society of Mechanical Engineers)42
  • ASME38
  • Trans Tech Publications38
Rivista
  • ...SUMMER SCHOOL FRANCESCO TURCO. PROCEEDINGS52
  • POS PROCEEDINGS OF SCIENCE41
  • PROCEDIA STRUCTURAL INTEGRITY31
  • 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 SCIENCE134
  • IFIP ADVANCES IN INFORMATION AND COMMUNICATION TECHNOLOGY128
  • IFAC-PAPERSONLINE89
  • LECTURE NOTES IN COMPUTER SCIENCE58
  • PROCEDIA CIRP49
  • SOCIETÀ ITALIANA DI PEDAGOGIA41
  • KEY ENGINEERING MATERIALS40
  • CEUR WORKSHOP PROCEEDINGS38
  • IFAC PROCEEDINGS VOLUMES34
  • LECTURE NOTES IN MECHANICAL ENGINEERING34
Keyword
  • Sustainability44
  • TRIZ44
  • Industry 4.043
  • Electrical and Electronic Engineering36
  • Nuclear and High Energy Physics31
  • Control and Systems Engineering30
  • microelectronics29
  • CMOS28
  • sustainability28
  • Bergamo25
Lingua
  • eng4597
  • ita1449
  • fre57
  • ger47
  • spa37
  • rus32
  • mul12
  • lat5
  • chi3
  • cze2
Accesso al fulltext
  • reserved3262
  • no fulltext1721
  • open1165
  • partially open48
  • mixed1
Settore disciplinare
  • Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni427
  • 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 informazioni76
  • Settore IIND-05/A - Impianti industriali meccanici69
  • Settore IIND-03/B - Disegno e metodi dell'ingegneria industriale49
  • Settore IINF-04/A - Automatica49
  • Settore CEAR-07/A - Tecnica delle costruzioni32
  • Settore IIND-06/A - Macchine a fluido28
  • Settore IBIO-01/A - Bioingegneria24
  • Settore PAED-02/A - Didattica e pedagogia speciale23
  • Settore INFO-01/A - Informatica21
  • Settore CEAR-06/A - Scienza delle costruzioni17
Appartenenza
  • Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione2139
  • Dipartimento di Ingegneria e Scienze Applicate1793
  • Dipartimento di Scienze Umane e Sociali546
  • Dipartimento di Lingue, Letterature e Culture Straniere506
  • Dipartimento di Lettere, Filosofia, Comunicazione454
  • Universita' degli Studi di Bergamo424
  • Dipartimento di Scienze Economiche316
  • Dipartimento di Scienze Aziendali253
  • Scuola di Alta Formazione Dottorale176
  • Dipartimento di Giurisprudenza165