Atefeh Rohani

According to our database, Atefeh Rohani authored at least 3 papers between 2021 and 2025.

Collaborative distances:

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

2025

Temporal Logics Meet Real-World Software Requirements: A Reality Check.

Roman Bögli, Atefeh Rohani, Thomas Studer, Christos Tsigkanos, Timo Kehrer

Proceedings of the 13th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2025

2023

Conditional Obligations in Justification Logic.

Federico L. G. Faroldi, Atefeh Rohani, Thomas Studer

Proceedings of the Logic, Language, Information, and Computation, 2023

2021

Explicit Non-normal Modal Logic.

Atefeh Rohani, Thomas Studer

Proceedings of the Logic, Language, Information, and Computation, 2021