Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Tidjani Négadi
Daniel P. Kennedy
Jinseok Kim
Andrew Dremov
Barbara Aquilani
Dermot Kerr
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chen Ma
Home
/
Author
/
THOMAS MARTIN GAWLITZA
Author Info
Open Visualization
Name
Affiliation
Papers
THOMAS MARTIN GAWLITZA
TU München, Institut für Informatik, I2, München, Germany 85748
13
Collaborators
Citations
PageRank
11
88
6.37
Referers
Referees
References
125
208
198
Search Limit
100
208
Publications (13 rows)
Collaborators (11 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Parametric Strategy Iteration.
0
0.34
2014
Numerical Invariants through Convex Relaxation and Max-Strategy Iteration
1
0.36
2014
Abstract interpretation meets convex optimization
8
0.44
2012
Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs
7
0.56
2012
Discretizing affine hybrid automata with uncertainty
5
0.42
2011
Template-Based unbounded time verification of affine hybrid automata
7
0.47
2011
Join-lock-sensitive forward reachability analysis for concurrent programs with dynamic process creation
16
0.84
2011
Solving systems of rational equations through strategy iteration
17
0.67
2011
Improving strategies via SMT solving
7
0.49
2011
Computing relaxed abstract semantics w.r.t. quadratic zones precisely
14
0.64
2010
Normalization of linear horn clauses
0
0.34
2010
Abstract Interpretation over Zones without Widening.
2
0.39
2010
Games through Nested Fixpoints
4
0.41
2009
1