Sebastian Reiche

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

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Integrating higher-order relations for enhanced twitter bot detection.

Sebastian Reiche, Sarel Cohen, Kirill Simonov, Tobias Friedrich

Soc. Netw. Anal. Min., December, 2024

2023

Automating public announcement logic with relativized common knowledge as a fragment of HOL in LogiKEy.

Christoph Benzmüller, Sebastian Reiche

J. Log. Comput., August, 2023

Beyond Following: Augmenting Bot Detection with the Integration of Behavioral Patterns.

Sebastian Reiche, Sarel Cohen, Kirill Simonov, Tobias Friedrich

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.

Christoph Benzmüller, Sebastian Reiche

CoRR, 2021

Automating Public Announcement Logic and the Wise Men Puzzle in Isabelle/HOL.

Christoph Benzmüller, Sebastian Reiche

Arch. Formal Proofs, 2021

2020

Public Announcement Logic in HOL.

Sebastian Reiche, Christoph Benzmüller

Proceedings of the Dynamic Logic. New Trends and Applications, 2020