( en | de | ru )

 

Disambiguation of "Saeedloei, Neda"

Author of the publication

copydeleteadd this publication to your clipboard
LTL Model Checking using Coinductive Answer Set Programming.

, , , , and . ICLP Workshops, volume 3193 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Viktoriia Nedashkivska

Neda Daryab

Neda Dadashi

Neda Nabavi

Neda Lotfiomran

 

Other publications of authors with the same name

Infinite Computation, Co-induction and Computational Logic., , , , , and . CALCO, volume 6859 of Lecture Notes in Computer Science, page 40-54. Springer, (2011)LTL Model Checking using Coinductive Answer Set Programming., , , , and . ICLP Workshops, volume 3193 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)Synthesizing Clock-Efficient Timed Automata., and . IFM, volume 12546 of Lecture Notes in Computer Science, page 276-294. Springer, (2020)Operations on Timed Scenarios., and . FORTE, volume 13910 of Lecture Notes in Computer Science, page 97-114. Springer, (2023)Timed Scenarios: Consistency, Equivalence and Optimization., and . SBMF, volume 11254 of Lecture Notes in Computer Science, page 215-233. Springer, (2018)Timed π-Calculus., and . TGC, volume 8358 of Lecture Notes in Computer Science, page 119-135. Springer, (2013)Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R)., and . LATA, volume 6031 of Lecture Notes in Computer Science, page 536-548. Springer, (2010)Untangling the Graphs of Timed Automata to Decrease the Number of Clocks., and . IFM, volume 13274 of Lecture Notes in Computer Science, page 168-187. Springer, (2022)Timed Planning., , and . FLAIRS, AAAI Press, (2010)Logic Programming Foundations of Cyber-Physical Systems.. ICLP (Technical Communications), volume 7 of LIPIcs, page 289-293. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)