- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j9 |      | Manuel Carro, Ángel Herranz-Nieva, Julio Mariño: A model-driven approach to teaching concurrency. TOCE 13(1): 5 (2013) |
| 2012 | ||
| j8 | | 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. TPLP 12(1-2): 219-252 (2012) |
| j7 | | José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo: Lightweight compilation of (C)LP to JavaScript. TPLP 12(4-5): 755-773 (2012) |
| c53 | | George Baryannis, Manuel Carro, Dimitris Plexousakis: Deriving Specifications for Composite Web Services. COMPSAC 2012: 432-437 |
| c52 | | Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Peter J. Stuckey: A General Implementation Framework for Tabled CLP. FLOPS 2012: 104-119 |
| c51 | | Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo: A Constraint-Based Approach to Quality Assurance in Service Choreographies. ICSOC 2012: 252-267 |
| c50 | | Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo: A Segment-Swapping Approach for Executing Trapped Computations. PADL 2012: 138-152 |
| i8 | | José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo: Lightweight compilation of (C)LP to JavaScript. CoRR abs/1210.2864 (2012) |
| 2011 | ||
| j6 | | Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo: Parallel backtracking with answer memoing for independent and-parallelism. TPLP 11(4-5): 555-574 (2011) |
| c49 | | Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo: Automated Attribute Inference in Complex Service Workflows Based on Sharing Analysis. IEEE SCC 2011: 120-127 |
| c48 | | Manuel Carro, Dimka Karastoyanova, Grace A. Lewis, Anna Liu: Third international workshop on principles of engineering service-oriented systems: (PESOS 2011). ICSE 2011: 1218-1219 |
| c47 | | Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo: Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations. ICSOC 2011: 62-76 |
| c46 | | 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: 2 |
| r2 | | Manuel Carro, Manuel V. Hermenegildo: Logic Languages. Encyclopedia of Parallel Computing 2011: 1057-1068 |
| e2 |  | Manuel Carro, John H. Reppy (Eds.): Proceedings of the POPL 2011 Workshop on Declarative Aspects of Multicore Programming, DAMP 2011, Austin, TX, USA, January 23, 2011. ACM 2011, isbn 978-1-4503-0486-3 |
| i7 | | 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 abs/1102.5497 (2011) |
| i6 | | Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo: Parallel Backtracking with Answer Memoing for Independent And-Parallelism. CoRR abs/1107.4724 (2011) |
| 2010 | ||
| j5 | | Pablo Chico de Guzmán, Manuel Carro, David Scott Warren: Swapping evaluation: A memory-scalable solution for answer-on-demand tabling. TPLP 10(4-6): 401-416 (2010) |
| c45 | | Dragan Ivanovic, Martin Treiber, Manuel Carro, Schahram Dustdar: Building Dynamic Models of Service Compositions with Simulation of Provision Resources. ER 2010: 288-301 |
| c44 | | Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo: Automatic Fragment Identification in Workflows Based on Sharing Analysis. ICSOC 2010: 350-364 |
| c43 | | Mohamed Anis Zemni, Salima Benbernou, Manuel Carro: A Soft Constraint-Based Approach to QoS-Aware Service Selection. ICSOC 2010: 596-602 |
| c42 | | Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo: Towards Data-Aware QoS-driven Adaptation for Service Orchestrations. ICWS 2010: 107-114 |
| c41 | | Salima Benbernou, Ivona Brandic, Cinzia Cappiello, Manuel Carro, Marco Comuzzi, Attila Kertész, Kyriakos Kritikos, Michael Parkin, Barbara Pernici, Pierluigi Plebani: Modeling and Negotiating Service Quality. S-CUBE Book 2010: 157-208 |
| c40 | | Andreas Metzger, Salima Benbernou, Manuel Carro, Maha Driss, Gabor Kecskemeti, Raman Kazhamiakin, Kyriakos Kritikos, Andrea Mocci, Elisabetta Di Nitto, Branimir Wetzstein, Fabrizio Silvestri: Analytical Quality Assurance. S-CUBE Book 2010: 209-270 |
| r1 | | |
| e1 | | Manuel Carro, Ricardo Peña (Eds.): Practical Aspects of Declarative Languages, 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings. Lecture Notes in Computer Science 5937, Springer 2010, isbn 978-3-642-11502-8 |
| i5 | | Pablo Chico de Guzmán, Manuel Carro, David Scott Warren: Swapping Evaluation: A Memory-Scalable Solution for Answer-On-Demand Tabling. CoRR abs/1007.3961 (2010) |
| 2009 | ||
| j4 | | 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. Electr. Notes Theor. Comput. Sci. 248: 149-159 (2009) |
| c39 | | Ángel Herranz-Nieva, Julio Mariño, Manuel Carro, Juan José Moreno-Navarro: Modeling Concurrent Systems with Shared Resources. FMICS 2009: 102-116 |
| c38 | | Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo: A Tabling Implementation Based on Variables with Multiple Bindings. ICLP 2009: 190-204 |
| c37 | | 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: 414-424 |
| c36 | | 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 |
| i4 | | 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 | ||
| c35 | | 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: 209-237 |
| c34 | | Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo: A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism. ICLP 2008: 651-666 |
| c33 | | 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 |
| c32 | | Michele Mancioppi, Manuel Carro, Willem-Jan van den Heuvel, Mike P. Papazoglou: Sound Multi-party Business Protocols for Service Networks. ICSOC 2008: 302-316 |
| c31 | | 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 |
| c30 | | 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 |
| c29 | | Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo: Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism. PADL 2008: 230-247 |
| c28 | | José F. Morales, Manuel Carro, Manuel V. Hermenegildo: Comparing tag scheme variations using an abstract machine generator. PPDP 2008: 32-43 |
| c27 | | 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 |
| 2007 | ||
| c26 | | Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo: Towards a high-level implementation of flexible parallelism primitives for symbolic languages. PASCO 2007: 93-94 |
| c25 | | Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo: Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. LOPSTR 2007: 138-153 |
| c24 | | 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 |
| i3 | | 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) |
| i2 | | 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 | ||
| c23 | | 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 |
| c22 | | 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 |
| c21 | | 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 | ||
| c20 | | 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 | ||
| c19 | | José F. Morales, Manuel Carro, Manuel V. Hermenegildo: Improved Compilation of Prolog to C Using Moded Types and Determinism Information. PADL 2004: 86-103 |
| c18 | | 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 |
| c17 | | 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 |
| i1 | | Manuel Carro: An Application of Rational Trees in a Logic Programming Interpreter for a Procedural Language. CoRR cs.DS/0403028 (2004) |
| 2003 | ||
| c16 | | 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 | ||
| c15 | | Manuel Carro, Manuel V. Hermenegildo: Tools for Search-Tree Visualisation: The APT Tool. Analysis and Visualization Tools for Constraint Programming 2000: 237-252 |
| c14 | | Manuel Carro, Manuel V. Hermenegildo: Tools for Constraint Visualisation: The VIFID/TRIFID Tool. Analysis and Visualization Tools for Constraint Programming 2000: 253-272 |
| 1999 | ||
| j3 | | 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): 1-2 (1999) |
| c13 | | Manuel Carro, Manuel V. Hermenegildo: Concurrency in Prolog Using Threads and a Shared Database. ICLP 1999: 320-334 |
| 1998 | ||
| c12 | | Manuel Carro, Manuel V. Hermenegildo: Some Design Issues in the Visualization of Constraint Logic Program Execution. APPIA-GULP-PRODE 1998: 71-86 |
| 1996 | ||
| j2 | | 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) |
| j1 | | Manuel V. Hermenegildo, Manuel Carro: Relating Data-Parallelism and (and-) Parallelism in Logic Programs. Comput. Lang. 22(2/3): 143-163 (1996) |
| c11 | | 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 |
| c10 | | 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 |
| 1995 | ||
| c9 | | Manuel V. Hermenegildo, Manuel Carro: Relating Data-Parallelism and (And-) Parallelism in Logic Programs. Euro-Par 1995: 27-41 |
| c8 | | 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 | ||
| c7 | | 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 |
| c6 | | 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 |
| c5 | | 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 |
| c4 | | 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 |
| c3 | | 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 |
| 1993 | ||
| c2 | | 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 | ||
| c1 | | 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page