Search results for: Manuel Carro
Lecture Notes in Computer Science > Conceptual Modeling – ER 2010 > Integration and Composition > 288-301
Lecture Notes in Computer Science > Logic-Based Program Synthesis and Transformation > Partial Evaluation and Program Transformation > 77-93
Lecture Notes in Computer Science > Analysis and Visualization Tools for Constraint Programming > Part II. Performance Debugging > 253-272
Lecture Notes in Computer Science > Analysis and Visualization Tools for Constraint Programming > Part II. Performance Debugging > 237-252
Lecture Notes in Computer Science > Logic-Based Program Synthesis and Transformation > Constraint Solving and Analysis > 138-153
Lecture Notes in Computer Science > Concurrency, Graphs and Models > Constraint and Logic Programming > 209-237
Lecture Notes in Computer Science > Service Research Challenges and Solutions for the Future Internet > 157-208
Lecture Notes in Computer Science > Practical Aspects of Declarative Languages > Tabling and Optimization > 224-238
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Contributed Papers > 102-116