Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Andrew Parker
Claudia Calabrese
Christos Gatzidis
Hao Mao
Zewen Liu
Peter Malec
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
THOMAS NOLL
Author Info
Open Visualization
Name
Affiliation
Papers
THOMAS NOLL
RWTH Aachen Lehrstuhl für Informatik II Ahornstr. 55 Aachen Germany
4
Collaborators
Citations
PageRank
5
20
2.32
Referers
Referees
References
26
75
34
Publications (4 rows)
Collaborators (5 rows)
Referers (26 rows)
Referees (75 rows)
Title
Citations
PageRank
Year
Functional programming languages for verification tools: a comparison of Standard ML and Haskell
0
0.34
2005
Semi-Automated Verification of Erlang Code
5
0.69
2001
Truth/SLC - A Parallel Verification Platform for Concurrent Systems
9
0.75
2001
Rapid Prototyping of Specification Language Implementations
6
0.55
1999
1
