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 × Czech Republic
1 × Germany
1 × Italy
1 × Japan
Collaborated with:
T.Schwentick N.Vortmeier A.Manuel S.Datta R.Kulkarni A.Mukherjee J.Schmidt I.Kokkinis
Talks about:
logic (3) dynam (3) two (3) variabl (2) complex (2) parameteris (1) dimension (1) algorithm (1) structur (1) reachabl (1)

Person: Thomas Zeume

DBLP DBLP: Zeume:Thomas

Contributed to:

CSL 20152015
ICALP (2) 20152015
CSL 20132013
CSL 20102010
CSL 20202020

Wrote 6 papers:

CSL-2015-SchwentickVZ #source code #static analysis
Static Analysis for Logic-based Dynamic Programs (TS, NV, TZ), pp. 308–324.
ICALP-v2-2015-DattaKMSZ #reachability
Reachability is in DynFO (SD, RK, AM, TS, TZ), pp. 159–170.
CSL-2013-ManuelZ #2d #logic
Two-Variable Logic on 2-Dimensional Structures (AM, TZ), pp. 484–499.
CSL-2010-SchwentickZ #logic #order
Two-Variable Logic with Two Order Relations — (TS, TZ), pp. 499–513.
CSL-2020-SchmidtSVZK #algorithm #complexity
Dynamic Complexity Meets Parameterised Algorithms (JS, TS, NV, TZ, IK), p. 17.
CSL-2020-VortmeierZ #complexity #query
Dynamic Complexity of Parity Exists Queries (NV, TZ), p. 16.

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.