ask others

Szymon Torunczyk

Szymon Toruńczyk

> Home > Persons

Person information

unicode name: Szymon Toruńczyk
affiliation: University of Warsaw, Institute of Informatics

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c23]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icalp/GajarskyKNMPST18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icalp/GajarskyKNMPST18
Jakub Gajarský, Stephan Kreutzer, Jaroslav Nesetril, Patrice Ossona de Mendez, Michal Pilipczuk, Sebastian Siebertz, Szymon Torunczyk:
First-Order Interpretations of Bounded Expansion Classes. ICALP 2018: 126:1-126:14
[c22]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/lics/BojanczykT18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/BojanczykT18
Mikolaj Bojanczyk, Szymon Torunczyk:
On computability and tractability for infinite sets. LICS 2018: 145-154
[c21]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/lics/PilipczukST18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/PilipczukST18
Michal Pilipczuk, Sebastian Siebertz, Szymon Torunczyk:
Parameterized circuit complexity of model-checking on sparse structures. LICS 2018: 789-798
[c20]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/lics/PilipczukST18a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/PilipczukST18a
Michal Pilipczuk, Sebastian Siebertz, Szymon Torunczyk:
On the number of types in sparse graphs. LICS 2018: 799-808
[i8]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1802-08500
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1802-08500
Khadijeh Keshvardoost, Bartek Klin, Slawomir Lasota, Joanna Ochremiak, Szymon Torunczyk:
Definable isomorphism problem. CoRR abs/1802.08500 (2018)
[i7]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1805-03488
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1805-03488
Michal Pilipczuk, Sebastian Siebertz, Szymon Torunczyk:
Parameterized circuit complexity of model checking first-order logic on sparse structures. CoRR abs/1805.03488 (2018)
[i6]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1810-02389
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1810-02389
Jakub Gajarský, Stephan Kreutzer, Jaroslav Nesetril, Patrice Ossona de Mendez, Michal Pilipczuk, Sebastian Siebertz, Szymon Torunczyk:
First-order interpretations of bounded expansion classes. CoRR abs/1810.02389 (2018)
2017
[c19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icdt/GogaczT17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icdt/GogaczT17
Tomasz Gogacz, Szymon Torunczyk:
Entropy Bounds for Conjunctive Queries with Functional Dependencies. ICDT 2017: 15:1-15:17
[c18]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/popl/KopczynskiT17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/KopczynskiT17
Eryk Kopczynski, Szymon Torunczyk:
LOIS: syntax and semantics. POPL 2017: 586-598
[i5]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/PilipczukST17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/PilipczukST17
Michal Pilipczuk, Sebastian Siebertz, Szymon Torunczyk:
On Wideness and Stability. CoRR abs/1705.09336 (2017)
2016
[j2]
- view
  - electronic edition @ combinatorics.org
- export record
  dblp key:
  - journals/combinatorics/PilipczukT16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/combinatorics/PilipczukT16
Michal Pilipczuk, Szymon Torunczyk:
On Ultralimits of Sparse Graph Classes. Electr. J. Comb. 23(2): P2.32 (2016)
[c17]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/cade/KopczynskiT16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cade/KopczynskiT16
Eryk Kopczynski, Szymon Torunczyk:
LOIS: an Application of SMT Solvers. SMT@IJCAR 2016: 51-60
[c16]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/ParysT16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/ParysT16
Pawel Parys, Szymon Torunczyk:
Models of Lambda-Calculus and the Weak MSO Logic. CSL 2016: 11:1-11:12
[c15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/AtseriasT16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/AtseriasT16
Albert Atserias, Szymon Torunczyk:
Non-Homogenizable Classes of Finite Structures. CSL 2016: 16:1-16:16
[c14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/KlinLOT16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/KlinLOT16
Bartek Klin, Slawomir Lasota, Joanna Ochremiak, Szymon Torunczyk:
Homomorphism Problems for First-Order Definable Structures. FSTTCS 2016: 14:1-14:15
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stacs/BojanczykPT16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stacs/BojanczykPT16
Mikolaj Bojanczyk, Pawel Parys, Szymon Torunczyk:
The MSO+U Theory of (N, <) Is Undecidable. STACS 2016: 21:1-21:8
[c12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stacs/ColcombetKMT16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stacs/ColcombetKMT16
Thomas Colcombet, Denis Kuperberg, Amaldev Manuel, Szymon Torunczyk:
Cost Functions Definable by Min/Max Automata. STACS 2016: 29:1-29:13
[i4]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/AtseriasT16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/AtseriasT16
Albert Atserias, Szymon Torunczyk:
Non-Homogenizable Classes of Finite Structures. CoRR abs/1605.01199 (2016)
2015
[c11]
- view
- export record
  dblp key:
  - conf/lics/KlinKOT15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/KlinKOT15
Bartek Klin, Eryk Kopczynski, Joanna Ochremiak, Szymon Torunczyk:
Locally Finite Constraint Satisfaction Problems. LICS 2015: 475-486
[i3]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/BojanczykPT15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/BojanczykPT15
Mikolaj Bojanczyk, Pawel Parys, Szymon Torunczyk:
The MSO+U theory of (N, <) is undecidable. CoRR abs/1502.04578 (2015)
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/PilipczukT15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/PilipczukT15
Michal Pilipczuk, Szymon Torunczyk:
On ultralimits of sparse graph classes. CoRR abs/1508.07256 (2015)
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/GogaczT15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/GogaczT15
Tomasz Gogacz, Szymon Torunczyk:
Entropy bounds for conjunctive queries with functional dependencies. CoRR abs/1512.01808 (2015)
2014
[c10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/KlinLOT14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/KlinLOT14
Bartek Klin, Slawomir Lasota, Joanna Ochremiak, Szymon Torunczyk:
Turing machines with atoms, constraint satisfaction problems, and descriptive complexity. CSL-LICS 2014: 58:1-58:10
2013
[j1]
- view
  - electronic edition @ eatcs.org
- export record
  dblp key:
  - journals/eatcs/Torunczyk13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/eatcs/Torunczyk13
Szymon Torunczyk:
Report on Highlights 2013. Bulletin of the EATCS 111 (2013)
[c9]
- view
- export record
  dblp key:
  - conf/lics/BojanczykKLT13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/BojanczykKLT13
Mikolaj Bojanczyk, Bartek Klin, Slawomir Lasota, Szymon Torunczyk:
Turing Machines with Atoms. LICS 2013: 183-192
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/pods/BojanczykST13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/pods/BojanczykST13
Mikolaj Bojanczyk, Luc Segoufin, Szymon Torunczyk:
Verification of database-driven systems via amalgamation. PODS 2013: 63-74
2012
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/BojanczykT12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/BojanczykT12
Mikolaj Bojanczyk, Szymon Torunczyk:
Imperative Programming in Sets with Atoms. FSTTCS 2012: 4-15
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icalp/Torunczyk12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icalp/Torunczyk12
Szymon Torunczyk:
Languages of Profinite Words and the Limitedness Problem. ICALP (2) 2012: 377-389
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stacs/BojanczykT12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stacs/BojanczykT12
Mikolaj Bojanczyk, Szymon Torunczyk:
Weak MSO+U over infinite trees. STACS 2012: 648-660
2011
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/stacs/SegoufinT11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/stacs/SegoufinT11
Luc Segoufin, Szymon Torunczyk:
Automata based verification over linearly ordered data domains. STACS 2011: 81-92
2010
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/DegorreDGRT10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/DegorreDGRT10
Aldric Degorre, Laurent Doyen, Raffaella Gentilini, Jean-François Raskin, Szymon Torunczyk:
Energy and Mean-Payoff Games with Imperfect Information. CSL 2010: 260-274
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/HummelST10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/HummelST10
Szczepan Hummel, Michal Skrzypczak, Szymon Torunczyk:
On the Topological Complexity of MSO+U and Related Automata Models. MFCS 2010: 429-440

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/BojanczykT09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/BojanczykT09
Mikolaj Bojanczyk, Szymon Torunczyk:
Deterministic Automata and Extensions of Weak MSO. FSTTCS 2009: 73-84

Coauthor Index

see FAQ

maintained by

at