Limits of real numbers in the binary signed digit representation. - Franziskus Wiesnet; Nils Köpp (Log. Methods Comput. Sci., 2022)

Lookahead analysis in exact real arithmetic with logical methods. - Nils Köpp; Helmut Schwichtenberg (Theor. Comput. Sci., 2023)

Strong negation in the theory of computable functionals TCF. - Nils Köpp; Iosif Petrakis (Log. Methods Comput. Sci., 2025)