Hendrik Maarand
Orcid: 0000-0002-1967-4297
According to our database1,
Hendrik Maarand
authored at least 7 papers
between 2017 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Proceedings of the Descriptional Complexity of Formal Systems, 2022
2021
J. Log. Algebraic Methods Program., 2021
2019
CoRR, 2019
Proceedings of the 30th International Conference on Concurrency Theory, 2019
2018
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018
2017
Proceedings of the Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2017