Safe and Complete Algorithms for Bioinformatics

Informazioni relative al progetto

SAFEBIO

ID dell’accordo di sovvenzione: 851093

DOI

10.3030/851093

Progetto chiuso

Data della firma CE 6 Settembre 2019

Data di avvio 1 Marzo 2020

Data di completamento 28 Febbraio 2025

Finanziato da

• EXCELLENT SCIENCE - European Research Council (ERC)

Costo totale

€ 1 498 367,00

Contributo UE

€ 1 498 367,00

Coordinato da

HELSINGIN YLIOPISTO
Finland

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Conference proceedings (16)

Linear Time Construction of Indexable Founder Block Graphs

Autori: Veli Mäkinen, Bastien Cazaux, Massimo Equi, Tuukka Norri, Alexandru I. Tomescu
Pubblicato in: 20th International Workshop on Algorithms in Bioinformatics (WABI 2020), Numero Leibniz International Proceedings in Informatics (LIPIcs) vol. 172, 2020, Pagina/e 7:1--7:18, ISBN 978-3-95977-161-0
Editore: Schloss Dagstuhl--Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.wabi.2020.7

Algorithms and Complexity on Indexing Elastic Founder Graphs

Autori: Massimo Equi, Tuukka Norri, Jarno Alanko, Bastien Cazaux, Alexandru I. Tomescu, Veli Mäkinen
Pubblicato in: 32nd International Symposium on Algorithms and Computation (ISAAC 2021), Numero 212, 2021, Pagina/e 20:1--20:18
Editore: 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

Autori: Manuel Càceres, Massimo Cairo, Brendan Mumey, Romeo Rizzi, Alexandru I. Tomescu
Pubblicato in: Proceedings of the 2022 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), 2022, Pagina/e 359-376
Editore: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611977073.18

Practical Minimum Path Cover

Autori: Manuel Cáceres, Brendan Mumey, Santeri Toivonen, Alexandru I. Tomescu
Pubblicato in: 22nd International Symposium on Experimental Algorithms (SEA 2024), Numero 301, 2024, Pagina/e 3:1-3:19, ISBN 978-3-95977-325-6
Editore: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.sea.2024.3

Optimal Construction of Hierarchical Overlap Graphs

Autori: Shahbaz Khan
Pubblicato in: 32nd Annual Symposium on Combinatorial Pattern Matching (CPM 2021), Numero Leibniz International Proceedings in Informatics (LIPIcs) vol. 191, 2021, Pagina/e 17:1--17:11, ISBN 978-3-95977-186-3
Editore: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.cpm.2021.17

Width Helps and Hinders Splitting Flows

Autori: Manuel Càceres, Massimo Cairo, Andreas Grigorjew, Shahbaz Khan, Brendan Mumey, Romeo Rizzi, Alexandru I. Tomescu, Lucia Williams
Pubblicato in: 30th Annual European Symposium on Algorithms (ESA 2022), Numero 244, 2022, Pagina/e 31:1--31:14
Editore: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.esa.2022.31

Fast, Flexible, and Exact Minimum Flow Decompositions via ILP

Autori: Fernando H. C. Dias, Lucia Williams, Brendan Mumey, Alexandru I. Tomescu
Pubblicato in: RECOMB 2022 - 26th Annual International Conference on Research in Computational Molecular Biology, Numero 13278, 2022, Pagina/e 230--245
Editore: Springer
DOI: 10.1007/978-3-031-04749-7_14

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

Autori: Sebastian Schmidt, Jarno Alanko
Pubblicato in: 22nd International Workshop on Algorithms in Bioinformatics (WABI 2022), Numero 242, 2022, Pagina/e 2:1--2:21, ISBN 978-3-95977-243-3
Editore: 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

Autori: Grigorjew, Andreas; Dias, Fernando H. C.; Cracco, Andrea; Rizzi, Romeo; Tomescu, Alexandru I.
Pubblicato in: 22nd International Symposium on Experimental Algorithms (SEA 2024), Numero 301, 2024, Pagina/e 14:1-14:19, ISBN 978-3-95977-325-6
Editore: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.sea.2024.14

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

Autori: Sebastian Schmidt, Santeri Toivonen, Paul Medvedev, Alexandru I. Tomescu
Pubblicato in: 24th International Workshop on Algorithms in Bioinformatics (WABI 2024), Numero 312, 2024, Pagina/e 8:1-8:16, ISBN 978-3-95977-340-9
Editore: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.wabi.2024.8

Safety and Completeness in Flow Decompositions for RNA Assembly

Autori: Shahbaz Khan, Milla Kortelainen, Manuel Càceres, Lucia Williams, Alexandru I. Tomescu
Pubblicato in: RECOMB 2022 - 26th Annual International Conference on Research in Computational Molecular Biology, Numero 13278, 2022, Pagina/e 177--192
Editore: Springer
DOI: 10.1007/978-3-031-04749-7_11

Optimizing Safe Flow Decompositions in DAGs

Autori: Shahbaz Khan, Alexandru I. Tomescu
Pubblicato in: 30th Annual European Symposium on Algorithms (ESA 2022), Numero 244, 2022, ISBN 978-3-95977-247-1
Editore: 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

Autori: Massimo Cairo, Romeo Rizzi, Alexandru I. Tomescu, Elia C. Zirondelli:
Pubblicato in: 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), Numero Leibniz International Proceedings in Informatics (LIPIcs), vol. 198, 2021, Pagina/e 43:1--43:18, ISBN 978-3-95977-195-5
Editore: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.icalp.2021.43

Flow Decomposition with Subpath Constraints

Autori: Lucia Williams, Alexandru I. Tomescu, Brendan Mumey
Pubblicato in: 21st International Workshop on Algorithms in Bioinformatics (WABI 2021), Numero Leibniz International Proceedings in Informatics (LIPIcs), vol.201, 2021, Pagina/e 16:1--16:15, ISBN 978-3-95977-200-6
Editore: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.wabi.2021.16

From Bit-Parallelism to Quantum String Matching for Labelled Graphs

Autori: Equi, Massimo; Meijer-van de Griend, Arianne; Mäkinen, Veli
Pubblicato in: 34th Annual Symposium on Combinatorial Pattern Matching (CPM 2023), Numero 1, 2023, Pagina/e 9:1–9:20
Editore: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing
DOI: 10.4230/lipics.cpm.2023.9

Cut Paths and Their Remainder Structure, with Applications

Autori: Massimo Cairo, Shahbaz Khan, Romeo Rizzi, Sebastian Schmidt, Alexandru I. Tomescu, Elia C. Zirondelli
Pubblicato in: 40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023), Numero 254, 2023, Pagina/e 17:1--17:17, ISBN 978-3-95977-266-2
Editore: 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

Autori: Manoj Gupta, Shahbaz Khan
Pubblicato in: Symposium on Simplicity in Algorithms (SOSA), 2021, Pagina/e 86-91, ISBN 978-1-61197-649-6
Editore: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611976496.10

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

Autori: Manuel Cáceres, Massimo Cairo, Brendan Mumey, Romeo Rizzi, Alexandru I. Tomescu
Pubblicato in: Graph-Theoretic Concepts in Computer Science - 47th International Workshop, WG 2021, Warsaw, Poland, June 23–25, 2021, Revised Selected Papers, Numero 12911, 2021, Pagina/e 257-269, ISBN 978-3-030-86837-6
Editore: 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

Autori: Massimo Equi, Veli Mäkinen, Alexandru I. Tomescu
Pubblicato in: 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, Numero 12607, 2021, Pagina/e 608-622, ISBN 978-3-030-67730-5
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-67731-2_44

Peer reviewed articles (21)

Efficient Minimum Flow Decomposition via Integer Linear Programming

Autori: Fernando H.C. Dias, Lucia Williams, Brendan Mumey and Alexandru I. Tomescu
Pubblicato in: Journal of Computational Biology, Numero 29(11), 2022, Pagina/e 1252-1267, ISSN 1066-5277
Editore: Mary Ann Liebert Inc.
DOI: 10.1089/cmb.2022.0257

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

Autori: Jun Ma, Manuel Cáceres, Leena Salmela, Veli Mäkinen, Alexandru I Tomescu
Pubblicato in: Bioinformatics, Numero 39, 2023, Pagina/e btad460, ISSN 1367-4811
Editore: Oxford University Press
DOI: 10.1093/bioinformatics/btad460

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

Autori: Sebastian Schmidt, Jarno N. Alanko
Pubblicato in: Algorithms for Molecular Biology, Numero 18, 2023, Pagina/e 5, ISSN 1748-7188
Editore: BioMed Central
DOI: 10.1186/s13015-023-00227-1

Solving String Problems on Graphs Using the Labeled Direct Product

Autori: Nicola Rizzo, Alexandru I. Tomescu, Alberto Policriti
Pubblicato in: Algorithmica, 2022, ISSN 1432-0541
Editore: Springer
DOI: 10.1007/s00453-022-00989-x

Matchtigs: minimum plain text representation of k-mer sets

Autori: Sebastian Schmidt, Shahbaz Khan, Jarno N. Alanko, Giulio E. Pibiri, Alexandru I. Tomescu
Pubblicato in: Genome Biology, Numero 24, 2023, Pagina/e 136, ISSN 1474-760X
Editore: Springer Nature
DOI: 10.1186/s13059-023-02968-z

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

Autori: Andreas Grigorjew, Artur Gynter, Fernando H. C. Dias, Benjamin Buchfink, Hajk-Georg Drost, Alexandru I. Tomescu
Pubblicato in: Genome Biology, Numero 24, 2023, Pagina/e 168, ISSN 1474-760X
Editore: Springer Nature
DOI: 10.1186/s13059-023-03008-6

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

Autori: Manuel Cáceres; Brendan Mumey; Edin Husić; Romeo Rizzi; Massimo Cairo; Kristoffer Sahlin; Alexandru I. Tomescu
Pubblicato in: IEEE/ACM Transactions on Computational Biology and Bioinformatics, Numero 19(6), 2023, Pagina/e 3673-3684, ISSN 1545-5963
Editore: IEEE Computer Society
DOI: 10.1109/tcbb.2021.3131203

Simplicity in Eulerian circuits: Uniqueness and safety

Autori: Nidia Obscura Acosta, Alexandru I. Tomescu
Pubblicato in: Information Processing Letters, Numero 183, 2023, Pagina/e 106421, ISSN 0020-0190
Editore: Elsevier BV
DOI: 10.1016/j.ipl.2023.106421

Flowtigs: safety in flow decompositions for assembly graphs

Autori: Francisco Sena, Eliel Ingervo, Shahbaz Khan, Andrey Prjibelski, Sebastian Schmidt, Alexandru I. Tomescu
Pubblicato in: iScience, Numero 27(12), 2024, Pagina/e 111208, ISSN 2589-0042
Editore: Cell Press
DOI: 10.1101/2023.11.17.567499

Flow Decomposition With Subpath Constraints

Autori: Lucia Williams, Alexandru I. Tomescu, Brendan Mumey
Pubblicato in: IEEE/ACM Transactions on Computational Biology and Bioinformatics, Numero 20, 2024, Pagina/e 360-370, ISSN 1545-5963
Editore: IEEE Computer Society
DOI: 10.1109/tcbb.2022.3147697

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

Autori: Massimo Cairo, Romeo Rizzi, Alexandru I. Tomescu, Elia C. Zirondelli
Pubblicato in: ACM Transactions on Algorithms, Numero 20, 2023, Pagina/e 1-26, ISSN 1549-6325
Editore: Association for Computing Machinary, Inc.
DOI: 10.1145/3632176

Elastic founder graphs improved and enhanced

Autori: Nicola Rizzo, Massimo Equi, Tuukka Norri, Veli Mäkinen
Pubblicato in: Theoretical Computer Science, Numero 982, 2023, Pagina/e 114269, ISSN 0304-3975
Editore: Elsevier BV
DOI: 10.1016/j.tcs.2023.114269

A safety framework for flow decomposition problems via integer linear programming

Autori: Fernando H C Dias, Manuel Cáceres, Lucia Williams, Brendan Mumey, Alexandru I Tomescu
Pubblicato in: Bioinformatics, Numero 39, 2023, Pagina/e btad640, ISSN 1367-4811
Editore: Oxford University Press
DOI: 10.1093/bioinformatics/btad640

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

Autori: Massimo Cairo, Shahbaz Khan, Romeo Rizzi, Sebastian Schmidt, Alexandru I. Tomescu, Elia C. Zirondelli
Pubblicato in: Discrete Applied Mathematics, Numero 305, 2021, Pagina/e 103-108, ISSN 0166-218X
Editore: Elsevier BV
DOI: 10.1016/j.dam.2021.08.026

Improving RNA Assembly via Safety and Completeness in Flow Decompositions

Autori: Shahbaz Khan, Milla Kortelainen, Manuel Cáceres, Lucia Williams, Alexandru I. Tomescu
Pubblicato in: Journal of Computational Biology, Numero 29, 2022, Pagina/e 1270-1287, ISSN 1557-8666
Editore: Mary Ann Liebert Inc
DOI: 10.1089/cmb.2022.0261

Algorithms and Complexity on Indexing Founder Graphs

Autori: Massimo Equi, Tuukka Norri, Jarno Alanko, Bastien Cazaux, Alexandru I. Tomescu, Veli Mäkinen
Pubblicato in: Algorithmica, Numero 85, 2024, Pagina/e 1586-1623, ISSN 0178-4617
Editore: Springer Verlag
DOI: 10.1007/s00453-022-01007-w

On the Complexity of String Matching for Graphs

Autori: Massimo Equi, Veli Mäkinen, Alexandru I. Tomescu, Roberto Grossi
Pubblicato in: ACM Transactions on Algorithms, Numero 19, 2023, Pagina/e 1-25, ISSN 1549-6325
Editore: Association for Computing Machinary, Inc.
DOI: 10.1145/3588334

Width Helps and Hinders Splitting Flows

Autori: Manuel Cáceres, Massimo Cairo, Andreas Grigorjew, Shahbaz Khan, Brendan Mumey, Romeo Rizzi, Alexandru I. Tomescu, Lucia Williams
Pubblicato in: ACM Transactions on Algorithms, Numero 20, 2024, Pagina/e 1-20, ISSN 1549-6325
Editore: 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

Autori: Massimo Equi, Veli Mäkinen, Alexandru I. Tomescu
Pubblicato in: Theoretical Computer Science, Numero 975, 2024, Pagina/e 114128, ISSN 0304-3975
Editore: Elsevier BV
DOI: 10.1016/j.tcs.2023.114128

Safety in s-t Paths, Trails and Walks

Autori: Massimo Cairo, Shahbaz Khan, Romeo Rizzi, Sebastian Schmidt, Alexandru I. Tomescu
Pubblicato in: Algorithmica, Numero 84, 2020, Pagina/e 719--741, ISSN 1432-0541
Editore: Springer
DOI: 10.1007/s00453-021-00877-w

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

Autori: Andrea Cracco, Alexandru I. Tomescu
Pubblicato in: Genome Research, Numero 33, 2023, Pagina/e 1198-1207, ISSN 1088-9051
Editore: 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

Autori: Massimo Cairo, Shahbaz Khan, Romeo Rizzi, Sebastian Schmidt, Alexandru I. Tomescu, Elia C. Zirondelli
Pubblicato in: 2021
Editore: Preprint