Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Germán Puebla
Verified Resource Guarantees Using COSTA and KeY
Decompilation of Java Bytecode to Prolog by Partial Evaluation
Information and Software Technology
Computer Science Applications
Information Systems
Software
Type-Based Homeomorphic Embedding for Online Termination
Information Processing Letters
Signal Processing
Computer Science Applications
Information Systems
Theoretical Computer Science
Converting One Type-Based Abstract Domain to Another
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Combining Static Analysis and Profiling for Estimating Execution Times
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Practical Type Analysis for Verification of Modular Prolog Programs
