Items where Author is "Korovina, Margarita"

Chahlaoui, Younes and Korovina, Margarita (2014) CICADA Collection. [MIMS Preprint]

Korovina, Margarita and Vorobjov, Nicolai (2012) Reachability in One-Dimensional Controlled Polynomial Dynamical Systems. Lecture Notes in Computer Science, 7162. pp. 251-261. ISSN 0302-9743

Korovina, Margarita and Kudinov, Oleg (2011) Algorithmic Properties of Sigma--definability over Positive Predicate Structures. In: Models of Computation in Context, Proc. 7th Conference on Computability in Europe, CiE 2011. Springer Lecture Notes in Computer Science (6735). Speinger-Verlag, Heidelberg. (In Press)

Korovina, Margarita and Vorobjov, Nicolai (2011) Reachability in one-dimensional controlled polynomial dynamical systems. In Proc. The Ershov Informatics Conference, Institute Informaic Systems Press, Russian. (In Press)

Korovina, Margarita and Kudinov, Oleg (2011) The finite Language for Computable Metric Spaces. In: Models of Computation in Context, Proc. 7th Conference on Computability in Europe, CiE 2011. Springer Lecture Notes in Computer Science (6735). Springer-Verlag, Heidleberg.

Korovina, Margarita and Vorobjov, Nicolai (2010) Computing combinatorial types of trajectories in Pfaffian Dynamics. Journal of Logic and Algebraic Programming, 79 (1). pp. 32-37. ISSN 1567-8326

Korovina, Margarita and Kudinov, Oleg (2010) Σ_K–constraints for Hybrid Systems. Lecture Notes in Computer Science, 5947. pp. 230-241. ISSN 0302-9743

Müller, Norbert and Korovina, Margarita (2010) Making big steps in trajectories. Electronic Proceedings in Theoretical Computer Science, 24. pp. 106-119. ISSN 2075-2180

Korovina, Margarita and Nicolai, Vorobjov (2008) Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems. Theory of Computing Systems, 43 (3-4). pp. 498-515. ISSN 1432-4350

Korovina, Margarita and Kudinov, Oleg (2008) Towards Computability over Effectively Enumerable Topological Spaces. Electronic Notes in Theoretical Computer Science, 221. pp. 115-125. ISSN 1571-0661

Morozov, Andrei and Korovina, Margarita (2008) On $\Sigma$-definability without equality over the real numbers. Mathematical Logic Quarterly, 54 (5). pp. 535-544. ISSN 0942-5616

Morozov, Andrei and Korovina, Margarita (2008) On $\Sigma$-representability of countable structures over real numbers, complex numbers and quaternions. Algebra and Logic, 47 (3). pp. 335-363. ISSN 0002-5232

Morozov, Andrei and Korovina, Margarita (2008) Remarks on $\Sigma$-definability without the equality test over the Reals. Electronic Notes in Theoretical Computer Science, 202. pp. 305-313. ISSN 1571-0661