Maurice Dekker

According to our database, Maurice Dekker authored at least 3 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Barely Decidable Fragments of Planning.

Maurice Dekker, Gregor Behnke

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

2023

Code for paper Diameter Dependence of Transport through Nuclear Pore Complex Mimics Studied Using Optical Nanopores.

Nils Klughammer, Anders Barth, Maurice Dekker

Dataset, February, 2023

Proof Systems for the Modal μ-Calculus Obtained by Determinizing Automata.

Maurice Dekker, Johannes Kloibhofer, Johannes Marti, Yde Venema

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023