Author Info
Name
Affiliation
Papers
STEFAN SCHULZE FRIELINGHAUS
Tech Univ Munich, Boltzmannstr 3, D-85748 Garching, Germany
2
Collaborators
Citations 
PageRank 
3
2
0.70
Referers 
Referees 
References 
5
61
36
Title
Citations
PageRank
Year
Enforcing Termination of Interprocedural Analysis.20.362016
Inter-procedural Two-Variable Herbrand Equalities.00.342014