19
Publications
441
Citations
14
H-Index
1989
Active since
Affiliations
Alexandra Shlapentokh is an author at East Carolina University specializing in formal methods, engineering, and computer science.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningRepresentation TheoryMathematical Foundations
Publications per year
1989–2014
19
19
Rows per page
1–5 of 19