research
∙
07/19/2023
On the work of dynamic constant-time parallel algorithms for regular tree languages and context-free languages
Previous work on Dynamic Complexity has established that there exist dyn...
share
research
∙
07/19/2023
Dynamic constant time parallel graph algorithms with sub-linear work
The paper proposes dynamic parallel algorithms for connectivity and bipa...
research
∙
05/11/2023
Schelling Games with Continuous Types
In most major cities and urban areas, residents form homogeneous neighbo...
research
∙
10/11/2021
Towards Explainable Real Estate Valuation via Evolutionary Algorithms
Human lives are increasingly influenced by algorithms, which therefore n...
research
∙
05/12/2021
Iltis: Teaching Logic in the Web
The Iltis project provides an interactive, web-based system for teaching...
research
∙
01/21/2021
Work-sensitive Dynamic Complexity of Formal Languages
Which amount of parallel resources is needed for updating a query result...
research
∙
10/14/2019
Dynamic Complexity Meets Parameterised Algorithms
Dynamic Complexity studies the maintainability of queries with logical f...
research
∙
04/04/2018