The 'Marseille Interpreter' - a Personal Perspective. - Feliks Kluzniak (Implementations of Prolog, 1984)

Prolog - a Panacea? - Feliks Kluzniak; Stan Szpakowicz (Implementations of Prolog, 1984)

Type Synthesis for Ground Prolog. - Feliks Kluzniak (ICLP, 1987)

Compile Time Garbage Collection for Ground Prolog. - Feliks Kluzniak (ICLP/SLP, 1988)

Towards a "Middle Road" Methodology for Writing Code Generators. - Feliks Kluzniak; Miroslawa Milkowska (PLILP, 1988)

Enriching Prolog with S-Unification. - Andreas Kågedal; Feliks Kluzniak (Declarative Programming, 1991)

Executable requirements Specifications in a Logic Specification Language SPILL-2. - Feliks Kluzniak; Miroslawa Milkowska (ICLP Workshop: Applications of Logic Programming to Software Engineering, 1994)

Readable, Runnable Requirements Specifications in SPILL-2. - Feliks Kluzniak; Miroslawa Milkowska (PLILP, 1994)

Spill - A Logic Language for Writing Testable Requirements Specifications. - Feliks Kluzniak; Miroslawa Milkowska (Sci. Comput. Program., 1997)

Infinite Computation, Co-induction and Computational Logic. - Gopal Gupta 001; Neda Saeedloei; Brian W. DeVries; Richard Min; Kyle Marple; Feliks Kluzniak (CALCO, 2011)

From Scenarios to Timed Automata. - Neda Saeedloei; Feliks Kluzniak (SBMF, 2017)

Clock Allocation in Timed Automata and Graph Colouring. - Neda Saeedloei; Feliks Kluzniak (HSCC, 2018)

Timed Scenarios: Consistency, Equivalence and Optimization. - Neda Saeedloei; Feliks Kluzniak (SBMF, 2018)

Synthesizing Clock-Efficient Timed Automata. - Neda Saeedloei; Feliks Kluzniak (IFM, 2020)

Optimization of Timed Scenarios. - Neda Saeedloei; Feliks Kluzniak (SBMF, 2020)

Minimization of the Number of Clocks for Timed Scenarios. - Neda Saeedloei; Feliks Kluzniak (SBMF, 2021)

Untangling the Graphs of Timed Automata to Decrease the Number of Clocks. - Neda Saeedloei; Feliks Kluzniak (IFM, 2022)

An Efficient Customized Clock Allocation Algorithm for a Class of Timed Automata. - Neda Saeedloei; Feliks Kluzniak (SBMF, 2022)

Operations on Timed Scenarios. - Neda Saeedloei; Feliks Kluzniak (FORTE, 2023)

Synthesizing Timed Automata with Minimal Numbers of Clocks from Optimised Timed Scenarios. - Neda Saeedloei; Feliks Kluzniak (FORTE, 2024)