| Publication | Date of Publication | Type |
|---|
| On the computability of ordered fields | 2024-08-14 | Paper |
| Order positive fields. I | 2024-05-15 | Paper |
| The ksmt calculus is a \(\delta \)-complete decision procedure for non-linear constraints | 2023-09-21 | Paper |
| The \texttt{ksmt} calculus is a \(\delta \)-complete decision procedure for non-linear constraints | 2021-12-01 | Paper |
| Highlights of the Rice-Shapiro theorem in computable topology | 2021-05-26 | Paper |
| Making big steps in trajectories | 2021-02-16 | Paper |
| On the computability of ordered fields | 2020-07-29 | Paper |
| A CDCL-style calculus for solving non-linear constraints | 2020-05-13 | Paper |
| Weak reduction principle and computable metric spaces | 2018-09-06 | Paper |
| The Rice-Shapiro theorem in computable topology | 2018-01-12 | Paper |
| Computable elements and functions in effectively enumerable topological spaces | 2017-11-22 | Paper |
| On images of partial computable functions over computable Polish spaces | 2017-09-11 | Paper |
| Spectrum of the field of computable real numbers | 2017-09-04 | Paper |
| On higher effective descriptive set theory | 2017-08-04 | Paper |
| Outline of partial computability in computable topology | 2017-08-04 | Paper |
| Towards using exact real arithmetic for initial value problems | 2016-12-21 | Paper |
| Positive predicate structures for continuous data | 2016-07-27 | Paper |
| Using Taylor models in exact real arithmetic | 2016-05-25 | Paper |
| Reachability in one-dimensional controlled polynomial dynamical systems | 2015-12-07 | Paper |
| Index sets as a measure of continuous constraint complexity | 2015-12-03 | Paper |
| Rice's theorem in effectively enumerable topological spaces | 2015-10-20 | Paper |
| Towards computability over effectively enumerable topological spaces | 2013-05-03 | Paper |
| Remarks on \(\Sigma\)-definability without the equality test over the reals | 2013-05-03 | Paper |
| Fixed points on the real numbers without the equality test | 2013-04-19 | Paper |
| Effectively enumerable topological spaces | 2012-05-21 | Paper |
| Gandy's theorem for abstract structures without the equality test | 2010-02-24 | Paper |
| Satisfiability of Viability Constraints for Pfaffian Dynamics | 2010-02-02 | Paper |
| \(\Sigma _{K }\)-constraints for hybrid systems | 2010-02-02 | Paper |
| Recent advances in \(\Sigma \)-definability over continuous data types | 2010-01-05 | Paper |
| Computing combinatorial types of trajectories in Pfaffian dynamics | 2009-12-18 | Paper |
| Bounds on sizes of finite bisimulations of Pfaffian dynamical systems | 2009-05-08 | Paper |
| The Uniformity Principle for -definability | 2009-03-02 | Paper |
| Σ-Definability of countable structures over real numbers, complex numbers, and quaternions | 2008-12-18 | Paper |
| Countable structures \(\Sigma \)-definable over classical continuous number systems | 2008-12-01 | Paper |
| On Σ‐definability without equality over the real numbers | 2008-10-08 | Paper |
| The Uniformity Principle for Σ-Definability with Applications to Computable Analysis | 2007-11-13 | Paper |
| Computer Science Logic | 2007-06-21 | Paper |
| Logical Approaches to Computational Barriers | 2007-04-30 | Paper |
| New Computational Paradigms | 2006-01-11 | Paper |
| Computer Science Logic | 2005-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4475110 | 2004-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4783306 | 2002-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4531987 | 2002-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4511265 | 2000-10-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4946102 | 2000-09-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263799 | 2000-04-25 | Paper |
| A new approach to computability over the reals | 1999-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3842548 | 1998-11-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3842549 | 1998-11-05 | Paper |
| Generalized computability on real functions | 1992-09-27 | Paper |
