IRIS

1.1 Articolo in rivista: [5046] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.061 a 1.080 di 5.046
Titolo Data di pubblicazione Autore(i) File
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.
Alternative axiomatics and complexity of deliberative STIT theories 1-gen-2008 Balbiani, P; Herzig, A; Troquard, N
Cophylogeny reconstruction via an approximate bayesian computation 1-gen-2015 Baudet, C.; Donati, Beatrice; Sinaimeri, B.; Crescenzi, Pierluigi; Gautier, C.; Matias, C.; Sagot, M. F.
MeDuSa: a multi-draft based scaffolder 1-gen-2015 Bosi, E.; Donati, B.; Galardini, M.; Brunetti, S.; Liò, P.; Crescenzi, P.; Sagot, M. F.; Fani, R.; Fondi, M.
Synchronous context-free grammars and optimal linear parsing strategies 1-gen-2015 Crescenzi, Pierluigi; Gildea, Daniel; Marino, Andrea; Rossi, Gianluca; Satta, Giorgio
Reasoning about coalitional agency and ability in the logics of "bringing-it-about" 1-gen-2014 Troquard, N
On the complexity of the shortest-path broadcast problem 1-gen-2016 Crescenzi, Pierluigi; Fraigniaud, Pierre; Halldórsson, Magnus; Harutyunyan, Hovhannes A.; Pierucci, Chiara; Pietracaprina, Andrea; Pucci, Geppino
Rumor spreading in random evolving graphs 1-gen-2016 Clementi, Andrea; Crescenzi, Pierluigi; Doerr, Carola; Fraigniaud, Pierre; Pasquale, Francesco; Silvestri, Riccardo
Into the Square: On the Complexity of Some Quadratic-time Solvable Problems 1-gen-2016 Borassi, Michele; Crescenzi, Pierluigi; Habib, Michel
An ant-colony based approach for real-time implicit collaborative information seeking 1-gen-2017 Malizia, Alessio; Olsen, Kai A.; Turchi, Tommaso; Crescenzi, Pierluigi
Approximating the Temporal Neighbourhood Function of Large Temporal Graphs 1-gen-2019 Crescenzi, Pierluigi; Magnien, Clémence; Marino, Andrea
Computing top-k Closeness Centrality Faster in Unweighted Graphs 1-gen-2019 Bergamini, Elisabetta; Borassi, Michele; Crescenzi, Pierluigi; Marino, Andrea; Meyerhenke, Henning
Resource separation in dynamic logic of propositional assignments 1-gen-2021 Boudou, J; Herzig, A; Troquard, N
Individual resource games and resource redistributions 1-gen-2020 Troquard, N
Reasoning About Social Choice Functions 1-gen-2011 Troquard, N; van der Hoek, W; Wooldridge, M
Tracking and managing deemed abilities 1-gen-2021 Troquard, N
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.061 a 1.080 di 5.046
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 Rivista5046
Autore
  • FERRONI, Fernando916
  • COCCIA, EUGENIO408
  • HARMS, JAN377
  • DE MITRI, IVAN343
  • BRANCHESI, MARICA284
  • BARACCHINI, ELISABETTA257
  • BLASI, PASQUALE174
  • DRAGO, MARCO171
  • ASCENZI, STEFANO131
  • DI GIOVANNI, ADRIANO115
Data di pubblicazione
  • In corso di stampa4
  • 2020 - 20261625
  • 2010 - 20192000
  • 2000 - 20091024
  • 1990 - 1999304
  • 1980 - 198981
  • 1977 - 19798
Editore
  • Springer1
Rivista
  • PHYSICAL REVIEW D, PARTICLES, FIE...461
  • PHYSICAL REVIEW LETTERS337
  • PHYSICS LETTERS. SECTION B238
  • PHYSICAL REVIEW D203
  • JOURNAL OF INSTRUMENTATION131
  • ASTROPARTICLE PHYSICS119
  • JOURNAL OF COSMOLOGY AND ASTROPAR...111
  • CLASSICAL AND QUANTUM GRAVITY103
  • NUCLEAR INSTRUMENTS & METHODS IN ...97
  • THE EUROPEAN PHYSICAL JOURNAL. C,...94
Keyword
  • gravitational waves60
  • Gravitational waves41
  • Physics and Astronomy (miscellane...34
  • cosmic rays23
  • Cosmic rays21
  • Dark Matter18
  • Physics and Astronomy (all)16
  • axions15
  • black hole physics15
  • ultra high energy cosmic rays15
Lingua
  • eng3089
  • ita75
  • und14
  • fre2
  • iba1
  • spa1
Accesso al fulltext
  • no fulltext3832
  • open589
  • reserved498
  • partially open126
  • mixed1