Manuel Carro

2009
43	EE	Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo: Towards a Complete Scheme for Tabled Execution Based on Program Transformation. PADL 2009: 224-238
42	EE	Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo: A Program Transformation for Continuation Call-Based Tabled Execution CoRR abs/0901.3906: (2009)
2008
41	EE	Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López, 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: 209-237
40	EE	Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo: A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism. ICLP 2008: 651-666
39	EE	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: 795-800
38	EE	Michele Mancioppi, Manuel Carro, Willem-Jan van den Heuvel, Mike P. Papazoglou: Sound Multi-party Business Protocols for Service Networks. ICSOC 2008: 302-316
37	EE	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: 18-34
36	EE	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: 197-213
35	EE	Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo: Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism. PADL 2008: 230-247
34	EE	Edison Mera, Pedro López-García, Manuel Carro, Manuel V. Hermenegildo: Towards execution time estimation in abstract machine-based languages. PPDP 2008: 174-184
33	EE	José F. Morales, Manuel Carro, Manuel V. Hermenegildo: Comparing tag scheme variations using an abstract machine generator. PPDP 2008: 32-43
2007
32	EE	Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo: Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. LOPSTR 2007: 138-153
31	EE	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: 140-154
30	EE	Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo: Towards a high-level implementation of flexible parallelism primitives for symbolic languages. PASCO 2007: 93-94
29	EE	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 abs/0711.0344: (2007)
28	EE	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 abs/cs/0701108: (2007)
2006
27	EE	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: 271-281
26	EE	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: 431-432
25	EE	José F. Morales, Manuel Carro, Manuel V. Hermenegildo: Towards Description and Optimization of Abstract Machines in an Extension of Prolog. LOPSTR 2006: 77-93
2005
24	EE	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: 21-36
2004
23	EE	Jesús Correas, J. M. Gómez, Manuel Carro, Daniel Cabeza, Manuel V. Hermenegildo: A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations). PADL 2004: 104-119
22	EE	José F. Morales, Manuel Carro, Manuel V. Hermenegildo: Improved Compilation of Prolog to C Using Moded Types and Determinism Information. PADL 2004: 86-103
21	EE	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: 85-106
20	EE	Manuel Carro: An Application of Rational Trees in a Logic Programming Interpreter for a Procedural Language CoRR cs.DS/0403028: (2004)
2003
19	EE	Jesús Correas, J. M. Gómez, Manuel Carro, Daniel Cabeza Gras, Manuel V. Hermenegildo: A Generic Persistence Model for (C)LP Systems. ICLP 2003: 481-482
2000
18		Manuel Carro, Manuel V. Hermenegildo: Tools for Search-Tree Visualisation: The APT Tool. Analysis and Visualization Tools for Constraint Programming 2000: 237-252
17		Manuel Carro, Manuel V. Hermenegildo: Tools for Constraint Visualisation: The VIFID/TRIFID Tool. Analysis and Visualization Tools for Constraint Programming 2000: 253-272
1999
16		Manuel Carro, Manuel V. Hermenegildo: Concurrency in Prolog Using Threads and a Shared Database. ICLP 1999: 320-334
15	EE	Inês de Castro Dutra, Vítor Santos Costa, Gopal Gupta, Enrico Pontelli, Manuel Carro, Péter Kacsuk: Preface. Electr. Notes Theor. Comput. Sci. 30(3): (1999)
1998
14		Manuel Carro, Manuel V. Hermenegildo: Some Design Issues in the Visualization of Constraint Logic Program Execution. APPIA-GULP-PRODE 1998: 71-86
1996
13		Manuel V. Hermenegildo, Francisco Bueno, Daniel Cabeza, Manuel Carro, Maria J. García de la Banda, Pedro López-García, Germán Puebla: The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. APPIA-GULP-PRODE 1996: 105-110
12		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: 724-733
11		Enrico Pontelli, Gopal Gupta, Dongxing Tang, Manuel Carro, Manuel V. Hermenegildo: Improving the Efficiency of Nondeterministic Independent and-Parallel Systems. Comput. Lang. 22(2/3): 115-142 (1996)
10		Manuel V. Hermenegildo, Manuel Carro: Relating Data-Parallelism and (and-) Parallelism in Logic Programs. Comput. Lang. 22(2/3): 143-163 (1996)
1995
9		Manuel V. Hermenegildo, Manuel Carro: Relating Data-Parallelism and (And-) Parallelism in Logic Programs. Euro-Par 1995: 27-41
8		Manuel V. Hermenegildo, Daniel Cabeza Gras, Manuel Carro: Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems. ICLP 1995: 631-645
1994
7	EE	M. J. Fernández, Manuel Carro, Manuel V. Hermenegildo: IDRA (IDeal Resource Allocation): A Tool for Computing Ideal Speedups. ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs 1994: 107-122
6	EE	Manuel V. Hermenegildo, Manuel Carro: A Note on Data-Parallelism and (And-Parallel) Prolog. ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs 1994: 49-64
5	EE	Tang Dong Xing, Enrico Pontelli, Gopal Gupta, Manuel Carro: Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs 1994: 93-106
4		Dongxing Tang, Enrico Pontelli, Gopal Gupta, Manuel Carro: Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. SLP 1994: 683-684
3		Manuel V. Hermenegildo, Daniel Cabeza Gras, Manuel Carro: Using Attributed Variables in the Implementation of Parallel and Concurrent Logic Programming Systems. Workshop on Design and Impl. of Parallel Logic Programming Systems 1994: 42-53
1993
2		Manuel Carro, Luis Manuel Gómez Henríquez, Manuel V. Hermenegildo: Some Paradigms for Visualizing Parallel Execution of Logic Programs. ICLP 1993: 184-200
1992
1		Luis Manuel Gómez Henríquez, Manuel Carro, Manuel V. Hermenegildo: Implementation of an Event Driven Scheme for Visualizing Parallel Execution of Logic Programs. IJCSLP Workshop on Concurrent and Parallel Implementations 1992

Coauthor Index

1	Maria Garcia de la Banda (Maria J. García de la Banda)	[13]
2	Francisco Bueno	[13] [41]
3	Daniel Cabeza (Daniel Cabeza Gras)	[3] [8] [13] [19] [23]
4	Amadeo Casas	[30] [32] [35] [40]
5	Jesús Correas	[19] [23]
6	Vítor Santos Costa	[15]
7	Inês de Castro Dutra	[15]
8	M. J. Fernández	[7] [12]
9	Lars-Åke Fredlund (Lars-åke Fredlund)	[29] [37]
10	J. M. Gómez	[19] [23]
11	Gopal Gupta	[4] [5] [11] [15]
12	Pablo Chico de Guzmán	[36] [39] [42] [43]
13	Luis Manuel Gómez Henríquez	[1] [2]
14	Manuel V. Hermenegildo	[1] [2] [3] [6] [7] [8] [9] [10] [11] [12] [13] [14] [16] [17] [18] [19] [22] [23] [24] [25] [26] [27] [28] [30] [31] [32] [33] [34] [35] [36] [39] [40] [41] [42] [43]
15	Ángel Herranz-Nieva	[21] [29] [37]
16	Willem-Jan van den Heuvel	[38]
17	Péter Kacsuk	[15]
18	Pedro López	[41]
19	Pedro López-García	[13] [26] [28] [31] [34]
20	Michele Mancioppi	[38]
21	Julio Mariño-Carballo (Julio Mariño)	[21] [29] [37]
22	Guillem Marpons-Ucero	[29] [37]
23	Edison Mera	[26] [28] [31] [34]
24	José F. Morales	[22] [24] [25] [27] [33] [41]
25	Juan José Moreno-Navarro	[21] [29] [37]
26	Henk L. Muller	[27]
27	Mike P. Papazoglou	[38]
28	Enrico Pontelli	[4] [5] [11] [15]
29	Germán Puebla (German Puebla)	[13] [24] [26] [27] [28] [31] [41]
30	Ricardo Rocha	[36]
31	Cláudio Silva	[36]
32	Dongxing Tang	[4] [11]
33	Tang Dong Xing	[5]

Colors in the list of coauthors