Hendrik Maarand

According to our database, Hendrik Maarand authored at least 8 papers between 2017 and 2025.

Collaborative distances:

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

2025

Finiteness of Symbolic Derivatives in Lean.

Ekaterina Zhuchko, Hendrik Maarand, Margus Veanes, Gabriel Ebner

Proceedings of the 16th International Conference on Interactive Theorem Proving, 2025

2022

Yet Another Canonical Nondeterministic Automaton.

Hendrik Maarand, Hellis Tamm

Proceedings of the Descriptional Complexity of Formal Systems, 2022

2021

Operational semantics with semicommutations.

Hendrik Maarand, Tarmo Uustalu

J. Log. Algebraic Methods Program., 2021

2019

Certified normalization of generalized traces.

Hendrik Maarand, Tarmo Uustalu

Innov. Syst. Softw. Eng., 2019

Reordering Derivatives of Trace Closures of Regular Languages (Full Version).

Hendrik Maarand, Tarmo Uustalu

CoRR, 2019

Reordering Derivatives of Trace Closures of Regular Languages.

Hendrik Maarand, Tarmo Uustalu

Proceedings of the 30th International Conference on Concurrency Theory, 2019

2018

Certified Foata Normalization for Generalized Traces.

Hendrik Maarand, Tarmo Uustalu

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

2017

Generating Representative Executions [Extended Abstract].

Hendrik Maarand, Tarmo Uustalu

Proceedings of the Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2017