Sfoglia per Rivista LECTURE NOTES IN COMPUTER SCIENCE
A new fully dynamic algorithm for distributed shortest paths and its experimental evaluation
2010-01-01 S., Cicerone; D'Angelo, G; G., DI STEFANO; D., Frigioni; V., Maurizio
A Rule Format for Unit Elements
2010-01-01 Aceto, L; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A
A speed-up technique for distributed shortest paths computation
2011-01-01 D'Angelo, G; M., D'Emidio; D., Frigioni; and V., Maurizio
Algebraic Synchronization Trees and Processes
2012-01-01 Aceto, L; Carayol, A; Ésik, Z; Ingólfsdóttir, A
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics
2013-01-01 Aceto, L; Della Monica, D; Ingólfsdóttir, A; Montanari, A; Sciavicco, G
Approximating the Revenue Maximization Problem with Sharp Demands.
2014-01-01 Bilo', V.; Flammini, Michele; Monaco, Gianpiero
Approximating the Traffic Grooming Problem in Tree and Star Networks
2006-01-01 Flammini, Michele; Michele;, Monaco; Gianpiero; MOSCARDELLI, L. ; SHALOM M. ; ZAKS S.
Approximating the Traffic Grooming Problem with respect to ADMs and OADMs
2008-01-01 Flammini, Michele; Michele;, Monaco; Gianpiero; MOSCARDELLI, L. ; SHALOM M. ; ZAKS S.
Approximation bounds for the minimum k-storage problem
2013-01-01 D'Angelo, G; Diodati, D.; Navarra, A.; Pinotti, C. M.
Automata, Languages and Programming, 35th International Colloquium, ICALP 2008
2008-01-01 Aceto, L; Damgaard, I; Goldberg, L A; Halldórsson, M M; Ingólfsdóttir, A; Walukiewicz, I
Automata, Languages and Programming, 38th International Colloquium, ICALP 2011
2011-01-01 Aceto, L; Henzinger, M; Sgall, J
Axiomatizing Weak Ready Simulation Semantics over BCCSP
2011-01-01 Aceto, L; de Frutos-Escrig, D; Gregorio-Rodríguez, C; Ingólfsdóttir, A
Bandwidth constrained multi-interface networks
2011-01-01 D'Angelo, Gianlorenzo; G., Di Stefano; and A., Navarra
Brief announcement: Local distributed verification
2016-01-01 Balliu, A.; D'Angelo, G; Fraigniaud, P.; Olivetti, D.
Compositional Reasoning for Multi-modal Logics
2013-01-01 Aceto, L; Ingólfsdóttir, A; Prisacariu, C; Sack, J
Computing Approximate Nash Equilibria in Network Congestion Games with Polynomially Decreasing Cost Functions
2015-01-01 Bilo', V.; Flammini, Michele; Monaco, Gianpiero; Moscardelli, L.
Data-Driven Choreographies à la Klaim
2019-01-01 Roberto, Bruni; Andrea, Corradini; Fabio, Gadducci; Hernán C., Melgratti; Ugo, Montanari; Tuosto, E
Decompositional Reasoning about the History of Parallel Processes
2011-01-01 Aceto, L; Birgisson, A; Ingólfsdóttir, A; Mousavi, M R
Delay Management Problem: Complexity Results and Robust Algorithms
2008-01-01 S., Cicerone; D'Angelo, G; G., DI STEFANO; D., Frigioni; A., Navarra
Distance queries in large-scale fully dynamic complex networks
2016-01-01 D'Angelo, G; D'Emidio, M.; Frigioni, D.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A new fully dynamic algorithm for distributed shortest paths and its experimental evaluation | 1-gen-2010 | S., Cicerone; D'Angelo, G; G., DI STEFANO; D., Frigioni; V., Maurizio | |
| A Rule Format for Unit Elements | 1-gen-2010 | Aceto, L; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A | |
| A speed-up technique for distributed shortest paths computation | 1-gen-2011 | D'Angelo, G; M., D'Emidio; D., Frigioni; and V., Maurizio | |
| Algebraic Synchronization Trees and Processes | 1-gen-2012 | Aceto, L; Carayol, A; Ésik, Z; Ingólfsdóttir, A | |
| An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics | 1-gen-2013 | Aceto, L; Della Monica, D; Ingólfsdóttir, A; Montanari, A; Sciavicco, G | |
| Approximating the Revenue Maximization Problem with Sharp Demands. | 1-gen-2014 | Bilo', V.; Flammini, Michele; Monaco, Gianpiero | |
| Approximating the Traffic Grooming Problem in Tree and Star Networks | 1-gen-2006 | Flammini, Michele; Michele;, Monaco; Gianpiero; MOSCARDELLI, L. ; SHALOM M. ; ZAKS S. | |
| Approximating the Traffic Grooming Problem with respect to ADMs and OADMs | 1-gen-2008 | Flammini, Michele; Michele;, Monaco; Gianpiero; MOSCARDELLI, L. ; SHALOM M. ; ZAKS S. | |
| Approximation bounds for the minimum k-storage problem | 1-gen-2013 | D'Angelo, G; Diodati, D.; Navarra, A.; Pinotti, C. M. | |
| Automata, Languages and Programming, 35th International Colloquium, ICALP 2008 | 1-gen-2008 | Aceto, L; Damgaard, I; Goldberg, L A; Halldórsson, M M; Ingólfsdóttir, A; Walukiewicz, I | |
| Automata, Languages and Programming, 38th International Colloquium, ICALP 2011 | 1-gen-2011 | Aceto, L; Henzinger, M; Sgall, J | |
| Axiomatizing Weak Ready Simulation Semantics over BCCSP | 1-gen-2011 | Aceto, L; de Frutos-Escrig, D; Gregorio-Rodríguez, C; Ingólfsdóttir, A | |
| Bandwidth constrained multi-interface networks | 1-gen-2011 | D'Angelo, Gianlorenzo; G., Di Stefano; and A., Navarra | |
| Brief announcement: Local distributed verification | 1-gen-2016 | Balliu, A.; D'Angelo, G; Fraigniaud, P.; Olivetti, D. | |
| Compositional Reasoning for Multi-modal Logics | 1-gen-2013 | Aceto, L; Ingólfsdóttir, A; Prisacariu, C; Sack, J | |
| Computing Approximate Nash Equilibria in Network Congestion Games with Polynomially Decreasing Cost Functions | 1-gen-2015 | Bilo', V.; Flammini, Michele; Monaco, Gianpiero; Moscardelli, L. | |
| Data-Driven Choreographies à la Klaim | 1-gen-2019 | Roberto, Bruni; Andrea, Corradini; Fabio, Gadducci; Hernán C., Melgratti; Ugo, Montanari; Tuosto, E | |
| Decompositional Reasoning about the History of Parallel Processes | 1-gen-2011 | Aceto, L; Birgisson, A; Ingólfsdóttir, A; Mousavi, M R | |
| Delay Management Problem: Complexity Results and Robust Algorithms | 1-gen-2008 | S., Cicerone; D'Angelo, G; G., DI STEFANO; D., Frigioni; A., Navarra | |
| Distance queries in large-scale fully dynamic complex networks | 1-gen-2016 | D'Angelo, G; D'Emidio, M.; Frigioni, D. |
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