Travelled to:1 × Denmark
1 × Spain
1 × USA
Collaborated with:∅ U.Engberg J.Boyar S.Kamali A.López-Ortiz
Talks about:updat (2) simplif (1) problem (1) formula (1) bisimul (1) effici (1) relax (1) multi (1) group (1) advic (1)
Person: Kim S. Larsen
DBLP: Larsen:Kim_S=
Contributed to:
2014
2001
1995Wrote 3 papers:
- LATA-2014-BoyarKLL #on the #problem
- On the List Update Problem with Advice (JB, SK, KSL, ALO), pp. 210–221.
- PODS-2001-Larsen #multi
- Relaxed Multi-Way Trees with Group Updates (KSL).
- TACAS-1995-EngbergL #bisimulation #performance
- Efficient Simplification of Bisimulation Formulas (UE, KSL), pp. 111–132.