Lars Hupel
Orcid: 0000-0002-8442-856XAffiliations:
- TU Munich, Department of Informatics, Germany
According to our database1,
Lars Hupel
authored at least 26 papers
between 2014 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on twitter.com
-
on orcid.org
-
on github.com
On csauthors.net:
Bibliography
2024
2023
Extending Isabelle/HOL's Code Generator with support for the Go programming language.
CoRR, 2023
Proceedings of the Ubiquitous Security, 2023
2020
2019
2018
Proceedings of the Programming Languages and Systems, 2018
2017
2016
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016
2015
Proceedings of the FM 2015: Formal Methods, 2015
2014
Proceedings of the Proceedings Third International Workshop on Engineering Safety and Security Systems, 2014
Proceedings of the Intelligent Computer Mathematics - International Conference, 2014
Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, 2014