Author Info
Name
Affiliation
Papers
ANDREAS GAISER
Institut für Informatik, Technische Universität München, Germany
2
Collaborators
Citations 
PageRank 
3
42
1.93
Referers 
Referees 
References 
70
44
26
Title
Citations
PageRank
Year
Rabinizer: small deterministic automata for LTL (F,G)180.842012
Proving termination of probabilistic programs using patterns241.092012