29.04.2021
 

Paper accepted at IJCAI 2021

Our paper "Details (Don't) Matter: Isolating Cluster Information in Deep Embedded Spaces" has been accepted for presentation at IJCAI-21 (13.9%...

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...

16.04.2021
 

Auch dieses Jahr sind österreichische Informatik-Studierende dazu eingeladen, sich bis 28. Mai 2021 für „Seeds for the Future“ von Huawei zu bewerben....

07.04.2021
 

on the "Scalability and Liquidation Enhancement in QoS Lightning Networks"

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...