☰

Alexey A. Loginov, Ph.D.

Affiliations: 
2006 University of Wisconsin, Madison, Madison, WI 
Area:
Computer Science
Google:
"Alexey Loginov"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Thomas Reps grad student 2006 UW Madison
 (Refinement-based program verification via three -valued -logic analysis.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Reps T, Sagiv M, Loginov A. (2010) Finite differencing of logical formulas for static analysis Acm Transactions On Programming Languages and Systems. 32: 24
Jeannet B, Loginov A, Reps T, et al. (2010) A relational approach to interprocedural shape analysis Acm Transactions On Programming Languages and Systems. 32: 5-52
See more...