Jan van Leeuwen

From MaRDI portal
Person:418789

Available identifiers

zbMath Open van-leeuwen.janWikidataQ1812791 ScholiaQ1812791MaRDI QIDQ418789

List of research outcomes

PublicationDate of PublicationType
On Interval Routing Schemes and treewidth2024-02-28Paper
The file distribution problem for processor networks2022-12-09Paper
Algorithms, Complexity, and Hans2022-10-19Paper
Finite state machines with feedback: an architecture supporting minimal machine consciousness2020-05-12Paper
Question answering by humans and machines: a complexity-theoretic view2019-06-18Paper
Turing Machines with One-sided Advice and Acceptance of the co-RE Languages2018-01-05Paper
Shortcutting directed and undirected networks with a degree constraint2017-02-06Paper
Separating the Classes of Recursively Enumerable Languages Based on Machine Size2015-12-11Paper
Pure Nash equilibria in graphical games and treewidth2015-05-04Paper
What is Computation: An Epistemic Approach2015-02-20Paper
Integer representations of convex polygon intersection graphs2014-03-24Paper
Treewidth and Pure Nash Equilibria2013-12-10Paper
Integer Representations of Convex Polygon Intersection Graphs2013-06-27Paper
A Theory of Interactive Computation2013-06-18Paper
Structure of polynomial-time approximation2012-12-06Paper
Computer-assisted proof of performance ratios for the differencing method2012-07-12Paper
Computation as an unbounded process2012-05-30Paper
Name Resolution by Rewriting in Dynamic Networks of Mobile Entities2011-05-27Paper
Convex Polygon Intersection Graphs2011-02-11Paper
The complexity of interval routing on random graphs2010-06-17Paper
Integer Maximum Flow in Wireless Sensor Networks with Energy Constraint2008-07-15Paper
How We Think of Computing Today2008-06-19Paper
Performance ratios of the Karmarkar-Karp differencing method2007-02-14Paper
https://portal.mardi4nfdi.de/entity/Q57085422005-11-18Paper
Theory Is Forever2005-01-18Paper
https://portal.mardi4nfdi.de/entity/Q44739752004-08-04Paper
Approximations for  -Colorings of Graphs2004-07-01Paper
https://portal.mardi4nfdi.de/entity/Q44371082003-12-07Paper
Finding a \(\Delta\)-regular supergraph of minimum order2003-09-25Paper
https://portal.mardi4nfdi.de/entity/Q44186832003-08-11Paper
https://portal.mardi4nfdi.de/entity/Q48034202003-04-27Paper
https://portal.mardi4nfdi.de/entity/Q45363462002-11-04Paper
https://portal.mardi4nfdi.de/entity/Q27621652002-08-11Paper
https://portal.mardi4nfdi.de/entity/Q45364572002-06-25Paper
https://portal.mardi4nfdi.de/entity/Q45015492002-04-08Paper
The Complexity of Interval Routing on Random Graphs1999-01-25Paper
On interval routing schemes and treewidth1998-06-15Paper
https://portal.mardi4nfdi.de/entity/Q43855151998-05-04Paper
Prefix routing schemes in dynamic networks1994-09-05Paper
Maintenance of 2- and 3-edge-connected components of graphs. I1993-10-24Paper
Uniform d‐emulations of rings, with an application to distributed virtual ring construction1993-08-23Paper
Interval Heaps1993-08-08Paper
https://portal.mardi4nfdi.de/entity/Q46941381993-06-29Paper
https://portal.mardi4nfdi.de/entity/Q40289111993-03-28Paper
On models for propositional dynamic logic1992-06-28Paper
https://portal.mardi4nfdi.de/entity/Q47126611992-06-25Paper
Computational complexity of norm-maximization1990-01-01Paper
Efficient elections in chordal ring networks1989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38336001989-01-01Paper
The derivation of graph marking algorithms from distributed termination detection protocols1988-01-01Paper
On estimating the complexity of logarithmic decomposition1988-01-01Paper
Fast Simulation of Turing Machines by Random Access Machines1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38133131988-01-01Paper
Array processing machines: an abstract model1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37534731987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37588651987-01-01Paper
On Linear Skewing Schemes and d-Ordered Vectors1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37859071987-01-01Paper
Diameter increase caused by edge deletion1987-01-01Paper
Interval Routing1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38199971987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37117611986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37427121986-01-01Paper
Simulation of large networks on smaller networks1986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36819501985-01-01Paper
The Structure of Periodic Storage Schemes for Parallel Memories1985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36928701985-01-01Paper
Systolische Berechnungen und VLSI1984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33439241984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36935331984-01-01Paper
Arbitrary versus periodic storage schemes and tessellations of the plane using one type of polyomino1984-01-01Paper
Worst-case Analysis of Set Union Algorithms1984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47452531983-01-01Paper
Stratified balanced search trees1983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33090311983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33268231983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36662691983-01-01Paper
Efficient recognition of rational relations1982-01-01Paper
Dynamic multi-dimensional data structures based on quad- and k-d trees1982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32164691982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39563851982-01-01Paper
The complexity of basic complex operations1981-01-01Paper
Some principles for dynamizing decomposable searching problems1981-01-01Paper
Two general methods for dynamizing decomposable searching problems1981-01-01Paper
Worst-case optimal insertion and deletion methods for decomposable searching problems1981-01-01Paper
Maintenance of configurations in the plane1981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39070841981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39114101981-01-01Paper
The measure problem for rectangular ranges in d-space1981-01-01Paper
Further comments on Bykat's convex hull algorithm1980-01-01Paper
Über Programmeffizienz und algebraische Komplexitaet1980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q30394271980-01-01Paper
Stack Machines and Classes of Nonnested Macro Languages1980-01-01Paper
On compromising statistical data-bases with a few known elements1979-01-01Paper
A useful lemma for context-free programmed grammars1979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41790391979-01-01Paper
On the complexity of decision trees, the quasi-optimizer, and the power of heuristic rules1979-01-01Paper
Some elementary proofs of lower bounds in complexity theory1978-01-01Paper
Effective constructions in well-partially-ordered free monoids1978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41536051978-01-01Paper
Deciding Associativity for Partial Multiplication Tables of Order 31978-01-01Paper
An extension of Hansen's theorem for star chains.1977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41274001977-01-01Paper
A decomposition theorem for hyper-algebraic extensions of language families1976-01-01Paper
The halting problem for linear Turing assemblers1976-01-01Paper
The complexity of vector-products1976-01-01Paper
On efficiently computing the product of two binary relations1976-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41310061976-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41403831976-01-01Paper
On the fixpoints of monogenic functions in free monoids1975-01-01Paper
The membership question for ETOL-languages is polynomially complete1975-01-01Paper
The tape-complexity of context-independent developmental languages1975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40882731975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40456641974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40516311974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41365921974-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Jan van Leeuwen