Concepedia

Ekaterina Fokina

EF

11

Publications

342

Citations

11

H-Index

2007

Active since

Affiliations

University of Vienna(Current)

University of Notre Dame

Sobolev Institute of Mathematics

Kazan Federal University

George Washington University

Ekaterina Fokina is an author at University of Vienna specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningComputational ComplexityDiscrete MathematicsGeometryEducationComplexityLinguistics

Publications per year

2007–2020

11

Publications

11

Degrees of categoricity of computable structures

Ekaterina Fokina, I. Sh. Kalimullin, Russell Miller · Archive for Mathematical Logic · 2009 · 87 citations

Engineering, Automated Reasoning, Computational Model Theory +5

Isomorphism relations on computable structures

Ekaterina Fokina, Sy‐David Friedman, Valentina Harizanov et al. · Journal of Symbolic Logic · 2012 · 73 citations · Full text

Mathematical Structure, Engineering, Abstract Complexity +11

LINEAR ORDERS REALIZED BY C.E. EQUIVALENCE RELATIONS

Ekaterina Fokina, Bakhadyr Khoussainov, Pavel Semukhin et al. · Journal of Symbolic Logic · 2016 · 32 citations

Order Theory, Mathematical Structure, Equivalence Relation +8

Categoricity Spectra for Rigid Structures

Ekaterina Fokina, A. N. Frolov, I. Sh. Kalimullin · Notre Dame Journal of Formal Logic · 2015 · 26 citations

Mathematical Structure, Engineering, Categoricity Spectra +15

The effective theory of Borel equivalence relations

Ekaterina Fokina, Sy‐David Friedman, Asger Törnquist · Annals of Pure and Applied Logic · 2009 · 23 citations

Measure Theory, Effective Theory, Automated Reasoning +2

Rows per page

1–5 of 11