Margarita V. Korovina Vis

*	2009
20	EE	Margarita V. Korovina, Oleg V. Kudinov: The Uniformity Principle for Sigma-definability. J. Log. Comput. 19(1): 159-174 (2009)
	2008
19	EE	Andrei S. Morozov, Margarita V. Korovina: Remarks on Sigma-definability without the equality test over the Reals. Electr. Notes Theor. Comput. Sci. 202: 305-313 (2008)
18	EE	Margarita V. Korovina, Oleg V. Kudinov: Towards Computability over Effectively Enumerable Topological Spaces. Electr. Notes Theor. Comput. Sci. 221: 115-125 (2008)
17	EE	Andrei S. Morozov, Margarita V. Korovina: On sigma-definability without equality over the real numbers. Math. Log. Q. 54(5): 535-544 (2008)
	2007
16	EE	Margarita V. Korovina, Oleg V. Kudinov: The Uniformity Principle for Sigma -Definability with Applications to Computable Analysis. CiE 2007: 416-425
	2006
15	EE	Margarita V. Korovina, Nicolai Vorobjov: Upper and Lower Bounds on Sizes of Finite Bisimulations of Pfaffian Hybrid Systems. CiE 2006: 267-276
14	EE	Margarita V. Korovina, Nicolai Vorobjov: Satisfiability of Viability Constraints for Pfaffian Dynamics. Ershov Memorial Conference 2006: 260-269
13	EE	Margarita V. Korovina, Nicolai Vorobjov: Upper and Lower Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems. Reliable Implementation of Real Number Algorithms 2006
	2005
12	EE	Margarita V. Korovina, Oleg V. Kudinov: Towards Computability of Higher Type Continuous Data. CiE 2005: 235-241
	2004
11	EE	Margarita V. Korovina, Nicolai Vorobjov: Pfaffian Hybrid Systems. CSL 2004: 430-441
	2003
10	EE	Margarita V. Korovina: Computational Aspects of sigma-Definability over the Real Numbers without the Equality Test. CSL 2003: 330-344
9	EE	Margarita V. Korovina: Recent Advances in S-Definability over Continuous Data Types. Ershov Memorial Conference 2003: 238-247
8	EE	Margarita V. Korovina: Gandy's Theorem for Abstract Structures without the Equality Test. LPAR 2003: 290-301
	2002
7		Margarita V. Korovina: Fixed points on abstract structures without the equality test. FICS 2002: 58-60
6	EE	Margarita V. Korovina: Fixed Points on the Real Numbers without the Equality Test. Electr. Notes Theor. Comput. Sci. 66(1): (2002)
	2001
5	EE	Margarita V. Korovina, Oleg V. Kudinov: Semantic Characterisations of Second-Order Computability over the Real Numbers. CSL 2001: 160-172
4	EE	Margarita V. Korovina, Oleg V. Kudinov: Generalised Computability and Applications to Hybrid Systems. Ershov Memorial Conference 2001: 494-499
	2000
3	EE	Margarita V. Korovina, Oleg V. Kudinov: Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theory. CCA 2000: 146-168
	1999
2	EE	Margarita V. Korovina, Oleg V. Kudinov: A Logical Approach to Specification of Hybrid Systems. Ershov Memorial Conference 1999: 10-16
	1998
1	EE	Margarita V. Korovina, Oleg V. Kudinov: Characteristic Properties of Majorant-Computability over the Reals. CSL 1998: 188-203

Coauthor Index

1	Oleg V. Kudinov	[1] [2] [3] [4] [5] [12] [16] [18] [20]
2	Andrei S. Morozov	[17] [19]
3	Nicolai Vorobjov	[11] [13] [14] [15]

Colors in the list of coauthors