Feliks Kluźniak

MaRDI QIDQ2038029zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Lecture Notes in Computer Science	2023-08-10	Paper
Timed scenarios: consistency, equivalence and optimization Lecture Notes in Computer Science	2023-08-02	Paper
Synthesizing Clock-Efficient Timed Automata	2023-03-21	Paper
From scenarios to timed automata Lecture Notes in Computer Science	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 Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)	2018-12-06	Paper
Infinite computation, co-induction and computational logic Algebra and Coalgebra in Computer Science	2011-09-02	Paper
scientific article; zbMATH DE number 826302 (Why is no real title available?)	1995-12-17	Paper
scientific article; zbMATH DE number 4178748 (Why is no real title available?)	1989-01-01	Paper
scientific article; zbMATH DE number 4037156 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 3900124 (Why is no real title available?)	1985-01-01	Paper

Research outcomes over time

This page was built for person: Feliks Kluźniak