Hannes Kallwies
Orcid: 0000-0002-8301-4752
According to our database1,
Hannes Kallwies
authored at least 10 papers
between 2022 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the Computer Aided Verification - 36th International Conference, 2024
Proceedings of the International Workshop on Petri Nets and Software Engineering 2024 co-located with the 45th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2024), June 24, 2024
2023
Proceedings of the Runtime Verification - 23rd International Conference, 2023
Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023
2022
Proceedings of the Theoretical Aspects of Software Engineering, 2022
Proceedings of the Runtime Verification - 22nd International Conference, 2022
Proceedings of the Runtime Verification - 22nd International Conference, 2022
Proceedings of the RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Paris, France, June 7, 2022
Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2022
Proceedings of the Automated Technology for Verification and Analysis, 2022