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 × Croatia
1 × Italy
2 × Japan
Collaborated with:
J.Michaliszyn T.A.Henzinger K.Chatterjee U.Boker R.Ibsen-Jensen
Talks about:
elementari (2) automata (2) modal (2) logic (2) structur (1) pushdown (1) discount (1) transit (1) problem (1) distanc (1)

Person: Jan Otop


Contributed to:

ICALP (2) 20152015
LICS 20152015
CSL 20132013
LICS 20122012

Wrote 5 papers:

ICALP-v2-2015-ChatterjeeHIO #automaton #distance #edit distance
Edit Distance for Pushdown Automata (KC, TAH, RIJ, JO), pp. 121–133.
LICS-2015-BokerHO #problem
The Target Discounted-Sum Problem (UB, TAH, JO), pp. 750–761.
LICS-2015-ChatterjeeHO #automaton
Nested Weighted Automata (KC, TAH, JO), pp. 725–737.
CSL-2013-MichaliszynO #logic #transitive
Elementary Modal Logics over Transitive Structures (JM, JO), pp. 563–577.
LICS-2012-MichaliszynO #decidability #logic
Decidable Elementary Modal Logics (JM, JO), pp. 491–500.

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.