Conditional Obligations in Justification Logic. - Federico L. G. Faroldi; Atefeh Rohani; Thomas Studer (WoLLIC, 2023)

Temporal Logics Meet Real-World Software Requirements: A Reality Check. - Roman Bögli; Atefeh Rohani; Thomas Studer; Christos Tsigkanos; Timo Kehrer (FormaliSE, 2025)

Explicit non-normal modal logic. - Atefeh Rohani; Thomas Studer (J. Log. Comput., 2025)