Sfoglia per Serie LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS
A new class of searchable and provably highly compressible string transformations
2019-01-01 Giancarlo, R.; Manzini, G.; Rosone, G.; Sciortino, M.
On doctrines and cartesian bicategories
2021-01-01 Bonchi, F.; Santamaria, A.; Seeber, J.; Sobocinski, P.
On maximal cliques with connectivity constraints in directed graphs
2017-01-01 Conte, Alessio; Kanté, Mamadou Moustapha; Uno, Takeaki; Wasa, Kunihiro
On the complexity of string matching for graphs
2019-01-01 Equi, M.; Grossi, R.; Makinen, V.; Tomescu, A. I.
phyBWT: Alignment-Free Phylogeny via eBWT Positional Clustering
2022-01-01 Guerrini, V.; Conte, A.; Grossi, R.; Liti, G.; Rosone, G.; Tattini, L.
Preface
2020-01-01 Kingsford, C.; Pisanti, N.
Preface
2019-01-01 Pisanti, N.; Pissis, S. P.
Presenting convex sets of probability distributions by convex semilattices and unique bases
2021-01-01 Bonchi, F.; Sokolova, A.; Vignudelli, V.
Proceedings of 20th International Workshop on Algorithms in Bioinformatics (WABI 2020)
2020-01-01 Kingsford, Carl; Pisanti, Nadia
Repetition- and Linearity-Aware Rank/Select Dictionaries
2021-01-01 Ferragina, Paolo; Manzini, Giovanni; Vinciguerra, Giorgio
Space-efficient computation of the LCP array from the Burrows-Wheeler transform
2019-01-01 Prezza, N.; Rosone, G.
String Sanitization under Edit Distance
2020-01-01 Bernardini, G.; Chen, H.; Loukides, G.; Pisanti, N.; Pissis, S. P.; Stougie, L.; Sweering, M.
Submodular functions and valued constraint satisfaction problems over infinite domains
2018-01-01 Bodirsky, M.; Mamino, M.; Viola, C.
A type system for interactive JSON schema inference (extended abstract)
2019-01-01 Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C.
Up-to techniques for behavioural metrics via fibrations
2018-01-01 Bonchi, Filippo; König, Barbara; Petrisan, Daniela
Weakly Markov Categories and Weakly Affine Monads
2023-01-01 Fritz, Tobias; Gadducci, Fabio; Perrone, Paolo; Trotta, Davide
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A new class of searchable and provably highly compressible string transformations | 1-gen-2019 | Giancarlo, R.; Manzini, G.; Rosone, G.; Sciortino, M. | |
| On doctrines and cartesian bicategories | 1-gen-2021 | Bonchi, F.; Santamaria, A.; Seeber, J.; Sobocinski, P. | |
| On maximal cliques with connectivity constraints in directed graphs | 1-gen-2017 | Conte, Alessio; Kanté, Mamadou Moustapha; Uno, Takeaki; Wasa, Kunihiro | |
| On the complexity of string matching for graphs | 1-gen-2019 | Equi, M.; Grossi, R.; Makinen, V.; Tomescu, A. I. | |
| phyBWT: Alignment-Free Phylogeny via eBWT Positional Clustering | 1-gen-2022 | Guerrini, V.; Conte, A.; Grossi, R.; Liti, G.; Rosone, G.; Tattini, L. | |
| Preface | 1-gen-2020 | Kingsford, C.; Pisanti, N. | |
| Preface | 1-gen-2019 | Pisanti, N.; Pissis, S. P. | |
| Presenting convex sets of probability distributions by convex semilattices and unique bases | 1-gen-2021 | Bonchi, F.; Sokolova, A.; Vignudelli, V. | |
| Proceedings of 20th International Workshop on Algorithms in Bioinformatics (WABI 2020) | 1-gen-2020 | Kingsford, Carl; Pisanti, Nadia | |
| Repetition- and Linearity-Aware Rank/Select Dictionaries | 1-gen-2021 | Ferragina, Paolo; Manzini, Giovanni; Vinciguerra, Giorgio | |
| Space-efficient computation of the LCP array from the Burrows-Wheeler transform | 1-gen-2019 | Prezza, N.; Rosone, G. | |
| String Sanitization under Edit Distance | 1-gen-2020 | Bernardini, G.; Chen, H.; Loukides, G.; Pisanti, N.; Pissis, S. P.; Stougie, L.; Sweering, M. | |
| Submodular functions and valued constraint satisfaction problems over infinite domains | 1-gen-2018 | Bodirsky, M.; Mamino, M.; Viola, C. | |
| A type system for interactive JSON schema inference (extended abstract) | 1-gen-2019 | Baazizi, M. -A.; Colazzo, D.; Ghelli, G.; Sartiani, C. | |
| Up-to techniques for behavioural metrics via fibrations | 1-gen-2018 | Bonchi, Filippo; König, Barbara; Petrisan, Daniela | |
| Weakly Markov Categories and Weakly Affine Monads | 1-gen-2023 | Fritz, Tobias; Gadducci, Fabio; Perrone, Paolo; Trotta, Davide |
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