default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGermán Puebla
German Puebla
Person information
- affiliation: Technical University of Madrid, Spain
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 2016
[j20]Elvira Albert, Richard Bubel, Samir Genaim
, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez:
A formal verification framework for static analysis - As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY. Softw. Syst. Model. 15(4): 987-1012 (2016)- 2015
- [j19]Elvira Albert, Jesús Correas Fernández, Germán Puebla, Guillermo Román-Díez:
Quantified abstract configurations of distributed systems. Formal Aspects Comput. 27(4): 665-699 (2015) - [j18]Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla:
A practical comparator of cost functions and its applications. Sci. Comput. Program. 111: 483-504 (2015) - [j17]Elvira Albert, Puri Arenas, Jesús Correas Fernández, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla, Guillermo Román-Díez:
Object-sensitive cost analysis for concurrent objects. Softw. Test. Verification Reliab. 25(3): 218-271 (2015) - [j16]Elvira Albert, Jesús Correas Fernández, Germán Puebla, Guillermo Román-Díez:
A multi-domain incremental analysis engine and its application to incremental resource analysis. Theor. Comput. Sci. 585: 91-114 (2015) - 2014
- [j15]Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Guillermo Román-Díez:
Conditional termination of loops over heap-allocated data. Sci. Comput. Program. 92: 2-24 (2014) - [j14]Miguel Gómez-Zamalloa, Germán Puebla:
Selected and extended papers from Bytecode 2013. Sci. Comput. Program. 95: 343 (2014) - 2012
- [j13]Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini:
Cost analysis of object-oriented bytecode programs. Theor. Comput. Sci. 413(1): 142-159 (2012) - [j12]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): 219-252 (2012) - [j11]Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo:
Certificate size reduction in abstraction-carrying code. Theory Pract. Log. Program. 12(3): 283-318 (2012) - 2011
- [j10]Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla:
Closed-Form Upper Bounds in Static Cost Analysis. J. Autom. Reason. 46(2): 161-203 (2011) - [j9]Julia Lawall, Germán Puebla, Germán Vidal:
Editorial. High. Order Symb. Comput. 24(1-2): 1-2 (2011) - [j8]Germán Puebla, Elvira Albert, Manuel V. Hermenegildo:
Efficient local unfolding with ancestor stacks. Theory Pract. Log. Program. 11(1): 1-32 (2011) - 2010
- [j7]Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla:
Test case generation for object-oriented imperative languages in CLP. Theory Pract. Log. Program. 10(4-6): 659-674 (2010) - 2009
- [j6]Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla:
Decompilation of Java bytecode to Prolog by partial evaluation. Inf. Softw. Technol. 51(10): 1409-1427 (2009) - [j5]Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla:
Type-based homeomorphic embedding for online termination. Inf. Process. Lett. 109(15): 879-886 (2009) - 2008
- [j4]Elvira Albert, Germán Puebla, Manuel V. Hermenegildo:
Abstraction-Carrying Code: a Model for Mobile Code Safety. New Gener. Comput. 26(2): 171-204 (2008) - 2005
- [j3]Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García:
Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor). Sci. Comput. Program. 58(1-2): 115-140 (2005) - 2000
- [j2]Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey:
Incremental analysis of constraint logic programs. ACM Trans. Program. Lang. Syst. 22(2): 187-223 (2000) - 1999
- [j1]Germán Puebla, Manuel V. Hermenegildo:
Abstract Multiple Specialization and Its Application to Program Parallelization. J. Log. Program. 41(2-3): 279-316 (1999)
Conference and Workshop Papers
- 2015
- [c85]Elvira Albert, Puri Arenas, Jesús Correas, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, Germán Puebla, Guillermo Román-Díez:
Resource Analysis: From Sequential to Concurrent and Distributed Programs. FM 2015: 3-17 - 2014
- [c84]Elvira Albert, Puri Arenas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, German Puebla, Guillermo Román-Díez:
SACO: Static Analyzer for Concurrent Objects. TACAS 2014: 562-567 - 2013
- [c83]Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez:
Quantified Abstractions of Distributed Systems. IFM 2013: 285-300 - 2012
- [c82]Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Jesús Correas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Abu Naser Masud, German Puebla, José Miguel Rojas, Guillermo Román-Díez, Damiano Zanardini:
Automatic Inference of Bounds on Resource Consumption. FMCO 2012: 119-144 - [c81]Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla:
Automatic Inference of Resource Consumption Bounds. LPAR 2012: 1-11 - [c80]Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez:
Incremental resource usage analysis. PEPM 2012: 25-34 - [c79]Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla:
COSTABS: a cost and termination analyzer for ABS. PEPM 2012: 151-154 - 2011
- [c78]Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla:
Cost Analysis of Concurrent OO Programs. APLAS 2011: 238-254 - [c77]Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez:
Verified resource guarantees using COSTA and KeY. PEPM 2011: 73-76 - [c76]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 - 2010
- [c75]Diana V. Ramírez-Deantes, Jesús Correas, Germán Puebla:
Modular Termination Analysis of Java Bytecode and Its Application to phoneME Core Libraries. FACS 2010: 218-236 - [c74]Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas, Germán Puebla:
Compositional CLP-Based Test Data Generation for Imperative Languages. LOPSTR 2010: 99-116 - [c73]Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla:
PET: a partial evaluation-based test case generation tool for Java bytecode. PEPM 2010: 25-28 - [c72]Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Diana V. Ramírez-Deantes:
From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis. SAS 2010: 100-116 - [c71]Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Germán Puebla, Balthasar Weitzel, Peter Y. H. Wong:
HATS - A Formal Software Product Line Engineering Methodology. SPLC Workshops 2010: 121-128 - 2009
- [c70]Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Samir Genaim, German Puebla:
Asymptotic Resource Usage Bounds. APLAS 2009: 294-310 - [c69]Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla:
Field-Sensitive Value Analysis by Field-Insensitive Analysis. FM 2009: 370-386 - [c68]Elvira Albert, Puri Arenas, Samir Genaim, Israel Herraiz, German Puebla:
Comparing Cost Functions in Resource Analysis. FOPARA 2009: 1-17 - [c67]Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini:
Resource Usage Analysis and Its Application to Resource Certification. FOSAD 2009: 258-288 - [c66]Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla, Diana V. Ramírez-Deantes, Guillermo Román-Díez, Damiano Zanardini:
Termination and Cost Analysis with COSTA and its User Interfaces. PROLE 2009: 109-121 - 2008
- [c65]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 - [c64]Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini:
Termination Analysis of Java Bytecode. FMOODS 2008: 2-18 - [c63]Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla:
Test Data Generation of Bytecode by CLP Partial Evaluation. LOPSTR 2008: 4-23 - [c62]Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo:
A practical type analysis for verification of modular prolog programs. PEPM 2008: 61-70 - [c61]Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini:
Removing useless variables in cost analysis of Java bytecode. SAC 2008: 368-375 - [c60]Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla:
Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis. SAS 2008: 221-237 - [c59]Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla:
Modular Decompilation of Low-Level Code by Partial Evaluation. SCAM 2008: 239-248 - [c58]Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla:
Cost Relation Systems: A Language-Independent Target Language for Cost Analysis. PROLE 2008: 31-46 - [c57]Claudio Ochoa, Germán Puebla:
Oracle-Based Partial Evaluation. QAPL 2008: 145-161 - 2007
- [c56]Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini:
Cost Analysis of Java Bytecode. ESOP 2007: 157-172 - [c55]Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Damiano Zanardini:
COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode. FMCO 2007: 113-132 - [c54]Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla:
Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation. LOPSTR 2007: 23-42 - [c53]Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, Germán Puebla:
Verification of Java Bytecode Using Analysis and Transformation of Logic Programs. PADL 2007: 124-139 - [c52]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 - [c51]Claudio Ochoa, Germán Puebla:
Poly-controlled partial evaluation in practice. PEPM 2007: 164-173 - [c50]Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini:
Experiments in Cost Analysis of Java Bytecode. Bytecode@ETAPS 2007: 67-83 - [c49]Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla:
Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation. Bytecode@ETAPS 2007: 85-101 - 2006
- [c48]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 - [c47]Elvira Albert, Puri Arenas-Sánchez, Germán Puebla, Manuel V. Hermenegildo:
Reduced Certificates for Abstraction-Carrying Code. ICLP 2006: 163-178 - [c46]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 - [c45]Elvira Albert, Puri Arenas, Germán Puebla:
An Incremental Approach to Abstraction-Carrying Code. LPAR 2006: 377-391 - [c44]Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo:
Context-Sensitive Multivariant Assertion Checking in Modular Programs. LPAR 2006: 392-406 - [c43]Germán Puebla, Claudio Ochoa:
Poly-controlled partial evaluation. PPDP 2006: 261-271 - [c42]Germán Puebla, Elvira Albert, Manuel V. Hermenegildo:
Abstract Interpretation with Specialized Definitions. SAS 2006: 107-126 - [c41]Gilles Barthe, Lennart Beringer, Pierre Crégut, Benjamin Grégoire, Martin Hofmann, Peter Müller, Erik Poll, Germán Puebla, Ian Stark, Eric Vétillard:
MOBIUS: Mobility, Ubiquity, Security. TGC 2006: 10-29 - [c40]Claudio Ochoa, Germán Puebla:
A Study on the Practicality of Poly-Controlled Partial Evaluation. WFLP 2006: 137-151 - 2005
- [c39]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 - [c38]Germán Puebla, Elvira Albert, Manuel V. Hermenegildo:
A Generic Framework for the Analysis and Specialization of Logic Programs. ICLP 2005: 407-409 - [c37]Claudio Ochoa, Germán Puebla, Manuel V. Hermenegildo:
Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs. LOPSTR 2005: 80-97 - [c36]Elvira Albert, Germán Puebla, John P. Gallagher:
Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates. LOPSTR 2005: 115-132 - [c35]John P. Gallagher, Germán Puebla, Elvira Albert:
Converting One Type-Based Abstract Domain to Another. LOPSTR 2005: 147-162 - [c34]Jesús Correas, Germán Puebla, Manuel V. Hermenegildo, Francisco Bueno:
Experiments in Context-Sensitive Analysis of Modular Programs. LOPSTR 2005: 163-178 - [c33]Germán Puebla, Manuel V. Hermenegildo, Elvira Albert:
A Generic Framework for the Analysis and Specialization of Logic Programs. WLPE 2005: 61-76 - [c32]Manuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla:
Abstraction carrying code and resource-awareness. PPDP 2005: 1-11 - 2004
- [c31]Manuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla:
Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-paradigm Programming System. Euro-Par 2004: 21-36 - [c30]Elvira Albert, Germán Puebla, Manuel V. Hermenegildo:
Abstract Interpretation-Based Mobile Code Certification. ICLP 2004: 446-447 - [c29]Germán Puebla, Elvira Albert, Manuel V. Hermenegildo:
Efficient Local Unfolding with Ancestor Stacks for Full Prolog. LOPSTR 2004: 149-165 - [c28]Elvira Albert, Germán Puebla, Manuel V. Hermenegildo:
Abstraction-Carrying Code. LPAR 2004: 380-397 - [c27]Elvira Albert, Germán Puebla, Manuel V. Hermenegildo:
Experiments in abstract interpretation-based code certification for pervasive systems. SMC (2) 2004: 1125-1130 - [c26]Elvira Albert, Germán Puebla, Manuel V. Hermenegildo:
An Abstract Interpretation-based Approach to Mobile Code Safety. COCV@ETAPS 2004: 113-129 - 2003
- [c25]Germán Puebla, Manuel V. Hermenegildo:
Abstract specialization and its applications. PEPM 2003: 29-43 - [c24]Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García:
Program Development Using Abstract Interpretation (And The Ciao System Preprocessor). SAS 2003: 127-152 - 2002
- [c23]Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García:
Abstract Verification and Debugging of Constraint Logic Programs. International Workshop on Constraint Solving and Constraint Logic Programming 2002: 1-14 - [c22]Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García:
Program Debugging and Validation Using Semantic Approximations and Partial Specifications. ICALP 2002: 69-72 - [c21]John P. Gallagher, Germán Puebla:
Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs. PADL 2002: 243-261 - 2000
- [c20]Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo:
An Assertion Language for Constraint Logic Programs. Analysis and Visualization Tools for Constraint Programming 2000: 23-62 - [c19]Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo:
A Generic Processor for Program Validation and Debugging. Analysis and Visualization Tools for Constraint Programming 2000: 63-107 - [c18]Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey:
A model for inter-module analysis and optimizing compilation. LOPSTR 2000 - [c17]Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey:
A Model for Inter-module Analysis and Optimizing Compilation. LOPSTR (LNCS 2042: Selected Papers) 2000: 86-102 - 1999
- [c16]Manuel V. Hermenegildo, Francisco Bueno, Germán Puebla, Pedro López-García:
Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor. ICLP 1999: 52-66 - [c15]Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo:
Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs. LOPSTR 1999: 273-292 - [c14]Germán Puebla, Manuel V. Hermenegildo, John P. Gallagher:
An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework. PEPM 1999: 75-84 - [c13]Germán Puebla, Manuel V. Hermenegildo:
Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs. WOID@ICLP 1999: 163-187 - [c12]Mireille Ducassé, Anthony J. Kusalik, Germán Puebla:
Preface. WLPE@ICLP 1999: 197 - 1998
- [c11]Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo:
A Framework for Assertion-Based Debugging in Constraint Logic Programming. CP 1998: 472 - 1997
- [c10]Francisco Bueno, Pierre Deransart, Wlodzimierz Drabent, Gérard Ferrand, Manuel V. Hermenegildo, Jan Maluszynski, Germán Puebla:
On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs. AADEBUG 1997: 155-169 - [c9]Germán Puebla, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey:
Optimization of Logic Programs with Dynamic Scheduling. ICLP 1997: 93-107 - [c8]Germán Puebla, Marco Comini, Wlodzimierz Drabent, Mireille Ducassé, Massimo Fabris, Christian Schulte:
Tools and Environments for (Constraint) Logic Programming (Workshop Overview). ILPS 1997: 417-418 - 1996
- [c7]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 - [c6]Francisco Bueno, Daniel Cabeza Gras, Manuel V. Hermenegildo, Germán Puebla:
Global Analysis of Standard Prolog Programs. ESOP 1996: 108-124 - [c5]Germán Puebla, Manuel V. Hermenegildo:
Abstract Specialization and Its Application to Program Parallelization. LOPSTR 1996: 169-186 - [c4]Germán Puebla, Manuel V. Hermenegildo:
Automatic Optimization of Dynamic Scheduling in Logic Programs. PLILP 1996: 475-476 - [c3]Germán Puebla, Manuel V. Hermenegildo:
Optimized Algorithms for Incremental Analysis of Logic Programs. SAS 1996: 270-284 - 1995
- [c2]Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey:
Incremental Analysis of Logic Programs. ICLP 1995: 797-811 - [c1]Germán Puebla, Manuel V. Hermenegildo:
Implementation of Multiple Specialization in Logic Programs. PEPM 1995: 77-87
Parts in Books or Collections
- 2004
- [p2]Germán Puebla, Jesús Correas, Manuel V. Hermenegildo, Francisco Bueno, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey:
A Generic Framework for Context-Sensitive Analysis of Modular Programs. Program Development in Computational Logic 2004: 233-260 - 1999
- [p1]Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno:
Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging. The Logic Programming Paradigm 1999: 161-192
Editorship
- 2009
- [e4]Germán Puebla, Germán Vidal:
Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009. ACM 2009, ISBN 978-1-60558-327-3 [contents] - 2007
- [e3]Germán Puebla:
Logic-Based Program Synthesis and Transformation, 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4407, Springer 2007, ISBN 978-3-540-71409-5 [contents] - 2002
- [e2]Manuel V. Hermenegildo, Germán Puebla:
Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings. Lecture Notes in Computer Science 2477, Springer 2002, ISBN 3-540-44235-9 [contents] - 1999
- [e1]Mireille Ducassé, Anthony J. Kusalik, Germán Puebla:
Tenth Workshop on Logic Programming Environments, WLPE 1999, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, Nobember 29, 1999. Electronic Notes in Theoretical Computer Science 30(4), Elsevier 1999 [contents]
Informal and Other Publications
- 2011
- [i9]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) - 2010
- [i8]Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, German Puebla:
Verification of Java Bytecode using Analysis and Transformation of Logic Programs. CoRR abs/1007.3250 (2010) - [i7]Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla:
Test Case Generation for Object-Oriented Imperative Languages in CLP. CoRR abs/1007.5195 (2010) - [i6]Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo:
Certificate size reduction in Abstraction-Carrying Code. CoRR abs/1010.4533 (2010) - 2009
- [i5]Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla:
On the Generation of Test Data for Prolog by Partial Evaluation. CoRR abs/0903.2199 (2009) - [i4]Germán Puebla, Elvira Albert, Manuel V. Hermenegildo:
Efficient Local Unfolding with Ancestor Stacks. CoRR abs/0911.4047 (2009) - 2007
- [i3]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) - [i2]Elvira Albert, Puri Arenas, Germán Puebla:
Some Issues on Incremental Abstraction-Carrying Code. CoRR abs/cs/0701111 (2007) - 2005
- [i1]Germán Puebla, Elvira Albert, Manuel V. Hermenegildo:
A Generic Framework for the Analysis and Specialization of Logic Programs. CoRR abs/cs/0508111 (2005)
Coauthor Index
[j20] [j19] [j18] [j17] [j16] [j15] [j13] [j11] [j10] [j8] [j7] [j6] [j5] [j4] [c85] [c84] [c83] [c82] [c81] [c80] [c79] [c78] [c77] [c74] [c73] [c72] [c70] [c69] [c68] [c67] [c66] [c64] [c63] [c61] [c60] [c59] [c58] [c56] [c55] [c54] [c53] [c50] [c49] [c47] [c45] [c42] [c38] [c36] [c35] [c33] [c32] [c31] [c30] [c29] [c28] [c27] [c26] [i8] [i7] [i6] [i5] [i4] [i2] [i1]
Puri Arenas
aka: Puri Arenas-Sánchez
aka: Puri Arenas-Sánchez
Jesús Correas Fernández
aka: Jesús Correas
aka: Jesús Correas
[j12] [j11] [j8] [j4] [j3] [j2] [j1] [c76] [c65] [c62] [c52] [c48] [c47] [c46] [c44] [c42] [c39] [c38] [c37] [c34] [c33] [c32] [c31] [c30] [c29] [c28] [c27] [c26] [c25] [c24] [c23] [c22] [c20] [c19] [c18] [c17] [c16] [c15] [c14] [c13] [c11] [c10] [c7] [c6] [c5] [c4] [c3] [c2] [c1] [p2] [p1] [e2] [i9] [i6] [i4] [i3] [i1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
