IRIS

1.1 Articolo in rivista: [5130] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.101 a 1.120 di 5.130
Titolo Data di pubblicazione Autore(i) File
Programming the MIRTO robot with neurons 1-gen-2014 Huyck, C.; Primiero, G.; Raimondi, F.
JavaScript Dead Code Identification, Elimination, and Empirical Assessment 1-gen-2023 Malavolta, Ivano; Nirghin, Kishan; Scoccia, GIAN LUCA; Romano, Simone; Lombardi, Salvatore; Scanniello, Giuseppe; Lago, Patricia
Taking Arduino to the Internet of Things: The ASIP programming model 1-gen-2016 Barbon, G.; Margolis, M.; Palumbo, F.; Raimondi, F.; Weldin, N.
The anonymous subgraph problem 1-gen-2013 Bettinelli, A.; Liberti, L.; Raimondi, F.; Savourey, D.
CoSMed: A Confidentiality-Verified Social Media Platform 1-gen-2018 Bauerei(\ss), T.; Pesenti Gritti, A.; Popescu, A.; Raimondi, F.
Software theory change for resilient near-complete specifications 1-gen-2015 Primiero, G.; Raimondi, F.
Future Directions in Software Engineering for Autonomous Robots 1-gen-2024 Brugali, Davide; Cavalcanti, Ana; Hochgeschwender, Nico; Pelliccione, Patrizio; Rebelo, Luciana
Software architecture-based analysis and testing: a look into achievements and future challenges 1-gen-2013 Antonia, Bertolino; Inverardi, Paola; Muccini, Henry
A hybrid approach for resource-based comparison of adaptable Java applications 1-gen-2013 Marco, Autili; Paolo Di, Benedetto; Inverardi, P
Leveraging privacy profiles to empower users in the digital society 1-gen-2024 Di Ruscio, Davide; Inverardi, Paola; Migliarini, Patrizio; Nguyen, Phuong T.
Automated Synthesis of Service Choreographies 1-gen-2015 Autili, Marco; Inverardi, Paola; Tivoli, Massimo
The European Perspective on Responsible Computing 1-gen-2019 Inverardi, Paola
Achieving functional and non functional interoperability through synthesized connectors 1-gen-2017 Nostro, Nicola; Spalazzese, Romina; Di Giandomenico, Felicita; Inverardi, Paola
Automated Synthesis of Application-layer Connectors from Automata-based Specifications 1-gen-2019 Autili, Marco; Inverardi, Paola; Spalazzese, Romina; Tivoli, Massimo; Mignosi, Filippo
Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates 1-gen-2018 Autili, Marco; Inverardi, Paola; Tivoli, Massimo
Trust and distrust in contradictory information transmission 1-gen-2017 Primiero, G.; Raimondi, F.; Bottone, M.; Tagliabue, J.
PuRSUE - From Specification of Robotic Environments to Synthesis of Controllers 1-gen-2020 Bersani, Marcello M.; Soldo, Matteo; Menghi, Claudio; Pelliccione, Patrizio; Rossi, Matteo
Continuous Compliance in the Automotive Industry 1-gen-2024 Santilli, Tiziano; Pelliccione, Patrizio; Wohlrab, Rebekka; Shahrokni, Ali
CHOReVOLUTION: Service choreography in practice 1-gen-2020 Autili, M.; Di Salle, A.; Gallo, F.; Pompilio, C.; Tivoli, M.
Architecting ML-enabled systems: Challenges, best practices, and design decisions 1-gen-2024 Nazir, Roger; Bucaioni, Alessio; Pelliccione, Patrizio
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.101 a 1.120 di 5.130
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 Contributo su Rivista5130
Autore
  • FERRONI, Fernando917
  • COCCIA, EUGENIO408
  • HARMS, JAN377
  • DE MITRI, IVAN348
  • BRANCHESI, MARICA284
  • BARACCHINI, ELISABETTA257
  • BLASI, PASQUALE181
  • DRAGO, MARCO170
  • ASCENZI, STEFANO131
  • BARBATO, FELICIA CARLA120
Data di pubblicazione
  • In corso di stampa2
  • 2020 - 20261697
  • 2010 - 20192009
  • 2000 - 20091029
  • 1990 - 1999304
  • 1980 - 198981
  • 1977 - 19798
Editore
  • Springer1
Rivista
  • PHYSICAL REVIEW D, PARTICLES, FIE...461
  • PHYSICAL REVIEW LETTERS343
  • PHYSICS LETTERS. SECTION B238
  • PHYSICAL REVIEW D205
  • JOURNAL OF INSTRUMENTATION132
  • ASTROPARTICLE PHYSICS120
  • JOURNAL OF COSMOLOGY AND ASTROPAR...111
  • CLASSICAL AND QUANTUM GRAVITY103
  • THE EUROPEAN PHYSICAL JOURNAL. C,...98
  • NUCLEAR INSTRUMENTS & METHODS IN ...97
Keyword
  • gravitational waves60
  • Gravitational waves41
  • Physics and Astronomy (miscellane...34
  • cosmic rays24
  • Cosmic rays21
  • Dark Matter18
  • Physics and Astronomy (all)16
  • axions15
  • black hole physics15
  • ultra high energy cosmic rays15
Lingua
  • eng3153
  • ita77
  • und14
  • fre2
  • iba1
  • spa1
Accesso al fulltext
  • no fulltext3871
  • open618
  • reserved514
  • partially open127