Safe and Complete Algorithms for Bioinformatics

Información del proyecto

SAFEBIO

Identificador del acuerdo de subvención: 851093

DOI

10.3030/851093

Proyecto cerrado

Fecha de la firma de la CE 6 Septiembre 2019

Fecha de inicio 1 Marzo 2020

Fecha de finalización 28 Febrero 2025

Financiado con arreglo a

• EXCELLENT SCIENCE - European Research Council (ERC)

Coste total

€ 1 498 367,00

Aportación de la UE

€ 1 498 367,00

Coordinado por

HELSINGIN YLIOPISTO
Finland

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Conference proceedings (16)

Linear Time Construction of Indexable Founder Block Graphs

Autores: Veli Mäkinen, Bastien Cazaux, Massimo Equi, Tuukka Norri, Alexandru I. Tomescu
Publicado en: 20th International Workshop on Algorithms in Bioinformatics (WABI 2020), Edición Leibniz International Proceedings in Informatics (LIPIcs) vol. 172, 2020, Página(s) 7:1--7:18, ISBN 978-3-95977-161-0
Editor: Schloss Dagstuhl--Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.wabi.2020.7

Algorithms and Complexity on Indexing Elastic Founder Graphs

Autores: Massimo Equi, Tuukka Norri, Jarno Alanko, Bastien Cazaux, Alexandru I. Tomescu, Veli Mäkinen
Publicado en: 32nd International Symposium on Algorithms and Computation (ISAAC 2021), Edición 212, 2021, Página(s) 20:1--20:18
Editor: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.isaac.2021.20

Sparsifying, Shrinking and Splicing for Minimum Path Cover in Parameterized Linear Time

Autores: Manuel Càceres, Massimo Cairo, Brendan Mumey, Romeo Rizzi, Alexandru I. Tomescu
Publicado en: Proceedings of the 2022 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), 2022, Página(s) 359-376
Editor: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611977073.18

Practical Minimum Path Cover

Autores: Manuel Cáceres, Brendan Mumey, Santeri Toivonen, Alexandru I. Tomescu
Publicado en: 22nd International Symposium on Experimental Algorithms (SEA 2024), Edición 301, 2024, Página(s) 3:1-3:19, ISBN 978-3-95977-325-6
Editor: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.sea.2024.3

Optimal Construction of Hierarchical Overlap Graphs

Autores: Shahbaz Khan
Publicado en: 32nd Annual Symposium on Combinatorial Pattern Matching (CPM 2021), Edición Leibniz International Proceedings in Informatics (LIPIcs) vol. 191, 2021, Página(s) 17:1--17:11, ISBN 978-3-95977-186-3
Editor: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.cpm.2021.17

Width Helps and Hinders Splitting Flows

Autores: Manuel Càceres, Massimo Cairo, Andreas Grigorjew, Shahbaz Khan, Brendan Mumey, Romeo Rizzi, Alexandru I. Tomescu, Lucia Williams
Publicado en: 30th Annual European Symposium on Algorithms (ESA 2022), Edición 244, 2022, Página(s) 31:1--31:14
Editor: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.esa.2022.31

Fast, Flexible, and Exact Minimum Flow Decompositions via ILP

Autores: Fernando H. C. Dias, Lucia Williams, Brendan Mumey, Alexandru I. Tomescu
Publicado en: RECOMB 2022 - 26th Annual International Conference on Research in Computational Molecular Biology, Edición 13278, 2022, Página(s) 230--245
Editor: Springer
DOI: 10.1007/978-3-031-04749-7_14

Eulertigs: Minimum Plain Text Representation of k-mer Sets Without Repetitions in Linear Time

Autores: Sebastian Schmidt, Jarno Alanko
Publicado en: 22nd International Workshop on Algorithms in Bioinformatics (WABI 2022), Edición 242, 2022, Página(s) 2:1--2:21, ISBN 978-3-95977-243-3
Editor: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.wabi.2022.2

Accelerating ILP solvers for Minimum Flow Decompositions through search space and dimensionality reductions

Autores: Grigorjew, Andreas; Dias, Fernando H. C.; Cracco, Andrea; Rizzi, Romeo; Tomescu, Alexandru I.
Publicado en: 22nd International Symposium on Experimental Algorithms (SEA 2024), Edición 301, 2024, Página(s) 14:1-14:19, ISBN 978-3-95977-325-6
Editor: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.sea.2024.14

Applying the Safe-And-Complete Framework to Practical Genome Assembly

Autores: Sebastian Schmidt, Santeri Toivonen, Paul Medvedev, Alexandru I. Tomescu
Publicado en: 24th International Workshop on Algorithms in Bioinformatics (WABI 2024), Edición 312, 2024, Página(s) 8:1-8:16, ISBN 978-3-95977-340-9
Editor: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.wabi.2024.8

Safety and Completeness in Flow Decompositions for RNA Assembly

Autores: Shahbaz Khan, Milla Kortelainen, Manuel Càceres, Lucia Williams, Alexandru I. Tomescu
Publicado en: RECOMB 2022 - 26th Annual International Conference on Research in Computational Molecular Biology, Edición 13278, 2022, Página(s) 177--192
Editor: Springer
DOI: 10.1007/978-3-031-04749-7_11

Optimizing Safe Flow Decompositions in DAGs

Autores: Shahbaz Khan, Alexandru I. Tomescu
Publicado en: 30th Annual European Symposium on Algorithms (ESA 2022), Edición 244, 2022, ISBN 978-3-95977-247-1
Editor: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.esa.2022.72

Genome Assembly, from Practice to Theory: Safe, Complete and Linear-Time

Autores: Massimo Cairo, Romeo Rizzi, Alexandru I. Tomescu, Elia C. Zirondelli:
Publicado en: 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), Edición Leibniz International Proceedings in Informatics (LIPIcs), vol. 198, 2021, Página(s) 43:1--43:18, ISBN 978-3-95977-195-5
Editor: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.icalp.2021.43

Flow Decomposition with Subpath Constraints

Autores: Lucia Williams, Alexandru I. Tomescu, Brendan Mumey
Publicado en: 21st International Workshop on Algorithms in Bioinformatics (WABI 2021), Edición Leibniz International Proceedings in Informatics (LIPIcs), vol.201, 2021, Página(s) 16:1--16:15, ISBN 978-3-95977-200-6
Editor: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.wabi.2021.16

From Bit-Parallelism to Quantum String Matching for Labelled Graphs

Autores: Equi, Massimo; Meijer-van de Griend, Arianne; Mäkinen, Veli
Publicado en: 34th Annual Symposium on Combinatorial Pattern Matching (CPM 2023), Edición 1, 2023, Página(s) 9:1–9:20
Editor: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing
DOI: 10.4230/lipics.cpm.2023.9

Cut Paths and Their Remainder Structure, with Applications

Autores: Massimo Cairo, Shahbaz Khan, Romeo Rizzi, Sebastian Schmidt, Alexandru I. Tomescu, Elia C. Zirondelli
Publicado en: 40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023), Edición 254, 2023, Página(s) 17:1--17:17, ISBN 978-3-95977-266-2
Editor: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.stacs.2023.17

Book chapters (3)

Simple dynamic algorithms for Maximal Independent Set, Maximum Flow and Maximum Matching

Autores: Manoj Gupta, Shahbaz Khan
Publicado en: Symposium on Simplicity in Algorithms (SOSA), 2021, Página(s) 86-91, ISBN 978-1-61197-649-6
Editor: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611976496.10

A Linear-Time Parameterized Algorithm for Computing the Width of a DAG

Autores: Manuel Cáceres, Massimo Cairo, Brendan Mumey, Romeo Rizzi, Alexandru I. Tomescu
Publicado en: Graph-Theoretic Concepts in Computer Science - 47th International Workshop, WG 2021, Warsaw, Poland, June 23–25, 2021, Revised Selected Papers, Edición 12911, 2021, Página(s) 257-269, ISBN 978-3-030-86837-6
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-86838-3_20

Graphs Cannot Be Indexed in Polynomial Time for Sub-quadratic Time String Matching, Unless SETH Fails

Autores: Massimo Equi, Veli Mäkinen, Alexandru I. Tomescu
Publicado en: SOFSEM 2021: Theory and Practice of Computer Science - 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25–29, 2021, Proceedings, Edición 12607, 2021, Página(s) 608-622, ISBN 978-3-030-67730-5
Editor: Springer International Publishing
DOI: 10.1007/978-3-030-67731-2_44

Peer reviewed articles (21)

Efficient Minimum Flow Decomposition via Integer Linear Programming

Autores: Fernando H.C. Dias, Lucia Williams, Brendan Mumey and Alexandru I. Tomescu
Publicado en: Journal of Computational Biology, Edición 29(11), 2022, Página(s) 1252-1267, ISSN 1066-5277
Editor: Mary Ann Liebert Inc.
DOI: 10.1089/cmb.2022.0257

Chaining for accurate alignment of erroneous long reads to acyclic variation graphs

Autores: Jun Ma, Manuel Cáceres, Leena Salmela, Veli Mäkinen, Alexandru I Tomescu
Publicado en: Bioinformatics, Edición 39, 2023, Página(s) btad460, ISSN 1367-4811
Editor: Oxford University Press
DOI: 10.1093/bioinformatics/btad460

Eulertigs: minimum plain text representation of k-mer sets without repetitions in linear time

Autores: Sebastian Schmidt, Jarno N. Alanko
Publicado en: Algorithms for Molecular Biology, Edición 18, 2023, Página(s) 5, ISSN 1748-7188
Editor: BioMed Central
DOI: 10.1186/s13015-023-00227-1

Solving String Problems on Graphs Using the Labeled Direct Product

Autores: Nicola Rizzo, Alexandru I. Tomescu, Alberto Policriti
Publicado en: Algorithmica, 2022, ISSN 1432-0541
Editor: Springer
DOI: 10.1007/s00453-022-00989-x

Matchtigs: minimum plain text representation of k-mer sets

Autores: Sebastian Schmidt, Shahbaz Khan, Jarno N. Alanko, Giulio E. Pibiri, Alexandru I. Tomescu
Publicado en: Genome Biology, Edición 24, 2023, Página(s) 136, ISSN 1474-760X
Editor: Springer Nature
DOI: 10.1186/s13059-023-02968-z

Sensitive inference of alignment-safe intervals from biodiverse protein sequence clusters using EMERALD

Autores: Andreas Grigorjew, Artur Gynter, Fernando H. C. Dias, Benjamin Buchfink, Hajk-Georg Drost, Alexandru I. Tomescu
Publicado en: Genome Biology, Edición 24, 2023, Página(s) 168, ISSN 1474-760X
Editor: Springer Nature
DOI: 10.1186/s13059-023-03008-6

Safety in multi-assembly via paths appearing in all path covers of a DAG.

Autores: Manuel Cáceres; Brendan Mumey; Edin Husić; Romeo Rizzi; Massimo Cairo; Kristoffer Sahlin; Alexandru I. Tomescu
Publicado en: IEEE/ACM Transactions on Computational Biology and Bioinformatics, Edición 19(6), 2023, Página(s) 3673-3684, ISSN 1545-5963
Editor: IEEE Computer Society
DOI: 10.1109/tcbb.2021.3131203

Simplicity in Eulerian circuits: Uniqueness and safety

Autores: Nidia Obscura Acosta, Alexandru I. Tomescu
Publicado en: Information Processing Letters, Edición 183, 2023, Página(s) 106421, ISSN 0020-0190
Editor: Elsevier BV
DOI: 10.1016/j.ipl.2023.106421

Flowtigs: safety in flow decompositions for assembly graphs

Autores: Francisco Sena, Eliel Ingervo, Shahbaz Khan, Andrey Prjibelski, Sebastian Schmidt, Alexandru I. Tomescu
Publicado en: iScience, Edición 27(12), 2024, Página(s) 111208, ISSN 2589-0042
Editor: Cell Press
DOI: 10.1101/2023.11.17.567499

Flow Decomposition With Subpath Constraints

Autores: Lucia Williams, Alexandru I. Tomescu, Brendan Mumey
Publicado en: IEEE/ACM Transactions on Computational Biology and Bioinformatics, Edición 20, 2024, Página(s) 360-370, ISSN 1545-5963
Editor: IEEE Computer Society
DOI: 10.1109/tcbb.2022.3147697

Genome Assembly, from Practice to Theory: Safe, Complete and <i>Linear-Time</i>

Autores: Massimo Cairo, Romeo Rizzi, Alexandru I. Tomescu, Elia C. Zirondelli
Publicado en: ACM Transactions on Algorithms, Edición 20, 2023, Página(s) 1-26, ISSN 1549-6325
Editor: Association for Computing Machinary, Inc.
DOI: 10.1145/3632176

Elastic founder graphs improved and enhanced

Autores: Nicola Rizzo, Massimo Equi, Tuukka Norri, Veli Mäkinen
Publicado en: Theoretical Computer Science, Edición 982, 2023, Página(s) 114269, ISSN 0304-3975
Editor: Elsevier BV
DOI: 10.1016/j.tcs.2023.114269

A safety framework for flow decomposition problems via integer linear programming

Autores: Fernando H C Dias, Manuel Cáceres, Lucia Williams, Brendan Mumey, Alexandru I Tomescu
Publicado en: Bioinformatics, Edición 39, 2023, Página(s) btad640, ISSN 1367-4811
Editor: Oxford University Press
DOI: 10.1093/bioinformatics/btad640

A simplified algorithm computing all s - t bridges and articulation points

Autores: Massimo Cairo, Shahbaz Khan, Romeo Rizzi, Sebastian Schmidt, Alexandru I. Tomescu, Elia C. Zirondelli
Publicado en: Discrete Applied Mathematics, Edición 305, 2021, Página(s) 103-108, ISSN 0166-218X
Editor: Elsevier BV
DOI: 10.1016/j.dam.2021.08.026

Improving RNA Assembly via Safety and Completeness in Flow Decompositions

Autores: Shahbaz Khan, Milla Kortelainen, Manuel Cáceres, Lucia Williams, Alexandru I. Tomescu
Publicado en: Journal of Computational Biology, Edición 29, 2022, Página(s) 1270-1287, ISSN 1557-8666
Editor: Mary Ann Liebert Inc
DOI: 10.1089/cmb.2022.0261

Algorithms and Complexity on Indexing Founder Graphs

Autores: Massimo Equi, Tuukka Norri, Jarno Alanko, Bastien Cazaux, Alexandru I. Tomescu, Veli Mäkinen
Publicado en: Algorithmica, Edición 85, 2024, Página(s) 1586-1623, ISSN 0178-4617
Editor: Springer Verlag
DOI: 10.1007/s00453-022-01007-w

On the Complexity of String Matching for Graphs

Autores: Massimo Equi, Veli Mäkinen, Alexandru I. Tomescu, Roberto Grossi
Publicado en: ACM Transactions on Algorithms, Edición 19, 2023, Página(s) 1-25, ISSN 1549-6325
Editor: Association for Computing Machinary, Inc.
DOI: 10.1145/3588334

Width Helps and Hinders Splitting Flows

Autores: Manuel Cáceres, Massimo Cairo, Andreas Grigorjew, Shahbaz Khan, Brendan Mumey, Romeo Rizzi, Alexandru I. Tomescu, Lucia Williams
Publicado en: ACM Transactions on Algorithms, Edición 20, 2024, Página(s) 1-20, ISSN 1549-6325
Editor: Association for Computing Machinary, Inc.
DOI: 10.1145/3641820

Graphs cannot be indexed in polynomial time for sub-quadratic time string matching, unless SETH fails

Autores: Massimo Equi, Veli Mäkinen, Alexandru I. Tomescu
Publicado en: Theoretical Computer Science, Edición 975, 2024, Página(s) 114128, ISSN 0304-3975
Editor: Elsevier BV
DOI: 10.1016/j.tcs.2023.114128

Safety in s-t Paths, Trails and Walks

Autores: Massimo Cairo, Shahbaz Khan, Romeo Rizzi, Sebastian Schmidt, Alexandru I. Tomescu
Publicado en: Algorithmica, Edición 84, 2020, Página(s) 719--741, ISSN 1432-0541
Editor: Springer
DOI: 10.1007/s00453-021-00877-w

Extremely fast construction and querying of compacted and colored de Bruijn graphs with GGCAT

Autores: Andrea Cracco, Alexandru I. Tomescu
Publicado en: Genome Research, Edición 33, 2023, Página(s) 1198-1207, ISSN 1088-9051
Editor: Cold Spring Harbor Laboratory Press
DOI: 10.1101/gr.277615.122

Other (1)

The Hydrostructure: a Universal Framework for Safe and Complete Algorithms for Genome Assembly

Autores: Massimo Cairo, Shahbaz Khan, Romeo Rizzi, Sebastian Schmidt, Alexandru I. Tomescu, Elia C. Zirondelli
Publicado en: 2021
Editor: Preprint