( en | de | ru )

 

Disambiguation of "Saeedloei, Neda"

Author of the publication

copydeleteadd this publication to your clipboard
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)

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)Synthesizing Clock-Efficient Timed Automata., and . IFM, volume 12546 of Lecture Notes in Computer Science, page 276-294. Springer, (2020)LTL Model Checking using Coinductive Answer Set Programming., , , , and . ICLP Workshops, volume 3193 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)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)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)Timed π-Calculus., and . TGC, volume 8358 of Lecture Notes in Computer Science, page 119-135. Springer, (2013)Synthesizing Timed Automata with Minimal Numbers of Clocks from Optimised Timed Scenarios., and . FORTE, volume 14678 of Lecture Notes in Computer Science, page 136-154. Springer, (2024)From Scenarios to Timed Automata., and . SBMF, volume 10623 of Lecture Notes in Computer Science, page 33-51. Springer, (2017)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)