Two Ways to Common Knowledge. - Samuel Bucheli; Roman Kuznets; Thomas Studer (M4M, 2009)

Explicit Evidence Systems with Common Knowledge - Samuel Bucheli; Roman Kuznets; Thomas Studer (CoRR, 2010)

Decidability for Justification Logics Revisited. - Samuel Bucheli; Roman Kuznets; Thomas Studer (TbiLLC, 2011)

Partial Realization in Dynamic Justification Logic. - Samuel Bucheli; Roman Kuznets; Thomas Studer (WoLLIC, 2011)

Justifications for common knowledge. - Samuel Bucheli; Roman Kuznets; Thomas Studer (J. Appl. Non Class. Logics, 2011)

Realizing public announcements by justifications. - Samuel Bucheli; Roman Kuznets; Thomas Studer (J. Comput. Syst. Sci., 2014)

From AgentSpeak to C for Safety Considerations in Unmanned Aerial Vehicles. - Samuel Bucheli; Daniel Kroening; Ruben Martins; Ashutosh Natraj (TAROS, 2015)

Some Notes on Temporal Justification Logic. - Samuel Bucheli (CoRR, 2015)

Temporal Justification Logic. - Samuel Bucheli; Meghdad Ghari; Thomas Studer (M4M@ICLA, 2017)