J
J. Van Leeuwen
Publications - 15
Citations - 1733
J. Van Leeuwen is an academic researcher. The author has contributed to research in topics: Artificial Intelligence System & Model checking. The author has an hindex of 9, co-authored 15 publications receiving 1703 citations.
Papers
More filters
Book
Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem
TL;DR: Using partial orders to tackle state explosion and persistent sets for verification of safety properties and model checking are used.
Book
Temporal Databases: Research and Practice
TL;DR: An object-oriented framework for temporal data models for supporting interoperability among temporal databases and a glossary of time granularity concepts for temporal database concepts.
Book
Compiling Natural Semantics
TL;DR: The Definition of RML was defined as follows: Compiling Pattern Matching, Reducing Nondeterminism, Compiling Continuations, and Simulating Tailcalls in C.
Book
Bounded incremental computation
TL;DR: Lower bounds are presented showing that a number of problems, including graph reachability, dataflow analysis, and algebraic path problems, are unbounded with respect to a model of computation called the sparsely-aliasing pointer machine model.
Book
Universal Routing Strategies for Interconnection Networks
TL;DR: This paper presents communication mechanisms used in practice for all-optical networks, including protocol for wormhole routing, and describes the current and future directions for such networks.