Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Tidjani Négadi
Kara Oropallo
Shin-Ming Cheng
Jhonathan Pinzon
Liangliang Shang
Giovanni Venturelli
Detlef Labrenz
Chen Ma
Jing-Sheng Wong
Radu Timofte
Home
/
Author
/
HEINZ TRESELER
Author Info
Open Visualization
Name
Affiliation
Papers
HEINZ TRESELER
Univ Dortmund, Dept Chem Engn, D-4600 Dortmund, Germany
2
Collaborators
Citations
PageRank
10
21
4.61
Referers
Referees
References
48
33
13
Publications (2 rows)
Collaborators (10 rows)
Referers (48 rows)
Referees (33 rows)
Title
Citations
PageRank
Year
An Open Software Architecture for the Verification of Industrial Controllers
2
0.46
2001
A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem
19
4.15
1997
1