BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Leeuwen:Jan_van

Facilitated 2 volumes:

ICALP 2001Ed
ICALP 1980Ed

Contributed to:

ICALP 19871987
STOC 19801980
ICALP 19761976
ICALP 19741974
STOC 19741974

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.