| 2026 | Coordination | Timed Scenario Expressions and Realisability. | Neda Saeedloei, Feliks Kluzniak |
| 2025 | IFM | Distributed Timed Scenarios. | Neda Saeedloei, Feliks Kluzniak |
| 2024 | FORTE | Synthesizing Timed Automata with Minimal Numbers of Clocks from Optimised Timed Scenarios. | Neda Saeedloei, Feliks Kluzniak |
| 2023 | FORTE | Operations on Timed Scenarios. | Neda Saeedloei, Feliks Kluzniak |
| 2022 | ICLP | LTL Model Checking using Coinductive Answer Set Programming. | Sarat Chandra Varanasi, Neda Saeedloei, Elmer Salazar, Joaqun Arias, Gopal Gupta |
| 2022 | IFM | Untangling the Graphs of Timed Automata to Decrease the Number of Clocks. | Neda Saeedloei, Feliks Kluzniak |
| 2020 | IFM | Synthesizing Clock-Efficient Timed Automata. | Neda Saeedloei, Feliks Kluzniak |
| 2013 | LOPSTR | A Logical Encoding of Timed $$\pi $$ -Calculus. | Neda Saeedloei |
| 2012 | FLOPS | Coinductive Constraint Logic Programming. | Neda Saeedloei, Gopal Gupta |
| 2011 | CALCO | Infinite Computation, Co-induction and Computational Logic. | Gopal Gupta, Neda Saeedloei, Brian W. DeVries, Richard Min, Kyle Marple, Feliks Kluzniak |
| 2010 | FlAIRS | Timed Planning. | Ajay Bansal, Neda Saeedloei, Gopal Gupta |
| 2010 | ICLP | Logic Programming Foundations of Cyber-Physical Systems. | Neda Saeedloei |
| 2010 | ICLP | Timed Definite Clause Omega-Grammars. | Neda Saeedloei, Gopal Gupta |
| 2010 | LATA | Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R). | Neda Saeedloei, Gopal Gupta |