Travelled to:1 × Denmark
1 × Italy
1 × Spain
Collaborated with:L.M.Kristensen M.Westergaard S.Christensen
Talks about:method (3) sweep (3) line (3) represent (1) generalis (1) reachabl (1) properti (1) safeti (1) obtain (1) memori (1)
Person: Thomas Mailund
DBLP: Mailund:Thomas
Contributed to:
2004
20022001Wrote 3 papers:
- TACAS-2004-MailundW #graph #reachability #using
- Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method (TM, MW), pp. 177–191.
- FME-2002-KristensenM #safety
- A Generalised Sweep-Line Method for Safety Properties (LMK, TM), pp. 549–567.
- TACAS-2001-ChristensenKM
- A Sweep-Line Method for State Space Exploration (SC, LMK, TM), pp. 450–464.