Hans-Dieter A. Hiep
Orcid: 0000-0001-9677-6644Affiliations:
- Leiden Institute of Advanced Computer Science, The Netherlands
According to our database1,
Hans-Dieter A. Hiep
authored at least 14 papers
between 2019 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023
Proceedings of the iFM 2023 - 18th International Conference, 2023
2022
Integrating ADTs in KeY and their application to history-based reasoning about collection.
Formal Methods Syst. Des., August, 2022
Int. J. Softw. Tools Technol. Transf., 2022
Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022
2021
ACM Trans. Program. Lang. Syst., 2021
Proceedings of the Formal Methods - 24th International Symposium, 2021
2020
Proceedings of the Deductive Software Verification: Future Perspectives, 2020
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
Proceedings of the Integrated Formal Methods - 16th International Conference, 2020
Proceedings of the FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, 2020
2019
Proceedings of the Integrated Formal Methods - 15th International Conference, 2019
Proceedings of the Formal Aspects of Component Software - 16th International Conference, 2019