Feliks Kluzniak

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 10

Top Topics

Top Venues

Publications

Neda Saeedloei, Feliks Kluzniak
Synthesizing Timed Automata with Minimal Numbers of Clocks from Optimised Timed Scenarios. FORTE (2024)
Neda Saeedloei, Feliks Kluzniak
Operations on Timed Scenarios. FORTE (2023)
Neda Saeedloei, Feliks Kluzniak
An Efficient Customized Clock Allocation Algorithm for a Class of Timed Automata. SBMF (2022)
Neda Saeedloei, Feliks Kluzniak
Untangling the Graphs of Timed Automata to Decrease the Number of Clocks. IFM (2022)
Neda Saeedloei, Feliks Kluzniak
Minimization of the Number of Clocks for Timed Scenarios. SBMF (2021)
Neda Saeedloei, Feliks Kluzniak
Optimization of Timed Scenarios. SBMF (2020)
Neda Saeedloei, Feliks Kluzniak
Synthesizing Clock-Efficient Timed Automata. IFM (2020)
Neda Saeedloei, Feliks Kluzniak
Clock Allocation in Timed Automata and Graph Colouring. HSCC (2018)
Neda Saeedloei, Feliks Kluzniak
Timed Scenarios: Consistency, Equivalence and Optimization. SBMF (2018)
Neda Saeedloei, Feliks Kluzniak
From Scenarios to Timed Automata. SBMF (2017)
Gopal Gupta, Neda Saeedloei, Brian W. DeVries, Richard Min, Kyle Marple, Feliks Kluzniak
Infinite Computation, Co-induction and Computational Logic. CALCO (2011)
Feliks Kluzniak, Miroslawa Milkowska
Spill - A Logic Language for Writing Testable Requirements Specifications. Sci. Comput. Program. 28 (2-3) (1997)
Feliks Kluzniak, Miroslawa Milkowska
Readable, Runnable Requirements Specifications in SPILL-2. PLILP (1994)
Feliks Kluzniak, Miroslawa Milkowska
Executable requirements Specifications in a Logic Specification Language SPILL-2. ICLP Workshop: Applications of Logic Programming to Software Engineering (1994)
Andreas Kågedal, Feliks Kluzniak
Enriching Prolog with S-Unification. Declarative Programming (1991)
Feliks Kluzniak, Miroslawa Milkowska
Towards a "Middle Road" Methodology for Writing Code Generators. PLILP (1988)
Feliks Kluzniak
Compile Time Garbage Collection for Ground Prolog. ICLP/SLP (1988)
Feliks Kluzniak
Type Synthesis for Ground Prolog. ICLP (1987)