Hendrik Maarand

Orcid: 0000-0002-1967-4297

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Yet another canonical nondeterministic automaton.
Theor. Comput. Sci., 2024

2021
Operational semantics with semicommutations.
J. Log. Algebraic Methods Program., 2021

2019
Certified normalization of generalized traces.
Innov. Syst. Softw. Eng., 2019

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

Reordering Derivatives of Trace Closures of Regular Languages.
Proceedings of the 30th International Conference on Concurrency Theory, 2019

2018
Certified Foata Normalization for Generalized Traces.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

2017
Generating Representative Executions [Extended Abstract].
Proceedings of the Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2017


  Loading...