Sfoglia per Serie LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS
Almost Global Problems in the LOCAL Model
2018-01-01 Balliu, Alkida; Brandt, Sebastian; Olivetti, Dennis; Suomela, Jukka
The Best a Monitor Can Do
2021-01-01 Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
Centralized vs Decentralized Monitors for Hyperproperties
2024-01-01 Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Gorla, Daniele; Wagemaker, Jana
Certification of Compact Low-Stretch Routing Schemes
2017-01-01 Balliu, Alkida; Fraigniaud, Pierre
Classification of Distributed Binary Labeling Problems
2020-01-01 Balliu, Alkida; Brandt, Sebastian; Efron, Yuval; Hirvonen, Juho; Maus, Yannic; Olivetti, Dennis; Suomela, Jukka
CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper)
2020-01-01 Aceto, Luca; Baeten, Jos C. M.; Bouyer-Decitre, Patricia; Hermanns, Holger; Silva, Alexandra
Digraph k-Coloring Games: From Theory to Practice
2022-01-01 D'Ascenzo, Andrea; D'Emidio, Mattia; Flammini, Michele; Monaco, Gianpiero
Improved Distributed Fractional Coloring Algorithms
2022-01-01 Balliu, Alkida; Kuhn, Fabian; Olivetti, Dennis
Locally Checkable Labelings with Small Messages
2021-01-01 Balliu, Alkida; Censor-Hillel, Keren; Maus, Yannic; Olivetti, Dennis; Suomela, Jukka
On Runtime Enforcement via Suppressions
2018-01-01 Aceto, L; Cassar, I; Francalanza, A; Ingólfsdóttir, A
On the Axiomatisability of Parallel Composition: A Journey in the Spectrum
2020-01-01 Aceto, Luca; Castiglioni, Valentina; Ingólfsdóttir, Anna; Luttik, Bas; Ruggaard Pedersen, Mathias
Progress-preserving refinements of CTA
2018-01-01 Bartoletti, M.; Bocchi, L.; Murgia, M.
Runtime Instrumentation for Reactive Components
2024-01-01 Aceto, Luca; Paul Attard, Duncan; Francalanza, Adrian; Ingólfsdóttir, Anna
A Sound Type System for Secure Currency Flow
2024-01-01 Aceto, Luca; Gorla, Daniele; Lybech, Stian
A Sound Type System for Secure Currency Flow
2024-01-01 Aceto, Luca; Gorla, Daniele; Lybech, Stian
Sparse Temporal Spanners with Low Stretch
2022-01-01 Bilo, D.; D'Angelo, G.; Guala, L.; Leucci, S.; Rossi, M.
Three Notes on Distributed Property Testing
2017-01-01 Even, Guy; Fischer, Orr; Fraigniaud, Pierre; Gonen, Tzlil; Levi, Reut; Medina, Moti; Montealegre, Pedro; Olivetti, Dennis; Oshman, Rotem; Rapaport, Ivan; Todinca, Ioan
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Almost Global Problems in the LOCAL Model | 1-gen-2018 | Balliu, Alkida; Brandt, Sebastian; Olivetti, Dennis; Suomela, Jukka | |
| The Best a Monitor Can Do | 1-gen-2021 | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina | |
| Centralized vs Decentralized Monitors for Hyperproperties | 1-gen-2024 | Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Gorla, Daniele; Wagemaker, Jana | |
| Certification of Compact Low-Stretch Routing Schemes | 1-gen-2017 | Balliu, Alkida; Fraigniaud, Pierre | |
| Classification of Distributed Binary Labeling Problems | 1-gen-2020 | Balliu, Alkida; Brandt, Sebastian; Efron, Yuval; Hirvonen, Juho; Maus, Yannic; Olivetti, Dennis; Suomela, Jukka | |
| CONCUR Test-Of-Time Award 2020 Announcement (Invited Paper) | 1-gen-2020 | Aceto, Luca; Baeten, Jos C. M.; Bouyer-Decitre, Patricia; Hermanns, Holger; Silva, Alexandra | |
| Digraph k-Coloring Games: From Theory to Practice | 1-gen-2022 | D'Ascenzo, Andrea; D'Emidio, Mattia; Flammini, Michele; Monaco, Gianpiero | |
| Improved Distributed Fractional Coloring Algorithms | 1-gen-2022 | Balliu, Alkida; Kuhn, Fabian; Olivetti, Dennis | |
| Locally Checkable Labelings with Small Messages | 1-gen-2021 | Balliu, Alkida; Censor-Hillel, Keren; Maus, Yannic; Olivetti, Dennis; Suomela, Jukka | |
| On Runtime Enforcement via Suppressions | 1-gen-2018 | Aceto, L; Cassar, I; Francalanza, A; Ingólfsdóttir, A | |
| On the Axiomatisability of Parallel Composition: A Journey in the Spectrum | 1-gen-2020 | Aceto, Luca; Castiglioni, Valentina; Ingólfsdóttir, Anna; Luttik, Bas; Ruggaard Pedersen, Mathias | |
| Progress-preserving refinements of CTA | 1-gen-2018 | Bartoletti, M.; Bocchi, L.; Murgia, M. | |
| Runtime Instrumentation for Reactive Components | 1-gen-2024 | Aceto, Luca; Paul Attard, Duncan; Francalanza, Adrian; Ingólfsdóttir, Anna | |
| A Sound Type System for Secure Currency Flow | 1-gen-2024 | Aceto, Luca; Gorla, Daniele; Lybech, Stian | |
| A Sound Type System for Secure Currency Flow | 1-gen-2024 | Aceto, Luca; Gorla, Daniele; Lybech, Stian | |
| Sparse Temporal Spanners with Low Stretch | 1-gen-2022 | Bilo, D.; D'Angelo, G.; Guala, L.; Leucci, S.; Rossi, M. | |
| Three Notes on Distributed Property Testing | 1-gen-2017 | Even, Guy; Fischer, Orr; Fraigniaud, Pierre; Gonen, Tzlil; Levi, Reut; Medina, Moti; Montealegre, Pedro; Olivetti, Dennis; Oshman, Rotem; Rapaport, Ivan; Todinca, Ioan |
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