Roberto Cordone
Orcid: 0000-0002-5439-1743
According to our database1,
Roberto Cordone
authored at least 74 papers
between 2001 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
On the completeness of several fortification-interdiction games in the Polynomial Hierarchy.
CoRR, 2024
Proceedings of the 13th International Conference on Operations Research and Enterprise Systems, 2024
2023
Comput. Oper. Res., November, 2023
2022
Supervisory Control of Timed Discrete-Event Systems With Logical and Temporal Specifications.
IEEE Trans. Autom. Control., 2022
Cardinality constrained connected balanced partitions of trees under different criteria.
Discret. Optim., 2022
2021
Comput. Oper. Res., 2021
2019
Discret. Appl. Math., 2019
A bi-objective model for the single-machine scheduling problem with rejection cost and total tardiness minimization.
Comput. Oper. Res., 2019
2018
Toward Smart Building Design Automation: Extensible CAD Framework for Indoor Localization Systems Deployment.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018
A Branch-and-Bound Algorithm for the Prize-Collecting Single-Machine Scheduling Problem with Deadlines and Total Tardiness Minimization.
INFORMS J. Comput., 2018
2017
On edge-aware path-based color spatial sampling for Retinex: from Termite Retinex to Light Energy-driven Termite Retinex.
J. Electronic Imaging, 2017
2016
Electron. Notes Discret. Math., 2016
Electron. Notes Discret. Math., 2016
Electron. Notes Discret. Math., 2016
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016
Floor plan design and automatic nodes deployment for indoor location and monitoring systems.
Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2016 ACM International Symposium on Wearable Computers, 2016
2015
J. Glob. Optim., 2015
Eur. J. Oper. Res., 2015
A branch and bound approach for the design of decentralized supervisors in Petri net models.
Autom., 2015
2014
Eur. J. Oper. Res., 2014
EURO J. Comput. Optim., 2014
Discret. Appl. Math., 2014
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014
2013
IEEE Trans. Syst. Man Cybern. Syst., 2013
Designing Optimal Deadlock Avoidance Policies for Sequential Resource Allocation Systems Through Classification Theory: Existence Results and Customized Algorithms.
IEEE Trans. Autom. Control., 2013
An integer optimization approach for reverse engineering of gene regulatory networks.
Discret. Appl. Math., 2013
Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models.
Autom., 2013
Compact supervisors for general constraint enforcement in Petri net models with uncontrollable transitions.
Proceedings of the 12th European Control Conference, 2013
Compact and decentralized supervisors for general constraint enforcement in Petri net models.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
Proceedings of the American Control Conference, 2013
2012
Upper and Lower Bounds for the Homogeneous Areas Problem.
Proceedings of the 11th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, 2012
Maximally permissive deadlock avoidance for sequential resource allocation systems using disjunctions of linear classifiers.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
2011
J. Oper. Res. Soc., 2011
Proceedings of the 10th Cologne-Twente Workshop on graphs and combinatorial optimization. Extended Abstracts, 2011
Proceedings of the IEEE Conference on Automation Science and Engineering, 2011
2010
Optimization Algorithms for the Max Edge Weighted Clique Problem with Multiple Choice Constraints.
Proceedings of the 9th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, 2010
A reachability graph partitioning technique for the analysis of deadlock prevention methods in bounded Petri nets.
Proceedings of the American Control Conference, 2010
2009
IEEE Trans. Syst. Man Cybern. Part A, 2009
Partitioning and Scheduling of Task Graphs on Partially Dynamically Reconfigurable FPGAs.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009
Proceedings of the 8th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, 2009
Proceedings of the 8th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, 2009
Efficient deadlock prevention in Petri nets through the generation of selected siphons.
Proceedings of the American Control Conference, 2009
2008
IEEE Trans. Syst. Man Cybern. Part A, 2008
The optimization of kEP-SOPs: Computational complexity, approximability and experiments.
ACM Trans. Design Autom. Electr. Syst., 2008
Comput. Oper. Res., 2008
Asia Pac. J. Oper. Res., 2008
Proceedings of the 11th Euromicro Conference on Digital System Design: Architectures, 2008
Heuristic and exact approaches to the Quadratic Minimum Spanning Tree Problem.
Proceedings of the Seventh Cologne Twente Workshop on Graphs and Combinatorial Optimization, 2008
Proceedings of the 4th European Conference on Colour in Graphics, 2008
2007
Discret. Appl. Math., 2007
Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, 2007
Proceedings of the 46th IEEE Conference on Decision and Control, 2007
2006
Proceedings of the VLSI-SoC: Research Trends in VLSI and Systems on Chip, 2006
Using speculative computation and parallelizing techniques to improve scheduling of control based designs.
Proceedings of the 2006 Conference on Asia South Pacific Design Automation: ASP-DAC 2006, 2006
2005
IEEE Trans. Syst. Man Cybern. Part A, 2005
2004
Electron. Notes Discret. Math., 2004
Electron. Notes Discret. Math., 2004
2003
Comput. Oper. Res., 2003
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003
2001
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2001
Proceedings of the Applications of Evolutionary Computing, 2001