Hendrik Maarand

According to our database, Hendrik Maarand authored at least 7 papers between 2017 and 2024.

Collaborative distances:

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

2024

Yet another canonical nondeterministic automaton.

Hendrik Maarand, Hellis Tamm

Theor. Comput. Sci., 2024

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