Henning Basold
Orcid: 0000-0001-7610-8331
According to our database1,
Henning Basold
authored at least 21 papers
between 2014 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
1
1
1
2
1
1
1
3
1
1
2
1
1
2
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024
Proceedings of the Foundations of Software Science and Computation Structures, 2024
Proceedings of the Relational and Algebraic Methods in Computer Science, 2024
2023
Finitely Presentable Higher-Dimensional Automata and the Irrationality of Process Replication.
CoRR, 2023
Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023
2022
ACM Trans. Program. Lang. Syst., 2022
2021
Proceedings of the Programming Languages and Systems, 2021
2020
The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them.
Theory Pract. Log. Program., 2020
2019
Math. Struct. Comput. Sci., 2019
J. Log. Comput., 2019
Proceedings of the Programming Languages and Systems, 2019
Proceedings of the 8th Conference on Algebra and Coalgebra in Computer Science, 2019
2018
CoRR, 2018
2017
Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017
2016
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016
2015
Proceedings of the Proceedings Tenth International Workshop on Fixed Points in Computer Science, 2015
Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015
2014
Proceedings of the Formal Methods for Industrial Critical Systems, 2014
Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014