 | 2010 |
|---|
| 21 |       | Margarita V. Korovina,
Nicolai Vorobjov:
Computing combinatorial types of trajectories in Pfaffian Dynamics.
J. Log. Algebr. Program. 79(1): 32-37 (2010) |
| 2009 |
|---|
| 20 | | Margarita V. Korovina,
Oleg V. Kudinov:
The Uniformity Principle for Sigma-definability.
J. Log. Comput. 19(1): 159-174 (2009) |
| 2008 |
|---|
| 19 | | 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 | | Margarita V. Korovina,
Oleg V. Kudinov:
Towards Computability over Effectively Enumerable Topological Spaces.
Electr. Notes Theor. Comput. Sci. 221: 115-125 (2008) |
| 17 | | 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 | | Margarita V. Korovina,
Oleg V. Kudinov:
The Uniformity Principle for Sigma -Definability with Applications to Computable Analysis.
CiE 2007: 416-425 |
| 2006 |
|---|
| 15 | | Margarita V. Korovina,
Nicolai Vorobjov:
Upper and Lower Bounds on Sizes of Finite Bisimulations of Pfaffian Hybrid Systems.
CiE 2006: 267-276 |
| 14 | | Margarita V. Korovina,
Nicolai Vorobjov:
Satisfiability of Viability Constraints for Pfaffian Dynamics.
Ershov Memorial Conference 2006: 260-269 |
| 13 | | 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 | | Margarita V. Korovina,
Oleg V. Kudinov:
Towards Computability of Higher Type Continuous Data.
CiE 2005: 235-241 |
| 2004 |
|---|
| 11 | | Margarita V. Korovina,
Nicolai Vorobjov:
Pfaffian Hybrid Systems.
CSL 2004: 430-441 |
| 2003 |
|---|
| 10 | | Margarita V. Korovina:
Computational Aspects of sigma-Definability over the Real Numbers without the Equality Test.
CSL 2003: 330-344 |
| 9 | | Margarita V. Korovina:
Recent Advances in S-Definability over Continuous Data Types.
Ershov Memorial Conference 2003: 238-247 |
| 8 | | 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 | | Margarita V. Korovina:
Fixed Points on the Real Numbers without the Equality Test.
Electr. Notes Theor. Comput. Sci. 66(1): (2002) |
| 2001 |
|---|
| 5 | | Margarita V. Korovina,
Oleg V. Kudinov:
Semantic Characterisations of Second-Order Computability over the Real Numbers.
CSL 2001: 160-172 |
| 4 | | Margarita V. Korovina,
Oleg V. Kudinov:
Generalised Computability and Applications to Hybrid Systems.
Ershov Memorial Conference 2001: 494-499 |
| 2000 |
|---|
| 3 | | Margarita V. Korovina,
Oleg V. Kudinov:
Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theory.
CCA 2000: 146-168 |
| 1999 |
|---|
| 2 | | Margarita V. Korovina,
Oleg V. Kudinov:
A Logical Approach to Specification of Hybrid Systems.
Ershov Memorial Conference 1999: 10-16 |
| 1998 |
|---|
| 1 | | Margarita V. Korovina,
Oleg V. Kudinov:
Characteristic Properties of Majorant-Computability over the Reals.
CSL 1998: 188-203 |
