The following pages link to Neda Saeedloei (Q2038028):
Displayed 14 items.
- Optimization of timed scenarios (Q2038030) (← links)
- Minimization of the number of clocks for timed scenarios (Q2154053) (← links)
- Untangling the graphs of timed automata to decrease the number of clocks (Q2165509) (← links)
- Timed $$\pi $$-Calculus (Q2830030) (← links)
- (Q2883094) (← links)
- (Q2883109) (← links)
- Coinductive Constraint Logic Programming (Q2900266) (← links)
- Infinite Computation, Co-induction and Computational Logic (Q3090859) (← links)
- A Logical Encoding of Timed $$\pi $$-Calculus (Q3453652) (← links)
- Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R) (Q3564892) (← links)
- Clock Allocation in Timed Automata and Graph Colouring (Q4561434) (← links)
- From Scenarios to Timed Automata (Q5045458) (← links)
- An efficient customized clock allocation algorithm for a class of timed automata (Q6113895) (← links)
- Timed scenarios: consistency, equivalence and optimization (Q6165894) (← links)