Sebastian Reiche

Orcid: 0000-0002-2555-999X

According to our database1, Sebastian Reiche authored at least 6 papers between 2020 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Integrating higher-order relations for enhanced twitter bot detection.
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

Automating Public Announcement Logic and the Wise Men Puzzle in Isabelle/HOL.
Arch. Formal Proofs, 2021

2020
Public Announcement Logic in HOL.
Proceedings of the Dynamic Logic. New Trends and Applications, 2020


  Loading...