Jan Van Leeuwen
Utrecht University(NL)
Publications by Year
Research Areas
Computability, Logic, AI Algorithms, semigroups and automata theory, Logic, programming, and type systems, Advanced Graph Theory Research, Parallel Computing and Optimization Techniques
Most-Cited Works
- → Distributed Algorithms(1988)1,869 cited
- → Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem(1996)771 cited
- Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics(1994)
- → Maintenance of configurations in the plane(1981)460 cited
- Handbook of Theoretical Computer Science, Vol. A: Algorithms and Complexity(1994)
- Formal models and semantics(1990)
- Computer Science Today: Recent Trends and Developments(1995)
- On the Construction of Huffman Trees.(1976)
- → Diameter increase caused by edge deletion(1987)102 cited
- → Graph Algorithms