Manuel Bodirsky

A look at how database resilience impacts data management and query processing.

Exploring the impact of positive equality-free logic on model-checking methods.

Explore temporal VCSPs and their significance in optimization problems.