M. Erascu, H. Hong.The Secant-Newton Map is Optimal Among Contracting Quadratic Maps for Square Root Computation. Journal of Reliable Computing18, pp. 73-81.2013.1573-1340.[pdf][bib]
2012
M. Erascu, T. Jebelean.Soundness of a Logic-Based Verification Method for Imperative Loops. In: Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, A. Voronkov, V. Negru, T. Ida, T. Jebelean, D. Petcu, S. Watt, D. Zaharie (ed.), pp. 127-134.2012.IEEE Computer Society, 978-0-7695-4934-7.[pdf][bib]
Madalina Erascu.Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms. Research Institute for Symbolic Computation. PhD Thesis.2012.RISC Technical Report 12-16.[pdf][bib]