Neda Saeedloei

Available identifiers

zbMath Open saeedloei.nedaMaRDI QIDQ2038028

List of research outcomes

Publication	Date of Publication	Type
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
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
Timed $$\pi $$-Calculus	2016-11-09	Paper
A Logical Encoding of Timed $$\pi $$-Calculus	2015-11-30	Paper
Coinductive Constraint Logic Programming	2012-07-20	Paper
https://portal.mardi4nfdi.de/entity/Q2883094	2012-05-11	Paper
https://portal.mardi4nfdi.de/entity/Q2883109	2012-05-11	Paper
Infinite Computation, Co-induction and Computational Logic	2011-09-02	Paper
Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R)	2010-05-26	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Neda Saeedloei