Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
Svenja Specovius
Hao Mao
Jacob Van Geffen
Peter Malec
Guillaud, X.
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
VASSIL TODOROV
Author Info
Open Visualization
Name
Affiliation
Papers
VASSIL TODOROV
Université Paris-Saclay, CNRS, CentraleSupélec, LRI
1
Collaborators
Citations
PageRank
2
0
0.34
Referers
Referees
References
0
0
0
Publications (1 rows)
Collaborators (2 rows)
Referers (0 rows)
Referees (0 rows)
Title
Citations
PageRank
Year
Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking.
0
0.34
2020
1