Improved pseudo-polynomial bound for the value problem and optimal strategy synthesis in mean payoff games C Comin, R Rizzi Algorithmica 77, 995-1021, 2017 | 38* | 2017 |
Dynamic consistency of conditional simple temporal networks via mean payoff games: a singly-exponential time dc-checking C Comin, R Rizzi 2015 22nd International Symposium on Temporal Representation and Reasoning …, 2015 | 32 | 2015 |
Incorporating decision nodes into conditional simple temporal networks M Cairo, C Combi, C Comin, L Hunsberger, R Posenato, R Rizzi, ... LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS 90, 1-18, 2017 | 27 | 2017 |
An improved upper bound on maximal clique listing via rectangular fast matrix multiplication C Comin, R Rizzi Algorithmica 80, 3525-3562, 2018 | 23 | 2018 |
Instantaneous reaction-time in dynamic-consistency checking of conditional simple temporal networks M Cairo, C Comin, R Rizzi 2016 23rd International Symposium on Temporal Representation and Reasoning …, 2016 | 18 | 2016 |
A tractable generalization of simple temporal networks and its relation to mean payoff games C Comin, R Posenato, R Rizzi 2014 21st International Symposium on Temporal Representation and Reasoning, 7-16, 2014 | 14 | 2014 |
Hyper temporal networks: A tractable generalization of simple temporal networks and its relation to mean payoff games C Comin, R Posenato, R Rizzi Constraints 22, 152-190, 2017 | 13 | 2017 |
Towards a standard approach for optimization in science and engineering C Comin, L Onesti, C Kavka International Conference on Software Engineering and Applications 2, 169-177, 2013 | 6 | 2013 |
Algebraic characterization of the class of languages recognized by measure only quantum automata C Comin Fundamenta Informaticae 134 (3-4), 335-353, 2014 | 5 | 2014 |
Data Transformations using QVT between Industrial Workflows and Business Models in BPMN C Abdelahad, D Riesco, C Comin, A Carrara, C Kavka Proceedings of the Seventh International Conference on Software Engineering …, 2012 | 5 | 2012 |
Energy structure and improved complexity upper bound for optimal positional strategies in mean payoff games C Comin, R Rizzi 3rd International Workshop on Strategic Reasoning 20, 2015 | 4 | 2015 |
A HyTN Consistency Check Algorithm Implementation in C/C++ C Comin http://profs.sci.univr.it/~posenato/software/hytn/TIME2014Code.tgz, 2015 | 4 | 2015 |
Checking dynamic consistency of conditional hyper temporal networks via mean payoff games: Hardness and (pseudo) singly-exponential time algorithm C Comin, R Rizzi Information and Computation 259, 348-374, 2018 | 3 | 2018 |
Faster O (| V|^ 2| E| W)-Time Energy Algorithms for Optimal Strategy Synthesis in Mean Payoff Games C Comin, R Rizzi arXiv preprint arXiv:1609.01517, 2016 | 3 | 2016 |
Sorting with forbidden intermediates C Comin, A Labarre, R Rizzi, S Vialette Algorithms for Computational Biology: Third International Conference, AlCoB …, 2016 | 3 | 2016 |
Hyper temporal networks C Comin, R Posenato, R Rizzi arXiv preprint arXiv:1503.03974, 2015 | 3 | 2015 |
On Restricted Disjunctive Temporal Problems: Faster Algorithms and Tractability Frontier C Comin, R Rizzi arXiv preprint arXiv:1805.02183, 2018 | 2 | 2018 |
Complexity in Infinite Games on Graphs and Temporal Constraint Networks C Comin Università degli studi di Trento, 2017 | 2 | 2017 |
Linear-Time Safe-Alternating DFS and SCCs C Comin, R Rizzi arXiv preprint arXiv:1610.09679, 2016 | 2* | 2016 |
Towards the standardization of industrial scientific and engineering workflows with qvt transformations C Abdelahad, D Riesco, A Carrara, C Comin, C Kavka International Journal On Advances in Software 6 (1), 2013 | 2 | 2013 |