Szymon Toruńczyk

Cited by

	All	Since 2019
Citations	998	618
h-index	18	14
i10-index	30	23

160

120

2010201120122013201420152016201720182019202020212022202320247 27 27 23 32 61 91 54 43 74 65 88 126 158 107

Public access

View all

15 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Michał PilipczukUniversity of WarsawVerified email at mimuw.edu.pl
Sebastian SiebertzUniversität Bremen, AG Theoretische InformatikVerified email at uni-bremen.de
Mikołaj BojańczykUniwersytet WarszawskiVerified email at mimuw.edu.pl
Jakub GajarskyAssistant professor, University of WarsawVerified email at mimuw.edu.pl
Bartek KlinUniversity of OxfordVerified email at cs.ox.ac.uk
Eryk Kopczyńskiassistant professor, University of WarsawVerified email at mimuw.edu.pl
Slawomir LasotaUniversity of Warsaw, prof. of computer scienceVerified email at mimuw.edu.pl
Jan DreierTU WienVerified email at ac.tuwien.ac.at
Stephan KreutzerProfessor of Computer Science, Technical University BerlinVerified email at tu-berlin.de
Nikolas MählmannUniversity of BremenVerified email at uni-bremen.de
Édouard BonnetENS Lyon, LIP, FranceVerified email at ens-lyon.fr
Jaroslav NešetřilCharles UniversityVerified email at kam.mff.cuni.cz
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Verified email at ulb.ac.be
Laurent DoyenCNRS - LMF, ENS Paris-SaclayVerified email at lsv.fr
Paweł ParysUniwersytet WarszawskiVerified email at mimuw.edu.pl
Michał SkrzypczakUniwersytet WarszawskiVerified email at mimuw.edu.pl
Tomasz GogaczUniversity of WrocławVerified email at cs.uni.wroc.pl
Alexandre VignyBremen UniversitätVerified email at uni-bremen.de
Denis KuperbergCNRS, ENS Lyon, Plume TeamVerified email at ens-lyon.fr
Amaldev ManuelIndian Institute of Technology GoaVerified email at iitgoa.ac.in

Szymon Toruńczyk

University of Warsaw

Verified email at mimuw.edu.pl - Homepage

Logic in Computer Science Finite Model Theory Structural Graph Theory Automata Theory Database Theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Energy and mean-payoff games with imperfect information A Degorre, L Doyen, R Gentilini, JF Raskin, S Toruńczyk International Workshop on Computer Science Logic, 260-274, 2010	99	2010
Twin-width IV: ordered graphs and matrices É Bonnet, U Giocanti, PO de Mendez, P Simon, S Thomassé, S Toruńczyk Journal of the ACM 71 (3), 1-45, 2024	90*	2024
First-Order Interpretations of Bounded Expansion Classes J Gajarsky, S Kreutzer, J Nesetril, P Ossona de Mendez, M Pilipczuk, ... 45th International Colloquium on Automata, Languages, and Programming …, 2018	72	2018
Turing machines with atoms M Bojanczyk, B Klin, S Lasota, S Torunczyk 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 183-192, 2013	63	2013
Weak MSO+ U over infinite trees M Bojanczyk, S Torunczyk STACS'12 (29th Symposium on Theoretical Aspects of Computer Science) 14, 648-660, 2012	56	2012
Automata based verification over linearly ordered data domains L Segoufin, S Toruńczyk Symposium on Theoretical Aspects of Computer Science (STACS2011) 9, 81-92, 2011	42	2011
On the number of types in sparse graphs M Pilipczuk, S Siebertz, S Toruńczyk Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018	36*	2018
Stable graphs of bounded twin-width J Gajarský, M Pilipczuk, S Toruńczyk Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022	35	2022
The MSO+U Theory of (N,<) Is Undecidable M Bojanczyk, P Parys, S Toruńczyk Symposium on Theoretical Aspects of Computer Science (STACS2016) 47, 21:1--21:8, 2016	34*	2016
Verification of database-driven systems via amalgamation M Bojańczyk, L Segoufin, S Toruńczyk Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGAI symposium on Principles of …, 2013	32	2013
Languages of profinite words and the limitedness problem S Toruńczyk PhD thesis, Warsaw University, 2011	30	2011
Deterministic automata and extensions of weak mso M Bojanczyk, S Torunczyk IARCS Annual Conference on Foundations of Software Technology and …, 2009	29	2009
Progressive algorithms for domination and independence G Fabiański, M Pilipczuk, S Siebertz, S Toruńczyk arXiv preprint arXiv:1811.06799, 2018	25	2018
Imperative programming in sets with atoms M Bojanczyk, S Torunczyk IARCS Annual Conference on Foundations of Software Technology and …, 2012	25	2012
LOIS: syntax and semantics E Kopczyński, S Toruńczyk ACM SIGPLAN Notices 52 (1), 586-598, 2017	24	2017
Locally finite constraint satisfaction problems B Klin, E Kopczynski, J Ochremiak, S Torunczyk 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 475-486, 2015	23	2015
Entropy Bounds for Conjunctive Queries with Functional Dependencies T Gogacz, S Toruńczyk 20th International Conference on Database Theory, ICDT 2017 68, 15:1–15:17, 2017	21	2017
Homomorphism problems for first-order definable structures B Klin, S Lasota, JR Ochremiak, SA Torunczyk 36th IARCS Annual Conference on Foundations of Software Technology and …, 2016	19	2016
Algorithms and data structures for first-order logic with connectivity under vertex failures M Pilipczuk, N Schirrmacher, S Siebertz, S Toruńczyk, A Vigny arXiv preprint arXiv:2111.03725, 2021	18	2021
LOIS: an application of SMT solvers E Kopczyński, S Toruńczyk Procs. SMT Workshop 1716, 51-60, 2016	18	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors