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 × Austria
1 × Japan
1 × USA
Collaborated with:
P.Hofman R.Mayr J.Leroux G.Sutre P.A.Abdulla M.F.Atig K.N.Kumar
Talks about:
one (2) pushdown (1) problem (1) infinit (1) counter (1) vector (1) system (1) energi (1) dimens (1) state (1)

Person: Patrick Totzke

DBLP DBLP: Totzke:Patrick

Contributed to:

ICALP (2) 20152015
CSL-LICS 20142014
LICS 20132013

Wrote 3 papers:

ICALP-v2-2015-LerouxST #automaton #on the #problem
On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension (JL, GS, PT), pp. 324–336.
LICS-CSL-2014-AbdullaAHMKT #energy #game studies #infinity
Infinite-state energy games (PAA, MFA, PH, RM, KNK, PT), p. 10.
LICS-2013-HofmanMT #decidability #simulation
Decidability of Weak Simulation on One-Counter Nets (PH, RM, PT), pp. 203–212.

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.