| 2008 |
|---|
| 11 | EE | Margarita V. Korovina,
Oleg V. Kudinov:
Towards Computability over Effectively Enumerable Topological Spaces.
Electr. Notes Theor. Comput. Sci. 221: 115-125 (2008) |
| 2007 |
|---|
| 10 | EE | Margarita V. Korovina,
Oleg V. Kudinov:
The Uniformity Principle for Sigma -Definability with Applications to Computable Analysis.
CiE 2007: 416-425 |
| 9 | EE | Oleg V. Kudinov,
Victor L. Selivanov:
Definability in the Homomorphic Quasiorder of Finite Labeled Forests.
CiE 2007: 436-445 |
| 8 | EE | Oleg V. Kudinov,
Victor L. Selivanov:
Undecidability in the Homomorphic Quasiorder of Finite Labelled Forests.
J. Log. Comput. 17(6): 1135-1151 (2007) |
| 2006 |
|---|
| 7 | EE | Oleg V. Kudinov,
Victor L. Selivanov:
Undecidability in the Homomorphic Quasiorder of Finite Labeled Forests.
CiE 2006: 289-296 |
| 2005 |
|---|
| 6 | EE | Margarita V. Korovina,
Oleg V. Kudinov:
Towards Computability of Higher Type Continuous Data.
CiE 2005: 235-241 |
| 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 | | Margarita V. Korovina,
Oleg V. Kudinov:
Characteristic Properties of Majorant-Computability over the Reals.
CSL 1998: 188-203 |
