Travelled to:1 × Germany
1 × United Kingdom
2 × USA
Collaborated with:∅ M.H.Overmars N.Santoro J.Urrutia S.Zaks
Talks about:generalis (1) distribut (1) construct (1) synchron (1) reachabl (1) maintain (1) configur (1) theorem (1) problem (1) partial (1)
Person: Jan van Leeuwen
DBLP: Leeuwen:Jan_van
Facilitated 2 volumes:
EdEdContributed to:
1987
1980197619741974Wrote 5 papers:
- ICALP-1987-LeeuwenSUZ #distributed #game studies #network
- Guessing Games and Distributed Computations in Synchronous Networks (JvL, NS, JU, SZ), pp. 347–356.
- STOC-1980-OvermarsV #maintenance
- Dynamically Maintaining Configurations in the Plane (MHO, JvL), pp. 135–145.
- ICALP-1976-Leeuwen #on the
- On the Construction of Huffman Trees (JvL), pp. 382–410.
- ICALP-1974-Leeuwen #formal method #theorem
- A Generalisation of Parikh’s Theorem in Formal Language Theory (JvL), pp. 17–26.
- STOC-1974-Leeuwen #problem
- A Partial Solution to the Reachability-Problem for Vector-Addition Systems (JvL), pp. 303–309.