Neda Saeedloei

MaRDI QIDQ2038028zbMATH 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
Timed \(\pi\)-calculus Trustworthy Global Computing	2016-11-09	Paper
A logical encoding of timed \(\pi\)-calculus Logic-Based Program Synthesis and Transformation	2015-11-30	Paper
Coinductive constraint logic programming Functional and Logic Programming	2012-07-20	Paper
Logic programming foundations of cyber-physical systems	2012-05-11	Paper
Timed definite clause \(\omega\)-grammars	2012-05-11	Paper
Infinite computation, co-induction and computational logic Algebra and Coalgebra in Computer Science	2011-09-02	Paper
Verifying complex continuous real-time systems with coinductive CLP(R) Language and Automata Theory and Applications	2010-05-26	Paper

Research outcomes over time

This page was built for person: Neda Saeedloei