Mag. Dipl.-Ing. Dr.techn. Ekaterina Benavente-Fokina, Privatdoz. BA PhD
1090 Wien
Lehrveranstaltungen
Wintersemester 2026
-
051017 VO Theoretische Informatik
Sommersemester 2026
-
051017 VO Theoretische Informatik
Wintersemester 2025
-
051017 VO Theoretische Informatik
Publikationen
The computable embedding problem. / Carson, J.; Fokina, Ekaterina; Harizanov, Valentina et al.
in: Algebra and Logic, Band 50, Nr. 6, 2012, S. 478-493.
Veröffentlichungen: Beitrag in Fachzeitschrift › Artikel › Peer Reviewed
Classes of Ulm type and coding rank-homogeneous trees in other structures. / Fokina, Ekaterina; Knight, Julia (Korresp. Autor*in); Melnikov, Alexander G. (Korresp. Autor*in) et al.
in: Journal of Symbolic Logic, Band 76, Nr. 3, 2011, S. 846-869.
Veröffentlichungen: Beitrag in Fachzeitschrift › Artikel › Peer Reviewed
Degrees of Categoricity of Computable Structures. / Fokina, Ekaterina; Kalimullin, Iskander; Miller, Russell.
in: Archive for Mathematical Logic, Band 49, Nr. 1, 2010, S. 51-67.
Veröffentlichungen: Beitrag in Fachzeitschrift › Artikel › Peer Reviewed
The effective theory of Borel equivalence relations. / Fokina, Ekaterina; Friedman, Sy-David; Törnquist, Asger Dag.
in: Annals of Pure and Applied Logic, Band 161, Nr. 7, 2010, S. 837-850.
Veröffentlichungen: Beitrag in Fachzeitschrift › Artikel › Peer Reviewed
Equivalence Relations on Classes of Computable Structures. / Fokina, Ekaterina; Friedman, Sy-David.
in: Lecture Notes in Computer Science, Band 5635, 2009, S. 198-207.
Veröffentlichungen: Beitrag in Fachzeitschrift › Artikel › Peer Reviewed
Intrinsic bounds on complexity and definability at limit levels. / Fokina, Ekaterina; Chisholm, John; Knight, Julia et al.
in: Journal of Symbolic Logic, Band 74, Nr. 3, 2009, S. 1047-1060.
Veröffentlichungen: Beitrag in Fachzeitschrift › Artikel › Peer Reviewed
Projekte
Algorithm. Zufälligkeit
Automat. Strukturen
Algorithmic properties
Vorträge
Computability-Theoretic Categoricity at Levels 1 and 2
Reverse Model Theory
Equivalence relations in computable model theory
Degree spectra of structures under equivalence relations
Equivalence relations on computable structures
Equivalence relations on computable structures
$\Sigma^1_1$ equivalence relations on $\omega$
Isomorphism and bi-embeddability among $\Sigma^1_1$ equivalence relations
Equivalence Relations on Classes of Computable Structures
Weiter zu: Leitung & Team | Personensuche | Home