1 2 3 4 ...
27.04.2021
 

ICALP 2021

The paper "Faster Algorithms for Bounded Liveness in Graphs and Game Graphs" by Krishnendu Chatterjee, Monika Henzinger, Sagar Kale and Alexander...

27.04.2021
 

SPAA 2021

The paper "On the Complexity of Load Balancing in Dynamic Networks" by Seth Gilbert, Uri Meir, Ami Paz and Gregory Schwartzman was accepted to the...

06.04.2021
 

LICS 2021

The paper "Symbolic Time and Space Tradeoffs for Probabilistic Verification" by Krishnendu Chatterjee, Wolfgang Dvořák, Monika Henzinger and Alexander...

09.10.2020
 

New FWF Project

The new project "Fast Algorithms for a Reactive Network Layer" will design programs to automate decisions in network routers and develop efficient...

30.09.2020
 

5 papers at SODA 2021

The following papers were accepted to the ACM-SIAM Symposium on Discrete Algorithm 2021:

 

25.06.2020
 

ESA 2020

Three papers of the group have been accepted at European Symposium on Algorithms (ESA'20): "Fully-Dynamic Coresets" by Monika Henzinger, Sagar Kale;...

1 2 3 4 ...