Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
s a orjuela
Claudia Calabrese
Hao Mao
Peter Malec
Arthur Douillard
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Wolfgang Loibl
Home
/
Author
/
ANDREW WINTENBERG
Author Info
Open Visualization
Name
Affiliation
Papers
ANDREW WINTENBERG
University of Michigan
2
Collaborators
Citations
PageRank
5
0
0.68
Referers
Referees
References
0
33
15
Publications (2 rows)
Collaborators (5 rows)
Referers (0 rows)
Referees (33 rows)
Title
Citations
PageRank
Year
A general language-based framework for specifying and verifying notions of opacity
0
0.34
2022
Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications
0
0.34
2021
1