Manuel Carro

According to our database1, Manuel Carro authored at least 85 papers between 1992 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Constraint Answer Set Programming without Grounding.
TPLP, 2018

2017
Vergleich und Kombination von Techniken des Predictive Business Process Monitoring.
Proceedings of the Software Engineering 2017, 2017

2016
Description and Optimization of Abstract Machines in a Dialect of Prolog.
TPLP, 2016

Introduction to the 32nd International Conference on Logic Programming Special Issue.
TPLP, 2016

Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code.
Proceedings of the Proceedings XVI Jornadas sobre Programación y Lenguajes, 2016

Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems.
Proceedings of the Proceedings XVI Jornadas sobre Programación y Lenguajes, 2016

Description and evaluation of a generic design to integrate CLP and tabled execution.
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016

Program transformations in the POLCA project.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2015
Comparing and Combining Predictive Business Process Monitoring Techniques.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2015

A Haskell Implementation of a Rule-Based Program Transformation for C Programs.
Proceedings of the Practical Aspects of Declarative Languages, 2015

Towards a Generic Interface to Integrate CLP and Tabled Execution (Extended Abstract).
Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015

2014
Towards QoS Prediction Based on Composition Structure Analysis and Probabilistic Models.
Proceedings of the Service-Oriented Computing - 12th International Conference, 2014

Transforming Service Compositions into Cloud-Friendly Actor Networks.
Proceedings of the Service-Oriented Computing - 12th International Conference, 2014

2013
A model-driven approach to teaching concurrency.
TOCE, 2013

A survey on service quality description.
ACM Comput. Surv., 2013

A sharing-based approach to supporting adaptation in service compositions.
Computing, 2013

Supporting Pruning in Tabled LP.
Proceedings of the Practical Aspects of Declarative Languages, 2013

Reversible Language Extensions and Their Application in Debugging.
Proceedings of the Practical Aspects of Declarative Languages, 2013

Towards QoS prediction based on composition structure analysis and probabilistic environment models.
Proceedings of the 5th International ICSE Workshop on Principles of Engineering Service-Oriented Systems, 2013

2012
Lightweight compilation of (C)LP to JavaScript.
TPLP, 2012

An overview of Ciao and its design philosophy.
TPLP, 2012

A Segment-Swapping Approach for Executing Trapped Computations.
Proceedings of the Practical Aspects of Declarative Languages, 2012

A Constraint-Based Approach to Quality Assurance in Service Choreographies.
Proceedings of the Service-Oriented Computing - 10th International Conference, 2012

Research challenges on service technology foundations.
Proceedings of the First International Workshop on European Software Services and Systems Research, 2012

Analyzing service-oriented systems using their data and structure.
Proceedings of the First International Workshop on European Software Services and Systems Research, 2012

Exploring the impact of inaccuracy and imprecision of QoS assumptions on proactive constraint-based QoS prediction for service orchestrations.
Proceedings of the 4th International ICSE Workshop on Principles of Engineering Service-Oriented Systems, 2012

A General Implementation Framework for Tabled CLP.
Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012

Deriving Specifications for Composite Web Services.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

2011
Logic Languages.
Proceedings of the Encyclopedia of Parallel Computing, 2011

Parallel backtracking with answer memoing for independent and-parallelism.
TPLP, 2011

An Overview of the Ciao System.
Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011

Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations.
Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

Third international workshop on principles of engineering service-oriented systems: (PESOS 2011).
Proceedings of the 33rd International Conference on Software Engineering, 2011

Automated Attribute Inference in Complex Service Workflows Based on Sharing Analysis.
Proceedings of the IEEE International Conference on Services Computing, 2011

2010
Logic Programming.
Proceedings of the Encyclopedia of Software Engineering, 2010

Swapping evaluation: A memory-scalable solution for answer-on-demand tabling.
TPLP, 2010

Analytical Quality Assurance.
Proceedings of the Service Research Challenges and Solutions for the Future Internet - S-Cube, 2010

Modeling and Negotiating Service Quality.
Proceedings of the Service Research Challenges and Solutions for the Future Internet - S-Cube, 2010

Towards Data-Aware QoS-driven Adaptation for Service Orchestrations.
Proceedings of the IEEE International Conference on Web Services, 2010

A Soft Constraint-Based Approach to QoS-Aware Service Selection.
Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

Automatic Fragment Identification in Workflows Based on Sharing Analysis.
Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

Building Dynamic Models of Service Compositions with Simulation of Provision Resources.
Proceedings of the Conceptual Modeling, 2010

2009
A Coding Rule Conformance Checker Integrated into GCC.
Electr. Notes Theor. Comput. Sci., 2009

Towards a Complete Scheme for Tabled Execution Based on Program Transformation.
Proceedings of the Practical Aspects of Declarative Languages, 2009

An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Predictive Monitoring.
Proceedings of the Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops, 2009

A Tabling Implementation Based on Variables with Multiple Bindings.
Proceedings of the Logic Programming, 25th International Conference, 2009

Modeling Concurrent Systems with Shared Resources.
Proceedings of the Formal Methods for Industrial Critical Systems, 2009

2008
Comparing tag scheme variations using an abstract machine generator.
Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

Towards execution time estimation in abstract machine-based languages.
Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

Automatic Coding Rule Conformance Checking Using Logic Programming.
Proceedings of the Practical Aspects of Declarative Languages, 2008

An Improved Continuation Call-Based Implementation of Tabling.
Proceedings of the Practical Aspects of Declarative Languages, 2008

Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism.
Proceedings of the Practical Aspects of Declarative Languages, 2008

Sound Multi-party Business Protocols for Service Networks.
Proceedings of the Service-Oriented Computing, 2008

A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation.
Proceedings of the Logic Programming, 24th International Conference, 2008

A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism.
Proceedings of the Logic Programming, 24th International Conference, 2008

An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy.
Proceedings of the Concurrency, 2008

2007
Combining Static Analysis and Profiling for Estimating Execution Times.
Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007

Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2007

Towards a high-level implementation of flexible parallelism primitives for symbolic languages.
Proceedings of the Parallel Symbolic Computation, 2007

2006
Towards Description and Optimization of Abstract Machines in an Extension of Prolog.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2006

Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation.
Proceedings of the Logic Programming, 22nd International Conference, 2006

High-level languages for small devices: a case study.
Proceedings of the 2006 International Conference on Compilers, 2006

2005
A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization.
Proceedings of the Logic Programming, 21st International Conference, 2005

2004
Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns.
Proceedings of the Teaching Formal Methods, CoLogNET/FME Symposium, 2004

Improved Compilation of Prolog to C Using Moded Types and Determinism Information.
Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations).
Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

2003
A Generic Persistence Model for (C)LP Systems.
Proceedings of the Logic Programming, 19th International Conference, 2003

2000
Tools for Constraint Visualisation: The VIFID/TRIFID Tool.
Proceedings of the Analysis and Visualization Tools for Constraint Programming, 2000

Tools for Search-Tree Visualisation: The APT Tool.
Proceedings of the Analysis and Visualization Tools for Constraint Programming, 2000

1999
Preface.
Electr. Notes Theor. Comput. Sci., 1999

Concurrency in Prolog Using Threads and a Shared Database.
Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

1998
Some Design Issues in the Visualization of Constraint Logic Program Execution.
Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1996
Improving the Efficiency of Nondeterministic Independent and-Parallel Systems.
Comput. Lang., 1996

Relating Data-Parallelism and (and-) Parallelism in Logic Programs.
Comput. Lang., 1996

IDRA (IDeal Resource Allocation): Computing Ideal Speedups in Parallel Logic Programming.
Proceedings of the Euro-Par '96 Parallel Processing, 1996

The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995
Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems.
Proceedings of the Logic Programming, 1995

Relating Data-Parallelism and (And-) Parallelism in Logic Programs.
Proceedings of the Euro-Par '95 Parallel Processing, 1995

1994
Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems.
Proceedings of the Logic Programming, 1994

Using Attributed Variables in the Implementation of Parallel and Concurrent Logic Programming Systems.
Proceedings of the ILPS 94 Workshop on Design and Implementation of Parallel Logic Programming Systems, 1994

Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems.
Proceedings of the Parallel and Data Parallel Execution of Logic Programs, 1994

A Note on Data-Parallelism and (And-Parallel) Prolog.
Proceedings of the Parallel and Data Parallel Execution of Logic Programs, 1994

IDRA (IDeal Resource Allocation): A Tool for Computing Ideal Speedups.
Proceedings of the Parallel and Data Parallel Execution of Logic Programs, 1994

1993
Some Paradigms for Visualizing Parallel Execution of Logic Programs.
Proceedings of the Logic Programming, 1993

1992
Implementation of an Event Driven Scheme for Visualizing Parallel Execution of Logic Programs.
Proceedings of the Workshop on Concurrent and Parallel Implementations (sessions A and B), 1992


  Loading...