Sfoglia per Serie LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS
10th international conference on fun with algorithms
2020-01-01 Farach-Colton, M.; Prencipe, G.; Uehara, R.
30th Annual Symposium on Combinatorial Pattern Matching
2019-01-01 Pisanti, Nadia; Pissis, Solon
7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)
2017-01-01 Bonchi, Filippo; Koenig, Barbara
9th International Conference on Fun with Algorithms (FUN)
2018-01-01 Hiro, Ito; Leonardi, Stefano; Pagli, Linda; Prencipe, Giuseppe
Algebra and Coalgebra in Computer Science, 9th Conference (CALCO 2021)
2021-01-01 Gadducci, Fabio; Silva, Alexandra
The axiom of choice in cartesian bicategories
2019-01-01 Bonchi, F.; Seeber, J.; Sobocinski, P.
Bialgebraic semantics for string diagrams
2019-01-01 Bonchi, F.; Piedeleu, R.; Sobocinski, P.; Zanasi, F.
A categorical account of replicated data types
2019-01-01 Gadducci, Fabio; Melgratti, Hernán; Roldán, Christian; Sammartino, Matteo
Comparing Elastic-Degenerate Strings: Algorithms, Lower Bounds, and Applications
2023-01-01 Gabory, Esteban; Mwaniki, MOSES NJAGI; Pisanti, Nadia; Pissis, Solon P.; Radoszewski, Jakub; Sweering, Michelle; Zuba, Wiktor
The complexity of disjunctive linear diophantine constraints
2018-01-01 Bodirsky, M.; Martin, B.; Mamino, M.; Mottet, A.
Compressed weighted de Bruijn graphs
2021-01-01 Italiano, G. F.; Prezza, N.; Sinaimeri, B.; Venturini, R.
Compressing and indexing aligned readsets
2021-01-01 Gagie, T.; Gourdel, G.; Manzini, G.
Degenerate String Comparison and Applications
2018-01-01 Alzamel, Mai; Ayad, Lorraine; Bernardini, Giulia; Grossi, Roberto; Iliopoulos, Costas S.; Pisanti, Nadia; Pissis, Solon P.; Rosone, Giovanna
Detecting Mutations by eBWT
2018-01-01 Prezza, Nicola; Pisanti, Nadia; Sciortino, Marinella; Rosone, Giovanna
Diagrammatic Polyhedral Algebra
2021-01-01 Bonchi, F.; Di Giorgio, A.; Sobocinski, P.
An encoding for order-preserving matching
2017-01-01 Gagie, Travis; Manzini, Giovanni; Venturini, Rossano
Enumeration of s-d separators in DAGs with application to reliability analysis in temporal graphs
2020-01-01 Conte, A.; Crescenzi, P.; Marino, A.; Punzi, G.
Even Faster Elastic-Degenerate String Matching via Fast Matrix Multiplication
2019-01-01 Bernardini, Giulia; Gawrychowski, Pawel; Pisanti, Nadia; Pissis, Solon P.; Rosone, Giovanna
A Fibrational Tale of Operational Logical Relations
2022-01-01 Dagnino, Francesco; Gavazzo, Francesco
Finding the Anticover of a String
2020-01-01 Alzamel, M.; Conte, A.; Denzumi, S.; Grossi, R.; Iliopoulos, C. S.; Kurita, K.; Wasa, K.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 10th international conference on fun with algorithms | 1-gen-2020 | Farach-Colton, M.; Prencipe, G.; Uehara, R. | |
| 30th Annual Symposium on Combinatorial Pattern Matching | 1-gen-2019 | Pisanti, Nadia; Pissis, Solon | |
| 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017) | 1-gen-2017 | Bonchi, Filippo; Koenig, Barbara | |
| 9th International Conference on Fun with Algorithms (FUN) | 1-gen-2018 | Hiro, Ito; Leonardi, Stefano; Pagli, Linda; Prencipe, Giuseppe | |
| Algebra and Coalgebra in Computer Science, 9th Conference (CALCO 2021) | 1-gen-2021 | Gadducci, Fabio; Silva, Alexandra | |
| The axiom of choice in cartesian bicategories | 1-gen-2019 | Bonchi, F.; Seeber, J.; Sobocinski, P. | |
| Bialgebraic semantics for string diagrams | 1-gen-2019 | Bonchi, F.; Piedeleu, R.; Sobocinski, P.; Zanasi, F. | |
| A categorical account of replicated data types | 1-gen-2019 | Gadducci, Fabio; Melgratti, Hernán; Roldán, Christian; Sammartino, Matteo | |
| Comparing Elastic-Degenerate Strings: Algorithms, Lower Bounds, and Applications | 1-gen-2023 | Gabory, Esteban; Mwaniki, MOSES NJAGI; Pisanti, Nadia; Pissis, Solon P.; Radoszewski, Jakub; Sweering, Michelle; Zuba, Wiktor | |
| The complexity of disjunctive linear diophantine constraints | 1-gen-2018 | Bodirsky, M.; Martin, B.; Mamino, M.; Mottet, A. | |
| Compressed weighted de Bruijn graphs | 1-gen-2021 | Italiano, G. F.; Prezza, N.; Sinaimeri, B.; Venturini, R. | |
| Compressing and indexing aligned readsets | 1-gen-2021 | Gagie, T.; Gourdel, G.; Manzini, G. | |
| Degenerate String Comparison and Applications | 1-gen-2018 | Alzamel, Mai; Ayad, Lorraine; Bernardini, Giulia; Grossi, Roberto; Iliopoulos, Costas S.; Pisanti, Nadia; Pissis, Solon P.; Rosone, Giovanna | |
| Detecting Mutations by eBWT | 1-gen-2018 | Prezza, Nicola; Pisanti, Nadia; Sciortino, Marinella; Rosone, Giovanna | |
| Diagrammatic Polyhedral Algebra | 1-gen-2021 | Bonchi, F.; Di Giorgio, A.; Sobocinski, P. | |
| An encoding for order-preserving matching | 1-gen-2017 | Gagie, Travis; Manzini, Giovanni; Venturini, Rossano | |
| Enumeration of s-d separators in DAGs with application to reliability analysis in temporal graphs | 1-gen-2020 | Conte, A.; Crescenzi, P.; Marino, A.; Punzi, G. | |
| Even Faster Elastic-Degenerate String Matching via Fast Matrix Multiplication | 1-gen-2019 | Bernardini, Giulia; Gawrychowski, Pawel; Pisanti, Nadia; Pissis, Solon P.; Rosone, Giovanna | |
| A Fibrational Tale of Operational Logical Relations | 1-gen-2022 | Dagnino, Francesco; Gavazzo, Francesco | |
| Finding the Anticover of a String | 1-gen-2020 | Alzamel, M.; Conte, A.; Denzumi, S.; Grossi, R.; Iliopoulos, C. S.; Kurita, K.; Wasa, K. |
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