IRIS

1.1 Articolo in rivista: [4061] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 61 a 80 di 4.061
Titolo Data di pubblicazione Autore(i) File
A modeling assistant to manage technical debt in coupled evolution 1-gen-2023 DI SALLE, Amleto
From Coalition Logic to STIT 1-gen-2006 Broersen, J; Herzig, A; Troquard, N
A monitoring tool for linear-time μHML 1-gen-2024 Aceto, Luca; Achilleos, Antonis; Attard, Duncan Paul; Exibard, Léo; Francalanza, Adrian; Ingólfsdóttir, Anna
Comparing controlled system synthesis and suppression enforcement 1-gen-2021 Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna
An operational guide to monitorability with applications to regular properties 1-gen-2021 Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition? 1-gen-2022 Aceto, Luca; Castiglioni, Valentina; Fokkink, Wan; Ingólfsdóttir, Anna; Luttik, Bas
On the Axiomatisability of Parallel Composition 1-gen-2022 Aceto, Luca; Castiglioni, Valentina; Ingolfsdottir, Anna; Luttik, Bas; Pedersen, Mathias R.
Axiomatizing recursion-free, regular monitors 1-gen-2022 Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Ingolfsdottir, Anna
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties 1-gen-2023 Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingolfsdottir, Anna
On first-order runtime enforcement of branching-time properties 1-gen-2023 Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna
WorldDynamics.jl: A Julia Package for Developing and Simulating Integrated Assessment Models 1-gen-2024 Crescenzi, Pierluigi; Natale, Emanuele; Rossi, Aurora; Serafim, Paulo Bruno
Highly collaborative distributed systems: Synthesis and enactment at work 1-gen-2021 Autili, Marco; Perucci, Alexander; Leite, Leonardo; Tivoli, Massimo; Kon, Fabio; DI SALLE, Amleto
Design, monitoring, and testing of microservices systems: The practitioners’ perspective 1-gen-2021 Waseem, M.; Liang, P.; Shahin, M.; Di Salle, A.; Marquez, G.
A Choreography-Based and Collaborative Road Mobility System for L’Aquila City 1-gen-2019 Autili, Marco; DI SALLE, Amleto; Gallo, Francesco; Pompilio, Claudio; Tivoli, Massimo
From low-level programming to full-fledged industrial model-based development: the story of the Rubus Component Model 1-gen-2023 Bucaioni, Alessio; Ciccozzi, Federico; Di Salle, Amleto; Sjödin, Mikael
Non-normal modalities in variants of Linear Logic 1-gen-2015 Porello, D; Troquard, N
Grounding power on actions and mental attitudes 1-gen-2013 Lorini, E; Troquard, N; Herzig, A; Broersen, J
Embedding alternating-time temporal logic in strategic STIT logic of agency 1-gen-2006 Broersen, J; Herzig, A; Troquard, N
EUCALYPT: efficient tree reconciliation enumerator 1-gen-2015 Donati, Beatrice; Baudet, Christian; Sinaimeri, Blerina; Crescenzi, Pierluigi; Sagot, Marie France
Fast diameter and radius BFS-based computation in (weakly connected) real-world graphs. With an application to the six degrees of separation games 1-gen-2015 Borassi, Michele; Crescenzi, Pierluigi; Habib, Michel; Kosters, Walter A.; Marino, Andrea; Takes, Frank W.
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 61 a 80 di 4.061
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 Rivista4061
Autore
  • FERRONI, Fernando913
  • COCCIA, EUGENIO390
  • HARMS, JAN340
  • DE MITRI, IVAN290
  • BARACCHINI, ELISABETTA240
  • BRANCHESI, MARICA240
  • DRAGO, MARCO169
  • BLASI, PASQUALE164
  • GALBIATI, CRISTIANO109
  • DI GIOVANNI, ADRIANO105
Data di pubblicazione
  • In corso di stampa2
  • 2020 - 2024790
  • 2010 - 20191858
  • 2000 - 20091018
  • 1990 - 1999304
  • 1980 - 198981
  • 1977 - 19798
Editore
  • Springer1
Rivista
  • PHYSICAL REVIEW D, PARTICLES, FIE...451
  • PHYSICAL REVIEW LETTERS316
  • PHYSICS LETTERS. SECTION B229
  • PHYSICAL REVIEW D124
  • ASTROPARTICLE PHYSICS115
  • JOURNAL OF INSTRUMENTATION110
  • NUCLEAR INSTRUMENTS & METHODS IN ...97
  • CLASSICAL AND QUANTUM GRAVITY94
  • JOURNAL OF COSMOLOGY AND ASTROPAR...88
  • THE EUROPEAN PHYSICAL JOURNAL. C,...86
Keyword
  • gravitational waves59
  • Gravitational waves35
  • Physics and Astronomy (miscellane...34
  • cosmic rays22
  • Cosmic rays19
  • Physics and Astronomy (all)16
  • black hole physics15
  • Astronomy and Astrophysics14
  • Condensed Matter Physics14
  • Italy14
Lingua
  • eng2565
  • ita70
  • und14
  • fre1
  • iba1
  • spa1
Accesso al fulltext
  • no fulltext3145
  • reserved497
  • open391
  • partially open28