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

Prof. Dr. Monika Henzinger explains in the Audimax Podcast of the University of Vienna the basics and different types of algorithms, why the term has...

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

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

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

The paper “Recent Developments in Boolean Matrix Factorization" by Pauli Miettinen and Stefan Neumann has been accepted at IJCAI 2020 (survey track).