Vladimir Gladshtein

Orcid: 0000-0001-9233-3133

According to our database¹, Vladimir Gladshtein authored at least 6 papers between 2024 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2025

Veil: A Framework for Automated and Interactive Verification of Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

LGTM: the Logic for Graceful Tensor Manipulation.

[BibT_eX]

[DOI]

Dataset, April, 2024

LGTM: the Logic for Graceful Tensor Manipulation.

[BibT_eX]

[DOI]

Dataset, March, 2024

Mechanised Hypersafety Proofs about Structured Data.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2024

Mechanised Hypersafety Proofs about Structured Data: Extended Version.

[BibT_eX]

[DOI]

CoRR, 2024

Small Scale Reflection for the Working Lean User.

[BibT_eX]

[DOI]

Vladimir Gladshtein

George Pîrlea

Ilya Sergey

CoRR, 2024

Vladimir Gladshtein

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...