Felix Freiberger
Orcid: 0000-0001-9282-9665Affiliations:
- Saarland University, Saarbrücken, Germany
According to our database1,
Felix Freiberger
authored at least 7 papers
between 2015 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 Formal Methods Teaching: 5th International Workshop, 2023
2022
Proceedings of the ITiCSE 2022: Innovation and Technology in Computer Science Education, Dublin, Ireland, July 8, 2022
2021
Proceedings of the MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20, 2021
2020
2019
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019
2017
Proceedings of the Models, Algorithms, Logics and Tools, 2017
2015
Proceedings of the Proceedings Workshop on Models for Formal Analysis of Real Systems, 2015