BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Finland
1 × France
1 × Iceland
1 × Portugal
1 × Switzerland
Collaborated with:
H.Seidl J.Esparza S.Kiefer
Talks about:
precis (3) strategi (2) fixpoint (2) iter (2) game (2) polynomi (1) approxim (1) monoton (1) analysi (1) system (1)

Person: Thomas Gawlitza

DBLP DBLP: Gawlitza:Thomas

Contributed to:

CAV 20092009
FM 20082008
ICALP (1) 20082008
CSL 20072007
ESOP 20072007

Wrote 5 papers:

CAV-2009-GawlitzaS #fixpoint #game studies
Games through Nested Fixpoints (TG, HS), pp. 291–305.
FM-2008-GawlitzaS #analysis #game studies #precise
Precise Interval Analysis vs. Parity Games (TG, HS), pp. 342–357.
ICALP-A-2008-EsparzaGKS #approximate #equation
Approximative Methods for Monotone Systems of Min-Max-Polynomial Equations (JE, TG, SK, HS), pp. 698–710.
CSL-2007-GawlitzaS #invariant #precise #relational
Precise Relational Invariants Through Strategy Iteration (TG, HS), pp. 23–40.
ESOP-2007-GawlitzaS #fixpoint #precise
Precise Fixpoint Computation Through Strategy Iteration (TG, HS), pp. 300–315.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.