In: Numerische Mathematik, 2014, vol. 128, no. 1, p. 167-192
|
In: Mathematische Annalen, 2014, vol. 360, no. 3-4, p. 995-1020
|
In: Formal Methods in System Design, 2008, vol. 33, no. 1-3, p. 45-84
|
In: Israel Journal of Mathematics, 1999, vol. 112, no. 1, p. 61-108
|
In: Foundations of Computational Mathematics, 2010, vol. 10, no. 4, p. 407-427
|
In: Zeitschrift für angewandte Mathematik und Physik ZAMP, 2006, vol. 57, no. 5, p. 777-792
|
In: BIT Numerical Mathematics, 2006, vol. 46, no. 3, p. 491-504
|
In: Formal Aspects of Computing, 2012, vol. 24, no. 4-6, p. 423-431
|
In: BIT Numerical Mathematics, 2013, vol. 53, no. 4, p. 827-840
|
In: Radiation Protection Dosimetry, 2011, vol. 145, no. 2-3, p. 267-272
|