VLDB 2026 Research / reviewers in the wild / expert
Feliks Kluzniak
dblp:27/360
· DBLP profile ↗
10ranked-venue papers
2as first author
5since 2021 · last 2026
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 7 · 2 first-author · 4 since 2021Theory of computation · 6 · 1 first-author · 2 since 2021Computer networks · 2 · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Timed Scenario Expressions and Realisability
Neda Saeedloei, Feliks Kluzniak |
COORDINATION | 2 |
| 2025 | Distributed Timed Scenarios
Neda Saeedloei, Feliks Kluzniak |
iFM | 2 |
| 2024 | Synthesizing Timed Automata with Minimal Numbers of Clocks from Optimised Timed Scenarios
Neda Saeedloei, Feliks Kluzniak |
FORTE | 2 |
| 2023 | Operations on Timed Scenarios
Neda Saeedloei, Feliks Kluzniak |
FORTE | 2 |
| 2022 | Untangling the Graphs of Timed Automata to Decrease the Number of Clocks
Neda Saeedloei, Feliks Kluzniak |
IFM | 2 |
| 2020 | Synthesizing Clock-Efficient Timed Automata
Neda Saeedloei, Feliks Kluzniak |
IFM | 2 |
| 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 | 2 |
| 2011 | Infinite Computation, Co-induction and Computational Logic
Gopal Gupta 0001, Neda Saeedloei, Brian W. DeVries, Richard Min, Kyle Marple, Feliks Kluzniak |
CALCO | 6 |
| 1997 | Spill - A Logic Language for Writing Testable Requirements Specifications
Feliks Kluzniak, Miroslawa Milkowska |
Sci. Comput. Program. | 1 |
| 1987 | Type Synthesis for Ground Prolog
Feliks Kluzniak |
ICLP | 1 |