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 × Czech Republic
1 × Japan
1 × United Kingdom
2 × USA
Collaborated with:
B.Klin E.Kopczynski M.Bojanczyk J.Ochremiak S.Lasota A.Atserias P.Parys L.Segoufin A.Degorre L.Doyen R.Gentilini J.Raskin
Talks about:
problem (3) constraint (2) satisfact (2) machin (2) finit (2) ture (2) atom (2) imperfect (1) homogeniz (1) structur (1)

Person: Szymon Torunczyk

DBLP DBLP: Torunczyk:Szymon

Contributed to:

LICS 20152015
CSL-LICS 20142014
LICS 20132013
PODS 20132013
ICALP (2) 20122012
CSL 20102010
CSL 20162016
POPL 20172017

Wrote 9 papers:

LICS-2015-KlinKOT #constraints #finite #problem
Locally Finite Constraint Satisfaction Problems (BK, EK, JO, ST), pp. 475–486.
LICS-CSL-2014-KlinLOT #complexity #constraints #problem #turing machine
Turing machines with atoms, constraint satisfaction problems, and descriptive complexity (BK, SL, JO, ST), p. 10.
LICS-2013-BojanczykKLT #turing machine
Turing Machines with Atoms (MB, BK, SL, ST), pp. 183–192.
PODS-2013-BojanczykST #verification
Verification of database-driven systems via amalgamation (MB, LS, ST), pp. 63–74.
ICALP-v2-2012-Torunczyk #problem #word
Languages of Profinite Words and the Limitedness Problem (ST), pp. 377–389.
CSL-2010-DegorreDGRT #energy #game studies
Energy and Mean-Payoff Games with Imperfect Information (AD, LD, RG, JFR, ST), pp. 260–274.
CSL-2016-AtseriasT #finite
Non-Homogenizable Classes of Finite Structures (AA, ST), p. 16.
CSL-2016-ParysT #logic #modelling #λ-calculus
Models of Lambda-Calculus and the Weak MSO Logic (PP, ST), p. 12.
POPL-2017-KopczynskiT #named #semantics #syntax
LOIS: syntax and semantics (EK, ST), pp. 586–598.

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.