Publications in 2012
1-
, "A co-design methodology for processor-centric embedded systems with hardware acceleration using FPGA"
,
VIII IEEE Southern Programmable Logic Conference – SPL 2012, page 7-14 - March 2012
2-
, "A Method for Optimizing Waste Collection Using Mathematical Programming: A Buenos Aires Case Study"
,
Waste Management & Research, Volume 30, Number 3, page 311--324 - 2012
3-
, "A simple visual navigation system for an UAV"
,
9th IEEE International Multi-Conference on Systems, Signals and Devices – SSD12 - March 2012
4-
, "On coloring problems with local constraints"
,
Discrete Mathematics, Volume 312, Number 12--13, page 2027--2039 - 2012
5-
, "“Synthesising Non-Anomalous Event-Based Controllers for Liveness Goals”"
,
CM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, Volume in press - 2012
Publications in 2011
1-
, "A branch and cut algorithm for the minimum-adjacency vertex coloring problem"
,
Discrete Optimization - 2011
2-
, "A dataflow analysis to improve SAT-based program verification"
,
SEFM 2011: Software Engineering and Formal Methods, page 138--153 - 2011
3-
, "A linear programming approach for adaptive synchronization of traffic signal"
,
VII ALIO/EURO Workshop on Applied Combinatorial Optimization, Portugal, - May 2011
4-
, "A model-based approach for multiple QoS in scheduling: from models to implementation"
,
Autom. Software Engineering, Volume 18, page 5--38 - 2011
5-
, "A Multi-style License Plate Recognition System based on Tree of Shapes for Character Segmentation"
,
16th Iberoamerican Congress on Pattern Recognition. - November 2011
6-
, "A new programming interface for Educational Robotics,"
,
Research and Education in Robotics – EUROBOT 2011 , Communications in Computer and Information Science (CCIS), page 68-77 - June 2011
7-
, "A polyhedral study of the maximum edge subgraph problem"
,
Discrete Applied Mathematics - 2011
8-
, "Acoustic and prosodic correlates of social behavior"
,
Interspeech - 2011
9-
, "Affirmative cue words in task-oriented dialogue"
,
Computational Linguistics - 2011
10-
, "Algorithms of intrinsic complexity for point searching in compact real singular hypersurfaces."
,
Foundations of Computational Mathematics, Volume 2011-19, page 1-45 - Noviembre 2011
11-
, "An application of the traveling tournament problem: The Argentine volleyball league"
,
INTERFACES - 2011
12-
, "An Integer Linear Progamming Formulation and Branch and Cut Algorithm for teh Capacitated m-Ring-Star Problem"
,
VI Latin-American Algorithms, Graphs and Optimization Symposium, page 179-184 - 2011
13-
, "Ant Colony Algorithm hybridized with insertion heuristics for the Time Dependent Vehicle Routing Problem"
,
Computers & Operations Research, Volume 38, page 954-966 - 2011
14-
, "Automatically finding clusters in normalized cuts "
,
Pattern Recognition, Volume 44, Number 7, page 1372--1386 - July 2011
15-
, "Between coloring and list-coloring: $\mu$-coloring"
,
Ars Combinatoria, Volume 99, page 383--398 - 2011