Alternative axiomatics and complexity of deliberative STIT theories
2008-01-01 Balbiani, P; Herzig, A; Troquard, N
Cophylogeny reconstruction via an approximate bayesian computation
2015-01-01 Baudet, C.; Donati, Beatrice; Sinaimeri, B.; Crescenzi, Pierluigi; Gautier, C.; Matias, C.; Sagot, M. F.
MeDuSa: a multi-draft based scaffolder
2015-01-01 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
2015-01-01 Crescenzi, Pierluigi; Gildea, Daniel; Marino, Andrea; Rossi, Gianluca; Satta, Giorgio
Reasoning about coalitional agency and ability in the logics of "bringing-it-about"
2014-01-01 Troquard, N
On the complexity of the shortest-path broadcast problem
2016-01-01 Crescenzi, Pierluigi; Fraigniaud, Pierre; Halldórsson, Magnus; Harutyunyan, Hovhannes A.; Pierucci, Chiara; Pietracaprina, Andrea; Pucci, Geppino
Rumor spreading in random evolving graphs
2016-01-01 Clementi, Andrea; Crescenzi, Pierluigi; Doerr, Carola; Fraigniaud, Pierre; Pasquale, Francesco; Silvestri, Riccardo
Into the Square: On the Complexity of Some Quadratic-time Solvable Problems
2016-01-01 Borassi, Michele; Crescenzi, Pierluigi; Habib, Michel
An ant-colony based approach for real-time implicit collaborative information seeking
2017-01-01 Malizia, Alessio; Olsen, Kai A.; Turchi, Tommaso; Crescenzi, Pierluigi
Approximating the Temporal Neighbourhood Function of Large Temporal Graphs
2019-01-01 Crescenzi, Pierluigi; Magnien, Clémence; Marino, Andrea
Computing top-k Closeness Centrality Faster in Unweighted Graphs
2019-01-01 Bergamini, Elisabetta; Borassi, Michele; Crescenzi, Pierluigi; Marino, Andrea; Meyerhenke, Henning
Resource separation in dynamic logic of propositional assignments
2021-01-01 Boudou, J; Herzig, A; Troquard, N
Individual resource games and resource redistributions
2020-01-01 Troquard, N
Reasoning About Social Choice Functions
2011-01-01 Troquard, N; van der Hoek, W; Wooldridge, M
Tracking and managing deemed abilities
2021-01-01 Troquard, N
What groups do, can do, and know they can do: An analysis in normal modal logics
2009-01-01 Broersen, J; Herzig, A; Troquard, N
Studying users’ perception of IoT mobile companion apps
2023-01-01 Scoccia, GIAN LUCA; Romina, Eramo; Marco, Autili
Existence and verification of Nash equilibria in non-cooperative contribution games with resource contention
2024-01-01 Troquard, Nicolas
Software engineering techniques for statically analyzing mobile apps: research trends, characteristics, and potential for industrial adoption
2021-01-01 Autili, M.; Malavolta, I.; Perucci, A.; Scoccia, G. L.; Verdecchia, R.
Robot adoption and product innovation
2024-01-01 Antonioli, Davide; Marzucchi, Alberto; Rentocchini, Francesco; Vannuccini, Simone
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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 | |
What groups do, can do, and know they can do: An analysis in normal modal logics | 1-gen-2009 | Broersen, J; Herzig, A; Troquard, N | |
Studying users’ perception of IoT mobile companion apps | 1-gen-2023 | Scoccia, GIAN LUCA; Romina, Eramo; Marco, Autili | |
Existence and verification of Nash equilibria in non-cooperative contribution games with resource contention | 1-gen-2024 | Troquard, Nicolas | |
Software engineering techniques for statically analyzing mobile apps: research trends, characteristics, and potential for industrial adoption | 1-gen-2021 | Autili, M.; Malavolta, I.; Perucci, A.; Scoccia, G. L.; Verdecchia, R. | |
Robot adoption and product innovation | 1-gen-2024 | Antonioli, Davide; Marzucchi, Alberto; Rentocchini, Francesco; Vannuccini, Simone |
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
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