Alexey Loginov

Available identifiers

zbMath Open loginov.alexeyMaRDI QIDQ2764120

List of research outcomes

Publication	Date of Publication	Type
Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm	2009-03-12	Paper
Refinement-Based Verification for Possibly-Cyclic Lists	2007-09-24	Paper
Computer Aided Verification	2006-01-10	Paper
Static Analysis	2005-08-24	Paper
https://portal.mardi4nfdi.de/entity/Q4417906	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q2764121	2002-01-22	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alexey Loginov