Elisabeth Henkel
Orcid: 0000-0003-3844-8292
According to our database1,
Elisabeth Henkel
authored at least 4 papers
between 2021 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2023
Proceedings of the Automated Deduction - CADE 29, 2023
2021
Proof Tree Preserving Sequence Interpolation of Quantified Formulas in the Theory of Equality.
Proceedings of the 19th International Workshop on Satisfiability Modulo Theories co-located with 33rd International Conference on Computer Aided Verification(CAV 2021), 2021
Proceedings of the Joint Proceedings of REFSQ 2021 Workshops, 2021