Public Announcement Logic in HOL. - Sebastian Reiche; Christoph Benzmüller (DaLí, 2020)

Automating Public Announcement Logic and the Wise Men Puzzle in Isabelle/HOL. - Christoph Benzmüller; Sebastian Reiche (Arch. Formal Proofs, 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)

Beyond Following: Augmenting Bot Detection with the Integration of Behavioral Patterns. - Sebastian Reiche; Sarel Cohen; Kirill Simonov; Tobias Friedrich 001 (COMPLEX NETWORKS (1), 2023)

Automating public announcement logic with relativized common knowledge as a fragment of HOL in LogiKEy. - Christoph Benzmüller; Sebastian Reiche (J. Log. Comput., 2023)

Integrating higher-order relations for enhanced twitter bot detection. - Sebastian Reiche; Sarel Cohen; Kirill Simonov; Tobias Friedrich 001 (Soc. Netw. Anal. Min., 2024)