Carlo Comin

29 papers C 6Journal 21Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Linear-time safe-alternating DFS and SCCs.
Inf. Comput.
Carlo Comin, Romeo Rizzi
2020 J jnl
Instantaneous reaction-time in dynamic consistency checking of conditional simple temporal networks.
J. Log. Algebraic Methods Program.
Massimo Cairo, Carlo Comin, Romeo Rizzi
2020 J jnl
Sorting with forbidden intermediates.
Discret. Appl. Math.
Carlo Comin, Anthony Labarre, Romeo Rizzi, Stéphane Vialette
2018 J jnl
An Improved Upper Bound on Maximal Clique Listing via Rectangular Fast Matrix Multiplication.
Algorithmica
Carlo Comin, Romeo Rizzi
2018 J jnl
Checking dynamic consistency of conditional hyper temporal networks via mean payoff games: Hardness and (pseudo) singly-exponential time algorithm.
Inf. Comput.
Carlo Comin, Romeo Rizzi
2018 C conf
On Restricted Disjunctive Temporal Problems: Faster Algorithms and Tractability Frontier.
TIME
Carlo Comin, Romeo Rizzi
2018 J jnl
On Restricted Disjunctive Temporal Problems: Faster Algorithms and Tractability Frontier.
CoRR
Carlo Comin, Romeo Rizzi
2017 — —
Complexity in Infinite Games on Graphs and Temporal Constraint Networks. (Complexité dans les Jeux Infinis sur les Graphes et les Réseaux de Contraintes Temporelles).
Carlo Comin
2017 J jnl
Hyper temporal networks - A tractable generalization of simple temporal networks and its relation to mean payoff games.
Constraints An Int. J.
Carlo Comin, Roberto Posenato, Romeo Rizzi
2017 J jnl
Improved Pseudo-polynomial Bound for the Value Problem and Optimal Strategy Synthesis in Mean Payoff Games.
Algorithmica
Carlo Comin, Romeo Rizzi
2017 C conf
Incorporating Decision Nodes into Conditional Simple Temporal Networks.
TIME
Massimo Cairo, Carlo Combi, Carlo Comin, Luke Hunsberger, Roberto Posenato, Romeo Rizzi, Matteo Zavatteri
2016 J jnl
Alternating DFS and Strongly Connected Components (Linear time algorithms with applications to infinite pebble games).
CoRR
Carlo Comin, Romeo Rizzi
2016 J jnl
Checking Dynamic Consistency of Conditional Hyper Temporal Networks via Mean Payoff Games (Hardness and (pseudo) Singly-Exponential Time Algorithm).
CoRR
Carlo Comin, Romeo Rizzi
2016 J jnl
Faster O(|V|^2|E|W)-Time Energy Algorithms for Optimal Strategy Synthesis in Mean Payoff Games.
CoRR
Carlo Comin, Romeo Rizzi
2016 C conf
Instantaneous Reaction-Time in Dynamic-Consistency Checking of Conditional Simple Temporal Networks.
TIME
Massimo Cairo, Carlo Comin, Romeo Rizzi
2016 J jnl
Instantaneous Reaction-Time in Dynamic-Consistency Checking of Conditional Simple Temporal Networks.
CoRR
Massimo Cairo, Carlo Comin, Romeo Rizzi
2016 J jnl
Sorting With Forbidden Intermediates.
CoRR
Carlo Comin, Anthony Labarre, Romeo Rizzi, Stéphane Vialette
2016 — conf
Sorting with Forbidden Intermediates.
AlCoB
Carlo Comin, Anthony Labarre, Romeo Rizzi, Stéphane Vialette
2015 J jnl
An Improved Pseudo-Polynomial Upper Bound for the Value Problem and Optimal Strategy Synthesis in Mean Payoff Games.
CoRR
Carlo Comin, Romeo Rizzi
2015 J jnl
An Improved Upper Bound on Maximal Clique Listing via Rectangular Fast Matrix Multiplication.
CoRR
Carlo Comin, Romeo Rizzi
2015 C conf
Dynamic Consistency of Conditional Simple Temporal Networks via Mean Payoff Games: A Singly-Exponential Time DC-checking.
TIME
Carlo Comin, Romeo Rizzi
2015 J jnl
Dynamic Consistency of Conditional Simple Temporal Networks via Mean Payoff Games: a Singly-Exponential Time DC-Checking.
CoRR
Carlo Comin, Romeo Rizzi
2015 J jnl
Energy Structure of Optimal Positional Strategies in Mean Payoff Games.
CoRR
Carlo Comin
2015 J jnl
Hyper Temporal Networks.
CoRR
Carlo Comin, Roberto Posenato, Romeo Rizzi
2014 C conf
A Tractable Generalization of Simple Temporal Networks and Its Relation to Mean Payoff Games.
TIME
Carlo Comin, Roberto Posenato, Romeo Rizzi
2014 J jnl
Algebraic Characterization of the Class of Languages Recognized by Measure Only Quantum Automata.
Fundam. Informaticae
Carlo Comin
2013 J jnl
(Extended Version) Algebraic Characterization of the Class of Languages recognized by Measure Only Quantum Automata
CoRR
Carlo Comin
2013 C conf
Towards a Standard Approach for Optimization in Science and Engineering.
ICSOFT
Carlo Comin, Luka Onesti, Carlos Kavka
2012 J jnl
Algebraic Characterization of the Class of Languages recognized by Measure Only Quantum Automata
CoRR
Carlo Comin, Maria Paola Bianchi