| Publication | Date of Publication | Type |
|---|
| Optimized algorithms for incremental analysis of logic programs | 2022-02-16 | Paper |
| Quantified abstract configurations of distributed systems | 2015-09-03 | Paper |
| A multi-domain incremental analysis engine and its application to incremental resource analysis | 2015-05-26 | Paper |
| Oracle-Based Partial Evaluation | 2014-05-13 | Paper |
| A Study on the Practicality of Poly-Controlled Partial Evaluation | 2014-01-24 | Paper |
| Certificate size reduction in abstraction-carrying code | 2012-08-30 | Paper |
| An overview of Ciao and its design philosophy | 2012-06-25 | Paper |
| Automatic Inference of Resource Consumption Bounds | 2012-06-15 | Paper |
| Cost analysis of object-oriented bytecode programs | 2012-03-13 | Paper |
| Efficient local unfolding with ancestor stacks | 2011-08-17 | Paper |
| Closed-form upper bounds in static cost analysis | 2011-04-05 | Paper |
| From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis | 2010-10-01 | Paper |
| Comparing Cost Functions in Resource Analysis | 2010-09-14 | Paper |
| Type-based homeomorphic embedding for online termination | 2010-08-20 | Paper |
| Test case generation for object-oriented imperative languages in CLP | 2010-08-19 | Paper |
| Test Data Generation of Bytecode by CLP Partial Evaluation | 2009-03-24 | Paper |
| Abstract Interpretation with Specialized Definitions | 2009-03-12 | Paper |
| Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation | 2009-01-22 | Paper |
| Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs | 2009-01-15 | Paper |
| Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates | 2009-01-15 | Paper |
| Converting One Type-Based Abstract Domain to Another | 2009-01-15 | Paper |
| Abstraction-carrying code: a model for mobile code safety | 2008-10-20 | Paper |
| Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis | 2008-08-28 | Paper |
| An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy | 2008-06-19 | Paper |
| An Incremental Approach to Abstraction-Carrying Code | 2008-05-27 | Paper |
| Context-Sensitive Multivariant Assertion Checking in Modular Programs | 2008-05-27 | Paper |
| Efficient Local Unfolding with Ancestor Stacks for Full Prolog | 2008-04-24 | Paper |
| Reduced Certificates for Abstraction-Carrying Code | 2008-03-11 | Paper |
| Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation | 2008-03-11 | Paper |
| Logic Programming | 2006-06-27 | Paper |
| Logic Programming | 2006-06-27 | Paper |
| Program Development in Computational Logic | 2005-12-23 | Paper |
| Logic for Programming, Artificial Intelligence, and Reasoning | 2005-11-10 | Paper |
| Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor) | 2005-10-10 | Paper |
| Logic Programming | 2005-08-26 | Paper |
| Euro-Par 2004 Parallel Processing | 2005-08-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4813396 | 2004-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737145 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4424850 | 2003-09-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4421873 | 2003-09-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4702568 | 2002-02-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2723933 | 2001-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4499250 | 2001-03-05 | Paper |
| Abstract multiple specialization and its application to program parallelization | 2000-02-06 | Paper |
