Feliks Kluzniak

According to our database1, Feliks Kluzniak authored at least 20 papers between 1984 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Synthesizing Timed Automata with Minimal Numbers of Clocks from Optimised Timed Scenarios.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2024

2023
Operations on Timed Scenarios.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023

2022
An Efficient Customized Clock Allocation Algorithm for a Class of Timed Automata.
Proceedings of the Formal Methods: Foundations and Applications - 25th Brazilian Symposium, 2022

Untangling the Graphs of Timed Automata to Decrease the Number of Clocks.
Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

2021
Minimization of the Number of Clocks for Timed Scenarios.
Proceedings of the Formal Methods: Foundations and Applications - 24th Brazilian Symposium, 2021

2020
Optimization of Timed Scenarios.
Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020

Synthesizing Clock-Efficient Timed Automata.
Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

2018
Timed Scenarios: Consistency, Equivalence and Optimization.
Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018

Clock Allocation in Timed Automata and Graph Colouring.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

2017
From Scenarios to Timed Automata.
Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

2011
Infinite Computation, Co-induction and Computational Logic.
Proceedings of the Algebra and Coalgebra in Computer Science, 2011

1997
Spill - A Logic Language for Writing Testable Requirements Specifications.
Sci. Comput. Program., 1997

1994
Readable, Runnable Requirements Specifications in SPILL-2.
Proceedings of the Programming Language Implementation and Logic Programming, 1994

Executable requirements Specifications in a Logic Specification Language SPILL-2.
Proceedings of the ICLP 1994 Workshop W7: Applications of Logic Programming to Software Engineering, 1994

1991
Enriching Prolog with S-Unification.
Proceedings of the Declarative Programming, 1991

1988
Towards a "Middle Road" Methodology for Writing Code Generators.
Proceedings of the Programming Language Implementation and Logic Programming, 1988

Compile Time Garbage Collection for Ground Prolog.
Proceedings of the Logic Programming, 1988

1987
Type Synthesis for Ground Prolog.
Proceedings of the Logic Programming, 1987

1984
Prolog - a Panacea?
Proceedings of the Implementations of Prolog. , 1984

The 'Marseille Interpreter' - a Personal Perspective.
Proceedings of the Implementations of Prolog. , 1984


  Loading...