| 2021 | CADE | The ksmt Calculus Is a δ-complete Decision Procedure for Non-linear Constraints. | Franz Braue, Konstantin Korovin, Margarita V. Korovina, Norbert Th. Mller |
| 2018 | CiE | Weak Reduction Principle and Computable Metric Spaces. | Margarita V. Korovina, Oleg V. Kudinov |
| 2017 | CiE | Outline of Partial Computability in Computable Topology. | Margarita V. Korovina, Oleg V. Kudinov |
| 2017 | CiE | On Higher Effective Descriptive Set Theory. | Margarita V. Korovina, Oleg V. Kudinov |
| 2015 | CiE | Rice's Theorem in Effectively Enumerable Topological Spaces. | Margarita V. Korovina, Oleg V. Kudinov |
| 2007 | CiE | The Uniformity Principle for | Margarita V. Korovina, Oleg V. Kudinov |
| 2006 | CiE | Upper and Lower Bounds on Sizes of Finite Bisimulations of Pfaffian Hybrid Systems. | Margarita V. Korovina, Nicolai N. Vorobjov Jr. |
| 2005 | CiE | Towards Computability of Higher Type Continuous Data. | Margarita V. Korovina, Oleg V. Kudinov |
| 2004 | CSL | Pfaffian Hybrid Systems. | Margarita V. Korovina, Nicolai N. Vorobjov Jr. |
| 2003 | CSL | Computational Aspects of sigma-Definability over the Real Numbers without the Equality Test. | Margarita V. Korovina |
| 2003 | LPAR | Gandy's Theorem for Abstract Structures without the Equality Test. | Margarita V. Korovina |
| 2001 | CSL | Semantic Characterisations of Second-Order Computability over the Real Numbers. | Margarita V. Korovina, Oleg V. Kudinov |
| 2000 | CCA | Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theory. | Margarita V. Korovina, Oleg V. Kudinov |
| 1998 | CSL | Characteristic Properties of Majorant-Computability over the Reals. | Margarita V. Korovina, Oleg V. Kudinov |