Travelled to:1 × Austria
1 × Czech Republic
1 × France
1 × Poland
Collaborated with:O.V.Kudinov N.Vorobjov ∅
Talks about:comput (3) real (3) number (2) characterist (1) characteris (1) properti (1) pfaffian (1) without (1) system (1) semant (1)
Person: Margarita V. Korovina
DBLP: Korovina:Margarita_V=
Contributed to:
2004200320011998Wrote 4 papers:
- CSL-2004-KorovinaV #hybrid
- Pfaffian Hybrid Systems (MVK, NV), pp. 430–441.
- CSL-2003-Korovina #aspect-oriented #similarity
- Computational Aspects of σ-Definability over the Real Numbers without the Equality Test (MVK), pp. 330–344.
- CSL-2001-KorovinaK #higher-order #semantics
- Semantic Characterisations of Second-Order Computability over the Real Numbers (MVK, OVK), pp. 160–172.
- CSL-1998-KorovinaK
- Characteristic Properties of Majorant-Computability over the Reals (MVK, OVK), pp. 188–203.