Implementation of an Event Driven Scheme for Visualizing Parallel Execution of Logic Programs. - Luis Manuel Gómez Henríquez; Manuel Carro; Manuel V. Hermenegildo (IJCSLP Workshop on Concurrent and Parallel Implementations, 1992)

Some Paradigms for Visualizing Parallel Execution of Logic Programs. - Manuel Carro; Luis Manuel Gómez Henríquez; Manuel V. Hermenegildo (ICLP, 1993)

IDRA (IDeal Resource Allocation): A Tool for Computing Ideal Speedups. - M. J. Fernández; Manuel Carro; Manuel V. Hermenegildo (ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs, 1994)

A Note on Data-Parallelism and (And-Parallel) Prolog. - Manuel V. Hermenegildo; Manuel Carro (ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs, 1994)

Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. - Dongxing Tang; Enrico Pontelli; Gopal Gupta 001; Manuel Carro (ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs, 1994)

Using Attributed Variables in the Implementation of Parallel and Concurrent Logic Programming Systems. - Manuel V. Hermenegildo; Daniel Cabeza Gras; Manuel Carro (Workshop on Design and Impl. of Parallel Logic Programming Systems, 1994)

Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems. - Manuel V. Hermenegildo; Daniel Cabeza Gras; Manuel Carro (ICLP, 1995)

The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. - Manuel V. Hermenegildo; Francisco Bueno; Daniel Cabeza; Manuel Carro; Maria J. García de la Banda; Pedro López-García 001; Germán Puebla (APPIA-GULP-PRODE, 1996)

IDRA (IDeal Resource Allocation): Computing Ideal Speedups in Parallel Logic Programming. - M. J. Fernández; Manuel Carro; Manuel V. Hermenegildo (Euro-Par, Vol. II, 1996)

Relating Data-Parallelism and (and-) Parallelism in Logic Programs. - Manuel V. Hermenegildo; Manuel Carro (Comput. Lang., 1996)

Improving the Efficiency of Nondeterministic Independent and-Parallel Systems. - Enrico Pontelli; Gopal Gupta 001; Dongxing Tang; Manuel Carro; Manuel V. Hermenegildo (Comput. Lang., 1996)

Some Design Issues in the Visualization of Constraint Logic Program Execution. - Manuel Carro; Manuel V. Hermenegildo (APPIA-GULP-PRODE, 1998)

Concurrency in Prolog Using Threads and a Shared Database. - Manuel Carro; Manuel V. Hermenegildo (ICLP, 1999)

Preface. - Inês de Castro Dutra; Vítor Santos Costa; Gopal Gupta 001; Enrico Pontelli; Manuel Carro; Péter Kacsuk (Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP, 1999)

Tools for Search-Tree Visualisation: The APT Tool. - Manuel Carro; Manuel V. Hermenegildo (Analysis and Visualization Tools for Constraint Programming, 2000)

Tools for Constraint Visualisation: The VIFID/TRIFID Tool. - Manuel Carro; Manuel V. Hermenegildo (Analysis and Visualization Tools for Constraint Programming, 2000)

A Generic Persistence Model for (C)LP Systems. - Jesús Correas; José M. Gómez; Manuel Carro; Daniel Cabeza Gras; Manuel V. Hermenegildo (ICLP, 2003)

A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations). - Jesús Correas; José M. Gómez; Manuel Carro; Daniel Cabeza; Manuel V. Hermenegildo (PADL, 2004)

Improved Compilation of Prolog to C Using Moded Types and Determinism Information. - José F. Morales 001; Manuel Carro; Manuel V. Hermenegildo (PADL, 2004)

Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns. - Manuel Carro; Julio Mariño; Ángel Herranz-Nieva; Juan José Moreno-Navarro (TFM, 2004)

An Application of Rational Trees in a Logic Programming Interpreter for a Procedural Language - Manuel Carro (CoRR, 2004)

A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization. - José F. Morales 001; Manuel Carro; Germán Puebla; Manuel V. Hermenegildo (ICLP, 2005)

High-level languages for small devices: a case study. - Manuel Carro; José F. Morales 001; Henk L. Muller; Germán Puebla; Manuel V. Hermenegildo (CASES, 2006)

Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation. - Edison Mera; Pedro López-García 001; Germán Puebla; Manuel Carro; Manuel V. Hermenegildo (ICLP, 2006)

Towards Description and Optimization of Abstract Machines in an Extension of Prolog. - José F. Morales 001; Manuel Carro; Manuel V. Hermenegildo (LOPSTR, 2006)

Towards a high-level implementation of flexible parallelism primitives for symbolic languages. - Amadeo Casas; Manuel Carro; Manuel V. Hermenegildo (PASCO, 2007)

Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. - Amadeo Casas; Manuel Carro; Manuel V. Hermenegildo (LOPSTR, 2007)

Combining Static Analysis and Profiling for Estimating Execution Times. - Edison Mera; Pedro López-García 001; Germán Puebla; Manuel Carro; Manuel V. Hermenegildo (PADL, 2007)

Automatic Coding Rule Conformance Checking Using Logic Programs - Guillem Marpons-Ucero; Julio Mariño; Ángel Herranz-Nieva; Lars-Åke Fredlund; Manuel Carro; Juan José Moreno-Navarro (CoRR, 2007)

Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling - Edison Mera; Pedro López-García 001; Germán Puebla; Manuel Carro; Manuel V. Hermenegildo (CoRR, 2007)

An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy. - Manuel V. Hermenegildo; Francisco Bueno; Manuel Carro; Pedro López-García 001; José F. Morales 001; Germán Puebla (Concurrency, Graphs and Models, 2008)

A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism. - Amadeo Casas; Manuel Carro; Manuel V. Hermenegildo (ICLP, 2008)

A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation. - Pablo Chico de Guzmán; Manuel Carro; Manuel V. Hermenegildo (ICLP, 2008)

Sound Multi-party Business Protocols for Service Networks. - Michele Mancioppi; Manuel Carro; Willem-Jan van den Heuvel; Mike P. Papazoglou (ICSOC, 2008)

Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism. - Amadeo Casas; Manuel Carro; Manuel V. Hermenegildo (PADL, 2008)

An Improved Continuation Call-Based Implementation of Tabling. - Pablo Chico de Guzmán; Manuel Carro; Manuel V. Hermenegildo; Cláudio Silva 001; Ricardo Rocha 001 (PADL, 2008)

Automatic Coding Rule Conformance Checking Using Logic Programming. - Guillem Marpons-Ucero; Julio Mariño-Carballo; Manuel Carro; Ángel Herranz-Nieva; Juan José Moreno-Navarro; Lars-Åke Fredlund (PADL, 2008)

Towards execution time estimation in abstract machine-based languages. - Edison Mera; Pedro López-García 001; Manuel Carro; Manuel V. Hermenegildo (PPDP, 2008)

Comparing tag scheme variations using an abstract machine generator. - José F. Morales 001; Manuel Carro; Manuel V. Hermenegildo (PPDP, 2008)

A Coding Rule Conformance Checker Integrated into GCC. - Guillem Marpons-Ucero; Julio Mariño; Manuel Carro; Ángel Herranz-Nieva; Lars-Åke Fredlund; Juan José Moreno-Navarro; Álvaro Polo (PROLE, 2008)

Modeling Concurrent Systems with Shared Resources. - Ángel Herranz-Nieva; Julio Mariño; Manuel Carro; Juan José Moreno-Navarro (FMICS, 2009)

A Tabling Implementation Based on Variables with Multiple Bindings. - Pablo Chico de Guzmán; Manuel Carro; Manuel V. Hermenegildo (ICLP, 2009)

An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Predictive Monitoring. - Dragan Ivanovic; Manuel Carro; Manuel V. Hermenegildo (ICSOC/ServiceWave Workshops, 2009)

Towards a Complete Scheme for Tabled Execution Based on Program Transformation. - Pablo Chico de Guzmán; Manuel Carro; Manuel V. Hermenegildo (PADL, 2009)

A Program Transformation for Continuation Call-Based Tabled Execution - Pablo Chico de Guzmán; Manuel Carro; Manuel V. Hermenegildo (CoRR, 2009)

Building Dynamic Models of Service Compositions with Simulation of Provision Resources. - Dragan Ivanovic; Martin Treiber; Manuel Carro; Schahram Dustdar (ER, 2010)

Automatic Fragment Identification in Workflows Based on Sharing Analysis. - Dragan Ivanovic; Manuel Carro; Manuel V. Hermenegildo (ICSOC, 2010)

A Soft Constraint-Based Approach to QoS-Aware Service Selection. - Mohamed Anis Zemni; Salima Benbernou; Manuel Carro (ICSOC, 2010)

Towards Data-Aware QoS-driven Adaptation for Service Orchestrations. - Dragan Ivanovic; Manuel Carro; Manuel V. Hermenegildo (ICWS, 2010)

Modeling and Negotiating Service Quality. - Salima Benbernou; Ivona Brandic; Cinzia Cappiello; Manuel Carro; Marco Comuzzi; Attila Kertész; Kyriakos Kritikos; Michael Parkin; Barbara Pernici; Pierluigi Plebani (S-CUBE Book, 2010)

Analytical Quality Assurance. - Andreas Metzger; Salima Benbernou; Manuel Carro; Maha Driss; Gabor Kecskemeti; Raman Kazhamiakin; Kyriakos Kritikos; Andrea Mocci; Elisabetta Di Nitto; Branimir Wetzstein; Fabrizio Silvestri (S-CUBE Book, 2010)

Swapping evaluation: A memory-scalable solution for answer-on-demand tabling. - Pablo Chico de Guzmán; Manuel Carro; David Scott Warren (Theory Pract. Log. Program., 2010)

Logic Programming. - Manuel Carro (Encyclopedia of Software Engineering, 2010)

Automated Attribute Inference in Complex Service Workflows Based on Sharing Analysis. - Dragan Ivanovic; Manuel Carro; Manuel V. Hermenegildo (IEEE SCC, 2011)

Third international workshop on principles of engineering service-oriented systems: (PESOS 2011). - Manuel Carro; Dimka Karastoyanova; Grace A. Lewis; Anna Liu (ICSE, 2011)

Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations. - Dragan Ivanovic; Manuel Carro; Manuel V. Hermenegildo (ICSOC, 2011)

An Overview of the Ciao System. - Manuel V. Hermenegildo; Francisco Bueno; Manuel Carro; Pedro López-García 001; Rémy Haemmerlé; Edison Mera; José F. Morales 001; Germán Puebla (RuleML Europe, 2011)

Parallel backtracking with answer memoing for independent and-parallelism. - Pablo Chico de Guzmán; Amadeo Casas; Manuel Carro; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2011)

Logic Languages. - Manuel Carro; Manuel V. Hermenegildo (Encyclopedia of Parallel Computing, 2011)

Deriving Specifications for Composite Web Services. - George Baryannis; Manuel Carro; Dimitris Plexousakis (COMPSAC, 2012)

A General Implementation Framework for Tabled CLP. - Pablo Chico de Guzmán; Manuel Carro; Manuel V. Hermenegildo; Peter J. Stuckey (FLOPS, 2012)

Exploring the impact of inaccuracy and imprecision of QoS assumptions on proactive constraint-based QoS prediction for service orchestrations. - Dragan Ivanovic; Manuel Carro; Manuel V. Hermenegildo (PESOS@ICSE, 2012)

Analyzing service-oriented systems using their data and structure. - Dragan Ivanovic; Manuel Carro; Manuel V. Hermenegildo (S-Cube@ICSE, 2012)

Research challenges on service technology foundations. - Dimka Karastoyanova; Dragan Ivanovic; Zsolt Németh; Manuel Carro; Claudia Di Napoli; Maurizio Giordano; Cesare Pautasso (S-Cube@ICSE, 2012)

A Constraint-Based Approach to Quality Assurance in Service Choreographies. - Dragan Ivanovic; Manuel Carro; Manuel V. Hermenegildo (ICSOC, 2012)

A Segment-Swapping Approach for Executing Trapped Computations. - Pablo Chico de Guzmán; Amadeo Casas; Manuel Carro; Manuel V. Hermenegildo (PADL, 2012)

An overview of Ciao and its design philosophy. - Manuel V. Hermenegildo; Francisco Bueno; Manuel Carro; Pedro López-García 001; Edison Mera; José F. Morales 001; Germán Puebla (Theory Pract. Log. Program., 2012)

Lightweight compilation of (C)LP to JavaScript. - José F. Morales 001; Rémy Haemmerlé; Manuel Carro; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2012)

Towards QoS prediction based on composition structure analysis and probabilistic environment models. - Dragan Ivanovic; Peerachai Kaowichakorn; Manuel Carro (PESOS@ICSE, 2013)

Reversible Language Extensions and Their Application in Debugging. - Zoé Drey; José F. Morales 001; Manuel V. Hermenegildo; Manuel Carro (PADL, 2013)

Supporting Pruning in Tabled LP. - Pablo Chico de Guzmán; Manuel Carro; Manuel V. Hermenegildo (PADL, 2013)

A sharing-based approach to supporting adaptation in service compositions. - Dragan Ivanovic; Manuel Carro; Manuel V. Hermenegildo (Computing, 2013)

A survey on service quality description. - Kyriakos Kritikos; Barbara Pernici; Pierluigi Plebani; Cinzia Cappiello; Marco Comuzzi; Salima Benbernou; Ivona Brandic; Attila Kertész; Michael Parkin; Manuel Carro (ACM Comput. Surv., 2013)

A model-driven approach to teaching concurrency. - Manuel Carro; Ángel Herranz-Nieva; Julio Mariño (ACM Trans. Comput. Educ., 2013)

Transforming Service Compositions into Cloud-Friendly Actor Networks. - Dragan Ivanovic; Manuel Carro (ICSOC, 2014)

Towards QoS Prediction Based on Composition Structure Analysis and Probabilistic Models. - Dragan Ivanovic; Manuel Carro; Peerachai Kaowichakorn (ICSOC, 2014)

Towards a Generic Interface to Integrate CLP and Tabled Execution (Extended Abstract). - Joaquín Arias; Manuel Carro (ICLP (Technical Communications), 2015)

A Haskell Implementation of a Rule-Based Program Transformation for C Programs. - Salvador Tamarit; Guillermo Vigueras; Manuel Carro; Julio Mariño (PADL, 2015)

Comparing and Combining Predictive Business Process Monitoring Techniques. - Andreas Metzger; Philipp Leitner 001; Dragan Ivanovic; Eric Schmieders; Rod Franklin; Manuel Carro; Schahram Dustdar; Klaus Pohl (IEEE Trans. Syst. Man Cybern. Syst., 2015)

Program transformations in the POLCA project. - Jan Kuper; Lutz Schubert; Kilian Kempf; Colin W. Glass; Daniel Rubio Bonilla; Manuel Carro (DATE, 2016)

Description and evaluation of a generic design to integrate CLP and tabled execution. - Joaquín Arias; Manuel Carro (PPDP, 2016)

Papers presented at the 32nd International Conference on Logic Programming (ICLP 2016). - Manuel Carro; Andy King (CoRR, 2016)

Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems. - Salvador Tamarit; Julio Mariño; Guillermo Vigueras; Manuel Carro (CoRR, 2016)

Proceedings of the First Workshop on Program Transformation for Programmability in Heterogeneous Architectures. - Salvador Tamarit; Julio Mariño; Guillermo Vigueras; Manuel Carro (CoRR, 2016)

Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems. - Salvador Tamarit; Julio Mariño; Guillermo Vigueras; Manuel Carro (PROLE, 2016)

Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code. - Guillermo Vigueras; Manuel Carro; Salvador Tamarit; Julio Mariño (PROLE, 2016)

Introduction to the 32nd International Conference on Logic Programming Special Issue. - Manuel Carro; Andy King (Theory Pract. Log. Program., 2016)

Description and Optimization of Abstract Machines in a Dialect of Prolog. - José F. Morales 001; Manuel Carro; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2016)

Vergleich und Kombination von Techniken des Predictive Business Process Monitoring. - Andreas Metzger; Philipp Leitner 001; Dragan Ivanovic; Eric Schmieders; Rod Franklin; Manuel Carro; Schahram Dustdar; Klaus Pohl (Software Engineering, 2017)

Constraint Answer Set Programming without Grounding. - Joaquín Arias; Manuel Carro; Elmer Salazar; Kyle Marple; Gopal Gupta 001 (Theory Pract. Log. Program., 2018)

Constraint Answer Set Programming without Grounding and its Applications. - Joaquín Arias; Manuel Carro; Zhuo Chen; Gopal Gupta 001 (Datalog, 2019)

Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP. - Joaquín Arias; Manuel Carro (PADL, 2019)

Description, Implementation, and Evaluation of a Generic Design for Tabled CLP. - Joaquín Arias; Manuel Carro (Theory Pract. Log. Program., 2019)

Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP. - Joaquín Arias; Manuel Carro (Theory Pract. Log. Program., 2019)

Justifications for Goal-Directed Constraint Answer Set Programming. - Joaquín Arias; Manuel Carro; Zhuo Chen; Gopal Gupta 001 (ICLP Technical Communications, 2020)

A Theoretical Study of (Full) Tabled Constraint Logic Programming. - Joaquín Arias; Manuel Carro (CoRR, 2020)

A Short Tutorial on s(CASP), a Goal-directed Execution of Constraint Answer Set Programs. - Joaquín Arias; Gopal Gupta 001; Manuel Carro (ICLP Workshops, 2021)

An s(CASP) In-Browser Playground based on Ciao Prolog. - Guillermo García-Pradales; José F. Morales 001; Manuel V. Hermenegildo; Joaquín Arias; Manuel Carro (ICLP Workshops, 2022)

Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming. - Joaquín Arias; Manuel Carro; Gopal Gupta 001 (PADL, 2022)

Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming. - Joaquín Arias; Manuel Carro; Zhuo Chen; Gopal Gupta 001 (Theory Pract. Log. Program., 2022)

Building Information Modeling Using Constraint Logic Programming. - Joaquín Arias; Seppo Törmä; Manuel Carro; Gopal Gupta 001 (Theory Pract. Log. Program., 2022)

Prolog: Past, Present, and Future. - Gopal Gupta 001; Elmer Salazar; Farhad Shakerin; Joaquín Arias; Sarat Chandra Varanasi; Kinjal Basu 002; Huaduo Wang; Fang Li 010; Serdar Erbatur; Parth Padalkar; Abhiramon Rajasekharan; Yankai Zeng; et al. (Prolog: The Next 50 Years, 2023)

Types, Modes and so Much More - The Prolog Way. - Manuel V. Hermenegildo; José F. Morales 001; Pedro López-García 001; Manuel Carro (Prolog: The Next 50 Years, 2023)