Search Results - "Comin, Carlo" :: K.UTB vyhledávací portál | TBU Library Retrieval Portal

Improved Pseudo-polynomial Bound for the Value Problem and Optimal Strategy Synthesis in Mean Payoff Games

Improved Pseudo-polynomial Bound for the Value Problem and Optimal Strategy Synthesis in Mean Payoff Games

by Comin, Carlo, Rizzi, Romeo
Published in Algorithmica (01.04.2017)

Get full text

Journal Article

Checking dynamic consistency of conditional hyper temporal networks via mean payoff games: Hardness and (pseudo) singly-exponential time algorithm

Checking dynamic consistency of conditional hyper temporal networks via mean payoff games: Hardness and (pseudo) singly-exponential time algorithm

by Comin, Carlo, Rizzi, Romeo
Published in Information and computation (01.04.2018)

Get full text

Journal Article

Checking dynamic consistency of conditional hyper temporal networks via mean payoff games

Checking dynamic consistency of conditional hyper temporal networks via mean payoff games

by Comin, Carlo, Rizzi, Romeo
Published in Information and computation (01.04.2018)

Get full text

Journal Article

Algebraic Characterization of the Class of Languages Recognized by Measure Only Quantum Automata

Algebraic Characterization of the Class of Languages Recognized by Measure Only Quantum Automata

by Comin, Carlo
Published in Fundamenta informaticae (2014)

Get full text

Journal Article

Dynamic Consistency of Conditional Simple Temporal Networks via Mean Payoff Games: A Singly-Exponential Time DC-checking

Dynamic Consistency of Conditional Simple Temporal Networks via Mean Payoff Games: A Singly-Exponential Time DC-checking

by Comin, Carlo, Rizzi, Romeo
Published in 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME) (04.01.2016)

Get full text

Conference Proceeding

An Improved Upper Bound on Maximal Clique Listing via Rectangular Fast Matrix Multiplication

An Improved Upper Bound on Maximal Clique Listing via Rectangular Fast Matrix Multiplication

by Comin, Carlo, Rizzi, Romeo
Published in Algorithmica (01.12.2018)

Get full text

Journal Article

Sorting with forbidden intermediates

Sorting with forbidden intermediates

by Comin, Carlo, Labarre, Anthony, Rizzi, Romeo, Vialette, Stéphane
Published in Discrete Applied Mathematics (31.05.2020)

Get full text

Journal Article

Hyper temporal networks: A tractable generalization of simple temporal networks and its relation to mean payoff games

Hyper temporal networks: A tractable generalization of simple temporal networks and its relation to mean payoff games

by Comin, Carlo, Posenato, Roberto, Rizzi, Romeo
Published in Constraints : an international journal (01.04.2017)

Get full text

Journal Article

Instantaneous reaction-time in dynamic consistency checking of conditional simple temporal networks

Instantaneous reaction-time in dynamic consistency checking of conditional simple temporal networks

by Cairo, Massimo, Comin, Carlo, Rizzi, Romeo
Published in Journal of logical and algebraic methods in programming (01.06.2020)

Get full text

Journal Article

Sorting With Forbidden Intermediates

Sorting With Forbidden Intermediates

by Comin, Carlo, Labarre, Anthony, Rizzi, Romeo, Vialette, Stéphane
Published in Discrete Applied Mathematics (2019)

Get full text

Journal Article

Hyper temporal networks

Hyper temporal networks

by Comin, Carlo, Posenato, Roberto, Rizzi, Romeo
Published in Constraints : an international journal (01.01.2017)

Get full text

Journal Article

Instantaneous Reaction-Time in Dynamic-Consistency Checking of Conditional Simple Temporal Networks

Instantaneous Reaction-Time in Dynamic-Consistency Checking of Conditional Simple Temporal Networks

by Cairo, Massimo, Comin, Carlo, Rizzi, Romeo
Published in 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) (01.10.2016)

Get full text

Conference Proceeding

A Tractable Generalization of Simple Temporal Networks and Its Relation to Mean Payoff Games

A Tractable Generalization of Simple Temporal Networks and Its Relation to Mean Payoff Games

by Comin, Carlo, Posenato, Roberto, Rizzi, Romeo
Published in 2014 21st International Symposium on Temporal Representation and Reasoning (01.09.2014)

Get full text

Conference Proceeding

Energy Structure of Optimal Positional Strategies in Mean Payoff Games

Energy Structure of Optimal Positional Strategies in Mean Payoff Games

by Comin, Carlo
Year of Publication 10.08.2015

Get full text

Journal Article

On Restricted Disjunctive Temporal Problems: Faster Algorithms and Tractability Frontier

On Restricted Disjunctive Temporal Problems: Faster Algorithms and Tractability Frontier

by Comin, Carlo, Rizzi, Romeo
Year of Publication 06.05.2018

Get full text

Journal Article

Linear-Time Safe-Alternating DFS and SCCs

Linear-Time Safe-Alternating DFS and SCCs

by Comin, Carlo, Rizzi, Romeo
Published in arXiv.org (13.02.2022)

Get full text

Paper

Sorting with Forbidden Intermediates

Sorting with Forbidden Intermediates

by Comin, Carlo, Labarre, Anthony, Rizzi, Romeo, Vialette, Stéphane
Published in Algorithms for Computational Biology (2016)

Get full text

Book Chapter

Linear-Time Safe-Alternating DFS and SCCs

Linear-Time Safe-Alternating DFS and SCCs

by Comin, Carlo, Rizzi, Romeo
Year of Publication 30.10.2016

Get full text

Journal Article

Faster O(|V|^2|E|W)-Time Energy Algorithms for Optimal Strategy Synthesis in Mean Payoff Games

Faster O(|V|^2|E|W)-Time Energy Algorithms for Optimal Strategy Synthesis in Mean Payoff Games

by Comin, Carlo, Rizzi, Romeo
Year of Publication 06.09.2016

Get full text

Journal Article

(Extended Version) Algebraic Characterization of the Class of Languages recognized by Measure Only Quantum Automata

(Extended Version) Algebraic Characterization of the Class of Languages recognized by Measure Only Quantum Automata

by Comin, Carlo
Year of Publication 16.01.2013

Get full text

Journal Article