| 2022 | ICLP | An s(CASP) In-Browser Playground based on Ciao Prolog. | Guillermo Garca-Pradales, Jos F. Morales, Manuel V. Hermenegildo, Joaqun Arias, Manuel Carro |
| 2022 | PADL | Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming. | Joaqun Arias, Manuel Carro, Gopal Gupta |
| 2021 | ICLP | A Short Tutorial on s(CASP), a Goal-directed Execution of Constraint Answer Set Programs. | Joaqun Arias, Gopal Gupta, Manuel Carro |
| 2019 | LOPSTR | Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming. | Joaqun Arias, Zhuo Chen, Manuel Carro, Gopal Gupta |
| 2019 | PADL | Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP. | Joaqun Arias, Manuel Carro |
| 2016 | DATE | Program transformations in the POLCA project. | Jan Kuper, Lutz Schubert, Kilian Kempf, Colin W. Glass, Daniel Rubio Bonilla, Manuel Carro |
| 2016 | PPDP | Description and evaluation of a generic design to integrate CLP and tabled execution. | Joaqun Arias, Manuel Carro |
| 2015 | ICLP | Towards a Generic Interface to Integrate CLP and Tabled Execution (Extended Abstract). | Joaqun Arias, Manuel Carro |
| 2015 | PADL | A Haskell Implementation of a Rule-Based Program Transformation for C Programs. | Salvador Tamarit, Guillermo Vigueras, Manuel Carro, Julio Mario |
| 2014 | ICSOC | Transforming Service Compositions into Cloud-Friendly Actor Networks. | Dragan Ivanovic, Manuel Carro |
| 2014 | ICSOC | Towards QoS Prediction Based on Composition Structure Analysis and Probabilistic Models. | Dragan Ivanovic, Manuel Carro, Peerachai Kaowichakorn |
| 2013 | ICSE | Towards QoS prediction based on composition structure analysis and probabilistic environment models. | Dragan Ivanovic, Peerachai Kaowichakorn, Manuel Carro |
| 2013 | PADL | Reversible Language Extensions and Their Application in Debugging. | Zo Drey, Jos F. Morales, Manuel V. Hermenegildo, Manuel Carro |
| 2013 | PADL | Supporting Pruning in Tabled LP. | Pablo Chico de Guzmn, Manuel Carro, Manuel V. Hermenegildo |
| 2012 | COMPSAC | Deriving Specifications for Composite Web Services. | George Baryannis, Manuel Carro, Dimitris Plexousakis |
| 2012 | FLOPS | A General Implementation Framework for Tabled CLP. | Pablo Chico de Guzmn, Manuel Carro, Manuel V. Hermenegildo, Peter J. Stuckey |
| 2012 | ICSE | 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 |
| 2012 | ICSE | Analyzing service-oriented systems using their data and structure. | Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo |
| 2012 | ICSE | Research challenges on service technology foundations. | Dimka Karastoyanova, Dragan Ivanovic, Zsolt Nmeth, Manuel Carro, Claudia Di Napoli, Maurizio Giordano, Cesare Pautasso |
| 2012 | ICSOC | A Constraint-Based Approach to Quality Assurance in Service Choreographies. | Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo |
| 2012 | PADL | A Segment-Swapping Approach for Executing Trapped Computations. | Pablo Chico de Guzmn, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
| 2011 | ICSE | Third international workshop on principles of engineering service-oriented systems: (PESOS 2011). | Manuel Carro, Dimka Karastoyanova, Grace A. Lewis, Anna Liu |
| 2011 | ICSOC | Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations. | Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo |
| 2010 | ER | Building Dynamic Models of Service Compositions with Simulation of Provision Resources. | Dragan Ivanovic, Martin Treiber, Manuel Carro, Schahram Dustdar |
| 2010 | ICSOC | Automatic Fragment Identification in Workflows Based on Sharing Analysis. | Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo |
| 2010 | ICSOC | A Soft Constraint-Based Approach to QoS-Aware Service Selection. | Mohamed Anis Zemni, Salima Benbernou, Manuel Carro |
| 2010 | ICWS | Towards Data-Aware QoS-driven Adaptation for Service Orchestrations. | Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo |
| 2009 | FMICS | Modeling Concurrent Systems with Shared Resources. | ngel Herranz-Nieva, Julio Mario, Manuel Carro, Juan Jos Moreno-Navarro |
| 2009 | ICLP | A Tabling Implementation Based on Variables with Multiple Bindings. | Pablo Chico de Guzmn, Manuel Carro, Manuel V. Hermenegildo |
| 2009 | ICSOC | An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Predictive Monitoring. | Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo |
| 2009 | PADL | Towards a Complete Scheme for Tabled Execution Based on Program Transformation. | Pablo Chico de Guzmn, Manuel Carro, Manuel V. Hermenegildo |
| 2008 | ICLP | A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism. | Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
| 2008 | ICLP | A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation. | Pablo Chico de Guzmn, Manuel Carro, Manuel V. Hermenegildo |
| 2008 | ICSOC | Sound Multi-party Business Protocols for Service Networks. | Michele Mancioppi, Manuel Carro, Willem-Jan van den Heuvel, Mike P. Papazoglou |
| 2008 | PADL | Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism. | Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
| 2008 | PADL | An Improved Continuation Call-Based Implementation of Tabling. | Pablo Chico de Guzmn, Manuel Carro, Manuel V. Hermenegildo, Cludio Silva, Ricardo Rocha |
| 2008 | PADL | Automatic Coding Rule Conformance Checking Using Logic Programming. | Guillem Marpons-Ucero, Julio Mario-Carballo, Manuel Carro, ngel Herranz-Nieva, Juan Jos Moreno-Navarro, Lars-ke Fredlund |
| 2008 | PPDP | Towards execution time estimation in abstract machine-based languages. | Edison Mera, Pedro Lpez-Garca, Manuel Carro, Manuel V. Hermenegildo |
| 2008 | PPDP | Comparing tag scheme variations using an abstract machine generator. | Jos F. Morales, Manuel Carro, Manuel V. Hermenegildo |
| 2007 | ISSAC | Towards a high-level implementation of flexible parallelism primitives for symbolic languages. | Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
| 2007 | LOPSTR | Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. | Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
| 2007 | PADL | Combining Static Analysis and Profiling for Estimating Execution Times. | Edison Mera, Pedro Lpez-Garca, Germn Puebla, Manuel Carro, Manuel V. Hermenegildo |
| 2006 | CASES | High-level languages for small devices: a case study. | Manuel Carro, Jos F. Morales, Henk L. Muller, Germn Puebla, Manuel V. Hermenegildo |
| 2006 | ICLP | Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation. | Edison Mera, Pedro Lpez-Garca, Germn Puebla, Manuel Carro, Manuel V. Hermenegildo |
| 2006 | LOPSTR | Towards Description and Optimization of Abstract Machines in an Extension of Prolog. | Jos F. Morales, Manuel Carro, Manuel V. Hermenegildo |
| 2005 | ICLP | A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization. | Jos F. Morales, Manuel Carro, Germn Puebla, Manuel V. Hermenegildo |
| 2004 | PADL | A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations). | Jess Correas, Jos M. Gmez, Manuel Carro, Daniel Cabeza, Manuel V. Hermenegildo |
| 2004 | PADL | Improved Compilation of Prolog to C Using Moded Types and Determinism Information. | Jos F. Morales, Manuel Carro, Manuel V. Hermenegildo |
| 2003 | ICLP | A Generic Persistence Model for (C)LP Systems. | Jess Correas, Jos M. Gmez, Manuel Carro, Daniel Cabeza Gras, Manuel V. Hermenegildo |
| 1999 | ICLP | Concurrency in Prolog Using Threads and a Shared Database. | Manuel Carro, Manuel V. Hermenegildo |
| 1996 | EuroPar | IDRA (IDeal Resource Allocation): Computing Ideal Speedups in Parallel Logic Programming. | M. J. Fernndez, Manuel Carro, Manuel V. Hermenegildo |
| 1995 | EuroPar | Relating Data-Parallelism and (And-) Parallelism in Logic Programs. | Manuel V. Hermenegildo, Manuel Carro |
| 1995 | ICLP | Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems. | Manuel V. Hermenegildo, Daniel Cabeza Gras, Manuel Carro |
| 1994 | ICLP | IDRA (IDeal Resource Allocation): A Tool for Computing Ideal Speedups. | M. J. Fernndez, Manuel Carro, Manuel V. Hermenegildo |
| 1994 | ICLP | A Note on Data-Parallelism and (And-Parallel) Prolog. | Manuel V. Hermenegildo, Manuel Carro |
| 1994 | ICLP | Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. | Dongxing Tang, Enrico Pontelli, Gopal Gupta, Manuel Carro |
| 1993 | ICLP | Some Paradigms for Visualizing Parallel Execution of Logic Programs. | Manuel Carro, Luis Manuel Gmez Henrquez, Manuel V. Hermenegildo |
| 1992 | ICLP | Implementation of an Event Driven Scheme for Visualizing Parallel Execution of Logic Programs. | Luis Manuel Gmez Henrquez, Manuel Carro, Manuel V. Hermenegildo |