Feliks Kluźniak

Available identifiers

zbMath Open kluzniak.feliksMaRDI QIDQ2038029

List of research outcomes

Publication	Date of Publication	Type
Operations on timed scenarios	2024-01-11	Paper
An efficient customized clock allocation algorithm for a class of timed automata	2023-08-10	Paper
Timed scenarios: consistency, equivalence and optimization	2023-08-02	Paper
Synthesizing Clock-Efficient Timed Automata	2023-03-21	Paper
From Scenarios to Timed Automata	2022-11-04	Paper
Untangling the graphs of timed automata to decrease the number of clocks	2022-08-19	Paper
Minimization of the number of clocks for timed scenarios	2022-07-13	Paper
Optimization of timed scenarios	2021-07-08	Paper
Clock Allocation in Timed Automata and Graph Colouring	2018-12-06	Paper
Infinite Computation, Co-induction and Computational Logic	2011-09-02	Paper
https://portal.mardi4nfdi.de/entity/Q4858580	1995-12-17	Paper
https://portal.mardi4nfdi.de/entity/Q3201749	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3776589	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3678638	1985-01-01	Paper

Research outcomes over time

This page was built for person: Feliks Kluźniak