No photo of Arnd Hartmanns

Arnd Hartmanns

dr.

20132018
If you made any changes in Pure these will be visible here soon.

Fingerprint Fingerprint is based on mining the text of the person's research documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

Mathematics

Scheduler
Automata
Trade-offs
Nondeterminism
Reachability
Concurrent
Resolve
Class
Hierarchy
Synthesis
Restriction
Demonstrate