activity
20122023
most citedA Formal Analysis of 5G Authentication

412 citations · 423 across the 12 of their papers we have counts for

collaborators
Showing cs.DMShow all

5 papers · 1 filter

cs.DM2022

Combinatorial and Algorithmic Aspects of Monadic Stability

Jan Dreier, Nikolas Mählmann, Amer E. Mouawad +2

Nowhere dense classes of graphs are classes of sparse graphs with rich structural and algorithmic properties, however, they fail to capture even simple classes of dense graphs. Mon…

cs.DM2021★ 3 cited

Lacon-, Shrub- and Parity-Decompositions: Characterizing Transductions of Bounded Expansion Classes

Jan Dreier

The concept of bounded expansion provides a robust way to capture sparse graph classes with interesting algorithmic properties. Most notably, every problem definable in first-order…

cs.DM2020

First-Order Model-Checking in Random Graphs and Complex Networks

Jan Dreier, Philipp Kuinke, Peter Rossmanith

Complex networks are everywhere. They appear for example in the form of biological networks, social networks, or computer networks and have been studied extensively. Efficient algo…

cs.DM2018

The Fine Structure of Preferential Attachment Graphs I: Somewhere-Denseness

Jan Dreier, Philipp Kuinke, Peter Rossmanith

Preferential attachment graphs are random graphs designed to mimic properties of typical real world networks. They are constructed by a random process that iteratively adds vertice…

cs.DM2017

Local Structure Theorems for Erdos Renyi Graphs and their Algorithmic Application

Jan Dreier, Philipp Kuinke, Ba Le Xuan +1

We analyze some local properties of sparse Erdos-Renyi graphs, where is the edge probability. In particular we study the behavior of very short paths. For …