Madalina Erascu.Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms. Technical report no. 12-16 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2012.[pdf][bib]
2011
Madalina Erascu.Symbolic Computation and Program Verification. Proving Partial Correctness and Synthesizing Optimal Algorithms. Technical report no. 11-15 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2011.[pdf][bib]
2010
Madalina Erascu, Tudor Jebelean.A Purely Logical Approach to Imperative Program Verification. Technical report no. 10-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2010.[pdf][bib]