( en | de | ru )

 

Disambiguation of "Saeedloei, Neda"

Author of the publication

copydeleteadd this publication to your clipboard
Front Matter, Table of Contents, Preface, Conference Organization.

, , , and (Eds.) ICLP (Technical Communications), volume 64 of OASIcs, page 0:i-0:xi. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)

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)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)From Scenarios to Timed Automata., and . SBMF, volume 10623 of Lecture Notes in Computer Science, page 33-51. Springer, (2017)A methodology for modeling and verification of cyber-physical systems based on logic programming., and . SIGBED Rev., 13 (2): 34-42 (2016)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)