Feliks Kluzniak

21 papers B 5C 2Journal 1Unranked 11
YearRankTypeTitle / Venue / Authors
2025 B conf
Distributed Timed Scenarios.
iFM
Neda Saeedloei, Feliks Kluzniak
2024 C conf
Synthesizing Timed Automata with Minimal Numbers of Clocks from Optimised Timed Scenarios.
FORTE
Neda Saeedloei, Feliks Kluzniak
2023 C conf
Operations on Timed Scenarios.
FORTE
Neda Saeedloei, Feliks Kluzniak
2022 — conf
An Efficient Customized Clock Allocation Algorithm for a Class of Timed Automata.
SBMF
Neda Saeedloei, Feliks Kluzniak
2022 B conf
Untangling the Graphs of Timed Automata to Decrease the Number of Clocks.
IFM
Neda Saeedloei, Feliks Kluzniak
2021 — conf
Minimization of the Number of Clocks for Timed Scenarios.
SBMF
Neda Saeedloei, Feliks Kluzniak
2020 — conf
Optimization of Timed Scenarios.
SBMF
Neda Saeedloei, Feliks Kluzniak
2020 B conf
Synthesizing Clock-Efficient Timed Automata.
IFM
Neda Saeedloei, Feliks Kluzniak
2018 — conf
Clock Allocation in Timed Automata and Graph Colouring.
HSCC
Neda Saeedloei, Feliks Kluzniak
2018 — conf
Timed Scenarios: Consistency, Equivalence and Optimization.
SBMF
Neda Saeedloei, Feliks Kluzniak
2017 — conf
From Scenarios to Timed Automata.
SBMF
Neda Saeedloei, Feliks Kluzniak
2011 B conf
Infinite Computation, Co-induction and Computational Logic.
CALCO
Gopal Gupta, Neda Saeedloei, Brian W. DeVries, Richard Min, Kyle Marple, Feliks Kluzniak
1997 J jnl
Spill - A Logic Language for Writing Testable Requirements Specifications.
Sci. Comput. Program.
Feliks Kluzniak, Miroslawa Milkowska
1994 — conf
Executable requirements Specifications in a Logic Specification Language SPILL-2.
ICLP Workshop: Applications of Logic Programming to Software Engineering
Feliks Kluzniak, Miroslawa Milkowska
1994 — conf
Readable, Runnable Requirements Specifications in SPILL-2.
PLILP
Feliks Kluzniak, Miroslawa Milkowska
1991 — conf
Enriching Prolog with S-Unification.
Declarative Programming
Andreas Kågedal, Feliks Kluzniak
1988 — conf
Compile Time Garbage Collection for Ground Prolog.
ICLP/SLP
Feliks Kluzniak
1988 — conf
Towards a "Middle Road" Methodology for Writing Code Generators.
PLILP
Feliks Kluzniak, Miroslawa Milkowska
1987 B conf
Type Synthesis for Ground Prolog.
ICLP
Feliks Kluzniak
1984 — ch.
Prolog - a Panacea?
Implementations of Prolog
Feliks Kluzniak, Stan Szpakowicz
1984 — ch.
The 'Marseille Interpreter' - a Personal Perspective.
Implementations of Prolog
Feliks Kluzniak