Margarita V. Korovina

46 papers A 1B 5C 12Journal 14Unranked 13

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	The ksmt calculus is a Theor. Comput. Sci. Franz Brauße, Konstantin Korovin, Margarita V. Korovina, Norbert Th. Müller
2021	A	`conf`	The ksmt Calculus Is a δ-complete Decision Procedure for Non-linear Constraints. CADE Franz Brauße, Konstantin Korovin, Margarita V. Korovina, Norbert Th. Müller
2021	J	`jnl`	The ksmt calculus is a δ-complete decision procedure for non-linear constraints. CoRR Franz Brauße, Konstantin Korovin, Margarita V. Korovina, Norbert Th. Müller
2020	J	`jnl`	On the computability of ordered fields. CoRR Margarita V. Korovina, Oleg V. Kudinov
2019	—	`conf`	A CDCL-Style Calculus for Solving Non-linear Constraints. FroCos Franz Brauße, Konstantin Korovin, Margarita V. Korovina, Norbert Th. Müller
2019	J	`jnl`	A CDCL-style calculus for solving non-linear constraints. CoRR Franz Brauße, Konstantin Korovin, Margarita V. Korovina, Norbert Th. Müller
2019	—	`conf`	Computable Topology for Reliable Computations. Ershov Informatics Conference Margarita V. Korovina, Oleg V. Kudinov
2018	J	`jnl`	Complexity for partial computable functions over computable Polish spaces. Math. Struct. Comput. Sci. Margarita V. Korovina, Oleg V. Kudinov
2018	C	`conf`	Weak Reduction Principle and Computable Metric Spaces. CiE Margarita V. Korovina, Oleg V. Kudinov
2017	J	`jnl`	Computable elements and functions in effectively enumerable topological spaces. Math. Struct. Comput. Sci. Margarita V. Korovina, Oleg V. Kudinov
2017	—	`conf`	Highlights of the Rice-Shapiro Theorem in Computable Topology. Ershov Informatics Conference Margarita V. Korovina, Oleg V. Kudinov
2017	C	`conf`	On Higher Effective Descriptive Set Theory. CiE Margarita V. Korovina, Oleg V. Kudinov
2017	C	`conf`	Outline of Partial Computability in Computable Topology. CiE Margarita V. Korovina, Oleg V. Kudinov
2017	J	`jnl`	Preface to the special issue: Continuity, computability, constructivity: from logic to algorithms 2013. Math. Struct. Comput. Sci. Hajime Ishihara, Margarita V. Korovina, Arno Pauly, Monika Seisenberger, Dieter Spreen
2017	J	`jnl`	Rice-Shapiro theorem in Computable Topology. CoRR Margarita V. Korovina, Oleg V. Kudinov
2017	J	`jnl`	The Rice-Shapiro theorem in Computable Topology. Log. Methods Comput. Sci. Margarita V. Korovina, Oleg V. Kudinov
2015	J	`jnl`	Positive predicate structures for continuous data. Math. Struct. Comput. Sci. Margarita V. Korovina, Oleg V. Kudinov
2015	C	`conf`	Rice's Theorem in Effectively Enumerable Topological Spaces. CiE Margarita V. Korovina, Oleg V. Kudinov
2015	—	`conf`	Towards Using Exact Real Arithmetic for Initial Value Problems. Ershov Memorial Conference Franz Brauße, Margarita V. Korovina, Norbert Th. Müller
2014	—	`book`	HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday Andrei Voronkov, Margarita V. Korovina
2014	—	`conf`	Index Sets as a Measure of Continuous Constraint Complexity. Ershov Memorial Conference Margarita V. Korovina, Oleg V. Kudinov
2011	—	`conf`	Reachability in One-Dimensional Controlled Polynomial Dynamical Systems. Ershov Memorial Conference Margarita V. Korovina, Nicolai N. Vorobjov Jr.
2010	J	`jnl`	Computing combinatorial types of trajectories in Pfaffian Dynamics. J. Log. Algebraic Methods Program. Margarita V. Korovina, Nicolai N. Vorobjov Jr.
2010	C	`conf`	Making big steps in trajectories CCA Norbert Th. Müller, Margarita V. Korovina
2009	—	`conf`	Sigma Ershov Memorial Conference Margarita V. Korovina, Oleg V. Kudinov
2009	J	`jnl`	The Uniformity Principle for Sigma-definability. J. Log. Comput. Margarita V. Korovina, Oleg V. Kudinov
2008	J	`jnl`	Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems. Theory Comput. Syst. Margarita V. Korovina, Nicolai N. Vorobjov Jr.
2008	J	`jnl`	On sigma-definability without equality over the real numbers. Math. Log. Q. Andrei S. Morozov, Margarita V. Korovina
2008	C	`conf`	Towards Computability over Effectively Enumerable Topological Spaces. CCA Margarita V. Korovina, Oleg V. Kudinov
2007	C	`conf`	Remarks on Sigma-definability without the equality test over the Reals. CCA Andrei S. Morozov, Margarita V. Korovina
2007	C	`conf`	The Uniformity Principle for CiE Margarita V. Korovina, Oleg V. Kudinov
2006	—	`conf`	Satisfiability of Viability Constraints for Pfaffian Dynamics. Ershov Memorial Conference Margarita V. Korovina, Nicolai N. Vorobjov Jr.
2006	—	`conf`	Upper and Lower Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems. Reliable Implementation of Real Number Algorithms Margarita V. Korovina, Nicolai N. Vorobjov Jr.
2006	C	`conf`	Upper and Lower Bounds on Sizes of Finite Bisimulations of Pfaffian Hybrid Systems. CiE Margarita V. Korovina, Nicolai N. Vorobjov Jr.
2005	C	`conf`	Towards Computability of Higher Type Continuous Data. CiE Margarita V. Korovina, Oleg V. Kudinov
2004	B	`conf`	Pfaffian Hybrid Systems. CSL Margarita V. Korovina, Nicolai N. Vorobjov Jr.
2003	B	`conf`	Computational Aspects of sigma-Definability over the Real Numbers without the Equality Test. CSL Margarita V. Korovina
2003	B	`conf`	Gandy's Theorem for Abstract Structures without the Equality Test. LPAR Margarita V. Korovina
2003	—	`conf`	Recent Advances in S-Definability over Continuous Data Types. Ershov Memorial Conference Margarita V. Korovina
2002	C	`conf`	Fixed Points on the Real Numbers without the Equality Test. CCA Margarita V. Korovina
2002	—	`conf`	Fixed points on abstract structures without the equality test. FICS Margarita V. Korovina
2001	—	`conf`	Generalised Computability and Applications to Hybrid Systems. Ershov Memorial Conference Margarita V. Korovina, Oleg V. Kudinov
2001	B	`conf`	Semantic Characterisations of Second-Order Computability over the Real Numbers. CSL Margarita V. Korovina, Oleg V. Kudinov
2000	C	`conf`	Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theory. CCA Margarita V. Korovina, Oleg V. Kudinov
1999	—	`conf`	A Logical Approach to Specification of Hybrid Systems. Ershov Memorial Conference Margarita V. Korovina, Oleg V. Kudinov
1998	B	`conf`	Characteristic Properties of Majorant-Computability over the Reals. CSL Margarita V. Korovina, Oleg V. Kudinov