Sebastian Reiche
Orcid: 0000-0002-2555-999X
According to our database1,
Sebastian Reiche
authored at least 6 papers
between 2020 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Soc. Netw. Anal. Min., December, 2024
2023
Automating public announcement logic with relativized common knowledge as a fragment of HOL in LogiKEy.
J. Log. Comput., August, 2023
Beyond Following: Augmenting Bot Detection with the Integration of Behavioral Patterns.
Proceedings of the Complex Networks & Their Applications XII, 2023
2021
Modeling and Automating Public Announcement Logic with Relativized Common Knowledge as a Fragment of HOL in LogiKEy.
CoRR, 2021
Arch. Formal Proofs, 2021
2020
Proceedings of the Dynamic Logic. New Trends and Applications, 2020