Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Qichao Xu
Claudia Calabrese
Hao Mao
Peter Malec
Chu-Mei Chiu
H. D. Supreetha Gowda
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
STEFAN MARTICEK
Author Info
Open Visualization
Name
Papers
Collaborators
STEFAN MARTICEK
2
7
Citations
PageRank
Referers
1
0.82
4
Referees
References
0
0
Publications (2 rows)
Collaborators (7 rows)
Referers (4 rows)
Referees (0 rows)
Title
Citations
PageRank
Year
2LS: Memory Safety and Non-termination - (Competition Contribution).
1
0.48
2018
2LS: Memory Safety and Non-termination - (Competition Contribution).
0
0.34
2018
1