Manuel Carro

ORCID

Publication Activity (10 Years)

Years Active: 1992-2022
Publications (10 Years): 30

Top Venues

CoRR

Theory Pract. Log. Program.

PADL

PROLE

Publications

Joaquín Arias, Manuel Carro, Gopal Gupta
Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming. PADL (2022)
Joaquín Arias, Seppo Törmä, Manuel Carro, Gopal Gupta
Building Information Modeling Using Constraint Logic Programming. CoRR (2022)
Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming. Theory Pract. Log. Program. 22 (1) (2022)
Joaquín Arias, Seppo Törmä, Manuel Carro, Gopal Gupta
Building Information Modeling Using Constraint Logic Programming. Theory Pract. Log. Program. 22 (5) (2022)
Guillermo García-Pradales, José F. Morales, Manuel V. Hermenegildo, Joaquín Arias, Manuel Carro
An s(CASP) In-Browser Playground based on Ciao Prolog. ICLP Workshops (2022)
Joaquín Arias, Manuel Carro, Gopal Gupta
Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming. CoRR (2021)
Joaquín Arias, Gopal Gupta, Manuel Carro
A Short Tutorial on s(CASP), a Goal-directed Execution of Constraint Answer Set Programs. ICLP Workshops (2021)
Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming. CoRR (2021)
Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta
Justifications for Goal-Directed Constraint Answer Set Programming. ICLP Technical Communications (2020)
Joaquín Arias, Manuel Carro
A Theoretical Study of (Full) Tabled Constraint Logic Programming. CoRR (2020)
Joaquín Arias, Manuel Carro
Description, Implementation, and Evaluation of a Generic Design for Tabled CLP. Theory Pract. Log. Program. 19 (3) (2019)
Joaquín Arias, Manuel Carro
Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP. PADL (2019)
Joaquín Arias, Manuel Carro
Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP. Theory Pract. Log. Program. 19 (5-6) (2019)
Joaquín Arias, Manuel Carro
Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP. CoRR (2019)
Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta
Constraint Answer Set Programming without Grounding and its Applications. Datalog (2019)
Joaquín Arias, Zhuo Chen, Manuel Carro, Gopal Gupta
Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming. LOPSTR (2019)
Joaquín Arias, Manuel Carro
Description, Implementation, and Evaluation of a Generic Design for Tabled CLP. CoRR (2018)
Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta
Constraint Answer Set Programming without Grounding. CoRR (2018)
Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta
Constraint Answer Set Programming without Grounding. Theory Pract. Log. Program. 18 (3-4) (2018)
Andreas Metzger, Philipp Leitner, Dragan Ivanovic, Eric Schmieders, Rod Franklin, Manuel Carro, Schahram Dustdar, Klaus Pohl
Vergleich und Kombination von Techniken des Predictive Business Process Monitoring. Software Engineering (2017)
Jan Kuper, Lutz Schubert, Kilian Kempf, Colin W. Glass, Daniel Rubio Bonilla, Manuel Carro
Program transformations in the POLCA project. DATE (2016)
Manuel Carro, Andy King
Papers presented at the 32nd International Conference on Logic Programming (ICLP 2016). CoRR (2016)
Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro
Proceedings of the First Workshop on Program Transformation for Programmability in Heterogeneous Architectures. CoRR (2016)
Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro
Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems. PROLE (2016)
Guillermo Vigueras, Manuel Carro, Salvador Tamarit, Julio Mariño
Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code. PROLE (2016)
Guillermo Vigueras, Manuel Carro, Salvador Tamarit, Julio Mariño
Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code. CoRR (2016)
Joaquín Arias, Manuel Carro
Description and evaluation of a generic design to integrate CLP and tabled execution. PPDP (2016)
José F. Morales, Manuel Carro, Manuel V. Hermenegildo
Description and Optimization of Abstract Machines in a Dialect of Prolog. Theory Pract. Log. Program. 16 (1) (2016)
Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro
Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems. CoRR (2016)
Manuel Carro, Andy King
Introduction to the 32nd International Conference on Logic Programming Special Issue. Theory Pract. Log. Program. 16 (5-6) (2016)
Andreas Metzger, Philipp Leitner, Dragan Ivanovic, Eric Schmieders, Rod Franklin, Manuel Carro, Schahram Dustdar, Klaus Pohl
Comparing and Combining Predictive Business Process Monitoring Techniques. IEEE Trans. Syst. Man Cybern. Syst. 45 (2) (2015)
Salvador Tamarit, Guillermo Vigueras, Manuel Carro, Julio Mariño
A Haskell Implementation of a Rule-Based Program Transformation for C Programs. PADL (2015)
Joaquín Arias, Manuel Carro
Towards a Generic Interface to Integrate CLP and Tabled Execution (Extended Abstract). ICLP (Technical Communications) (2015)
José F. Morales, Manuel Carro, Manuel V. Hermenegildo
Description and Optimization of Abstract Machines in a Dialect of Prolog. CoRR (2014)
Dragan Ivanovic, Manuel Carro, Peerachai Kaowichakorn
Towards QoS Prediction Based on Composition Structure Analysis and Probabilistic Models. ICSOC (2014)
Dragan Ivanovic, Manuel Carro
Transforming Service Compositions into Cloud-Friendly Actor Networks. ICSOC (2014)
Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo
Supporting Pruning in Tabled LP. PADL (2013)
Manuel Carro, Ángel Herranz-Nieva, Julio Mariño
A model-driven approach to teaching concurrency. ACM Trans. Comput. Educ. 13 (1) (2013)
Kyriakos Kritikos, Barbara Pernici, Pierluigi Plebani, Cinzia Cappiello, Marco Comuzzi, Salima Benbernou, Ivona Brandic, Attila Kertész, Michael Parkin, Manuel Carro
A survey on service quality description. ACM Comput. Surv. 46 (1) (2013)
Zoé Drey, José F. Morales, Manuel V. Hermenegildo, Manuel Carro
Reversible Language Extensions and Their Application in Debugging. PADL (2013)
Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
A sharing-based approach to supporting adaptation in service compositions. Computing 95 (6) (2013)
Dragan Ivanovic, Peerachai Kaowichakorn, Manuel Carro
Towards QoS prediction based on composition structure analysis and probabilistic environment models. PESOS@ICSE (2013)
Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Peter J. Stuckey
A General Implementation Framework for Tabled CLP. FLOPS (2012)
José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo
Lightweight compilation of (C)LP to JavaScript CoRR (2012)
Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
Exploring the impact of inaccuracy and imprecision of QoS assumptions on proactive constraint-based QoS prediction for service orchestrations. PESOS@ICSE (2012)
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, Germán Puebla
An overview of Ciao and its design philosophy. Theory Pract. Log. Program. 12 (1-2) (2012)
José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo
Lightweight compilation of (C)LP to JavaScript. Theory Pract. Log. Program. 12 (4-5) (2012)
George Baryannis, Manuel Carro, Dimitris Plexousakis
Deriving Specifications for Composite Web Services. COMPSAC (2012)
Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
A Constraint-Based Approach to Quality Assurance in Service Choreographies. ICSOC (2012)
Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
Analyzing service-oriented systems using their data and structure. S-Cube@ICSE (2012)
Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
A Segment-Swapping Approach for Executing Trapped Computations. PADL (2012)
Dimka Karastoyanova, Dragan Ivanovic, Zsolt Németh, Manuel Carro, Claudia Di Napoli, Maurizio Giordano, Cesare Pautasso
Research challenges on service technology foundations. S-Cube@ICSE (2012)
Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
Parallel backtracking with answer memoing for independent and-parallelism. Theory Pract. Log. Program. 11 (4-5) (2011)
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Rémy Haemmerlé, Edison Mera, José F. Morales, Germán Puebla
An Overview of the Ciao System. RuleML Europe (2011)
Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
Parallel Backtracking with Answer Memoing for Independent And-Parallelism CoRR (2011)
Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations. ICSOC (2011)
Manuel Carro, Dimka Karastoyanova, Grace A. Lewis, Anna Liu
Third international workshop on principles of engineering service-oriented systems: (PESOS 2011). ICSE (2011)
Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
Automated Attribute Inference in Complex Service Workflows Based on Sharing Analysis. IEEE SCC (2011)
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, German Puebla
An overview of Ciao and its design philosophy CoRR (2011)
Pablo Chico de Guzmán, Manuel Carro, David Scott Warren
Swapping evaluation: A memory-scalable solution for answer-on-demand tabling. Theory Pract. Log. Program. 10 (4-6) (2010)
Mohamed Anis Zemni, Salima Benbernou, Manuel Carro
A Soft Constraint-Based Approach to QoS-Aware Service Selection. ICSOC (2010)
Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
Towards Data-Aware QoS-driven Adaptation for Service Orchestrations. ICWS (2010)
Pablo Chico de Guzmán, Manuel Carro, David Scott Warren
Swapping Evaluation: A Memory-Scalable Solution for Answer-On-Demand Tabling CoRR (2010)
Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
Automatic Fragment Identification in Workflows Based on Sharing Analysis. ICSOC (2010)
Dragan Ivanovic, Martin Treiber, Manuel Carro, Schahram Dustdar
Building Dynamic Models of Service Compositions with Simulation of Provision Resources. ER (2010)
Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo
A Tabling Implementation Based on Variables with Multiple Bindings. ICLP (2009)
Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo
Towards a Complete Scheme for Tabled Execution Based on Program Transformation. PADL (2009)
Ángel Herranz-Nieva, Julio Mariño, Manuel Carro, Juan José Moreno-Navarro
Modeling Concurrent Systems with Shared Resources. FMICS (2009)
Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo
A Program Transformation for Continuation Call-Based Tabled Execution CoRR (2009)
Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Predictive Monitoring. ICSOC/ServiceWave Workshops (2009)
Guillem Marpons-Ucero, Julio Mariño, Manuel Carro, Ángel Herranz-Nieva, Lars-Åke Fredlund, Juan José Moreno-Navarro, Álvaro Polo
A Coding Rule Conformance Checker Integrated into GCC. Electron. Notes Theor. Comput. Sci. 248 (2009)
Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism. PADL (2008)
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, José F. Morales, Germán Puebla
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy. Concurrency, Graphs and Models (2008)
Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo
A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation. ICLP (2008)
Michele Mancioppi, Manuel Carro, Willem-Jan van den Heuvel, Mike P. Papazoglou
Sound Multi-party Business Protocols for Service Networks. ICSOC (2008)
Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism. ICLP (2008)
Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Cláudio Silva, Ricardo Rocha
An Improved Continuation Call-Based Implementation of Tabling. PADL (2008)
Edison Mera, Pedro López-García, Manuel Carro, Manuel V. Hermenegildo
Towards execution time estimation in abstract machine-based languages. PPDP (2008)
Guillem Marpons-Ucero, Julio Mariño-Carballo, Manuel Carro, Ángel Herranz-Nieva, Juan José Moreno-Navarro, Lars-Åke Fredlund
Automatic Coding Rule Conformance Checking Using Logic Programming. PADL (2008)
José F. Morales, Manuel Carro, Manuel V. Hermenegildo
Comparing tag scheme variations using an abstract machine generator. PPDP (2008)
Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. LOPSTR (2007)
Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo
Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling CoRR (2007)
Guillem Marpons-Ucero, Julio Mariño, Ángel Herranz-Nieva, Lars-Åke Fredlund, Manuel Carro, Juan José Moreno-Navarro
Automatic Coding Rule Conformance Checking Using Logic Programs CoRR (2007)
Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo
Combining Static Analysis and Profiling for Estimating Execution Times. PADL (2007)
Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
Towards a high-level implementation of flexible parallelism primitives for symbolic languages. PASCO (2007)
Manuel Carro, José F. Morales, Henk L. Muller, Germán Puebla, Manuel V. Hermenegildo
High-level languages for small devices: a case study. CASES (2006)
Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo
Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation. ICLP (2006)
José F. Morales, Manuel Carro, Manuel V. Hermenegildo
Towards Description and Optimization of Abstract Machines in an Extension of Prolog. LOPSTR (2006)
José F. Morales, Manuel Carro, Germán Puebla, Manuel V. Hermenegildo
A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization. ICLP (2005)
José F. Morales, Manuel Carro, Manuel V. Hermenegildo
Improved Compilation of Prolog to C Using Moded Types and Determinism Information. PADL (2004)
Jesús Correas, José M. Gómez, Manuel Carro, Daniel Cabeza, Manuel V. Hermenegildo
A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations). PADL (2004)
Manuel Carro
An Application of Rational Trees in a Logic Programming Interpreter for a Procedural Language CoRR (2004)
Manuel Carro, Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro
Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns. TFM (2004)
Jesús Correas, José M. Gómez, Manuel Carro, Daniel Cabeza Gras, Manuel V. Hermenegildo
A Generic Persistence Model for (C)LP Systems. ICLP (2003)
Manuel Carro, Manuel V. Hermenegildo
Tools for Constraint Visualisation: The VIFID/TRIFID Tool. Analysis and Visualization Tools for Constraint Programming (2000)
Manuel Carro, Manuel V. Hermenegildo
Tools for Search-Tree Visualisation: The APT Tool. Analysis and Visualization Tools for Constraint Programming (2000)
Manuel Carro, Manuel V. Hermenegildo
Concurrency in Prolog Using Threads and a Shared Database. ICLP (1999)
Inês de Castro Dutra, Vítor Santos Costa, Gopal Gupta, Enrico Pontelli, Manuel Carro, Péter Kacsuk
Preface. Electron. Notes Theor. Comput. Sci. 30 (3) (1999)
Manuel Carro, Manuel V. Hermenegildo
Some Design Issues in the Visualization of Constraint Logic Program Execution. APPIA-GULP-PRODE (1998)
M. J. Fernández, Manuel Carro, Manuel V. Hermenegildo
IDRA (IDeal Resource Allocation): Computing Ideal Speedups in Parallel Logic Programming. Euro-Par, Vol. II (1996)

Manuel Carro.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Manuel Carro