VLDB 2026 Research / reviewers in the wild / expert
Neda Saeedloei
dblp:52/8066
· DBLP profile ↗
10ranked-venue papers
9as first author
5since 2021 · last 2026
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 7 · 6 first-author · 2 since 2021Software engineering, systems software and programming languages · 6 · 6 first-author · 4 since 2021Computer networks · 2 · 2 first-author · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Timed Scenario Expressions and Realisability
Neda Saeedloei, Feliks Kluzniak |
COORDINATION | 1 |
| 2025 | Distributed Timed Scenarios
Neda Saeedloei, Feliks Kluzniak |
iFM | 1 |
| 2024 | Synthesizing Timed Automata with Minimal Numbers of Clocks from Optimised Timed Scenarios
Neda Saeedloei, Feliks Kluzniak |
FORTE | 1 |
| 2023 | Operations on Timed Scenarios
Neda Saeedloei, Feliks Kluzniak |
FORTE | 1 |
| 2022 | Untangling the Graphs of Timed Automata to Decrease the Number of Clocks
Neda Saeedloei, Feliks Kluzniak |
IFM | 1 |
| 2020 | Synthesizing Clock-Efficient Timed Automata
Neda Saeedloei, Feliks Kluzniak |
IFM | 1 |
| 2018 | Clock Allocation in Timed Automata and Graph ColouringabstractWe consider the problem of optimal clock allocation for a fairly general class of timed automata, TAS, under the safe assumption that all locations are reachable. Techniques similar to those used in compiler technology allow us to construct an interference graph: the problem of clock allocation for timed automata in TAS can be reduced to that of colouring this graph. We then describe a class of timed automata, TADS ⊊ TAS, for which optimal clock allocation can be computed in polynomial time, because the corresponding interference graphs are perfect. Finally, we discuss some of the difficulties in applying similar techniques to timed automata outside TAS. Neda Saeedloei, Feliks Kluzniak |
HSCC | 1 |
| 2013 | A Logical Encoding of Timed $$\pi $$ -Calculus
Neda Saeedloei |
LOPSTR | 1 |
| 2011 | Infinite Computation, Co-induction and Computational Logic
Gopal Gupta 0001, Neda Saeedloei, Brian W. DeVries, Richard Min, Kyle Marple, Feliks Kluzniak |
CALCO | 2 |
| 2010 | Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R)
Neda Saeedloei, Gopal Gupta 0001 |
LATA | 1 |