Lars Hupel
According to our database^{1},
Lars Hupel
authored at least 22 papers
between 2014 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at twitter.com

at orcid.org

at github.com
On csauthors.net:
Bibliography
2020
Arch. Formal Proofs, 2020
2019
PhD thesis, 2019
Fundam. Inform., 2019
Arch. Formal Proofs, 2019
Arch. Formal Proofs, 2019
2018
J. Autom. Reasoning, 2018
Arch. Formal Proofs, 2018
Arch. Formal Proofs, 2018
Proceedings of the Programming Languages and Systems, 2018
2017
Arch. Formal Proofs, 2017
Arch. Formal Proofs, 2017
Arch. Formal Proofs, 2017
2016
CoRR, 2016
Arch. Formal Proofs, 2016
Arch. Formal Proofs, 2016
Arch. Formal Proofs, 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
Arch. Formal Proofs, 2014
Proceedings of the Intelligent Computer Mathematics  International Conference, 2014
Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, 2014