Concepedia

Szymon Toruńczyk

ST

17

Publications

282

Citations

12

H-Index

2009

Active since

Affiliations

University of Warsaw(Current)

Centre National de la Recherche Scientifique

Czech Academy of Sciences, Institute of Computer Science

Charles University

University of California, Berkeley

Szymon Toruńczyk is an author at University of Warsaw specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsDiscrete MathematicsFormal VerificationComputational ComplexityGraph TheoryProgram AnalysisCombinatorial Optimization

Publications per year

2009–2024

17

Publications

17

Turing Machines with Atoms

Mikołaj Bojańczyk, Bartek Klin, Sławomir Lasota et al. · 2013 · 30 citations

Deterministic Machines, Engineering, Computational Model Theory +16

Twin-width IV: ordered graphs and matrices

Édouard Bonnet, Ugo Giocanti, Patrice Ossona de Mendez et al. · 2022 · 29 citations · Full text

Graph Minor, Geometric Graph Theory, Engineering +15

On the number of types in sparse graphs

Michał Pilipczuk, Sebastian Siebertz, Szymon Toruńczyk · 2018 · 22 citations

Engineering, Graph Theory, Dense Class +9

Automata based verification over linearly ordered data domains

Luc Segoufin, Szymon Toruńczyk · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2011 · 20 citations · Full text

Specification Language, Formal Specification, Engineering +13

Weak MSO+U over infinite trees

Mikołaj Bojańczyk, Szymon Toruńczyk · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2012 · 19 citations · Full text

Mathematical Programming, Engineering, Automaton Model +16

Rows per page

1–5 of 17