Jan van Leeuwen

Publication Activity (10 Years)

Years Active: 1973-2021
Publications (10 Years): 11

Top Venues

Theor. Comput. Sci.

SOFSEM

Fundam. Informaticae

IPEC

Publications

Jirí Wiedermann, Jan van Leeuwen
Towards Minimally Conscious Cyber-Physical Systems: A Manifesto. SOFSEM (2021)
Jan van Leeuwen
Algorithms, Complexity, and Hans. Treewidth, Kernels, and Algorithms (2020)
Jan van Leeuwen, Jirí Wiedermann
Question answering by humans and machines: A complexity-theoretic view. Theor. Comput. Sci. 777 (2019)
Jirí Wiedermann, Jan van Leeuwen
Finite State Machines with Feedback: An Architecture Supporting Minimal Machine Consciousness. CiE (2019)
Richard B. Tan, Erik Jan van Leeuwen, Jan van Leeuwen
Shortcutting directed and undirected networks with a degree constraint. Discret. Appl. Math. 220 (2017)
Jirí Wiedermann, Jan van Leeuwen
Non-classical Turing machines: extending the notion of computation. NCMA (2017)
Jan van Leeuwen, Jirí Wiedermann
Turing Machines with One-sided Advice and Acceptance of the co-RE Languages. Fundam. Informaticae 153 (4) (2017)
Jirí Wiedermann, Jan van Leeuwen
Epistemic Computation and Artificial Intelligence. PT-AI (2017)
Jan van Leeuwen, Jirí Wiedermann
Separating the Classes of Recursively Enumerable Languages Based on Machine Size. Int. J. Found. Comput. Sci. 26 (6) (2015)
Jirí Wiedermann, Jan van Leeuwen
What is Computation: An Epistemic Approach. SOFSEM (2015)
Antonis Thomas, Jan van Leeuwen
Pure Nash Equilibria in Graphical Games and Treewidth. Algorithmica 71 (3) (2015)
Jan van Leeuwen
On Floridi's Method of Levels of Abstraction. Minds Mach. 24 (1) (2014)
Tobias Müller, Erik Jan van Leeuwen, Jan van Leeuwen
Integer Representations of Convex Polygon Intersection Graphs. SIAM J. Discret. Math. 27 (1) (2013)
Antonis Thomas, Jan van Leeuwen
Treewidth and Pure Nash Equilibria. IPEC (2013)
Erik Jan van Leeuwen, Jan van Leeuwen
Structure of Polynomial-Time Approximation. Theory Comput. Syst. 50 (4) (2012)
Jan van Leeuwen, Jirí Wiedermann
Computation as an unbounded process. Theor. Comput. Sci. 429 (2012)
Wil Michiels, Emile H. L. Aarts, Jan H. M. Korst, Jan van Leeuwen, Frits C. R. Spieksma
Computer-assisted proof of performance ratios for the Differencing Method. Discret. Optim. 9 (1) (2012)
Tobias Müller, Erik Jan van Leeuwen, Jan van Leeuwen
Integer representations of convex polygon intersection graphs. SCG (2011)
Jan van Leeuwen, Jirí Wiedermann
Name Resolution by Rewriting in Dynamic Networks of Mobile Entities. Rainbow of Computer Science (2011)
Erik Jan van Leeuwen, Jan van Leeuwen
Convex Polygon Intersection Graphs. Graph Drawing (2010)
Bertrand Meyer, Christine Choppy, Jørgen Staunstrup, Jan van Leeuwen
Viewpoint - Research evaluation for computer science. Commun. ACM 52 (4) (2009)
Jirí Wiedermann, Jan van Leeuwen
How We Think of Computing Today. CiE (2008)
Hans L. Bodlaender, Richard B. Tan, Thomas C. van Dijk, Jan van Leeuwen
Integer Maximum Flow in Wireless Sensor Networks with Energy Constraint. SWAT (2008)
Wil Michiels, Jan H. M. Korst, Emile H. L. Aarts, Jan van Leeuwen
Performance ratios of the Karmarkar-Karp differencing method. J. Comb. Optim. 13 (1) (2007)
Fernando Orejas, Jan van Leeuwen
Preface: Automata, Languages and Programming . Theor. Comput. Sci. 331 (1) (2005)
Peter Verbaan, Jan van Leeuwen, Jirí Wiedermann
Complexity of Evolving Interactive Systems. Theory Is Forever (2004)
Hans L. Bodlaender, Ton Kloks, Richard B. Tan, Jan van Leeuwen
Approximations for lambda-Colorings of Graphs. Comput. J. 47 (2) (2004)
Wil Michiels, Jan H. M. Korst, Emile H. L. Aarts, Jan van Leeuwen
Performance Ratios for the Differencing Method Applied to the Balanced Number Partitioning Problem. STACS (2003)
Hans L. Bodlaender, Richard B. Tan, Jan van Leeuwen
Finding a bigtriangleup-regular supergraph of minimum order. Discret. Appl. Math. 131 (1) (2003)
Wil Michiels, Jan H. M. Korst, Emile H. L. Aarts, Jan van Leeuwen
Performance Ratios for the Karmarkar-Karp Differencing Method. Electron. Notes Discret. Math. 13 (2003)
Jirí Wiedermann, Jan van Leeuwen
The emergent computational potential of evolving artificial living systems. AI Commun. 15 (4) (2002)
Jirí Wiedermann, Jan van Leeuwen
Relativistic Computers and Non-uniform Complexity Theory. UMC (2002)
Jirí Wiedermann, Jan van Leeuwen
Emergence of a Super-Turing Computational Potential in Artificial Living Systems. ECAL (2001)
Jan van Leeuwen, Jirí Wiedermann
Beyond the Turing Limit: Evolving Interactive Systems. SOFSEM (2001)
Hans L. Bodlaender, Ton Kloks, Richard B. Tan, Jan van Leeuwen
lambda-Coloring of Graphs. STACS (2000)
Jan van Leeuwen, Jirí Wiedermann
On Algorithms and Interaction. MFCS (2000)
Jan van Leeuwen, Jirí Wiedermann
On the Power of Interactive Computing. IFIP TCS (2000)
Michele Flammini, Jan van Leeuwen, Alberto Marchetti-Spaccamela
The Complexity of Interval Routing on Random Graphs. Comput. J. 41 (1) (1998)
Hans L. Bodlaender, Jan van Leeuwen, Richard B. Tan, Dimitrios M. Thilikos
On Interval Routing Schemes and Treewidth. Inf. Comput. 139 (1) (1997)
Hans L. Bodlaender, Richard B. Tan, Dimitrios M. Thilikos, Jan van Leeuwen
On Interval Routing Schemes and Treewidth. WG (1995)
Michele Flammini, Jan van Leeuwen, Alberto Marchetti-Spaccamela
The Complexity of Interval Routing on Random Graphs. MFCS (1995)
Jan van Leeuwen, Richard B. Tan
Compact Routing Methods: A Survey. SIROCCO (1994)
Erwin M. Bakker, Jan van Leeuwen, Richard B. Tan
Prefix Routing Schemes in Dynamic Networks. Comput. Networks ISDN Syst. 26 (4) (1993)
Jan van Leeuwen, Derick Wood
Interval Heaps. Comput. J. 36 (3) (1993)
Johannes A. La Poutré, Jan van Leeuwen, Mark H. Overmars
Maintenance of 2- and 3-edge- connected components of graphs I. Discret. Math. 114 (1-3) (1993)
Erwin M. Bakker, Jan van Leeuwen
-emulations of rings, with an application to distributed virtual ring construction. Networks 23 (4) (1993)
Emile H. L. Aarts, Jan van Leeuwen, Martin Rem
Parallel computing. Future Gener. Comput. Syst. 8 (4) (1992)
Peter M. W. Knijnenburg, Jan van Leeuwen
On Models for Propositional Dynamic Logic. Theor. Comput. Sci. 91 (2) (1991)
Goos Kant, Jan van Leeuwen
On special multiples of integers. Bull. EATCS 41 (1990)
Goos Kant, Jan van Leeuwen
The File Distribution Problem for Processor Networks. SWAT (1990)
Hans L. Bodlaender, Peter Gritzmann, Victor Klee, Jan van Leeuwen
Computational complexity of norm-maximization. Comb. 10 (2) (1990)
Hagit Attiya, Jan van Leeuwen, Nicola Santoro, Shmuel Zaks
Efficient Elections in Chordal Ring Networks. Algorithmica 4 (3) (1989)
Bertha Scholten, Jan van Leeuwen
Structured NC. WADS (1989)
Marc Bezem, Jan van Leeuwen
On Estimating the Complexity of Logarithmic Decompositions. Inf. Process. Lett. 26 (6) (1988)
Gerard Tel, Richard B. Tan, Jan van Leeuwen
The Derivation of Graph Marking Algorithms From Distributed Termination Detection Protocols. Sci. Comput. Program. 10 (1) (1988)
Nicolien J. Drost, Jan van Leeuwen
Assertional Verification of a Majority Consensus Algorithm for Concurrency Control in Multiple Copy Databases. Concurrency (1988)
Jyrki Katajainen, Jan van Leeuwen, Martti Penttonen
Fast Simulation of Turing Machines by Random Access Machines. SIAM J. Comput. 17 (1) (1988)
Jan van Leeuwen, Jirí Wiedermann
Array Processing Machines: An Abstract Model. BIT 27 (1) (1987)
Anneke A. Schoone, Hans L. Bodlaender, Jan van Leeuwen
Diameter increase caused by edge deletion. J. Graph Theory 11 (3) (1987)
Johannes A. La Poutré, Jan van Leeuwen
Maintenance of Transitive Closures and Transitive Reductions of Graphs. WG (1987)
Harry A. G. Wijshoff, Jan van Leeuwen
On Linear Skewing Schemes and d-Ordered Vectors. IEEE Trans. Computers 36 (2) (1987)
Jan van Leeuwen, Richard B. Tan
Interval Routing. Comput. J. 30 (4) (1987)
Jan van Leeuwen, Richard B. Tan
An Improved Upperbound for Distributed Election in Bidirectional Rings of Processors. Distributed Comput. 2 (3) (1987)
Gerard Tel, Jan van Leeuwen
A non-deterministic algorithm and its analysis. Bull. EATCS 33 (1987)
Gerard Tel, Richard B. Tan, Jan van Leeuwen
The Derivation of on-the-fly Garbage Collection Algorithms from Distributed Termination Detection Protocols. STACS (1987)
Jan van Leeuwen, Nicola Santoro, Jorge Urrutia, Shmuel Zaks
Guessing Games and Distributed Computations in Synchronous Networks. ICALP (1987)
Jan van Leeuwen
Pragmatic Aspects of Complexity Theory (Panel). IFIP Congress (1986)
Anneke A. Schoone, Hans L. Bodlaender, Jan van Leeuwen
Improved Diameter Bounds for Altered Graphs. WG (1986)
Hans L. Bodlaender, Jan van Leeuwen
Simulation of Large Networks on Smaller Networks Inf. Control. 71 (3) (1986)
Hans L. Bodlaender, Jan van Leeuwen
New Upperbounds for Decentralized Extrema-Finding in a Ring of Processors. STACS (1986)
Harry A. G. Wijshoff, Jan van Leeuwen
The Structure of Periodic Storage Schemes for Parallel Memories. IEEE Trans. Computers 34 (6) (1985)
Hans L. Bodlaender, Jan van Leeuwen
Simulation of Large Networks on Smaller Networks. STACS (1985)
Jan van Leeuwen, Jirí Wiedermann
Array processing machines. FCT (1985)
Marek Karpinski, Jan van Leeuwen
Preface Inf. Control. 64 (1-3) (1985)
Herbert Edelsbrunner, Jan van Leeuwen, Thomas Ottmann, Derick Wood
Computing the Connected Components of Simple Rectilinear Geometrical Objects in D-Space. RAIRO Theor. Informatics Appl. 18 (2) (1984)
Robert Endre Tarjan, Jan van Leeuwen
Worst-case Analysis of Set Union Algorithms. J. ACM 31 (2) (1984)
Harry A. G. Wijshoff, Jan van Leeuwen
Arbitrary versus Periodic Storage Schemes and Tessellations of the Plane Using One Type of Polyomino Inf. Control. 62 (1) (1984)
Mark R. Kramer, Jan van Leeuwen
Systolische Berechnungen und VLSI. Inform. Spektrum 7 (3) (1984)
Jan van Leeuwen, Harry A. G. Wijshoff
Data Mappings in Large Parallel Computers. GI Jahrestagung (1983)
Mark R. Kramer, Jan van Leeuwen
The VLSI complexity of Boolean functions. Logic and Machines (1983)
Harry A. G. Wijshoff, Jan van Leeuwen
Periodic versus arbitrary tessellations of the plane using polyominos of a single type. Theoretical Computer Science (1983)
Jan van Leeuwen, Mark H. Overmars
Stratified Balanced Search Trees. Acta Informatica 18 (1982)
Jan van Leeuwen, Maurice Nivat
Efficient Recognition of Rational Relations. Inf. Process. Lett. 14 (1) (1982)
Mark H. Overmars, Jan van Leeuwen
Trees. Acta Informatica 17 (1982)
Helmut Alt, Jan van Leeuwen
The complexity of basic complex operations. Computing 27 (3) (1981)
Jan van Leeuwen, Mark H. Overmars
The Art of Dynamizing. MFCS (1981)
Jan van Leeuwen, Derick Wood
The Measure Problem for Rectangular Ranges in d-Space. J. Algorithms 2 (3) (1981)
Mark H. Overmars, Jan van Leeuwen
Worst-Case Optimal Insertion and Deletion Methods for Decomposable Searching Problems. Inf. Process. Lett. 12 (4) (1981)
Mark H. Overmars, Jan van Leeuwen
Some Principles for Dynamizing Decomposable Searching Problems. Inf. Process. Lett. 12 (1) (1981)
Jan van Leeuwen, Anneke A. Schoone
Untangling a Travelling Salesman Tour in the Plane. WG (1981)
Mark H. Overmars, Jan van Leeuwen
Maintenance of Configurations in the Plane. J. Comput. Syst. Sci. 23 (2) (1981)
Mark H. Overmars, Jan van Leeuwen
Dynamization of Decomposable Searching Problems Yielding Good Worsts-Case Bounds. Theoretical Computer Science (1981)
Mark H. Overmars, Jan van Leeuwen
Two general methods for dynamizing decomposable searching problems. Computing 26 (2) (1981)
Joost Engelfriet, Erik Meineche Schmidt, Jan van Leeuwen
Stack Machines and Classes of Nonnested Macro Languages. J. ACM 27 (1) (1980)
Mark H. Overmars, Jan van Leeuwen
Dynamically Maintaining Configurations in the Plane (Detailed Abstract) STOC (1980)
Mark H. Overmars, Jan van Leeuwen
Further Comments on Bykat's Convex Hull Algorithm. Inf. Process. Lett. 10 (4/5) (1980)
Jan van Leeuwen, Derick Wood
Dynamization of Decomposable Searching Problems. Inf. Process. Lett. 10 (2) (1980)
Jan van Leeuwen
Über Programmeffizienz und algebraische Komplexität. Inform. Spektrum 3 (3) (1980)
Helmut Alt, Jan van Leeuwen
The complexity of complex division (extended abstract). FCT (1979)
Peter van Emde Boas, Jan van Leeuwen
Move Rules and Trade-Offs in the Pebble Game. Theoretical Computer Science (1979)

Jan van Leeuwen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jan van Leeuwen