Algebraic Characterization of the Class of Languages recognized by Measure Only Quantum Automata - Carlo Comin; Maria Paola Bianchi (CoRR, 2012)

Towards a Standard Approach for Optimization in Science and Engineering. - Carlo Comin; Luka Onesti; Carlos Kavka (ICSOFT, 2013)

(Extended Version) Algebraic Characterization of the Class of Languages recognized by Measure Only Quantum Automata - Carlo Comin (CoRR, 2013)

A Tractable Generalization of Simple Temporal Networks and Its Relation to Mean Payoff Games. - Carlo Comin; Roberto Posenato; Romeo Rizzi (TIME, 2014)

Algebraic Characterization of the Class of Languages Recognized by Measure Only Quantum Automata. - Carlo Comin (Fundam. Informaticae, 2014)

Dynamic Consistency of Conditional Simple Temporal Networks via Mean Payoff Games: A Singly-Exponential Time DC-checking. - Carlo Comin; Romeo Rizzi (TIME, 2015)

Energy Structure of Optimal Positional Strategies in Mean Payoff Games. - Carlo Comin (CoRR, 2015)

Hyper Temporal Networks. - Carlo Comin; Roberto Posenato; Romeo Rizzi (CoRR, 2015)

An Improved Pseudo-Polynomial Upper Bound for the Value Problem and Optimal Strategy Synthesis in Mean Payoff Games. - Carlo Comin; Romeo Rizzi (CoRR, 2015)

Faster O(|V|^2|E|W)-Time Energy Algorithms for Optimal Strategy Synthesis in Mean Payoff Games. - Carlo Comin; Romeo Rizzi (CoRR, 2016)

Alternating DFS and Strongly Connected Components (Linear time algorithms with applications to infinite pebble games). - Carlo Comin; Romeo Rizzi (CoRR, 2016)

Incorporating Decision Nodes into Conditional Simple Temporal Networks. - Massimo Cairo; Carlo Combi; Carlo Comin; Luke Hunsberger; Roberto Posenato; Romeo Rizzi; Matteo Zavatteri (TIME, 2017)

Improved Pseudo-polynomial Bound for the Value Problem and Optimal Strategy Synthesis in Mean Payoff Games. - Carlo Comin; Romeo Rizzi (Algorithmica, 2017)

Hyper temporal networks - A tractable generalization of simple temporal networks and its relation to mean payoff games. - Carlo Comin; Roberto Posenato; Romeo Rizzi (Constraints An Int. J., 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)

On Restricted Disjunctive Temporal Problems: Faster Algorithms and Tractability Frontier. - Carlo Comin; Romeo Rizzi (TIME, 2018)

An Improved Upper Bound on Maximal Clique Listing via Rectangular Fast Matrix Multiplication. - Carlo Comin; Romeo Rizzi (Algorithmica, 2018)

Checking dynamic consistency of conditional hyper temporal networks via mean payoff games: Hardness and (pseudo) singly-exponential time algorithm. - Carlo Comin; Romeo Rizzi (Inf. Comput., 2018)

Sorting with forbidden intermediates. - Carlo Comin; Anthony Labarre; Romeo Rizzi; Stéphane Vialette (Discret. Appl. Math., 2020)

Instantaneous reaction-time in dynamic consistency checking of conditional simple temporal networks. - Massimo Cairo; Carlo Comin; Romeo Rizzi (J. Log. Algebraic Methods Program., 2020)

Linear-time safe-alternating DFS and SCCs. - Carlo Comin; Romeo Rizzi (Inf. Comput., 2025)