- Exact real algorithms for transcendent functions2016 | Publikace bez příslušnosti k fakultě
- Finite state transducers for modular Mobius number systems2012 | Publikace bez příslušnosti k fakultě
- Analytic functions computable by finite state transducers2014 | Publikace bez příslušnosti k fakultě
- Dynamics of Number Systems Computation with Arbitrary Precision2016 | Publikace bez příslušnosti k fakultě
- Exact real arithmetic for interval number systems2014 | Publikace bez příslušnosti k fakultě