Manuel Carro - RankMe

124 papers A* 1A 10B 11C 22Misc 2Journal 37Unranked 31

Year	Rank	Type	Title / Venue / Authors
2026	B	`ed.`	Proceedings 41st International Conference on Logic Programming, ICLP 2025, Rende, Italy, 12-19th September 2025. ICLP Martin Gebser, Daniela Inclezan, Francesco Ricca, Manuel Carro, Miroslaw Truszczynski
2023	—	`ch.`	Prolog: Past, Present, and Future. Prolog: The Next 50 Years Gopal Gupta, Elmer Salazar, Farhad Shakerin, Joaquín Arias, Sarat Chandra Varanasi, Kinjal Basu, Huaduo Wang, Fang Li, Serdar Erbatur, Parth Padalkar, Abhiramon Rajasekharan, Yankai Zeng, Manuel Carro
2023	—	`ch.`	Types, Modes and so Much More - The Prolog Way. Prolog: The Next 50 Years Manuel V. Hermenegildo, José F. Morales, Pedro López-García, Manuel Carro
2022	—	`conf`	An s(CASP) In-Browser Playground based on Ciao Prolog. ICLP Workshops Guillermo García-Pradales, José F. Morales, Manuel V. Hermenegildo, Joaquín Arias, Manuel Carro
2022	J	`jnl`	Building Information Modeling Using Constraint Logic Programming. CoRR Joaquín Arias, Seppo Törmä, Manuel Carro, Gopal Gupta
2022	J	`jnl`	Building Information Modeling Using Constraint Logic Programming. Theory Pract. Log. Program. Joaquín Arias, Seppo Törmä, Manuel Carro, Gopal Gupta
2022	J	`jnl`	Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming. Theory Pract. Log. Program. Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta
2022	C	`conf`	Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming. PADL Joaquín Arias, Manuel Carro, Gopal Gupta
2021	—	`conf`	A Short Tutorial on s(CASP), a Goal-directed Execution of Constraint Answer Set Programs. ICLP Workshops Joaquín Arias, Gopal Gupta, Manuel Carro
2021	J	`jnl`	Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming. CoRR Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta
2021	J	`jnl`	Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming. CoRR Joaquín Arias, Manuel Carro, Gopal Gupta
2020	J	`jnl`	A Theoretical Study of (Full) Tabled Constraint Logic Programming. CoRR Joaquín Arias, Manuel Carro
2020	—	`conf`	Justifications for Goal-Directed Constraint Answer Set Programming. ICLP Technical Communications Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta
2019	—	`conf`	Constraint Answer Set Programming without Grounding and its Applications. Datalog Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta
2019	J	`jnl`	Description, Implementation, and Evaluation of a Generic Design for Tabled CLP. Theory Pract. Log. Program. Joaquín Arias, Manuel Carro
2019	J	`jnl`	Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP. CoRR Joaquín Arias, Manuel Carro
2019	J	`jnl`	Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP. Theory Pract. Log. Program. Joaquín Arias, Manuel Carro
2019	C	`conf`	Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP. PADL Joaquín Arias, Manuel Carro
2019	C	`conf`	Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming. LOPSTR Joaquín Arias, Zhuo Chen, Manuel Carro, Gopal Gupta
2018	J	`jnl`	Constraint Answer Set Programming without Grounding. CoRR Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta
2018	J	`jnl`	Constraint Answer Set Programming without Grounding. Theory Pract. Log. Program. Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta
2018	J	`jnl`	Description, Implementation, and Evaluation of a Generic Design for Tabled CLP. CoRR Joaquín Arias, Manuel Carro
2017	C	`conf`	Vergleich und Kombination von Techniken des Predictive Business Process Monitoring. Software Engineering Andreas Metzger, Philipp Leitner, Dragan Ivanovic, Eric Schmieders, Rod Franklin, Manuel Carro, Schahram Dustdar, Klaus Pohl
2016	J	`jnl`	Description and Optimization of Abstract Machines in a Dialect of Prolog. Theory Pract. Log. Program. José F. Morales, Manuel Carro, Manuel V. Hermenegildo
2016	C	`conf`	Description and evaluation of a generic design to integrate CLP and tabled execution. PPDP Joaquín Arias, Manuel Carro
2016	J	`jnl`	Introduction to the 32nd International Conference on Logic Programming Special Issue. Theory Pract. Log. Program. Manuel Carro, Andy King
2016	J	`jnl`	Papers presented at the 32nd International Conference on Logic Programming (ICLP 2016). CoRR Manuel Carro, Andy King
2016	J	`jnl`	Proceedings of the First Workshop on Program Transformation for Programmability in Heterogeneous Architectures. CoRR Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro
2016	A	`conf`	Program transformations in the POLCA project. DATE Jan Kuper, Lutz Schubert, Kilian Kempf, Colin W. Glass, Daniel Rubio Bonilla, Manuel Carro
2016	—	`ed.`	Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016 TCs, New York City, USA, October 16-21, 2016 ICLP (Technical Communications) Manuel Carro, Andy King, Neda Saeedloei, Marina De Vos
2016	J	`jnl`	Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code. CoRR Guillermo Vigueras, Manuel Carro, Salvador Tamarit, Julio Mariño
2016	—	`conf`	Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code. PROLE Guillermo Vigueras, Manuel Carro, Salvador Tamarit, Julio Mariño
2016	—	`conf`	Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems. PROLE Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro
2016	J	`jnl`	Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems. CoRR Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro
2015	C	`conf`	A Haskell Implementation of a Rule-Based Program Transformation for C Programs. PADL Salvador Tamarit, Guillermo Vigueras, Manuel Carro, Julio Mariño
2015	J	`jnl`	Comparing and Combining Predictive Business Process Monitoring Techniques. IEEE Trans. Syst. Man Cybern. Syst. Andreas Metzger, Philipp Leitner, Dragan Ivanovic, Eric Schmieders, Rod Franklin, Manuel Carro, Schahram Dustdar, Klaus Pohl
2015	—	`conf`	Towards a Generic Interface to Integrate CLP and Tabled Execution (Extended Abstract). ICLP (Technical Communications) Joaquín Arias, Manuel Carro
2014	J	`jnl`	Description and Optimization of Abstract Machines in a Dialect of Prolog. CoRR José F. Morales, Manuel Carro, Manuel V. Hermenegildo
2014	A	`conf`	Towards QoS Prediction Based on Composition Structure Analysis and Probabilistic Models. ICSOC Dragan Ivanovic, Manuel Carro, Peerachai Kaowichakorn
2014	A	`conf`	Transforming Service Compositions into Cloud-Friendly Actor Networks. ICSOC Dragan Ivanovic, Manuel Carro
2013	J	`jnl`	A model-driven approach to teaching concurrency. ACM Trans. Comput. Educ. Manuel Carro, Ángel Herranz-Nieva, Julio Mariño
2013	J	`jnl`	A sharing-based approach to supporting adaptation in service compositions. Computing Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
2013	J	`jnl`	A survey on service quality description. ACM Comput. Surv. Kyriakos Kritikos, Barbara Pernici, Pierluigi Plebani, Cinzia Cappiello, Marco Comuzzi, Salima Benbernou, Ivona Brandic, Attila Kertész, Michael Parkin, Manuel Carro
2013	C	`conf`	Reversible Language Extensions and Their Application in Debugging. PADL Zoé Drey, José F. Morales, Manuel V. Hermenegildo, Manuel Carro
2013	C	`conf`	Supporting Pruning in Tabled LP. PADL Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo
2013	—	`conf`	Towards QoS prediction based on composition structure analysis and probabilistic environment models. PESOS@ICSE Dragan Ivanovic, Peerachai Kaowichakorn, Manuel Carro
2012	A	`conf`	A Constraint-Based Approach to Quality Assurance in Service Choreographies. ICSOC Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
2012	Misc	`conf`	A General Implementation Framework for Tabled CLP. FLOPS Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Peter J. Stuckey
2012	C	`conf`	A Segment-Swapping Approach for Executing Trapped Computations. PADL Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
2012	J	`jnl`	An overview of Ciao and its design philosophy. Theory Pract. Log. Program. Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, Germán Puebla
2012	—	`conf`	Analyzing service-oriented systems using their data and structure. S-Cube@ICSE Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
2012	B	`conf`	Deriving Specifications for Composite Web Services. COMPSAC George Baryannis, Manuel Carro, Dimitris Plexousakis
2012	—	`conf`	Exploring the impact of inaccuracy and imprecision of QoS assumptions on proactive constraint-based QoS prediction for service orchestrations. PESOS@ICSE Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
2012	J	`jnl`	Lightweight compilation of (C)LP to JavaScript CoRR José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo
2012	J	`jnl`	Lightweight compilation of (C)LP to JavaScript. Theory Pract. Log. Program. José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo
2012	—	`conf`	Research challenges on service technology foundations. S-Cube@ICSE Dimka Karastoyanova, Dragan Ivanovic, Zsolt Németh, Manuel Carro, Claudia Di Napoli, Maurizio Giordano, Cesare Pautasso
2011	—	`conf`	An Overview of the Ciao System. RuleML Europe Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Rémy Haemmerlé, Edison Mera, José F. Morales, Germán Puebla
2011	J	`jnl`	An overview of Ciao and its design philosophy CoRR Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, German Puebla
2011	—	`conf`	Automated Attribute Inference in Complex Service Workflows Based on Sharing Analysis. IEEE SCC Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
2011	A	`conf`	Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations. ICSOC Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
2011	—	`ch.`	Logic Languages. Encyclopedia of Parallel Computing Manuel Carro, Manuel V. Hermenegildo
2011	J	`jnl`	Parallel Backtracking with Answer Memoing for Independent And-Parallelism CoRR Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
2011	J	`jnl`	Parallel backtracking with answer memoing for independent and-parallelism. Theory Pract. Log. Program. Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
2011	—	`ed.`	Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems, PESOS 2011, Waikiki, Honolulu, HI, USA, May 23-24, 2011 PESOS@ICSE Manuel Carro, Dimka Karastoyanova, Grace A. Lewis, Anna Liu
2011	—	`ed.`	Proceedings of the POPL 2011 Workshop on Declarative Aspects of Multicore Programming, DAMP 2011, Austin, TX, USA, January 23, 2011 DAMP Manuel Carro, John H. Reppy
2011	A*	`conf`	Third international workshop on principles of engineering service-oriented systems: (PESOS 2011). ICSE Manuel Carro, Dimka Karastoyanova, Grace A. Lewis, Anna Liu
2010	A	`conf`	A Soft Constraint-Based Approach to QoS-Aware Service Selection. ICSOC Mohamed Anis Zemni, Salima Benbernou, Manuel Carro
2010	—	`ch.`	Analytical Quality Assurance. S-CUBE Book Andreas Metzger, Salima Benbernou, Manuel Carro, Maha Driss, Gabor Kecskemeti, Raman Kazhamiakin, Kyriakos Kritikos, Andrea Mocci, Elisabetta Di Nitto, Branimir Wetzstein, Fabrizio Silvestri
2010	A	`conf`	Automatic Fragment Identification in Workflows Based on Sharing Analysis. ICSOC Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
2010	A	`conf`	Building Dynamic Models of Service Compositions with Simulation of Provision Resources. ER Dragan Ivanovic, Martin Treiber, Manuel Carro, Schahram Dustdar
2010	—	`ch.`	Logic Programming. Encyclopedia of Software Engineering Manuel Carro
2010	—	`ch.`	Modeling and Negotiating Service Quality. S-CUBE Book Salima Benbernou, Ivona Brandic, Cinzia Cappiello, Manuel Carro, Marco Comuzzi, Attila Kertész, Kyriakos Kritikos, Michael Parkin, Barbara Pernici, Pierluigi Plebani
2010	C	`ed.`	Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings PADL Manuel Carro, Ricardo Peña
2010	J	`jnl`	Swapping Evaluation: A Memory-Scalable Solution for Answer-On-Demand Tabling CoRR Pablo Chico de Guzmán, Manuel Carro, David Scott Warren
2010	J	`jnl`	Swapping evaluation: A memory-scalable solution for answer-on-demand tabling. Theory Pract. Log. Program. Pablo Chico de Guzmán, Manuel Carro, David Scott Warren
2010	A	`conf`	Towards Data-Aware QoS-driven Adaptation for Service Orchestrations. ICWS Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
2009	J	`jnl`	A Program Transformation for Continuation Call-Based Tabled Execution CoRR Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo
2009	B	`conf`	A Tabling Implementation Based on Variables with Multiple Bindings. ICLP Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo
2009	—	`conf`	An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Predictive Monitoring. ICSOC/ServiceWave Workshops Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo
2009	C	`conf`	Modeling Concurrent Systems with Shared Resources. FMICS Ángel Herranz-Nieva, Julio Mariño, Manuel Carro, Juan José Moreno-Navarro
2009	C	`conf`	Towards a Complete Scheme for Tabled Execution Based on Program Transformation. PADL Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo
2008	—	`conf`	A Coding Rule Conformance Checker Integrated into GCC. PROLE Guillem Marpons-Ucero, Julio Mariño, Manuel Carro, Ángel Herranz-Nieva, Lars-Åke Fredlund, Juan José Moreno-Navarro, Álvaro Polo
2008	B	`conf`	A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism. ICLP Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
2008	B	`conf`	A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation. ICLP Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo
2008	C	`conf`	An Improved Continuation Call-Based Implementation of Tabling. PADL Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Cláudio Silva, Ricardo Rocha
2008	—	`conf`	An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy. Concurrency, Graphs and Models Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, José F. Morales, Germán Puebla
2008	C	`conf`	Automatic Coding Rule Conformance Checking Using Logic Programming. PADL Guillem Marpons-Ucero, Julio Mariño-Carballo, Manuel Carro, Ángel Herranz-Nieva, Juan José Moreno-Navarro, Lars-Åke Fredlund
2008	C	`conf`	Comparing tag scheme variations using an abstract machine generator. PPDP José F. Morales, Manuel Carro, Manuel V. Hermenegildo
2008	A	`conf`	Sound Multi-party Business Protocols for Service Networks. ICSOC Michele Mancioppi, Manuel Carro, Willem-Jan van den Heuvel, Mike P. Papazoglou
2008	C	`conf`	Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism. PADL Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
2008	C	`conf`	Towards execution time estimation in abstract machine-based languages. PPDP Edison Mera, Pedro López-García, Manuel Carro, Manuel V. Hermenegildo
2007	C	`conf`	Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. LOPSTR Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
2007	J	`jnl`	Automatic Coding Rule Conformance Checking Using Logic Programs CoRR Guillem Marpons-Ucero, Julio Mariño, Ángel Herranz-Nieva, Lars-Åke Fredlund, Manuel Carro, Juan José Moreno-Navarro
2007	C	`conf`	Combining Static Analysis and Profiling for Estimating Execution Times. PADL Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo
2007	J	`jnl`	Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling CoRR Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo
2007	—	`conf`	Towards a high-level implementation of flexible parallelism primitives for symbolic languages. PASCO Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo
2006	Misc	`conf`	High-level languages for small devices: a case study. CASES Manuel Carro, José F. Morales, Henk L. Muller, Germán Puebla, Manuel V. Hermenegildo
2006	C	`conf`	Towards Description and Optimization of Abstract Machines in an Extension of Prolog. LOPSTR José F. Morales, Manuel Carro, Manuel V. Hermenegildo
2006	B	`conf`	Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation. ICLP Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo
2005	B	`conf`	A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization. ICLP José F. Morales, Manuel Carro, Germán Puebla, Manuel V. Hermenegildo
2004	C	`conf`	A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations). PADL Jesús Correas, José M. Gómez, Manuel Carro, Daniel Cabeza, Manuel V. Hermenegildo
2004	J	`jnl`	An Application of Rational Trees in a Logic Programming Interpreter for a Procedural Language CoRR Manuel Carro
2004	C	`conf`	Improved Compilation of Prolog to C Using Moded Types and Determinism Information. PADL José F. Morales, Manuel Carro, Manuel V. Hermenegildo
2004	—	`conf`	Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns. TFM Manuel Carro, Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro
2003	B	`conf`	A Generic Persistence Model for (C)LP Systems. ICLP Jesús Correas, José M. Gómez, Manuel Carro, Daniel Cabeza Gras, Manuel V. Hermenegildo
2000	—	`conf`	Tools for Constraint Visualisation: The VIFID/TRIFID Tool. Analysis and Visualization Tools for Constraint Programming Manuel Carro, Manuel V. Hermenegildo
2000	—	`conf`	Tools for Search-Tree Visualisation: The APT Tool. Analysis and Visualization Tools for Constraint Programming Manuel Carro, Manuel V. Hermenegildo
1999	B	`conf`	Concurrency in Prolog Using Threads and a Shared Database. ICLP Manuel Carro, Manuel V. Hermenegildo
1999	—	`ed.`	Parallelism and Implementation Technology for (Constraint) Logic Programming, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, December 1, 1999 Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP Inês de Castro Dutra, Vítor Santos Costa, Gopal Gupta, Enrico Pontelli, Manuel Carro, Péter Kacsuk
1999	—	`conf`	Preface. Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP Inês de Castro Dutra, Vítor Santos Costa, Gopal Gupta, Enrico Pontelli, Manuel Carro, Péter Kacsuk
1998	—	`conf`	Some Design Issues in the Visualization of Constraint Logic Program Execution. APPIA-GULP-PRODE Manuel Carro, Manuel V. Hermenegildo
1996	—	`conf`	IDRA (IDeal Resource Allocation): Computing Ideal Speedups in Parallel Logic Programming. Euro-Par, Vol. II M. J. Fernández, Manuel Carro, Manuel V. Hermenegildo
1996	J	`jnl`	Improving the Efficiency of Nondeterministic Independent and-Parallel Systems. Comput. Lang. Enrico Pontelli, Gopal Gupta, Dongxing Tang, Manuel Carro, Manuel V. Hermenegildo
1996	J	`jnl`	Relating Data-Parallelism and (and-) Parallelism in Logic Programs. Comput. Lang. Manuel V. Hermenegildo, Manuel Carro
1996	—	`conf`	The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. APPIA-GULP-PRODE Manuel V. Hermenegildo, Francisco Bueno, Daniel Cabeza, Manuel Carro, Maria J. García de la Banda, Pedro López-García, Germán Puebla
1995	—	`conf`	Relating Data-Parallelism and (And-) Parallelism in Logic Programs. Euro-Par Manuel V. Hermenegildo, Manuel Carro
1995	B	`conf`	Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems. ICLP Manuel V. Hermenegildo, Daniel Cabeza Gras, Manuel Carro
1994	—	`conf`	A Note on Data-Parallelism and (And-Parallel) Prolog. ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs Manuel V. Hermenegildo, Manuel Carro
1994	—	`conf`	IDRA (IDeal Resource Allocation): A Tool for Computing Ideal Speedups. ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs M. J. Fernández, Manuel Carro, Manuel V. Hermenegildo
1994	—	`conf`	Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs Dongxing Tang, Enrico Pontelli, Gopal Gupta, Manuel Carro
1994	—	`conf`	Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. ILPS Dongxing Tang, Enrico Pontelli, Gopal Gupta, Manuel Carro
1994	—	`conf`	Using Attributed Variables in the Implementation of Parallel and Concurrent Logic Programming Systems. Workshop on Design and Impl. of Parallel Logic Programming Systems Manuel V. Hermenegildo, Daniel Cabeza Gras, Manuel Carro
1993	B	`conf`	Some Paradigms for Visualizing Parallel Execution of Logic Programs. ICLP Manuel Carro, Luis Manuel Gómez Henríquez, Manuel V. Hermenegildo
1992	—	`conf`	Implementation of an Event Driven Scheme for Visualizing Parallel Execution of Logic Programs. IJCSLP Workshop on Concurrent and Parallel Implementations Luis Manuel Gómez Henríquez, Manuel Carro, Manuel V. Hermenegildo