research
∙
05/30/2022
Giant Components in Random Temporal Graphs
A temporal graph is a graph whose edges appear only at certain points in...
share
research
∙
11/07/2020
Sharp Thresholds in Random Simple Temporal Graphs
A graph whose edges only appear at certain points in time is called a te...
research
∙
08/17/2020
A unified algorithm for colouring graphs of bounded clique-width
Clique-width is one of the graph complexity measures leading to polynomi...
research
∙
07/17/2020
Efficient Restrictions of Immediate Observation Petri Nets
In a previous paper we introduced immediate observation Petri nets, a su...
research
∙
03/18/2019
Working with first-order proofs and provers
Verifying software correctness has always been an important and complica...
research
∙
11/10/2017