The following pages link to Mads Chr. Olesen (Q1662533):
Displayed 5 items.
- Extended dependency graphs and efficient distributed fixed-point computation (Q1662534) (← links)
- An Automata-Based Approach to Trace Partitioned Abstract Interpretation (Q2796218) (← links)
- Modelling Attack-defense Trees Using Timed Automata (Q4603556) (← links)
- Multi-core Reachability for Timed Automata (Q4649388) (← links)
- A Distributed Fixed-Point Algorithm for Extended Dependency Graphs* (Q4686522) (← links)