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 × Australia
1 × Italy
1 × Japan
1 × Latvia
Collaborated with:
W.Martens P.Jancar T.Masopust P.Parys M.Przybylko C.David K.Losemann
Talks about:
regular (2) determinist (1) bisimilar (1) subsequ (1) process (1) pattern (1) nexptim (1) languag (1) express (1) contain (1)

Person: Wojciech Czerwinski

DBLP DBLP: Czerwinski:Wojciech

Contributed to:

LICS 20152015
PODS 20152015
FOSSACS 20132013
ICALP (2) 20132013

Wrote 4 papers:

LICS-2015-CzerwinskiJ #branch #process #similarity
Branching Bisimilarity of Normed BPA Processes Is in NEXPTIME (WC, PJ), pp. 168–179.
The (Almost) Complete Guide to Tree Pattern Containment (WC, WM, PP, MP), pp. 117–130.
FoSSaCS-2013-CzerwinskiDLM #regular expression
Deciding Definability by Deterministic Regular Expressions (WC, CD, KL, WM), pp. 289–304.
ICALP-v2-2013-CzerwinskiMM #performance #regular expression #sequence
Efficient Separability of Regular Languages by Subsequences and Suffixes (WC, WM, TM), pp. 150–161.

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.