Safe and Complete Algorithms for Bioinformatics

Informacje na temat projektu

SAFEBIO

Identyfikator umowy o grant: 851093

DOI

10.3030/851093

Projekt został zamknięty

Data podpisania przez KE 6 Września 2019

Data rozpoczęcia 1 Marca 2020

Data zakończenia 28 Lutego 2025

Finansowanie w ramach

• EXCELLENT SCIENCE - European Research Council (ERC)

Koszt całkowity

€ 1 498 367,00

Wkład UE

€ 1 498 367,00

Koordynowany przez

HELSINGIN YLIOPISTO
Finland

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Conference proceedings (16)

Linear Time Construction of Indexable Founder Block Graphs

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

Algorithms and Complexity on Indexing Elastic Founder Graphs

Autorzy: Massimo Equi, Tuukka Norri, Jarno Alanko, Bastien Cazaux, Alexandru I. Tomescu, Veli Mäkinen
Opublikowane w: 32nd International Symposium on Algorithms and Computation (ISAAC 2021), Numer 212, 2021, Strona(/y) 20:1--20:18
Wydawca: 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

Autorzy: Manuel Càceres, Massimo Cairo, Brendan Mumey, Romeo Rizzi, Alexandru I. Tomescu
Opublikowane w: Proceedings of the 2022 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), 2022, Strona(/y) 359-376
Wydawca: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611977073.18

Practical Minimum Path Cover

Autorzy: Manuel Cáceres, Brendan Mumey, Santeri Toivonen, Alexandru I. Tomescu
Opublikowane w: 22nd International Symposium on Experimental Algorithms (SEA 2024), Numer 301, 2024, Strona(/y) 3:1-3:19, ISBN 978-3-95977-325-6
Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.sea.2024.3

Optimal Construction of Hierarchical Overlap Graphs

Autorzy: Shahbaz Khan
Opublikowane w: 32nd Annual Symposium on Combinatorial Pattern Matching (CPM 2021), Numer Leibniz International Proceedings in Informatics (LIPIcs) vol. 191, 2021, Strona(/y) 17:1--17:11, ISBN 978-3-95977-186-3
Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.cpm.2021.17

Width Helps and Hinders Splitting Flows

Autorzy: Manuel Càceres, Massimo Cairo, Andreas Grigorjew, Shahbaz Khan, Brendan Mumey, Romeo Rizzi, Alexandru I. Tomescu, Lucia Williams
Opublikowane w: 30th Annual European Symposium on Algorithms (ESA 2022), Numer 244, 2022, Strona(/y) 31:1--31:14
Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.esa.2022.31

Fast, Flexible, and Exact Minimum Flow Decompositions via ILP

Autorzy: Fernando H. C. Dias, Lucia Williams, Brendan Mumey, Alexandru I. Tomescu
Opublikowane w: RECOMB 2022 - 26th Annual International Conference on Research in Computational Molecular Biology, Numer 13278, 2022, Strona(/y) 230--245
Wydawca: Springer
DOI: 10.1007/978-3-031-04749-7_14

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

Autorzy: Sebastian Schmidt, Jarno Alanko
Opublikowane w: 22nd International Workshop on Algorithms in Bioinformatics (WABI 2022), Numer 242, 2022, Strona(/y) 2:1--2:21, ISBN 978-3-95977-243-3
Wydawca: 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

Autorzy: Grigorjew, Andreas; Dias, Fernando H. C.; Cracco, Andrea; Rizzi, Romeo; Tomescu, Alexandru I.
Opublikowane w: 22nd International Symposium on Experimental Algorithms (SEA 2024), Numer 301, 2024, Strona(/y) 14:1-14:19, ISBN 978-3-95977-325-6
Wydawca: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.sea.2024.14

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

Autorzy: Sebastian Schmidt, Santeri Toivonen, Paul Medvedev, Alexandru I. Tomescu
Opublikowane w: 24th International Workshop on Algorithms in Bioinformatics (WABI 2024), Numer 312, 2024, Strona(/y) 8:1-8:16, ISBN 978-3-95977-340-9
Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.wabi.2024.8

Safety and Completeness in Flow Decompositions for RNA Assembly

Autorzy: Shahbaz Khan, Milla Kortelainen, Manuel Càceres, Lucia Williams, Alexandru I. Tomescu
Opublikowane w: RECOMB 2022 - 26th Annual International Conference on Research in Computational Molecular Biology, Numer 13278, 2022, Strona(/y) 177--192
Wydawca: Springer
DOI: 10.1007/978-3-031-04749-7_11

Optimizing Safe Flow Decompositions in DAGs

Autorzy: Shahbaz Khan, Alexandru I. Tomescu
Opublikowane w: 30th Annual European Symposium on Algorithms (ESA 2022), Numer 244, 2022, ISBN 978-3-95977-247-1
Wydawca: 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

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

Flow Decomposition with Subpath Constraints

Autorzy: Lucia Williams, Alexandru I. Tomescu, Brendan Mumey
Opublikowane w: 21st International Workshop on Algorithms in Bioinformatics (WABI 2021), Numer Leibniz International Proceedings in Informatics (LIPIcs), vol.201, 2021, Strona(/y) 16:1--16:15, ISBN 978-3-95977-200-6
Wydawca: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.wabi.2021.16

From Bit-Parallelism to Quantum String Matching for Labelled Graphs

Autorzy: Equi, Massimo; Meijer-van de Griend, Arianne; Mäkinen, Veli
Opublikowane w: 34th Annual Symposium on Combinatorial Pattern Matching (CPM 2023), Numer 1, 2023, Strona(/y) 9:1–9:20
Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing
DOI: 10.4230/lipics.cpm.2023.9

Cut Paths and Their Remainder Structure, with Applications

Autorzy: Massimo Cairo, Shahbaz Khan, Romeo Rizzi, Sebastian Schmidt, Alexandru I. Tomescu, Elia C. Zirondelli
Opublikowane w: 40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023), Numer 254, 2023, Strona(/y) 17:1--17:17, ISBN 978-3-95977-266-2
Wydawca: 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

Autorzy: Manoj Gupta, Shahbaz Khan
Opublikowane w: Symposium on Simplicity in Algorithms (SOSA), 2021, Strona(/y) 86-91, ISBN 978-1-61197-649-6
Wydawca: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611976496.10

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

Autorzy: Manuel Cáceres, Massimo Cairo, Brendan Mumey, Romeo Rizzi, Alexandru I. Tomescu
Opublikowane w: Graph-Theoretic Concepts in Computer Science - 47th International Workshop, WG 2021, Warsaw, Poland, June 23–25, 2021, Revised Selected Papers, Numer 12911, 2021, Strona(/y) 257-269, ISBN 978-3-030-86837-6
Wydawca: 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

Autorzy: Massimo Equi, Veli Mäkinen, Alexandru I. Tomescu
Opublikowane w: 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, Numer 12607, 2021, Strona(/y) 608-622, ISBN 978-3-030-67730-5
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-67731-2_44

Peer reviewed articles (21)

Efficient Minimum Flow Decomposition via Integer Linear Programming

Autorzy: Fernando H.C. Dias, Lucia Williams, Brendan Mumey and Alexandru I. Tomescu
Opublikowane w: Journal of Computational Biology, Numer 29(11), 2022, Strona(/y) 1252-1267, ISSN 1066-5277
Wydawca: Mary Ann Liebert Inc.
DOI: 10.1089/cmb.2022.0257

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

Autorzy: Jun Ma, Manuel Cáceres, Leena Salmela, Veli Mäkinen, Alexandru I Tomescu
Opublikowane w: Bioinformatics, Numer 39, 2023, Strona(/y) btad460, ISSN 1367-4811
Wydawca: Oxford University Press
DOI: 10.1093/bioinformatics/btad460

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

Autorzy: Sebastian Schmidt, Jarno N. Alanko
Opublikowane w: Algorithms for Molecular Biology, Numer 18, 2023, Strona(/y) 5, ISSN 1748-7188
Wydawca: BioMed Central
DOI: 10.1186/s13015-023-00227-1

Solving String Problems on Graphs Using the Labeled Direct Product

Autorzy: Nicola Rizzo, Alexandru I. Tomescu, Alberto Policriti
Opublikowane w: Algorithmica, 2022, ISSN 1432-0541
Wydawca: Springer
DOI: 10.1007/s00453-022-00989-x

Matchtigs: minimum plain text representation of k-mer sets

Autorzy: Sebastian Schmidt, Shahbaz Khan, Jarno N. Alanko, Giulio E. Pibiri, Alexandru I. Tomescu
Opublikowane w: Genome Biology, Numer 24, 2023, Strona(/y) 136, ISSN 1474-760X
Wydawca: Springer Nature
DOI: 10.1186/s13059-023-02968-z

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

Autorzy: Andreas Grigorjew, Artur Gynter, Fernando H. C. Dias, Benjamin Buchfink, Hajk-Georg Drost, Alexandru I. Tomescu
Opublikowane w: Genome Biology, Numer 24, 2023, Strona(/y) 168, ISSN 1474-760X
Wydawca: Springer Nature
DOI: 10.1186/s13059-023-03008-6

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

Autorzy: Manuel Cáceres; Brendan Mumey; Edin Husić; Romeo Rizzi; Massimo Cairo; Kristoffer Sahlin; Alexandru I. Tomescu
Opublikowane w: IEEE/ACM Transactions on Computational Biology and Bioinformatics, Numer 19(6), 2023, Strona(/y) 3673-3684, ISSN 1545-5963
Wydawca: IEEE Computer Society
DOI: 10.1109/tcbb.2021.3131203

Simplicity in Eulerian circuits: Uniqueness and safety

Autorzy: Nidia Obscura Acosta, Alexandru I. Tomescu
Opublikowane w: Information Processing Letters, Numer 183, 2023, Strona(/y) 106421, ISSN 0020-0190
Wydawca: Elsevier BV
DOI: 10.1016/j.ipl.2023.106421

Flowtigs: safety in flow decompositions for assembly graphs

Autorzy: Francisco Sena, Eliel Ingervo, Shahbaz Khan, Andrey Prjibelski, Sebastian Schmidt, Alexandru I. Tomescu
Opublikowane w: iScience, Numer 27(12), 2024, Strona(/y) 111208, ISSN 2589-0042
Wydawca: Cell Press
DOI: 10.1101/2023.11.17.567499

Flow Decomposition With Subpath Constraints

Autorzy: Lucia Williams, Alexandru I. Tomescu, Brendan Mumey
Opublikowane w: IEEE/ACM Transactions on Computational Biology and Bioinformatics, Numer 20, 2024, Strona(/y) 360-370, ISSN 1545-5963
Wydawca: IEEE Computer Society
DOI: 10.1109/tcbb.2022.3147697

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

Autorzy: Massimo Cairo, Romeo Rizzi, Alexandru I. Tomescu, Elia C. Zirondelli
Opublikowane w: ACM Transactions on Algorithms, Numer 20, 2023, Strona(/y) 1-26, ISSN 1549-6325
Wydawca: Association for Computing Machinary, Inc.
DOI: 10.1145/3632176

Elastic founder graphs improved and enhanced

Autorzy: Nicola Rizzo, Massimo Equi, Tuukka Norri, Veli Mäkinen
Opublikowane w: Theoretical Computer Science, Numer 982, 2023, Strona(/y) 114269, ISSN 0304-3975
Wydawca: Elsevier BV
DOI: 10.1016/j.tcs.2023.114269

A safety framework for flow decomposition problems via integer linear programming

Autorzy: Fernando H C Dias, Manuel Cáceres, Lucia Williams, Brendan Mumey, Alexandru I Tomescu
Opublikowane w: Bioinformatics, Numer 39, 2023, Strona(/y) btad640, ISSN 1367-4811
Wydawca: Oxford University Press
DOI: 10.1093/bioinformatics/btad640

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

Autorzy: Massimo Cairo, Shahbaz Khan, Romeo Rizzi, Sebastian Schmidt, Alexandru I. Tomescu, Elia C. Zirondelli
Opublikowane w: Discrete Applied Mathematics, Numer 305, 2021, Strona(/y) 103-108, ISSN 0166-218X
Wydawca: Elsevier BV
DOI: 10.1016/j.dam.2021.08.026

Improving RNA Assembly via Safety and Completeness in Flow Decompositions

Autorzy: Shahbaz Khan, Milla Kortelainen, Manuel Cáceres, Lucia Williams, Alexandru I. Tomescu
Opublikowane w: Journal of Computational Biology, Numer 29, 2022, Strona(/y) 1270-1287, ISSN 1557-8666
Wydawca: Mary Ann Liebert Inc
DOI: 10.1089/cmb.2022.0261

Algorithms and Complexity on Indexing Founder Graphs

Autorzy: Massimo Equi, Tuukka Norri, Jarno Alanko, Bastien Cazaux, Alexandru I. Tomescu, Veli Mäkinen
Opublikowane w: Algorithmica, Numer 85, 2024, Strona(/y) 1586-1623, ISSN 0178-4617
Wydawca: Springer Verlag
DOI: 10.1007/s00453-022-01007-w

On the Complexity of String Matching for Graphs

Autorzy: Massimo Equi, Veli Mäkinen, Alexandru I. Tomescu, Roberto Grossi
Opublikowane w: ACM Transactions on Algorithms, Numer 19, 2023, Strona(/y) 1-25, ISSN 1549-6325
Wydawca: Association for Computing Machinary, Inc.
DOI: 10.1145/3588334

Width Helps and Hinders Splitting Flows

Autorzy: Manuel Cáceres, Massimo Cairo, Andreas Grigorjew, Shahbaz Khan, Brendan Mumey, Romeo Rizzi, Alexandru I. Tomescu, Lucia Williams
Opublikowane w: ACM Transactions on Algorithms, Numer 20, 2024, Strona(/y) 1-20, ISSN 1549-6325
Wydawca: 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

Autorzy: Massimo Equi, Veli Mäkinen, Alexandru I. Tomescu
Opublikowane w: Theoretical Computer Science, Numer 975, 2024, Strona(/y) 114128, ISSN 0304-3975
Wydawca: Elsevier BV
DOI: 10.1016/j.tcs.2023.114128

Safety in s-t Paths, Trails and Walks

Autorzy: Massimo Cairo, Shahbaz Khan, Romeo Rizzi, Sebastian Schmidt, Alexandru I. Tomescu
Opublikowane w: Algorithmica, Numer 84, 2020, Strona(/y) 719--741, ISSN 1432-0541
Wydawca: Springer
DOI: 10.1007/s00453-021-00877-w

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

Autorzy: Andrea Cracco, Alexandru I. Tomescu
Opublikowane w: Genome Research, Numer 33, 2023, Strona(/y) 1198-1207, ISSN 1088-9051
Wydawca: 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

Autorzy: Massimo Cairo, Shahbaz Khan, Romeo Rizzi, Sebastian Schmidt, Alexandru I. Tomescu, Elia C. Zirondelli
Opublikowane w: 2021
Wydawca: Preprint