Alexander Godlevsky

According to our database, Alexander Godlevsky authored at least 2 papers between 2013 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

Some Results on Regular Events for Multitape Finite Automata: A Preliminary Report.

Alexander Godlevsky, Hayk A. Grigoryan, Tigran Grigoryan, Samvel K. Shoukourian

Bull. EATCS, 2021

2013

Usage of Invariants for Symbolic Verification of Requirements.

Alexander A. Letichevsky, Alexander Godlevsky, Anton Guba, Alexander Kolchin, Olexander A. Letychevskyi, Vladimir S. Peschanenko

Proceedings of the 5th International Symposium on Symbolic Computation in Software Science, 2013