Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Shasha Zhao
Claudia Calabrese
Hao Mao
Maria Sameiro Carvalho
Peter Malec
Giovanni Venturelli
Chen Ma
Shorten, R.
Radu Timofte
Kuanrui Yin
Home
/
Author
/
ALEXANDER JESSER
Author Info
Open Visualization
Name
Affiliation
Papers
ALEXANDER JESSER
Goethe Univ Frankfurt, Dept Comp Sci, D-60325 Frankfurt, Germany
4
Collaborators
Citations
PageRank
12
15
2.15
Referers
Referees
References
38
38
12
Publications (4 rows)
Collaborators (12 rows)
Referers (38 rows)
Referees (38 rows)
Title
Citations
PageRank
Year
Towards assertion-based verification of heterogeneous system designs
9
0.74
2010
A symbolic approach for mixed-signal model checking
4
0.59
2008
Advanced Assertion-Based Design For Mixed-Signal Verification
2
0.48
2008
A case study on applying bounded model checking to analog circuit verification.
0
0.34
2006
1
