Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Torgny Andersson
Robert J. Zomer
Scott A. Starks
Wang H
Hikaru Fujisaki
Michael Terry
Zhihao Li
Lei Lei
Radu Timofte
Joost-Pieter Katoen
Home
/
Author
/
VLADISLAV PODYMOV
Author Info
Open Visualization
Name
Papers
Collaborators
VLADISLAV PODYMOV
1
0
Citations
PageRank
Referers
0
0.34
0
Referees
References
0
0
Publications (1 rows)
Collaborators (0 rows)
Referers (0 rows)
Referees (0 rows)
Title
Citations
PageRank
Year
An Afficient Equivalence-Checking Algorithm for a Model of Programs with Commutative and Absorptive Statements.
0
0.34
2015
1