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 × USA
Collaborated with:
R.Mayr P.Totzke P.A.Abdulla M.F.Atig K.N.Kumar
Talks about:
infinit (1) counter (1) energi (1) state (1) simul (1) decid (1) weak (1) game (1) one (1) net (1)

Person: Piotr Hofman

DBLP DBLP: Hofman:Piotr

Contributed to:

CSL-LICS 20142014
LICS 20132013

Wrote 2 papers:

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.