default search action
Neda Saeedloei
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c19]Neda Saeedloei, Feliks Kluzniak:
Synthesizing Timed Automata with Minimal Numbers of Clocks from Optimised Timed Scenarios. FORTE 2024: 136-154 - 2023
- [c18]Neda Saeedloei, Feliks Kluzniak:
Operations on Timed Scenarios. FORTE 2023: 97-114 - 2022
- [c17]Sarat Chandra Varanasi, Neda Saeedloei, Elmer Salazar, Joaquín Arias, Gopal Gupta:
LTL Model Checking using Coinductive Answer Set Programming. ICLP Workshops 2022 - [c16]Neda Saeedloei, Feliks Kluzniak:
Untangling the Graphs of Timed Automata to Decrease the Number of Clocks. IFM 2022: 168-187 - [c15]Neda Saeedloei, Feliks Kluzniak:
An Efficient Customized Clock Allocation Algorithm for a Class of Timed Automata. SBMF 2022: 3-21 - 2021
- [c14]Neda Saeedloei, Feliks Kluzniak:
Minimization of the Number of Clocks for Timed Scenarios. SBMF 2021: 122-139 - 2020
- [c13]Neda Saeedloei, Feliks Kluzniak:
Synthesizing Clock-Efficient Timed Automata. IFM 2020: 276-294 - [c12]Neda Saeedloei, Feliks Kluzniak:
Optimization of Timed Scenarios. SBMF 2020: 119-136
2010 – 2019
- 2018
- [c11]Neda Saeedloei, Feliks Kluzniak:
Clock Allocation in Timed Automata and Graph Colouring. HSCC 2018: 71-80 - [c10]Neda Saeedloei, Feliks Kluzniak:
Timed Scenarios: Consistency, Equivalence and Optimization. SBMF 2018: 215-233 - [e3]Ricardo Rocha, Tran Cao Son, Christopher Mears, Neda Saeedloei:
Technical Communications of the 33rd International Conference on Logic Programming, ICLP 2017, August 28 to September 1, 2017, Melbourne, Australia. OASIcs 58, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-058-3 [contents] - [e2]Alessandro Dal Palù, Paul Tarau, Neda Saeedloei, Paul Fodor:
Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, July 14-17, 2018, Oxford, United Kingdom. OASIcs 64, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-090-3 [contents] - 2017
- [c9]Neda Saeedloei, Feliks Kluzniak:
From Scenarios to Timed Automata. SBMF 2017: 33-51 - 2016
- [j2]Neda Saeedloei, Gopal Gupta:
A methodology for modeling and verification of cyber-physical systems based on logic programming. SIGBED Rev. 13(2): 34-42 (2016) - [e1]Manuel Carro, Andy King, Neda Saeedloei, Marina De Vos:
Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016 TCs, October 16-21, 2016, New York City, USA. OASIcs 52, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016, ISBN 978-3-95977-007-1 [contents] - 2013
- [c8]Neda Saeedloei:
A Logical Encoding of Timed $$\pi $$ -Calculus. LOPSTR 2013: 164-182 - [c7]Neda Saeedloei, Gopal Gupta:
Timed π-Calculus. TGC 2013: 119-135 - 2012
- [c6]Neda Saeedloei, Gopal Gupta:
Coinductive Constraint Logic Programming. FLOPS 2012: 243-259 - 2011
- [j1]Neda Saeedloei, Gopal Gupta:
A logic-based modeling and verification of CPS. SIGBED Rev. 8(2): 31-34 (2011) - [c5]Gopal Gupta, Neda Saeedloei, Brian W. DeVries, Richard Min, Kyle Marple, Feliks Kluzniak:
Infinite Computation, Co-induction and Computational Logic. CALCO 2011: 40-54 - 2010
- [c4]Ajay Bansal, Neda Saeedloei, Gopal Gupta:
Timed Planning. FLAIRS 2010 - [c3]Neda Saeedloei, Gopal Gupta:
Timed Definite Clause Omega-Grammars. ICLP (Technical Communications) 2010: 212-221 - [c2]Neda Saeedloei:
Logic Programming Foundations of Cyber-Physical Systems. ICLP (Technical Communications) 2010: 289-293 - [c1]Neda Saeedloei, Gopal Gupta:
Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R). LATA 2010: 536-548
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-22 19:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint