Romeo Rizzi
Orcid: 0000-0002-2387-0952
According to our database1,
Romeo Rizzi
authored at least 218 papers
between 1997 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2025
2024
ACM Trans. Algorithms, January, 2024
Algorithmica, January, 2024
Accelerating ILP Solvers for Minimum Flow Decompositions Through Search Space and Dimensionality Reductions.
Proceedings of the 22nd International Symposium on Experimental Algorithms, 2024
Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024
2023
Optim. Lett., November, 2023
Theor. Comput. Sci., May, 2023
Constraints An Int. J., March, 2023
Proceedings of the 30th International Symposium on Temporal Representation and Reasoning, 2023
Proceedings of the 40th International Symposium on Theoretical Aspects of Computer Science, 2023
Proceedings of the Combinatorial Algorithms - 34th International Workshop, 2023
Proceedings of the 34th International Symposium on Algorithms and Computation, 2023
2022
IEEE ACM Trans. Comput. Biol. Bioinform., 2022
Inf. Sci., 2022
Proceedings of the Graph-Theoretic Concepts in Computer Science, 2022
Sparsifying, Shrinking and Splicing for Minimum Path Cover in Parameterized Linear Time.
Proceedings of the 2022 ACM-SIAM Symposium on Discrete Algorithms, 2022
Proceedings of the Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, 2022
2021
Consistency checking of STNs with decisions: Managing temporal and access-control constraints in a seamless way.
Inf. Comput., 2021
Discret. Appl. Math., 2021
Proceedings of the Graph-Theoretic Concepts in Computer Science, 2021
Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021
Proceedings of the 2021 IEEE Conference on Games (CoG), 2021
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
Discovering Evolving Temporal Information: Theory and Application to Clinical Databases.
SN Comput. Sci., 2020
Instantaneous reaction-time in dynamic consistency checking of conditional simple temporal networks.
J. Log. Algebraic Methods Program., 2020
Genome assembly, a universal theoretical framework: unifying and generalizing the safe and complete algorithms.
CoRR, 2020
CoRR, 2020
From omnitigs to macrotigs: a linear-time algorithm for safe walks - common to all closed arc-coverings of a directed graph.
CoRR, 2020
Proceedings of the Business Process Management Workshops, 2020
Dynamic Controllability and (J, K)-Resiliency in Generalized Constraint Networks with Uncertainty.
Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020
2019
Dynamic controllability of simple temporal networks with uncertainty: Simple rules and fast real-time execution.
Theor. Comput. Sci., 2019
IEEE ACM Trans. Comput. Biol. Bioinform., 2019
An Optimal <i>O</i>(<i>nm</i>) Algorithm for Enumerating All Walks Common to All Closed Edge-covering Walks of a Graph.
ACM Trans. Algorithms, 2019
Inf. Comput., 2019
MIPUP: minimum perfect unmixed phylogenies for multi-sampled tumors via branchings and ILP.
Bioinform., 2019
Hybrid SAT-Based Consistency Checking Algorithms for Simple Temporal Networks with Decisions.
Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019
Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019
Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, 2019
Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, 2019
2018
Perfect Phylogenies via Branchings in Acyclic Digraphs and a Generalization of Dilworth's Theorem.
ACM Trans. Algorithms, 2018
Checking dynamic consistency of conditional hyper temporal networks via mean payoff games: Hardness and (pseudo) singly-exponential time algorithm.
Inf. Comput., 2018
An Improved Upper Bound on Maximal Clique Listing via Rectangular Fast Matrix Multiplication.
Algorithmica, 2018
Proceedings of the Graph-Theoretic Concepts in Computer Science, 2018
On Restricted Disjunctive Temporal Problems: Faster Algorithms and Tractability Frontier.
Proceedings of the 25th International Symposium on Temporal Representation and Reasoning, 2018
Faster Dynamic Controllability Checking for Simple Temporal Networks with Uncertainty.
Proceedings of the 25th International Symposium on Temporal Representation and Reasoning, 2018
Proceedings of the 43rd International Symposium on Mathematical Foundations of Computer Science, 2018
Proceedings of the Combinatorial Algorithms - 29th International Workshop, 2018
Scheduling Data Broadcasts on Wireless Channels: Exact Solutions and Time-Optimal Solutions for Uniform Data and Heuristics for Non-Uniform Data.
Proceedings of the Handbook of Approximation Algorithms and Metaheuristics, 2018
2017
Discret. Appl. Math., 2017
The minimum conflict-free row split problem revisited: a branching formulation and (in)approximability issues.
CoRR, 2017
Hyper temporal networks - A tractable generalization of simple temporal networks and its relation to mean payoff games.
Constraints An Int. J., 2017
Improved Pseudo-polynomial Bound for the Value Problem and Optimal Strategy Synthesis in Mean Payoff Games.
Algorithmica, 2017
Proceedings of the Graph-Theoretic Concepts in Computer Science, 2017
Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017
A Streamlined Model of Conditional Simple Temporal Networks - Semantics and Equivalence Results.
Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017
Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017
Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, 2017
Proceedings of the 28th Annual Symposium on Combinatorial Pattern Matching, 2017
2016
J. Graph Theory, 2016
Discret. Math. Theor. Comput. Sci., 2016
Alternating DFS and Strongly Connected Components (Linear time algorithms with applications to infinite pebble games).
CoRR, 2016
Faster O(|V|^2|E|W)-Time Energy Algorithms for Optimal Strategy Synthesis in Mean Payoff Games.
CoRR, 2016
Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016
Proceedings of the String Processing and Information Retrieval, 2016
Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms, 2016
Proceedings of the Membrane Computing - 17th International Conference, CMC 2016, Milan, 2016
Proceedings of the LATIN 2016: Theoretical Informatics, 2016
Proceedings of the Combinatorial Algorithms - 27th International Workshop, 2016
Proceedings of the Computing and Combinatorics - 22nd International Conference, 2016
Proceedings of the 9th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2016), 2016
Decoding Hidden Markov Models Faster Than Viterbi Via Online Matrix-Vector (max, +)-Multiplication.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
2015
IEEE ACM Trans. Comput. Biol. Bioinform., 2015
Math. Soc. Sci., 2015
Math. Program., 2015
An Improved Pseudo-Polynomial Upper Bound for the Value Problem and Optimal Strategy Synthesis in Mean Payoff Games.
CoRR, 2015
Dynamic Consistency of Conditional Simple Temporal Networks via Mean Payoff Games: A Singly-Exponential Time DC-checking.
Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning, 2015
Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning, 2015
Proceedings of the Combinatorial Algorithms - 26th International Workshop, 2015
2014
Theor. Comput. Sci., 2014
BMC Bioinform., 2014
Algorithmica, 2014
A Tractable Generalization of Simple Temporal Networks and Its Relation to Mean Payoff Games.
Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014
Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014
Proceedings of the SOFSEM 2014: Theory and Practice of Computer Science, 2014
Proceedings of the Combinatorial Algorithms - 25th International Workshop, 2014
Proceedings of the Algorithms - ESA 2014, 2014
2013
Inf. Process. Lett., 2013
CoRR, 2013
BMC Bioinform., 2013
A Novel Combinatorial Method for Estimating Transcript Expression with RNA-Seq: Bounding the Number of Paths.
Proceedings of the Algorithms in Bioinformatics - 13th International Workshop, 2013
Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013
Proceedings of the String Processing and Information Retrieval, 2013
Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms, 2013
Proceedings of the Computer Science - Theory and Applications, 2013
2012
Theory Comput. Syst., 2012
An Algorithmic View on Multi-Related-Segments: A Unifying Model for Approximate Common Interval.
Proceedings of the Theory and Applications of Models of Computation, 2012
Proceedings of the Algorithms and Computation - 23rd International Symposium, 2012
2011
Discret. Appl. Math., 2011
Proceedings of the Algorithms - ESA 2011, 2011
A Polynomial-Time Algorithm for Finding a Minimal Conflicting Set Containing a Given Row.
Proceedings of the Computer Science - Theory and Applications, 2011
Proceedings of the 10th Cologne-Twente Workshop on graphs and combinatorial optimization. Extended Abstracts, 2011
2010
Proceedings of the Prague Stringology Conference 2010, Prague, Czech Republic, August 30, 2010
Efficient Deterministic Algorithms for Finding a Minimum Cycle Basis in Undirected Graphs.
Proceedings of the Integer Programming and Combinatorial Optimization, 2010
2009
J. Discrete Algorithms, 2009
Maximum Weight Cycle Packing in Directed Graphs, with Application to Kidney Exchange Programs.
Discret. Math. Algorithms Appl., 2009
Discret. Appl. Math., 2009
Comput. Sci. Rev., 2009
Proceedings of the Algorithms, 2009
2008
On the Trade-Off between Energy and Multicast Efficiency in 802.16e-Like Mobile Networks.
IEEE Trans. Mob. Comput., 2008
IEEE ACM Trans. Comput. Biol. Bioinform., 2008
Int. J. Found. Comput. Sci., 2008
2007
Proceedings of the Handbook of Approximation Algorithms and Metaheuristics., 2007
IEEE ACM Trans. Comput. Biol. Bioinform., 2007
A mixed integer linear programming formulation of the optimal mean/Value-at-Risk portfolio problem.
Eur. J. Oper. Res., 2007
Proceedings of the Experimental Algorithms, 6th International Workshop, 2007
Proceedings of the Fundamentals of Computation Theory, 16th International Symposium, 2007
Proceedings of the Combinatorial Pattern Matching, 18th Annual Symposium, 2007
2006
IEEE Trans. Parallel Distributed Syst., 2006
IEEE Trans. Computers, 2006
Discret. Math., 2006
On the Trade-Off Between Energy and Multicast Efficiency in 802.16e-Like Mobile Networks.
Proceedings of the INFOCOM 2006. 25th IEEE International Conference on Computer Communications, 2006
Proceedings of the Computational Science, 2006
2005
Trans. Comp. Sys. Biology, 2005
Theor. Comput. Sci., 2005
IEEE Trans. Computers, 2005
J. Comput. Biol., 2005
Inf. Process. Lett., 2005
Comput. Speech Lang., 2005
Proceedings of the Comparative Genomics, 2005
Finding Exact and Maximum Occurrences of Protein Complexes in Protein-Protein Interaction Graphs.
Proceedings of the Mathematical Foundations of Computer Science 2005, 2005
Proceedings of the Computing and Combinatorics, 11th Annual International Conference, 2005
2004
J. Parallel Distributed Comput., 2004
J. Parallel Distributed Comput., 2004
Haplotyping Populations by Pure Parsimony: Complexity of Exact and Approximation Algorithms.
INFORMS J. Comput., 2004
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004
2003
J. Parallel Distributed Comput., 2003
On Rajagopalan and Vazirani's 3/2-approximation bound for the Iterated 1-Steiner heuristic.
Inf. Process. Lett., 2003
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003
Channel Assignment on Strongly-Simplicial Graphs.
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003
Proceedings of the 8th European Conference on Speech Communication and Technology, EUROSPEECH 2003, 2003
Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003
Proceedings of the High Performance Computing - HiPC 2003, 10th International Conference, 2003
2002
SIAM J. Discret. Math., 2002
J. Comb. Optim., 2002
Practical Algorithms and Fixed-Parameter Tractability for the Single Individual SNP Haplotyping Problem.
Proceedings of the Algorithms in Bioinformatics, Second International Workshop, 2002
Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002
2001
Complexity of Context-Free Grammars with Exceptions and the Inadequacy of Grammars as Models for XML and SGML.
Markup Lang., 2001
2000
1999
1998
Inf. Process. Lett., 1998
1997
Proceedings of the Randomization Methods in Algorithm Design, 1997