Projects
Our projects are funded by:
Current and completed projects of our research group:
Static and Dynamic Hierarchical Graph Decompositions
Henzinger, M. (Project Lead) & Frolik-Steffan, U. (Admin)
1/10/22 → 30/09/25
Project: Research funding
VGSCO: Vienna Graduate School on Computational Optimization
Bot, R. I. (Project Lead), Bomze, I. (Co-Lead), Henzinger, M. (Co-Lead) & Neumaier, A. (Co-Lead)
1/03/20 → 31/08/25
Project: Research funding
Fast Algorithms for a Reactive Network Layer
Henzinger, M. (Project Lead), Schmid, S. (Co-Lead), Paz, A. (Co-Lead) & Frolik-Steffan, U. (Admin)
1/10/20 → 30/09/24
Project: Research funding
Algorithm Engineering for Process Mapping
Schulz, C. (Project Lead) & Träff, J. L. (Co-Lead)
1/04/19 → 31/03/22
Project: Research funding
Efficient Algorithms for Computer Aided Verification
Henzinger, M. (Project Lead), Frolik-Steffan, U. (Admin) & Chatterjee, K. (Co-Lead)
15/03/16 → 30/06/21
Project: Research funding
6 -
10 out of 17