Szymon Toruńczyk
发表
Jakub Gajarsk'y,
Michal Pilipczuk,
Wojciech Przybyszewski,
2022,
ICALP.
P. Parys,
Szymon Toruńczyk,
2016
.
Jannik Dreier,
Szymon Toruńczyk,
Nikolas Mahlmann,
2022,
ICALP.
Jakub Gajarsk'y,
Michal Pilipczuk,
Szymon Toruńczyk,
2021,
LICS.
Michal Pilipczuk,
Sandra Kiefer,
Szymon Toru'nczyk,
2022,
LICS.
Michal Pilipczuk,
Szymon Torunczyk,
Sebastian Siebertz,
2017,
LICS.
Szymon Torunczyk,
Jean-François Raskin,
Laurent Doyen,
2010,
CSL.
Szymon Torunczyk,
Luc Segoufin,
L. Segoufin,
2011,
STACS.
Michal Pilipczuk,
Szymon Torunczyk,
Sebastian Siebertz,
2018,
STACS.
Stephan Kreutzer,
Jaroslav Nesetril,
Patrice Ossona de Mendez,
2018,
ICALP.
Michal Pilipczuk,
Sebastian Siebertz,
Alexandre Vigny,
2021,
ICALP.
Patrice Ossona de Mendez,
Pierre Simon,
'Edouard Bonnet,
2021,
STOC.
Pierre Simon,
Szymon Toru'nczyk,
Pierre Simon,
2021,
ArXiv.
Wojciech Przybyszewski,
Szymon Toruńczyk,
Pierre Ohlmann,
2023,
ICALP.
Rose McCarty,
Jakub Gajarsk'y,
Michal Pilipczuk,
2023,
ICALP.
Jannik Dreier,
S. Kreutzer,
Pierre Simon,
2022,
LICS.
Szymon Toru'nczyk,
Szymon Toruńczyk,
2019,
PODS.
Michal Pilipczuk,
Szymon Torunczyk,
Sebastian Siebertz,
2018,
LICS.
Slawomir Lasota,
Szymon Torunczyk,
Mikolaj Bojanczyk,
2013,
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Szymon Torunczyk,
Tomasz Gogacz,
Szymon Toruńczyk,
2015,
ICDT.
M. Bojanczyk,
Eryk Kopczynski,
Szymon Toruńczyk,
2012
.
Szymon Torunczyk,
Joanna Ochremiak,
Eryk Kopczynski,
2015,
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
Slawomir Lasota,
Szymon Torunczyk,
Joanna Ochremiak,
2016,
FSTTCS.
Bartek Klin,
Szymon Toruńczyk,
Sławomir Lasota,
2021,
FoSSaCS.
Szymon Torunczyk,
Albert Atserias,
Albert Atserias,
2016,
CSL.
Michał Skrzypczak,
Grzegorz Fabiański,
Szymon Toruńczyk,
2020,
LICS.
Thomas Zeume,
Szymon Toruńczyk,
T. Zeume,
2020,
LICS.
Szymon Torunczyk,
Eryk Kopczynski,
Eryk Kopczynski,
2017,
ACM-SIGACT Symposium on Principles of Programming Languages.
Szymon Torunczyk,
Mikolaj Bojanczyk,
Szymon Toruńczyk,
2018,
LICS.
Slawomir Lasota,
Szymon Torunczyk,
Joanna Ochremiak,
2018,
Log. Methods Comput. Sci..
Szymon Torunczyk,
Eryk Kopczynski,
Eryk Kopczynski,
2016,
SMT@IJCAR.
Eryk Kopczynski,
Szymon Toruńczyk,
2016
.
Szymon Torunczyk,
Mikolaj Bojanczyk,
Szymon Toruńczyk,
2012,
FSTTCS.