Lars Hupel
Orcid: 0000-0002-8442-856XAffiliations:
- TU Munich, Department of Informatics, Germany
According to our database1,
Lars Hupel
authored at least 28 papers
between 2014 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
2
1
1
3
3
3
4
1
1
1
1
1
1
3
1
1
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
CoRR, 2024
Extending Isabelle/HOL's Code Generator with Support for the Go Programming Language.
Proceedings of the Formal Methods - 26th International Symposium, 2024
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