`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: Totzke:Patrick

### Contributed to:

### 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.