Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Dong Wang
Appiah, K.
Claudia Calabrese
Hao Mao
Peter Malec
Qingqing Lin
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
ANTON VOLKOV
Author Info
Open Visualization
Name
Papers
Collaborators
ANTON VOLKOV
1
4
Citations
PageRank
Referers
0
0.34
0
Referees
References
0
0
Publications (1 rows)
Collaborators (4 rows)
Referers (0 rows)
Referees (0 rows)
Title
Citations
PageRank
Year
CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions - (Competition Contribution).
0
0.34
2017
1