Publications at DC
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
16-
, "Bounded coloring of co-comparability graphs and the pickup and delivery tour combination problem"
,
Theoretical Computer Science, Volume 412, Number 45, page 6261--6268 - 2011
17-
, "Clique-perfectness of complements of line graphs (Extended abstract)"
,
Electronic Notes in Discrete Mathematics, Volume 37, page 327--332 - 2011
18-
, "Combinatorial properties and further facets of maximum edge subgraph polytopes"
,
Electronic Notes in Discrete Mathematics, Volume 37, page 303--308 - 2011
19-
, "Contractor.NET: Inferring Typestate Properties to Enrich Code Contracts"
,
TOPI 2011: 1st Workshop on Developing Tools as Plug-ins - 2011
20-
, "Correlation-based inter and intra-band predictions for lossless compression of multispectral images"
,
XIV Reunión de Trabajo Procesamiento de la Información y Control , page 770--775 - 2011
21-
, "Cycle transversals in bounded degree graphs"
,
Discrete Mathematics and Theoretical Computer Science, Volume 13, Number 1, page 45--66 - 2011
22-
, "Detección automática de defectos normativos, una invitación a la colaboración"
,
40 JAIIO - Simposio Argentino de Informática y Derecho - 2011
23-
, "Efficient evaluation of specific queries in constraint databases."
,
Information Processing Letters, Volume 111, Number 19, page 941-944 - Octubre 2011
24-
, "Enforcing Structural Invariants using Dynamic Frames"
,
International Conference on Tools and Algorithms for The Construction and Analysis of Systems (TACAS 2011), page 65--80 - 2011
25-
, "Entrainment in speech preceding backchannels"
,
Annual Meeting of the Association for Computational Linguistics (ACL/HLT), page 113-117 - 2011
26-
, "Envy-free division of discrete cakes"
,
Electronic Notes in Discrete Mathematics, Volume 37, page 231--236 - 2011
27-
, "Eratosthenes 2009/2010: An Old Experiment in Modern Times"
,
Astronomy Education Review, Volume 10, Number 010201-1 - 2011
28-
, "Exploring Inconsistencies between Modal Transition Systems"
,
Software and Systems Modeling, Volume 10, Number 1, page 117--142 - Febrero 2011
29-
, "Forbidden subgraphs and the Konig property"
,
Electronic Notes in Discrete Mathematics, Volume 37, page 333--338 - 2011
30-
, "FVS: A declarative aspect oriented modeling language"
,
Electronic Journal of SADIO, Volume 10, Number 1, page 20--37 - April 2011
31-
, "Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs"
,
5th International Conference on Tests & Proofs. (TAP 2011), Volume 6706, page 15--32 - June 2011 2011
32-
, "Layered Testbench for Assertion-Based Verification"
,
VII IEEE Southern Programmable Logic Conference – SPL 2011, Designer Forum - April 2011
33-
, "Linear time analysis of properties of conflict-free and general Petri nets"
,
Theoretical Computer Science, Volume 412, Number 4-5, page 320-338 - 2011
34-
, "Lower Complexity Bounds for Interpolation Algorithms"
,
Journal of Complexity, Volume 27, Number 2, page 151-187 - Abril 2011
35-
, "Minimum sum set coloring of trees and line graphs of trees"
,
Discrete Applied Mathematics, Volume 159, Number 5, page 288--294 - 2011