Sfoglia per Serie LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS
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.
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 |
---|---|---|---|
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. | |
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