Uncertainty Reasoning for Probabilistic Petri Nets via Bayesian Networks. - Rebecca Bernemann; Benjamin Cabrera; Reiko Heckel; Barbara König 001 (FSTTCS, 2020)

Disagree? You Must be a Bot! How Beliefs Shape Twitter Profile Perceptions. - Magdalena Wischnewski; Rebecca Bernemann; Thao Ngo; Nicole C. Krämer (CHI, 2021)

Lifecycle-Based View on Cyber-Physical System Models Using Extended Hidden Markov Models. - Matthias Schaffeld; Rebecca Bernemann; Torben Weis; Barbara König 001; Viktor Matkovic (MEMOCODE, 2022)

Probabilistic Systems with Hidden State and Unobservable Transitions. - Rebecca Bernemann; Barbara König 001; Matthias Schaffeld; Torben Weis (CoRR, 2022)

Stochastic Decision Petri Nets. - Florian Wittbold; Rebecca Bernemann; Reiko Heckel; Tobias Heindel; Barbara König 001 (Petri Nets, 2023)

Spot the bot: Investigating user's detection cues for social bots and their willingness to verify Twitter profiles. - Thao Ngo; Magdalena Wischnewski; Rebecca Bernemann; Martin Jansen; Nicole C. Krämer (Comput. Hum. Behav., 2023)

Hidden Markov Models with Unobservable Transitions. - Rebecca Bernemann; Barbara König 001; Matthias Schaffeld; Torben Weis (Taming the Infinities of Concurrency, 2024)

"I agree with you, bot!" How users (dis)engage with social bots on Twitter. - Magdalena Wischnewski; Thao Ngo; Rebecca Bernemann; Martin Jansen; Nicole Krämer 001 (New Media Soc., 2024)