Name Card

Full name Familienname, Vorname
Dreier, Jan Niclas
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-14 of 14 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Dreier-2023-Constraints-vor.pdf.jpgDreier, Jan ; Ordyniak, Sebastian ; Szeider, Stefan CSP beyond tractable constraint languagesArticle Artikel Sep-2023
2Dreier-2023-Evaluating Restricted First-Order Counting Properties on Nowh...-vor.pdf.jpgDreier, Jan ; Mock, Daniel ; Rossmanith, Peter Evaluating Restricted First-Order Counting Properties on Nowhere Dense Classes and BeyondInproceedings Konferenzbeitrag 30-Aug-2023
3Dreier, Jan ; Tucker-Foltz, Jamie Pseudorandom Finite ModelsInproceedings Konferenzbeitrag 14-Jul-2023
4Dreier-2023-Indiscernibles and Flatness in Monadically Stable and Monadic...-vor.pdf.jpgDreier, Jan ; Mählmann, Nikolas ; Siebertz, Sebastian ; Toruńczyk, Szymon Indiscernibles and Flatness in Monadically Stable and Monadically NIP ClassesInproceedings Konferenzbeitrag 5-Jul-2023
5Dreier, Jan ; Mählmann, Nikolas ; Siebertz, Sebastian First-Order Model Checking on Structurally Sparse Graph ClassesInproceedings Konferenzbeitrag 2-Jun-2023
6Bergougnoux, Benjamin ; Dreier, Jan ; Jaffke, Lars A logic-based algorithmic meta-theorem for mim-widthInproceedings Konferenzbeitrag 2023
7Dreier-2022-Combinatorial and Algorithmic Aspects of Monadic Stability-vor.pdf.jpgDreier, Jan ; Mählmann, Nikolas ; Mouawad, Amer ; Siebertz, Sebastian ; Vigny, Alexandre Combinatorial and Algorithmic Aspects of Monadic StabilityInproceedings Konferenzbeitrag 14-Dec-2022
8Dreier-2022-SAT Backdoors Depth Beats Size-vor.pdf.jpgDreier, Jan ; Ordyniak, Sebastian ; Szeider, Stefan SAT Backdoors: Depth Beats SizeInproceedings Konferenzbeitrag 1-Sep-2022
9Bonnet, Édouard ; Dreier, Jan ; Gajarský, Jakub ; Kreutzer, Stephan ; Mählmann, Nikolas ; Simon, Pierre ; Toruńczyk, Szymon Model Checking on Interpretations of Classes of Bounded Local CliquewidthInproceedings Konferenzbeitrag 4-Aug-2022
10Dreier, Jan ; Gajarský, Jakub ; Kiefer, Sandra ; Pilipczuk, Michał ; Toruńczyk, Szymon Treelike Decompositions for Transductions of Sparse GraphsInproceedings Konferenzbeitrag 4-Aug-2022
11Dreier-2022-CSP Beyond Tractable Constraint Languages-vor.pdf.jpgDreier, Jan ; Ordyniak, Sebastian ; Szeider, Stefan CSP Beyond Tractable Constraint LanguagesInproceedings Konferenzbeitrag 23-Jul-2022
12Dreier, Jan ; Gajarský, Jakub ; Jiang, Yiting ; Ossona de Mendez, Patrice ; Raymond, Jean-Florent Twin-width and generalized coloring numbersArticle Artikel Mar-2022
13Dreier, Jan ; Rossmanith, Peter Approximate Evaluation of First-Order Counting QueriesKonferenzbeitrag Inproceedings 2021
14Dreier, Jan Lacon- and Shrub-Decompositions: A New Characterization of First-Order Transductions of Bounded Expansion ClassesKonferenzbeitrag Inproceedings 2021