Carlo Comin

ORCID

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 22

Top Venues

University of Paris-Est, France (PHD)

Education History

University of Paris-Est, France

PHD

Publications

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

Carlo Comin.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Carlo Comin