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.501 a 1.520 di 6.323 successivo > < precedente
Data di pubblicazione Titolo Autore/i Tipologia Documento allegato
1-gen-2019 PsALM: Specification of dependable robotic missions Menghi, Claudio; Tsigkanos, Christos; Berger, Thorsten; 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-2018 Multi-robot LTL planning under uncertainty Menghi, Claudio; Garcia, Sergio; Pelliccione, Patrizio; Tumova, Jana 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2020 Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach Boufaied, Chaima; Menghi, Claudio; Bianculli, Domenico; 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-2017 From model checking to a temporal proof for partial models Bernasconi, Anna; Menghi, Claudio; Spoletini, Paola; Zuck, Lenore D; 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 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
Schede nella collezione (ordinate per data di archiviazione in ordine decrescente): 1.501 a 1.520 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