Fast diameter and radius BFS-based computation in (weakly connected) real-world graphs. With an application to the six degrees of separation games
2015-01-01 Borassi, Michele; Crescenzi, Pierluigi; Habib, Michel; Kosters, Walter A.; Marino, Andrea; Takes, Frank W.
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.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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 | |
| 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. |
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 Rivista5181
Data di pubblicazione
- In corso di stampa2
- 2020 - 20261715
- 2010 - 20192042
- 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
- eng3194
- ita77
- und14
- fre2
- iba1
- spa1
Accesso al fulltext
- no fulltext3881
- open625
- reserved547
- partially open128