Feliks Kluzniak
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
5
Active years
1987–2026
Best venue rank
B
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | Coordination | Timed Scenario Expressions and Realisability. | Neda Saeedloei, Feliks Kluzniak |
| 2025 | IFM | Distributed Timed Scenarios. | Neda Saeedloei, Feliks Kluzniak |
| 2024 | FORTE | Synthesizing Timed Automata with Minimal Numbers of Clocks from Optimised Timed Scenarios. | Neda Saeedloei, Feliks Kluzniak |
| 2023 | FORTE | Operations on Timed Scenarios. | Neda Saeedloei, Feliks Kluzniak |
| 2022 | IFM | Untangling the Graphs of Timed Automata to Decrease the Number of Clocks. | Neda Saeedloei, Feliks Kluzniak |
| 2020 | IFM | Synthesizing Clock-Efficient Timed Automata. | Neda Saeedloei, Feliks Kluzniak |
| 2011 | CALCO | Infinite Computation, Co-induction and Computational Logic. | Gopal Gupta, Neda Saeedloei, Brian W. DeVries, Richard Min, Kyle Marple, Feliks Kluzniak |
| 1994 | ICLP | Executable requirements Specifications in a Logic Specification Language SPILL-2. | Feliks Kluzniak, Miroslawa Milkowska |
| 1988 | ICLP | Compile Time Garbage Collection for Ground Prolog. | Feliks Kluzniak |
| 1987 | ICLP | Type Synthesis for Ground Prolog. | Feliks Kluzniak |