Jan van Leeuwen

发表

Computational Science and Its Applications – ICCSA 2004

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2004, Lecture Notes in Computer Science.

The Derivation of on-the-fly Garbage Collection Algorithms from Distributed Termination Detection Protocols

Jan van Leeuwen, Gerard Tel, Richard B. Tan, 1987, STACS.

Middleware 2000

J. van Leeuwen, Jan van Leeuwen, Joseph Sventek, 2000, Lecture Notes in Computer Science.

Computer Network Security

J. van Leeuwen, Jan van Leeuwen, Vladimir Gorodetsky, 2003, Lecture Notes in Computer Science.

Artificial Intelligence and Security: 5th International Conference, ICAIS 2019, New York, NY, USA, July 26-28, 2019, Proceedings, Part II

Elisa Bertino, Gerhard Goos, Juris Hartmanis, 2019, ICAIS.

Variations of a New Machine Model

Jan van Leeuwen, J. Leeuwen, 1976, FOCS.

New Upperbounds for Decentralized Extrema-Finding in a Ring of Processors

Jan van Leeuwen, Hans L. Bodlaender, 1986, STACS.

Data Mappings in Large Parallel Computers

Jan van Leeuwen, Harry A. G. Wijshoff, 1983, GI Jahrestagung.

Principles and Practice of Constraint Programming - CP 2002

J. van Leeuwen, Jan van Leeuwen, Pascal Van Hentenryck, 2002, Lecture Notes in Computer Science.

The complexity of basic complex operations

Jan van Leeuwen, Helmut Alt, J. V. Leeuwen, 1981, Computing.

An improved upperbound for distributed election in bidirectional rings of processors

Jan van Leeuwen, Richard B. Tan, R. B. Tan, 1987, Distributed Computing.

Relativistic Computers and Non-uniform Complexity Theory

Jan van Leeuwen, Jirí Wiedermann, 2002, UMC.

Computer Vision — ECCV 2002

J. van Leeuwen, Jan van Leeuwen, Mads Nielsen, 2002, Lecture Notes in Computer Science.

Parallel Algorithms for Irregularly Structured Problems

Jan van Leeuwen, Roger C. Strawn, CHERRY STREET, 1996, Lecture Notes in Computer Science.

Electronic Government

J. van Leeuwen, Jan van Leeuwen, Roland Traunmüller, 2003, Lecture Notes in Computer Science.

Systolische Berechnungen und VLSI

Jan van Leeuwen, Mark R. Kramer, 1984, Inform. Spektrum.

Graph-theoretic concepts in computer science : 19th International Workshop, WG '93, Utrecht, The Netherlands, June 16-18, 1993 : proceedings

Jan van Leeuwen, 1994 .

From Database to Cyber Security

Sushil Jajodia, Gerhard Goos, Juris Hartmanis, 2018, Lecture Notes in Computer Science.

Mechanical Design and Manufacturing

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2001 .

A partial solution to the reachability-problem for vector-addition systems

Jan van Leeuwen, 1974, STOC '74.

Parallel Processing and Applied Mathematics

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2011, Lecture Notes in Computer Science.

STACS 99

J. van Leeuwen, Christoph Meinel, Jan van Leeuwen, 1999, Lecture Notes in Computer Science.

Peer-to-Peer Systems

J. van Leeuwen, Jan van Leeuwen, Peter Druschel, 2002, Lecture Notes in Computer Science.

SOFSEM 2018: Theory and Practice of Computer Science

Stefan Biffl, A Min Tjoa, Jan van Leeuwen, 2018, Lecture Notes in Computer Science.

The Complexity of Interval Routing on Random Graphs

Jan van Leeuwen, Michele Flammini, Alberto Marchetti-Spaccamela, 1995, MFCS.

Neural Nets

J. van Leeuwen, Jan van Leeuwen, Bruno Apolloni, 2003, Lecture Notes in Computer Science.

Smart Graphics

J. van Leeuwen, Jan van Leeuwen, Andreas Butz, 2003, Lecture Notes in Computer Science.

Chapter 7 Fundamental algorithms and data structures

Jan van Leeuwen, Peter Widmayer, P. Widmayer, 1992 .

Product Focused Software Process Improvement

J. van Leeuwen, Jan van Leeuwen, Seija Komi-Sirviö, 2002, Lecture Notes in Computer Science.

Approximation and Online Algorithms

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2015, Lecture Notes in Computer Science.

Future Generation Information Technology

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2012, Lecture Notes in Computer Science.

Selected Areas in Cryptography

J. van Leeuwen, Jan van Leeuwen, Carlisle Adams, 2001, Lecture Notes in Computer Science.

Unifying Theories of Programming

Takeo Kanade, Alfred Kobsa, Josef Kittler, 2010, Lecture Notes in Computer Science.

Algorithms — ESA '94

Jan van Leeuwen, J. V. Leeuwen, 1994, Lecture Notes in Computer Science.

Approximations for lambda-Colorings of Graphs

Jan van Leeuwen, Richard B. Tan, Ton Kloks, 2004, Comput. J..

Interval Heaps

Jan van Leeuwen, Derick Wood, D. Wood, 1993, Comput. J..

Euro-Par 2018: Parallel Processing Workshops

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2018, Lecture Notes in Computer Science.

Computer Vision – ECCV 2016

Nicu Sebe, Jiri Matas, Gerhard Goos, 2016, Lecture Notes in Computer Science.

Shortcutting directed and undirected networks with a degree constraint

Erik Jan van Leeuwen, Jan van Leeuwen, Richard B. Tan, 2014, Discret. Appl. Math..

ZB 2000: Formal Specification and Development in Z and B

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2000 .

Dynamically maintaining configurations in the plane (Detailed Abstract)

Jan van Leeuwen, Mark H. Overmars, M. Overmars, 1980, STOC '80.

Discrete Geometry for Computer Imagery

J. van Leeuwen, Jan van Leeuwen, Gilles Bertrand, 1999, Lecture Notes in Computer Science.

Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Annabelle McIver, Gerhard Goos, Juris Hartmanis, 2019, FM.

Advances in Information Systems

J. van Leeuwen, Jan van Leeuwen, Tatyana Yakhno, 2000, Lecture Notes in Computer Science.

Computational complexity of norm-maximization

Jan van Leeuwen, Peter Gritzmann, Victor Klee, 1990, Comb..

DNA Computing

J. van Leeuwen, Jan van Leeuwen, Junghuei Chen, 2003, Lecture Notes in Computer Science.

Pattern Recognition and Machine Intelligence

Sankar K. Pal, Gerhard Goos, Juris Hartmanis, 2013, Lecture Notes in Computer Science.

Passive and Active Measurement

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2019, Lecture Notes in Computer Science.

Testing of Communicating Systems

J. van Leeuwen, Jan van Leeuwen, Robert M. Hierons, 2004, Lecture Notes in Computer Science.

Selected Areas in Cryptography

J. van Leeuwen, Jan van Leeuwen, Serge Vaudenay, 2001, Lecture Notes in Computer Science.

Algorithm Engineering

J. van Leeuwen, Jan van Leeuwen, Daniele Frigioni, 2001, Lecture Notes in Computer Science.

Articulated Motion and Deformable Objects

J. van Leeuwen, Jan van Leeuwen, Edwin R. Hancock, 2002, Lecture Notes in Computer Science.

Numerical Methods and Applications

J. van Leeuwen, Jan van Leeuwen, Zahari Zlatev, 2003, Lecture Notes in Computer Science.

Pure Nash Equilibria in Graphical Games and Treewidth

Jan van Leeuwen, Antonis Thomas, 2014, Algorithmica.

Wireless Sensor Networks

J. van Leeuwen, Jan van Leeuwen, Adam Wolisz, 2004, Lecture Notes in Computer Science.

Finding a bigtriangleup-regular supergraph of minimum order

Jan van Leeuwen, Richard B. Tan, Hans L. Bodlaender, 2003, Discret. Appl. Math..

Spatiotemporal Specification & Verification for Multimedia Scenarios

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 1999 .

Neural Information Processing

Chuandong Li, Tingwen Huang, Gerhard Goos, 2012, Lecture Notes in Computer Science.

On special multiples of integers

Goos Kant, Jan van Leeuwen, 1990, Bull. EATCS.

Drawing Graphs

J. van Leeuwen, Jan van Leeuwen, Michael Kaufmann, 2001, Lecture Notes in Computer Science.

Foundations of computer science IV, distributed systems

Jan van Leeuwen, Jacobus Willem de Bakker, J. W. Bakker, 1983 .

On Floridi’s Method of Levels of Abstraction

Jan van Leeuwen, 2013, Minds and Machines.

Middleware 2013

Karsten Schwan, Gerhard Goos, Juris Hartmanis, 2013, Lecture Notes in Computer Science.

State of the Art in Applied Cryptography

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 1998, Lecture Notes in Computer Science.

Graph Algorithms

Jan van Leeuwen, J. V. Leeuwen, J. Leeuwen, 1991, Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity.

Distributed Computing

J. van Leeuwen, Jan van Leeuwen, Mamoun Filali, 2002, Lecture Notes in Computer Science.

Knowledge, Representation, and the Dynamics of Computation

Jan van Leeuwen, Jiří Wiedermann, 2017 .

Computational Intelligence

J. van Leeuwen, Jan van Leeuwen, Bernd Reusch, 1999, Lecture Notes in Computer Science.

Improved Diameter Bounds for Altered Graphs

Jan van Leeuwen, Hans L. Bodlaender, Anneke A. Schoone, 1986, WG.

How We Think of Computing Today

Jan van Leeuwen, Jirí Wiedermann, J. V. Leeuwen, 2008, CiE.

Dynamization of Decomposable Searching Problems Yielding Good Worsts-Case Bounds

Jan van Leeuwen, Mark H. Overmars, 1981, Theoretical Computer Science.

Information and Communications Security

Tsz Hon Yuen, Gerhard Goos, Juris Hartmanis, 2012, Lecture Notes in Computer Science.

Transformation of Declarative Specifications to Algorithmic Representation

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 1999 .

The Halting Problem for Linear Turing Assemblers

Jan van Leeuwen, Robert M. Baer, 1976, J. Comput. Syst. Sci..

Secure Networking — CQRE [Secure] ’ 99

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 1999, Lecture Notes in Computer Science.

Public-Key Cryptography – PKC 2019

Dongdai Lin, Kazue Sako, Gerhard Goos, 2019, Lecture Notes in Computer Science.

Non-classical Turing machines: extending the notion of computation

Jan van Leeuwen, Jirí Wiedermann, 2017, NCMA.

Compact Routing Methods: A Survey

Jan van Leeuwen, Richard B. Tan, R. B. Tan, 1994, SIROCCO.

Parallel Processing and Applied Mathematics

Jack Dongarra, J. van Leeuwen, Jan van Leeuwen, 2002, Lecture Notes in Computer Science.

Approaches in Machine Learning

Jan van Leeuwen, 2004 .

Theory and Practice of Natural Computing

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2016, Lecture Notes in Computer Science.

STACS 2001

J. van Leeuwen, Jan van Leeuwen, Afonso Ferreira, 2001, Lecture Notes in Computer Science.

NETWORKING 2012

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2012, Lecture Notes in Computer Science.

Privacy Enhancing Technologies

J. van Leeuwen, Jan van Leeuwen, Roger Dingledine, 2003, Lecture Notes in Computer Science.

Computer Vision in Human-Computer Interaction

Nicu Sebe, Gerhard Goos, Juris Hartmanis, 2004, Lecture Notes in Computer Science.

Distributed Computing

J. van Leeuwen, Jan van Leeuwen, Jennifer Welch, 2001, Lecture Notes in Computer Science.

Social Computing and Social Media: 7th International Conference, SCSM 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2–7, 2015, Proceedings

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2015, Lecture Notes in Computer Science.

Advances in Visual Computing

Baoxin Li, Min Chen, Gerhard Goos, 2013, Lecture Notes in Computer Science.

Towards a Computational Theory of Epistemic Creativity

Jan van Leeuwen, Jiřı́ Wiedermann, 2015 .

Multiple Classifier Systems

J. van Leeuwen, Jan van Leeuwen, Fabio Roli, 2001, Lecture Notes in Computer Science.

Cooperative Buildings: Integrating Information, Organization, and Architecture

J. van Leeuwen, Jan van Leeuwen, Norbert A. Streitz, 1998, Lecture Notes in Computer Science.

Parallel architectures and algorithms : Eindhoven, the Netherlands, June 10-13, 1991 : proceedings

Jan van Leeuwen, Emile H. L. Aarts, Languages Europe, 1987 .

Financial Cryptography

J. van Leeuwen, Jan van Leeuwen, J. V. Leeuwen, 2002, Lecture Notes in Computer Science.

Array processing machines: An abstract model

Jan van Leeuwen, Jirí Wiedermann, 1987, BIT Comput. Sci. Sect..

Lectures on Runtime Verification

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2018, Lecture Notes in Computer Science.

Digital Cities

J. van Leeuwen, Jan van Leeuwen, Katherine Isbister, 2000, Lecture Notes in Computer Science.

Digital Cultural Heritage

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2019, Lecture Notes in Computer Science.

Theorem Proving in Higher Order Logics

J. van Leeuwen, Jan van Leeuwen, Gilles Dowek, 1999, Lecture Notes in Computer Science.

Economics of Grids, Clouds, Systems, and Services

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2012, Lecture Notes in Computer Science.

Algorithms, software, architecture

Jan van Leeuwen, 1992 .

Computer Vision - ECCV 2004

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2004, Lecture Notes in Computer Science.

Digital Watermarking

J. van Leeuwen, Jan van Leeuwen, Hyoung Joong Kim, 2003, Lecture Notes in Computer Science.

Verified Software. Theories, Tools, and Experiments

Ruzica Piskac, Gerhard Goos, Juris Hartmanis, 2018, Lecture Notes in Computer Science.

Artificial Neural Networks and Machine Learning – ICANN 2012

Péter Érdi, Gerhard Goos, Juris Hartmanis, 2012, Lecture Notes in Computer Science.

Treewidth and Pure Nash Equilibria

Jan van Leeuwen, Antonis Thomas, 2013, IPEC.

Security Protocols

J. van Leeuwen, Bruce Christianson, Jan van Leeuwen, 2002, Lecture Notes in Computer Science.

A Mathematical Theory of Architecture

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2001 .

Green, Pervasive, and Cloud Computing

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2018, Lecture Notes in Computer Science.

Computer Vision - ECCV 2014 Workshops

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2014, Lecture Notes in Computer Science.

Experimental Algorithms

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2012, Lecture Notes in Computer Science.

Reversible Computation

Hafizur Rahaman, Gerhard Goos, Juris Hartmanis, 2017, Lecture Notes in Computer Science.

Uniform d-emulations of rings, with an application to distributed virtual ring construction

Jan van Leeuwen, Erwin M. Bakker, E. Bakker, 1993, Networks.

Preface

Marek Karpinski, Jan van Leeuwen, 1985, Inf. Control..

Pragmatic Aspects of Complexity Theory (Panel)

Jan van Leeuwen, 1986, IFIP Congress.

Functional Imaging and Modeling of the Heart

J. van Leeuwen, Johan Montagnat, Jan van Leeuwen, 2001, Lecture Notes in Computer Science.

Open Hypermedia Systems and Structural Computing

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2002, Lecture Notes in Computer Science.

Static Analysis

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2016, Lecture Notes in Computer Science.

Evolutionary Multi-Criterion Optimization

J. van Leeuwen, Jan van Leeuwen, Peter J. Fleming, 2003, Lecture Notes in Computer Science.

Multiple Classifier Systems

Josef Kittler, Gerhard Goos, Juris Hartmanis, 2004, Lecture Notes in Computer Science.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2007 .

Cooperative Design, Visualization, and Engineering

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2012, Lecture Notes in Computer Science.

Traffic Monitoring and Analysis

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2014, Lecture Notes in Computer Science.

Parallel Computing Technologies

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2013, Lecture Notes in Computer Science.

Information Security

Felix C. Freiling, Gerhard Goos, Juris Hartmanis, 2012, Lecture Notes in Computer Science.

Efficient Recognition of Rational Relations

Jan van Leeuwen, Maurice Nivat, 1982, Inf. Process. Lett..

Formal models and semantics

Jan van Leeuwen, J. Leeuwen, 1990 .

Preface: Automata, Languages and Programming

Jan van Leeuwen, Fernando Orejas, 2005, Theor. Comput. Sci..

Logical Foundations of Computer Science

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2013, Lecture Notes in Computer Science.

Power-Aware Computer Systems

J. van Leeuwen, Jan van Leeuwen, T. N. Vijaykumar, 2001, Lecture Notes in Computer Science.

Diameter increase caused by edge deletion

Jan van Leeuwen, Hans L. Bodlaender, Anneke A. Schoone, 1987, J. Graph Theory.

Computational Science and Its Applications – ICCSA 2013

David Taniar, Gerhard Goos, Juris Hartmanis, 2013, Lecture Notes in Computer Science.

Cross-Cultural Design

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2016, Lecture Notes in Computer Science.

Database and Expert Systems Applications

J. van Leeuwen, Jan van Leeuwen, Abdelkader Hameurlain, 2002, Lecture Notes in Computer Science.

On the Construction of Huffman Trees

Jan van Leeuwen, J. V. Leeuwen, 1976, ICALP.

Computational Science and Its Applications – ICCSA 2013

David Taniar, Gerhard Goos, Juris Hartmanis, 2013, Lecture Notes in Computer Science.

Genetic and Evolutionary Computation — GECCO 2003

J. van Leeuwen, Jan van Leeuwen, Mark Harman, 2003, Lecture Notes in Computer Science.

String Processing and Information Retrieval

J. van Leeuwen, Jan van Leeuwen, Arlindo L. Oliveira, 2002, Lecture Notes in Computer Science.

Applications of Evolutionary Computing

J. van Leeuwen, Jan van Leeuwen, Stefano Cagnoni, 2003, Lecture Notes in Computer Science.

The Derivation of Graph Marking Algorithms From Distributed Termination Detection Protocols

Jan van Leeuwen, Gerard Tel, Richard B. Tan, 1988, Sci. Comput. Program..

Algorithms and Computation

J. van Leeuwen, Toshihide Ibaraki, Jan van Leeuwen, 2003, Lecture Notes in Computer Science.

Untangling a Travelling Salesman Tour in the Plane

Jan van Leeuwen, Anneke A. Schoone, A. A. Schoone, 1981, WG.

NETWORKING 2012

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2012, Lecture Notes in Computer Science.

The Semantic Web: Research and Applications

Oscar Corcho, Gerhard Goos, Juris Hartmanis, 2012, Lecture Notes in Computer Science.

SOFSEM 2000: Theory and Practice of Informatics

J. van Leeuwen, Jan van Leeuwen, Václav Hlaváč, 2002, Lecture Notes in Computer Science.

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2014

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2014, Lecture Notes in Computer Science.

Effective constructions in well-partially- ordered free monoids

Jan van Leeuwen, J. Leeuwen, 1978, Discret. Math..

Recent Trends in Algebraic Development Techniques

J. van Leeuwen, Jan van Leeuwen, Martin Wirsing, 2002, Lecture Notes in Computer Science.

Graph-Theoretic Concepts in Computer Science

J. van Leeuwen, Jan van Leeuwen, Hans L. Bodlaender, 2003, Lecture Notes in Computer Science.

Graph-Theoretic Concepts in Computer Science: International Workshop WG `88 Amsterdam, The Netherlands, June 15-17, 1988. Proceedings

Jan van Leeuwen, 1989 .

Smart Computing and Communication

Meikang Qiu, Gerhard Goos, Juris Hartmanis, 2017, Lecture Notes in Computer Science.

Advances in Cryptology – CRYPTO 2018

Hovav Shacham, Gerhard Goos, Juris Hartmanis, 2018, Lecture Notes in Computer Science.

Jan van Leeuwen, Nicholas V. Findler, 1979, IEEE Transactions on Pattern Analysis and Machine Intelligence.

Computer Vision – ECCV 2016

Nicu Sebe, Jiri Matas, Gerhard Goos, 2016, Lecture Notes in Computer Science.

Wireless Algorithms, Systems, and Applications

Rong Zheng, Xinbing Wang, Gerhard Goos, 2012, Lecture Notes in Computer Science.

Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2019, SAS.

Rendering Interactive Multimedia Scenarios

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 1999 .

Pervasive Computing

J. van Leeuwen, Jan van Leeuwen, Mahmoud Naghshineh, 2002, Lecture Notes in Computer Science.

Interval Routing

Jan van Leeuwen, Richard B. Tan, R. B. Tan, 1987, Computer/law journal.

Maintenance of Transitive Closures and Transitive Reductions of Graphs

Jan van Leeuwen, Han La Poutré, 1987, WG.

Applied Cryptography and Network Security

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2012, Lecture Notes in Computer Science.

Theory of Cryptography

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2017, Lecture Notes in Computer Science.

Convex Polygon Intersection Graphs

Erik Jan van Leeuwen, Jan van Leeuwen, E. J. V. Leeuwen, 2010, GD.

Integer Maximum Flow in Wireless Sensor Networks with Energy Constraint

Jan van Leeuwen, Richard B. Tan, Hans L. Bodlaender, 2008, SWAT.

Automata Implementation

J. van Leeuwen, Jan van Leeuwen, Denis Maurel, 1999, Lecture Notes in Computer Science.

Image and Video Retrieval

Nicu Sebe, J. van Leeuwen, Jan van Leeuwen, 2002, Lecture Notes in Computer Science.

On Estimating the Complexity of Logarithmic Decompositions

Jan van Leeuwen, Marc Bezem, 1988, Inf. Process. Lett..

A Theory of Interactive Computation

Jan van Leeuwen, Jiří Wiedermann, J. Wiedermann, 2006 .

Computational Linguistics and Intelligent Text Processing

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2013, Lecture Notes in Computer Science.

Biometric Authentication

J. van Leeuwen, Jan van Leeuwen, Massimo Tistarelli, 2002, Lecture Notes in Computer Science.

Engineering Secure Software and Systems

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2013, Lecture Notes in Computer Science.

Interactive Multimedia Documents

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 1999, Lecture Notes in Computer Science.

Algorithms, Complexity, and Hans

Jan van Leeuwen, J. Leeuwen, 2020, Treewidth, Kernels, and Algorithms.

Graph Based Representations in Pattern Recognition

J. van Leeuwen, Jan van Leeuwen, Edwin Hancock, 2003, Lecture Notes in Computer Science.

Integer Representations of Convex Polygon Intersection Graphs

Erik Jan van Leeuwen, Jan van Leeuwen, Tobias Müller, 2013, SIAM J. Discret. Math..

Fast Software Encryption

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2001, Lecture Notes in Computer Science.

The Structure of Periodic Storage Schemes for Parallel Memories

Jan van Leeuwen, Harry A. G. Wijshoff, 1985, IEEE Transactions on Computers.

On Interval Routing Schemes and Treewidth

Jan van Leeuwen, Dimitrios M. Thilikos, Richard B. Tan, 1995, WG.

Two general methods for dynamizing decomposable searching problems

Jan van Leeuwen, Mark H. Overmars, 2005, Computing.

Financial Cryptography

J. van Leeuwen, Jan van Leeuwen, Paul F. Syverson, 2002, Lecture Notes in Computer Science.

Stratified balanced search trees

Jan van Leeuwen, Mark H. Overmars, 2004, Acta Informatica.

Middleware 2003

J. van Leeuwen, Jan van Leeuwen, Markus Endler, 2003, Lecture Notes in Computer Science.

Computer Vision — ECCV 2002

J. van Leeuwen, Jan van Leeuwen, Mads Nielsen, 2002, Lecture Notes in Computer Science.

The World Wide Web and Databases

Gottfried Vossen, Gerhard Goos, Juris Hartmanis, 2001, Lecture Notes in Computer Science.

Fundamentals of Computation Theory

J. van Leeuwen, Jan van Leeuwen, J. V. Leeuwen, 2001, Lecture Notes in Computer Science.

Analytical and Stochastic Modeling Techniques and Applications

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2012, Lecture Notes in Computer Science.

Object-Oriented Technology

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2000, Lecture Notes in Computer Science.

Proceedings on Parallel architectures and languages Europe : volume II: parallel languages: volume II: parallel languages

Jan van Leeuwen, M. Rem, Emile H. L. Aarts, 1991 .

Computer Vision – ECCV 2016

Nicu Sebe, Jiri Matas, Gerhard Goos, 2016, Lecture Notes in Computer Science.

Computers Helping People with Special Needs

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2012, Lecture Notes in Computer Science.

Web Information Systems Engineering – WISE 2014

Yanchun Zhang, Gerhard Goos, Juris Hartmanis, 2014, Lecture Notes in Computer Science.

Finite State Machines with Feedback: An Architecture Supporting Minimal Machine Consciousness

Jan van Leeuwen, Jirí Wiedermann, 2019, CiE.

Web Information Systems Engineering – WISE 2018

Hye-Young Paik, Gerhard Goos, Juris Hartmanis, 2018, Lecture Notes in Computer Science.

Worst-case Analysis of Set Union Algorithms

Jan van Leeuwen, Robert E. Tarjan, R. Tarjan, 1984, JACM.

Public Key Cryptography

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 1999, Lecture Notes in Computer Science.

Computers Helping People with Special Needs

J. van Leeuwen, Jan van Leeuwen, Joachim Klaus, 2002, Lecture Notes in Computer Science.

Logic Programming

J. van Leeuwen, Jan van Leeuwen, 2003, Lecture Notes in Computer Science.

Computer Vision — ECCV 2002

J. van Leeuwen, Jan van Leeuwen, Mads Nielsen, 2002, Lecture Notes in Computer Science.

Trends in Functional Programming

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2013, Lecture Notes in Computer Science.

Human-Computer Interaction - INTERACT 2017

Marco Winckler, Anirudha Joshi, Gerhard Goos, 2017, Lecture Notes in Computer Science.

Algorithm Theory - SWAT 2000

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2002, Lecture Notes in Computer Science.

Fast Simulation of Turing Machines by Random Access Machines

Jan van Leeuwen, Martti Penttonen, Jyrki Katajainen, 1988, SIAM J. Comput..

Financial Cryptography

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2004, Lecture Notes in Computer Science.

Job Scheduling Strategies for Parallel Processing

Uwe Schwiegelshohn, Gerhard Goos, Juris Hartmanis, 2012, Lecture Notes in Computer Science.

Security Protocols

J. van Leeuwen, Bruce Christianson, Jan van Leeuwen, 2002, Lecture Notes in Computer Science.

Information and Communications Security

J. van Leeuwen, Jan van Leeuwen, Dieter Gollmann, 2003, Lecture Notes in Computer Science.

Further Comments on Bykat's Convex Hull Algorithm

Jan van Leeuwen, Mark H. Overmars, M. Overmars, 1980, Inf. Process. Lett..

Distributed Computing by Mobile Entities

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2019, Lecture Notes in Computer Science.

SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings

Jan van Leeuwen, 2007, SOFSEM.

Foundations of Information and Knowledge Systems

Stefan Woltran, Gerhard Goos, Juris Hartmanis, 2018, Lecture Notes in Computer Science.

STACS 2004

J. van Leeuwen, Jan van Leeuwen, Volker Diekert, 2004, Lecture Notes in Computer Science.

Cryptology and Network Security

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2011, Lecture Notes in Computer Science.

Experimental Algorithms

Evripidis Bampis, Gerhard Goos, Juris Hartmanis, 2015, Lecture Notes in Computer Science.

Algebraic Methodology and Software Technology

J. van Leeuwen, Jan van Leeuwen, Teodor Rus Ed, 1992, Lecture Notes in Computer Science.

SOFSEM 2010: Theory and Practice of Computer Science, 36th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings

Bernhard Rumpe, Jan van Leeuwen, Anca Muscholl, 2010, SOFSEM.

Computer Vision - ECCV 2004

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2004, Lecture Notes in Computer Science.

Multiple Classifier Systems

J. van Leeuwen, Jan van Leeuwen, Fabio Roli, 2003, Lecture Notes in Computer Science.

Financial Cryptography

J. van Leeuwen, Jan van Leeuwen, David Pointcheval, 1999, Lecture Notes in Computer Science.

Video Analytics. Face and Facial Expression Recognition

Shiguang Shan, Gerhard Goos, Juris Hartmanis, 2018, Lecture Notes in Computer Science.

Coordination Models and Languages

Mieke Massink, Jean-Marie Jacquet, Gerhard Goos, 2018, Lecture Notes in Computer Science.

DNA Computing

J. van Leeuwen, Jan van Leeuwen, Nataša Jonoska, 2002, Lecture Notes in Computer Science.

Verification, Model Checking, and Abstract Interpretation

Ruzica Piskac, Gerhard Goos, Juris Hartmanis, 2019, Lecture Notes in Computer Science.

Ant Algorithms

J. van Leeuwen, Jan van Leeuwen, Marco Dorigo, 2002, Lecture Notes in Computer Science.

Structure of Polynomial-Time Approximation

Erik Jan van Leeuwen, Jan van Leeuwen, 2011, Theory of Computing Systems.

Perspectives of System Informatics

Manfred Broy, Dines Bjørner, J. van Leeuwen, 2000, Lecture Notes in Computer Science.

Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983

Marek Karpinski, Jan van Leeuwen, 1985 .

Theory of Cryptography

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2010, Lecture Notes in Computer Science.

Computing the Connected Components of Simple Rectilinear Geometrical Objects in D-Space

Jan van Leeuwen, Derick Wood, Herbert Edelsbrunner, 1984, RAIRO Theor. Informatics Appl..

Combinatorial Pattern Matching

J. van Leeuwen, Jan van Leeuwen, Masayuki Takeda, 2002, Lecture Notes in Computer Science.

Algorithms - ESA 2003

J. van Leeuwen, Bernard Chazelle, Jan van Leeuwen, 2003, Lecture Notes in Computer Science.

New Trends in Image Analysis and Processing – ICIAP 2013

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2013, Lecture Notes in Computer Science.

Advanced Information Systems Engineering

J. van Leeuwen, Jan van Leeuwen, John Mylopoulos, 2002, Lecture Notes in Computer Science.

Information and Communications Security

J. van Leeuwen, Jan van Leeuwen, Jianying Zhou, 2002, Lecture Notes in Computer Science.

Proceedings of the 4th International Workshop on Distributed Algorithms

Jan van Leeuwen, Nicola Santoro, 1987 .

Information Security and Privacy

J. van Leeuwen, Jan van Leeuwen, Jennifer Seberry, 2002, Lecture Notes in Computer Science.

Some Principles for Dynamizing Decomposable Searching Problems

Jan van Leeuwen, Mark H. Overmars, 1981, Inf. Process. Lett..

On the Complexity of Decision Trees, the Quasi-Optimizer, and the Power of Heuristic rules

Jan van Leeuwen, Nicholas V. Findler, J. V. Leeuwen, 1979, Inf. Control..

Structured NC

Jan van Leeuwen, Bertha Scholten, 1989, WADS.

High Performance Computing

J. van Leeuwen, Jan van Leeuwen, Mateo Valero, 2000, Lecture Notes in Computer Science.

Evolvable Systems: From Biology to Hardware

J. van Leeuwen, Jan van Leeuwen, Terence C. Fogarty, 2002, Lecture Notes in Computer Science.

Theory and Application of Graph Transformations

J. van Leeuwen, Hartmut Ehrig, Hans-Jörg Kreowski, 1998, Lecture Notes in Computer Science.

Move Rules and Trade-Offs in the Pebble Game

Jan van Leeuwen, Peter van Emde Boas, 1979, Theoretical Computer Science.

Parallel computing

Jan van Leeuwen, Emile H. L. Aarts, Martin Rem, 1992, Future Gener. Comput. Syst..

Descriptional Complexity of Formal Systems

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2018, Lecture Notes in Computer Science.

Search-Based Software Engineering

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2018, Lecture Notes in Computer Science.

Theory and Practice of Natural Computing

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2012, Lecture Notes in Computer Science.

On Interval Routing Schemes and Treewidth

Jan van Leeuwen, Dimitrios M. Thilikos, Richard B. Tan, 1995, Inf. Comput..

Computer Vision - ECCV 2014 Workshops

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2014, Lecture Notes in Computer Science.

A forgotten connection between tag-systems and parallel-rewriting

Jan van Leeuwen, 1974 .

Database and Expert Systems Applications

Sebastian Link, Gerhard Goos, Juris Hartmanis, 2014, Lecture Notes in Computer Science.

Parallel Computing Technologies

J. van Leeuwen, Jan van Leeuwen, Victor Malyshkin, 1999, Lecture Notes in Computer Science.

Adaptive Hypermedia and Adaptive Web-Based Systems

Carlo Strapparava, J. van Leeuwen, Jan van Leeuwen, 2000, Lecture Notes in Computer Science.

Automated Technology for Verification and Analysis

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2004, Lecture Notes in Computer Science.

Service-Oriented Computing: 17th International Conference, ICSOC 2019, Toulouse, France, October 28–31, 2019, Proceedings

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2019, ICSOC.

Maintenance of Configurations in the Plane

Jan van Leeuwen, Mark H. Overmars, M. Overmars, 1981, J. Comput. Syst. Sci..

Static Analysis

J. van Leeuwen, Jan van Leeuwen, Germán Puebla, 2002, Lecture Notes in Computer Science.

A non-deterministic algorithm and its analysis

Jan van Leeuwen, Gerard Tel, 1987, Bull. EATCS.

Characterization of unary developmental languages

Jan van Leeuwen, Grzegorz Rozenberg, Gabor T. Herman, 1973, Discret. Math..

Indexing Large Multimedia Applications: A Spatiotemporal Indexing Scheme

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 1999 .

Approximation and Online Algorithms

Roberto Solis-Oba, Gerhard Goos, Juris Hartmanis, 2011, Lecture Notes in Computer Science.

Information Security Applications

J. van Leeuwen, Jan van Leeuwen, Kijoon Chae, 2003, Lecture Notes in Computer Science.

Prefix Routing Schemes in Dynamic Networks

Jan van Leeuwen, Richard B. Tan, Erwin M. Bakker, 1993, Comput. Networks ISDN Syst..

Vector and Parallel Processing – VECPAR’98

J. van Leeuwen, Jan van Leeuwen, Jack J. Dongarra, 1998, Lecture Notes in Computer Science.

Implementation of Functional Languages

J. van Leeuwen, Jan van Leeuwen, Pieter Koopman, 1999, Lecture Notes in Computer Science.

Energy Efficient Data Centers

Sonja Klingert, Gerhard Goos, Juris Hartmanis, 2012, Lecture Notes in Computer Science.

The Turing machine paradigm in contemporary computing

Jan van Leeuwen, Jiří Wiedermann, J. Wiedermann, 2001 .

Multiple Classifier Systems

Thomas G. Dietterich, Gerhard Goos, Juris Hartmanis, 2000, Lecture Notes in Computer Science.

Data Warehousing and Knowledge Discovery

J. van Leeuwen, Jan van Leeuwen, Masatoshi Arikawa, 2002, Lecture Notes in Computer Science.

Computer Vision - ECCV 2000

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2003, Lecture Notes in Computer Science.

Language and Automata Theory and Applications

Dana Shapira, Gerhard Goos, Juris Hartmanis, 2019, Lecture Notes in Computer Science.

Web and Big Data

Jianliang Xu, Gerhard Goos, Juris Hartmanis, 2018, Lecture Notes in Computer Science.

Distributed Computing

J. van Leeuwen, Jan van Leeuwen, Prasad Jayanti Ed, 2003, Lecture Notes in Computer Science.

Performance Ratios for the Karmarkar-Karp Differencing Method

Jan van Leeuwen, Emile H. L. Aarts, Wil Michiels, 2003, Electron. Notes Discret. Math..

Provable Security

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2012, Lecture Notes in Computer Science.

An Improved Bound for Detecting Looping Configurations in Deterministic DPA's

Carl H. Smith, Jan van Leeuwen, Carl H. Smith, 1974, Inf. Process. Lett..

Beyond the Turing Limit: Evolving Interactive Systems

Jan van Leeuwen, Jirí Wiedermann, J. Wiedermann, 2001, SOFSEM.

Discrete Geometry for Computer Imagery

J. van Leeuwen, Jan van Leeuwen, Gabriella Sanniti di Baja, 2003, Lecture Notes in Computer Science.

Modelling and Simulation for Autonomous Systems

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2017, Lecture Notes in Computer Science.

A Decomposition Theorem for Hyper-Algebraic Extensions of Language Families

Jan van Leeuwen, Derick Wood, 1976, Theor. Comput. Sci..

Security Standardisation Research

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2018, Lecture Notes in Computer Science.

Databases Theory and Applications

Zi Huang, Gerhard Goos, Juris Hartmanis, 2017, Lecture Notes in Computer Science.

Digital Forensics and Watermarking

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2011, Lecture Notes in Computer Science.

Verification, Model Checking, and Abstract Interpretation

J. van Leeuwen, Jan van Leeuwen, Giorgio Levi, 2004, Lecture Notes in Computer Science.

Dependable Computing

J. van Leeuwen, Jan van Leeuwen, João Batista Camargo, 2003, Lecture Notes in Computer Science.

Job Scheduling Strategies for Parallel Processing

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2018, Lecture Notes in Computer Science.

On Linear Skewing Schemes and d-Ordered Vectors

Jan van Leeuwen, Harry A. G. Wijshoff, 1987, IEEE Transactions on Computers.

Simulation of Large Networks on Smaller Networks

Jan van Leeuwen, Hans L. Bodlaender, 1986, Inf. Control..

Computing and Combinatorics

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2016, Lecture Notes in Computer Science.

Array processing machines

Jan van Leeuwen, Jirí Wiedermann, 1985, FCT.

Advances in Swarm Intelligence

Ying Tan, Gerhard Goos, Juris Hartmanis, 2013, Lecture Notes in Computer Science.

Distributed algorithms : 2nd international workshop, Amsterdam, The Netherlands, July 8-10, 1987 : proceedings

Jan van Leeuwen, 1988 .

Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics

Takayasu Ito, Jan van Leeuwen, Osamu Watanabe, 2001, Lecture Notes in Computer Science.

Implementation and Application of Functional Languages

Jurriaan Hage, Gerhard Goos, Juris Hartmanis, 2011, Lecture Notes in Computer Science.

Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics

Jan van Leeuwen, 1990 .

Simulation of Large Networks on Smaller Networks

Jan van Leeuwen, Hans L. Bodlaender, H. Bodlaender, 1985, Inf. Control..

Security Protocols

J. van Leeuwen, Bruce Christianson, Jan van Leeuwen, 2001, Lecture Notes in Computer Science.

Computer Vision – ACCV 2012

James M. Rehg, Yasuyuki Matsushita, Gerhard Goos, 2012, Lecture Notes in Computer Science.

Algorithms, Software, Architecture - Information Processing '92, Volume 1, Proceedings of the IFIP 12th World Computer Congress, Madrid, Spain, 7-11 September 1992

Jan van Leeuwen, 1992, IFIP Congress.

Static Analysis

J. van Leeuwen, Jan van Leeuwen, Giorgio Levi Ed, 2002, Lecture Notes in Computer Science.

Information and communication technology

Erich J. Neuhold, A Min Tjoa, Gerhard Goos, 2007, 2007 International Forum on Strategic Technology.

Stack Machines and Classes of Nonnested Macro Languages

Jan van Leeuwen, Joost Engelfriet, Erik Meineche Schmidt, 1980, JACM.

Computer Security - ESORICS 2014

Jaideep Vaidya, Gerhard Goos, Juris Hartmanis, 2014, Lecture Notes in Computer Science.

Advances in Information Retrieval

J. van Leeuwen, Jan van Leeuwen, Fabrizio Sebastiani, 2003, Lecture Notes in Computer Science.

Computational Science — ICCS 2002

J. van Leeuwen, Jan van Leeuwen, Jack J. Dongarra, 2002, Lecture Notes in Computer Science.

Graph-Theoretic Concepts in Computer Science: 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2019, WG.

The Membership Question for ET0L-Languages is Polynomially Complete

Jan van Leeuwen, J. Leeuwen, 1975, Inf. Process. Lett..

Static Analysis

J. van Leeuwen, Jan van Leeuwen, Agostino Cortesi, 1999, Lecture Notes in Computer Science.

Information Hiding

J. van Leeuwen, Jan van Leeuwen, Andreas Pfitzmann, 1999, Lecture Notes in Computer Science.

Information Security, 16th International Conference, ISC 2013, Dallas, Texas, USA, November 13-15, 2013, Proceedings

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2015, ISC.

Advances in Cryptology – CRYPTO 2018

Hovav Shacham, Gerhard Goos, Juris Hartmanis, 2002, Lecture Notes in Computer Science.

Geographic Information Science

J. van Leeuwen, Jan van Leeuwen, Max J. Egenhofer, 2003, Foundations of Geographic Information Science.

Separating the Classes of Recursively Enumerable Languages Based on Machine Size

Jan van Leeuwen, Jirí Wiedermann, 2015, Int. J. Found. Comput. Sci..

A useful lemma for context-free programmed grammars

Jan van Leeuwen, 2004, Acta Informatica.

What is Computation: An Epistemic Approach

Jan van Leeuwen, Jirí Wiedermann, 2015, SOFSEM.

Theory of Cryptography

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2018, Lecture Notes in Computer Science.

Mathematics of Program Construction

J. van Leeuwen, Jan van Leeuwen, José Nuno Oliveira, 2000, Lecture Notes in Computer Science.

Mathematical Foundations of Computer Science 2014

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2014, Lecture Notes in Computer Science.

Computer Performance Engineering

Stephen Gilmore, Gerhard Goos, Juris Hartmanis, 2012, Lecture Notes in Computer Science.

Foundations of computer science II

Jan van Leeuwen, Jacobus Willem de Bakker, J. W. Bakker, 1976 .

Multiple Classifier Systems

J. van Leeuwen, Josef Kittler, Jan van Leeuwen, 2002, Lecture Notes in Computer Science.

Correct Hardware Design and Verification Methods

Enrico Tronci, J. van Leeuwen, Jan van Leeuwen, 2003, Lecture Notes in Computer Science.

Trends and Topics in Computer Vision

Kiriakos N. Kutulakos, Gerhard Goos, Juris Hartmanis, 2010, Lecture Notes in Computer Science.

Efficient elections in chordal ring networks

Jan van Leeuwen, Nicola Santoro, Hagit Attiya, 2005, Algorithmica.

Algorithms and Architectures for Parallel Processing

Jaideep Vaidya, Gerhard Goos, Juris Hartmanis, 2018, Lecture Notes in Computer Science.

Algorithms and Architectures for Parallel Processing

Jaideep Vaidya, Gerhard Goos, Juris Hartmanis, 2018, Lecture Notes in Computer Science.

The Complexity of Vector-Products

Jan van Leeuwen, David P. Dobkin, 1976, Inf. Process. Lett..

The Semantic Web – ISWC 2012

Jeff Heflin, Gerhard Goos, Juris Hartmanis, 2012, Lecture Notes in Computer Science.

Innovative Security Solutions for Information Technology and Communications

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2017, Lecture Notes in Computer Science.

On Models for Propositional Dynamic Logic

Jan van Leeuwen, Peter M. W. Knijnenburg, 1991, Theor. Comput. Sci..

Logic for Programming, Artificial Intelligence, and Reasoning

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2012, Lecture Notes in Computer Science.

Assertional Verification of a Majority Consensus Algorithm for Concurrency Control in Multiple Copy Databases

Jan van Leeuwen, Nicolien J. Drost, 1988, Concurrency.

Graph Transformation

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2015, Lecture Notes in Computer Science.

Electronic Participation

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2014, Lecture Notes in Computer Science.

Electronic Participation

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2012, Lecture Notes in Computer Science.

Cooperative Design, Visualization, and Engineering

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2018, Lecture Notes in Computer Science.

On Algorithms and Interaction

Jan van Leeuwen, Jirí Wiedermann, J. Wiedermann, 2000, MFCS.

Application and Theory of Petri Nets 1995

Jan van Leeuwen, 1995, Lecture Notes in Computer Science.

Theory of Grouping

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2001 .

Ambient Intelligence

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2015, Lecture Notes in Computer Science.

Developments in Language Theory

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2018, Lecture Notes in Computer Science.

Verification, Model Checking, and Abstract Interpretation

J. van Leeuwen, Jan van Leeuwen, J. Leeuwen, 2002, Lecture Notes in Computer Science.

Groupware: Design, Implementation, and Use

J. van Leeuwen, Jan van Leeuwen, José A. Pino, 2002, Lecture Notes in Computer Science.

Information Security and Privacy: 23rd Australasian Conference, ACISP 2018, Wollongong, NSW, Australia, July 11-13, 2018, Proceedings

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2018, Lecture Notes in Computer Science.

Computational Science and Its Applications — ICCSA 2003

J. van Leeuwen, Jan van Leeuwen, Marina L. Gavrilova, 2003, Lecture Notes in Computer Science.

Pervasive Computing

C. Pandu Rangan, Oscar Nierstrasz, Josef Kittler, 2004, Lecture Notes in Computer Science.

Selected papers of the international conference on "foundations of computation theory" on Topics in the theory of computation

Marek Karpinski, Jan van Leeuwen, 1985 .

Foundations of Security Analysis and Design II

J. van Leeuwen, Jan van Leeuwen, Roberto Gorrieri, 2001, Lecture Notes in Computer Science.

Proceedings of the IFIP 12th World Computer Congress on Algorithms, Software, Architecture - Information Processing '92, Volume 1 - Volume I

Jan van Leeuwen, 1992 .

Computational Linguistics and Intelligent Text Processing

J. van Leeuwen, Jan van Leeuwen, Alexander Gelbukh, 2004, Lecture Notes in Computer Science.

Computation as an unbounded process

Jan van Leeuwen, Jirí Wiedermann, 2012, Theor. Comput. Sci..

Information Security Theory and Practice

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2018, Lecture Notes in Computer Science.

Computational Science and Its Applications – ICCSA 2004

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2004, Lecture Notes in Computer Science.

Euro-Par 2014: Parallel Processing Workshops

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2014, Lecture Notes in Computer Science.

A regularity condition for parallel rewriting systems

Jan van Leeuwen, 1976 .

Component Deployment

J. van Leeuwen, Jan van Leeuwen, Judith Bishop, 2002, Lecture Notes in Computer Science.

Algorithms and Computation

J. van Leeuwen, Jan van Leeuwen, Prosenjit Bose, 2002, Lecture Notes in Computer Science.

Service-Oriented and Cloud Computing: 7th IFIP WG 2.14 European Conference, ESOCC 2018, Como, Italy, September 12-14, 2018, Proceedings

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2018, Lecture Notes in Computer Science.

Learning and Collaboration Technologies. Technology in Education

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2017, Lecture Notes in Computer Science.

Authoring Interactive Multimedia Presentations

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 1999 .

Arbitrary versus Periodic Storage Schemes and Tessellations of the Plane Using One Type of Polyomino

Jan van Leeuwen, Harry A. G. Wijshoff, 1984, Inf. Control..

Information Technology in Bio- and Medical Informatics

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2013, Lecture Notes in Computer Science.

Distributed Applications and Interoperable Systems

J. van Leeuwen, Jan van Leeuwen, Daniel Hagimont, 2003, Lecture Notes in Computer Science.

Ad-Hoc, Mobile, and Wireless Networks

J. van Leeuwen, Jan van Leeuwen, Samuel Pierre, 2003, Lecture Notes in Computer Science.

Job Scheduling Strategies for Parallel Processing

J. van Leeuwen, Jan van Leeuwen, Larry Rudolph, 2001, Lecture Notes in Computer Science.

The role and relevance of experimentation in informatics

Letizia Tanca, Jan van Leeuwen, Fabio A. Schreiber, 2013 .

Theory of Cryptography

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2018, Lecture Notes in Computer Science.

A Generalisation of Parikh's Theorem in Formal Language Theory

Jan van Leeuwen, J. Leeuwen, 1974, ICALP.

Robot Vision

J. van Leeuwen, Jan van Leeuwen, Reinhard Klette, 2001, Lecture Notes in Computer Science.

Computers and Games

J. van Leeuwen, Jan van Leeuwen, Jonathan Schaeffer, 2002, Lecture Notes in Computer Science.

Advances in Multimedia Information Systems

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 1998, Lecture Notes in Computer Science.

Emergence of a Super-Turing Computational Potential in Artificial Living Systems

Jan van Leeuwen, Jirí Wiedermann, 2001, ECAL.

Security and Trust Management

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2012, Lecture Notes in Computer Science.

The Complexity of Interval Routing on Random Graphs

Jan van Leeuwen, Michele Flammini, Alberto Marchetti-Spaccamela, 1995, Comput. J..

Database Theory — ICDT 2001

J. van Leeuwen, Jan van Leeuwen, Jan Van den Bussche, 2001, Lecture Notes in Computer Science.

Information Security and Privacy

J. van Leeuwen, Ed Dawson, Jan van Leeuwen, 2000, Lecture Notes in Computer Science.

Algorithms and Architectures for Parallel Processing

Jaideep Vaidya, Gerhard Goos, Juris Hartmanis, 2018, Lecture Notes in Computer Science.

Computer Vision — ECCV 2000: 6th European Conference on Computer Vision Dublin, Ireland, June 26–July 1, 2000 Proceedings, Part II

J. van Leeuwen, Jan van Leeuwen, David Vernon Ed, 2000, Lecture Notes in Computer Science.

Testing Software and Systems: 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2018, Lecture Notes in Computer Science.

Guessing Games and Distributed Computations in Synchronous Networks

Jan van Leeuwen, Nicola Santoro, Jorge Urrutia, 1987, ICALP.

APPROACHES IN MACIDNE LEARNING

Jan van Leeuwen, 2004 .

Universal Access in Human-Computer Interaction. Methods, Technologies, and Users

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2018, Lecture Notes in Computer Science.

Symbiotic Interaction

Jaap Ham, Gerhard Goos, Juris Hartmanis, 2017, Lecture Notes in Computer Science.

Constraints in Computational Logics

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2001, Lecture Notes in Computer Science.

Machine Learning for Dynamic Software Analysis: Potentials and Limits

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2018, Lecture Notes in Computer Science.

Über Programmeffizienz und algebraische Komplexität

Jan van Leeuwen, 1980, Inform. Spektrum.

The emergent computational potential of evolving artificial living systems

Jan van Leeuwen, Jirí Wiedermann, 2002, AI Commun..

Information and Communications Security

J. van Leeuwen, Jan van Leeuwen, Jianying Zhou, 2001, Lecture Notes in Computer Science.

Computing and Combinatorics

Kyung-Yong Chwa, J. van Leeuwen, Bernard Chazelle, 2001, Lecture Notes in Computer Science.

Dynamic multi-dimensional data structures based on quad- and k—d trees

Jan van Leeuwen, Mark H. Overmars, M. Overmars, 1982, Acta Informatica.

Transforming Digital Worlds

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2018, Lecture Notes in Computer Science.

The Tape-Complexity of Context-Independent Developmental Languages

Jan van Leeuwen, J. Leeuwen, 1975, J. Comput. Syst. Sci..

Graph Transformation

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2016, Lecture Notes in Computer Science.

Image Analysis and Recognition

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2012, Lecture Notes in Computer Science.

Modeling Interactive Multimedia Documents

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 1999 .

Implementation and Application of Automata

J. van Leeuwen, Jan van Leeuwen, Denis Maurel, 2018, Lecture Notes in Computer Science.

Runtime Verification

Axel Legay, Gerhard Goos, Juris Hartmanis, 2013, Lecture Notes in Computer Science.

Theoretical Computer Science

J. van Leeuwen, Cosimo Laneve, Jan van Leeuwen, 2003, Lecture Notes in Computer Science.

The VLSI complexity of Boolean functions

Jan van Leeuwen, Mark R. Kramer, 1983, Logic and Machines.

COTS-Based Software Systems

J. van Leeuwen, Jan van Leeuwen, Rick Kazman, 2004, Lecture Notes in Computer Science.

Security Protocols

J. van Leeuwen, Bruce Christianson, Jan van Leeuwen, 1999, Lecture Notes in Computer Science.

The Art of Dynamizing

Jan van Leeuwen, Mark H. Overmars, M. Overmars, 1981, MFCS.

Proceedings of the 14th International Workshop on Graph-Theoretic Concepts in Computer Science

Jan van Leeuwen, J. V. Leeuwen, 1988 .

Semantic Keyword-Based Search on Structured Data Sources

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2017, Lecture Notes in Computer Science.

Model and Data Engineering

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2012, Lecture Notes in Computer Science.

Automata, languages and programming : 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings

Jan van Leeuwen, Fernando Orejas, P. G. Spirakis, 2001 .

Name Resolution by Rewriting in Dynamic Networks of Mobile Entities

Jan van Leeuwen, Jirí Wiedermann, J. Wiedermann, 2011, Rainbow of Computer Science.

Computer Vision – ECCV 2012. Workshops and Demonstrations

Rita Cucchiara, Gerhard Goos, Juris Hartmanis, 2012, Lecture Notes in Computer Science.

Report on the Dagstuhl-Seminar on Incremental Computation and Dynamic Algorithms

Kurt Mehlhorn, Jan van Leeuwen, Thomas Reps, 1994 .

Ad-Hoc, Mobile, and Wireless Networks

Stephan Olariu, Gerhard Goos, Juris Hartmanis, 2004, Lecture Notes in Computer Science.

Approximations for -Coloring of Graphs

Jan van Leeuwen, Richard B. Tan, Ton Kloks, 2004 .

Computer-assisted proof of performance ratios for the Differencing Method

Frits C. R. Spieksma, Jan van Leeuwen, Emile H. L. Aarts, 2012, Discret. Optim..

lambda-Coloring of Graphs

Jan van Leeuwen, Richard B. Tan, Ton Kloks, 2000, STACS.

Advances in Swarm Intelligence

Ying Tan, Gerhard Goos, Juris Hartmanis, 2012, Lecture Notes in Computer Science.

Product Focused Software Process Improvement

Hajimu Iida, Frank Bomarius, Gerhard Goos, 2004, Lecture Notes in Computer Science.

Haptics: Perception, Devices, Mobility, and Communication

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2012, Lecture Notes in Computer Science.

Languages and Compilers for Parallel Computing

Larry Carter, J. van Leeuwen, Jan van Leeuwen, 2000, Lecture Notes in Computer Science.

Notes on Pre-Set Pushdown Automata

Jan van Leeuwen, J. Leeuwen, 1974, L Systems.

Databases in Telecommunications II

J. van Leeuwen, Jan van Leeuwen, Willem Jonker, 2001, Lecture Notes in Computer Science.

Proceedings of the 28th International Colloquium on Automata, Languages and Programming,

Paul G. Spirakis, Jan van Leeuwen, Fernando Orejas, 2001 .

Theorem Proving in Higher Order Logics

J. van Leeuwen, Jan van Leeuwen, John Harrison, 2000, Lecture Notes in Computer Science.

Network and System Security

Elisa Bertino, Gerhard Goos, Juris Hartmanis, 2012, Lecture Notes in Computer Science.

Ambient Intelligence

J. van Leeuwen, Jan van Leeuwen, Evert van Loenen, 2003, Lecture Notes in Computer Science.

Periodic versus arbitrary tessellations of the plane using polyominos of a single type

Jan van Leeuwen, Harry A. G. Wijshoff, 1983, Theoretical Computer Science.

Web and Wireless Geographical Information Systems

Jérôme Gensel, Gerhard Goos, Juris Hartmanis, 2015, Lecture Notes in Computer Science.

Fundamentals of Computation Theory

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2015, Lecture Notes in Computer Science.

Cooperative Design, Visualization, and Engineering

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2004, Lecture Notes in Computer Science.

Computers and Games

J. van Leeuwen, Jan van Leeuwen, Hiroyuki Iida, 1999, Lecture Notes in Computer Science.

Discrete and Computational Geometry

J. van Leeuwen, Jan van Leeuwen, Jin Akiyama, 1998, Lecture Notes in Computer Science.

Security, Privacy, and Anonymity in Computation, Communication, and Storage

Jinjun Chen, Gerhard Goos, Juris Hartmanis, 2018, Lecture Notes in Computer Science.

Service-Oriented and Cloud Computing

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2013, Lecture Notes in Computer Science.

Social Information Access

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2018, Lecture Notes in Computer Science.

Computational Topology in Image Context

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2019, Lecture Notes in Computer Science.

The complexity of complex division (extended abstract)

Jan van Leeuwen, Helmut Alt, J. V. Leeuwen, 1979, International Symposium on Fundamentals of Computation Theory.

Parle ’91 Parallel Architectures and Languages Europe

Jan van Leeuwen, M. Rem, Emile H. L. Aarts, 1991, Lecture Notes in Computer Science.

Persuasive Technology

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2015, Lecture Notes in Computer Science.

Automata, Languages and Programming

J. van Leeuwen, Jan van Leeuwen, Matthew Hennessy, 2002, Lecture Notes in Computer Science.

The Measure Problem for Rectangular Ranges in d-Space

Jan van Leeuwen, Derick Wood, D. Wood, 1981, J. Algorithms.

Types for Proofs and Programs

J. van Leeuwen, Jan van Leeuwen, Thorsten Altenkirch, 2001, Lecture Notes in Computer Science.

Proceedings of the 7th Colloquium on Automata, Languages and Programming

Jan van Leeuwen, J. W. de Bakker, J. W. Bakker, 1980 .

Computational Science — ICCS 2002

J. van Leeuwen, Jan van Leeuwen, Jack J. Dongarra, 2002, Lecture Notes in Computer Science.

Computer Vision - ECCV 2014 Workshops

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2014, Lecture Notes in Computer Science.

Dynamization of Decomposable Searching Problems

Jan van Leeuwen, Derick Wood, 1980, Inf. Process. Lett..

Principles of Distributed Systems

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2012, Lecture Notes in Computer Science.

Computational Science and Its Applications — ICCSA 2003

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2003, Lecture Notes in Computer Science.

Advances in Visual Computing

Baoxin Li, Min Chen, Gerhard Goos, 2013, Lecture Notes in Computer Science.

Cellular Automata

J. van Leeuwen, Stefania Bandini, Marco Tomassini, 2002, Lecture Notes in Computer Science.

Computer Science Today

Jan van Leeuwen, J. Leeuwen, 1995, Lecture Notes in Computer Science.

Unconventional Models of Computation

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2002 .

Performance Ratios for the Differencing Method Applied to the Balanced Number Partitioning Problem

Jan van Leeuwen, Emile H. L. Aarts, Wil Michiels, 2003, STACS.

Proceedings 13 Volume Editors

C. Pandu Rangan, Alfred Kobsa, Gerhard Weikum, 2013 .

Object-Oriented Technology: ECOOP’98 Workshop Reader

J. van Leeuwen, Jan van Leeuwen, Jan Bosch, 1998, Lecture Notes in Computer Science.

Automata Implementation

J. van Leeuwen, Jan van Leeuwen, Helmut Jürgensen, 2001, Lecture Notes in Computer Science.

Worst-Case Optimal Insertion and Deletion Methods for Decomposable Searching Problems

Jan van Leeuwen, Mark H. Overmars, M. Overmars, 1981, Inf. Process. Lett..

Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics

Jan van Leeuwen, J. Leeuwen, 1994 .

Secure Data Management

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2004, Lecture Notes in Computer Science.

Distributed Algorithms: 4th International Workshop, Bari, Italy, September 24-26, 1990. Proceedings.

Jan van Leeuwen, Nicola Santoro, 1991 .

Integer Programming and Combinatorial Optimization

Gerhard J. Woeginger, Gerhard Goos, Juris Hartmanis, 2013, Lecture Notes in Computer Science.

Proceedings of the Second Annual European Symposium on Algorithms

Jan van Leeuwen, 1994 .

The File Distribution Problem for Processor Networks

Goos Kant, Jan van Leeuwen, G. Kant, 1990, SWAT.

Coalgebraic Methods in Computer Science

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2014, Lecture Notes in Computer Science.

Graph Transformations

Hartmut Ehrig, Gerhard Goos, Juris Hartmanis, 2004, Lecture Notes in Computer Science.

Static Analysis

J. van Leeuwen, Jan van Leeuwen, Radhia Cousot, 2003, Lecture Notes in Computer Science.

Medical Image Computing and Computer Assisted Intervention – MICCAI 2018: 21st International Conference, Granada, Spain, September 16-20, 2018, Proceedings, Part I

Alejandro F. Frangi, Gabor Fichtinger, Gerhard Goos, 2018, MICCAI.

Maintenance of 2- and 3-connected components of graphs; Part I: 2- and 3-edge-connected components

Jan van Leeuwen, Mark H. Overmars, Ja Han La Poutré, 1990 .

Software Composition

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2012, Lecture Notes in Computer Science.

Computational Biology

J. van Leeuwen, Jan van Leeuwen, Olivier Gascuel, 2001, Lecture Notes in Computer Science.

Artificial Evolution

J. van Leeuwen, Cyril Fonlupt, Jan van Leeuwen, 1999, Lecture Notes in Computer Science.

The Semantic Web

Huajun Chen, Zhaohui Wu, Ian Horrocks, 2011, Lecture Notes in Computer Science.

Applications of Evolutionary Computation

Gerd Ascheid, Gerhard Goos, Juris Hartmanis, 2018, Lecture Notes in Computer Science.

Graph-Theoretic Concepts in Computer Science

Jan van Leeuwen, 1991, Lecture Notes in Computer Science.

Maintenance of 2- and 3-edge- connected components of graphs I

Jan van Leeuwen, Mark H. Overmars, Han La Poutré, 1993, Discret. Math..

Combinatorial Pattern Matching

J. van Leeuwen, Jan van Leeuwen, Maxime Crochemore, 2003, Lecture Notes in Computer Science.

Computer Science Today: Recent Trends and Developments

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 1995 .

Turing Machines with One-sided Advice and Acceptance of the co-RE Languages

Jan van Leeuwen, Jirí Wiedermann, J. Wiedermann, 2014, Fundam. Informaticae.

Foundations and Practice of Security

Nora Cuppens-Boulahia, Frédéric Cuppens, Gerhard Goos, 2012, Lecture Notes in Computer Science.

Graphical Models for Security

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2017, Lecture Notes in Computer Science.

Computers Helping People with Special Needs

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2018, Lecture Notes in Computer Science.

Advances in Cryptology — CRYPTO’ 99

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 1999, Lecture Notes in Computer Science.

Transactions on Computational Collective Intelligence XXXIII

Ngoc Thanh Nguyen, Fatos Xhafa, Gerhard Goos, 2019, Lecture Notes in Computer Science.

On Compromising Statistical Data-Bases with a few Known Elements

Jan van Leeuwen, 1979, Inf. Process. Lett..

Complexity of Evolving Interactive Systems

Jan van Leeuwen, Jirí Wiedermann, Peter Verbaan, 2004, Theory Is Forever.

Panel on the contributions of the DISC community to distributed computing: a historical perspective

Jan van Leeuwen, Nicola Santoro, Michel Raynal, 2006 .

ViewpointResearch evaluation for computer science

Bertrand Meyer, Jan van Leeuwen, Christine Choppy, 2009, CACM.

Proceedings of Parallel Architectures and Languages - Volume II

Jan van Leeuwen, M. Rem, Emile H. L. Aarts, 1991 .

Graph Drawing

Michael Jünger, J. van Leeuwen, Jan van Leeuwen, 2002, Lecture Notes in Computer Science.

Image Analysis and Recognition

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2012, Lecture Notes in Computer Science.

Genetic and Evolutionary Computation – GECCO 2004

Riccardo Poli, Dirk Thierens, Gerhard Goos, 2004, Lecture Notes in Computer Science.

On the Power of Interactive Computing

Jan van Leeuwen, Jirí Wiedermann, 2000, IFIP TCS.

Modelling Foundations and Applications

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2018, Lecture Notes in Computer Science.

Question answering by humans and machines: A complexity-theoretic view

Jan van Leeuwen, Jiří Wiedermann, 2019, Theor. Comput. Sci..

Advanced Information Systems Engineering

J. van Leeuwen, Jan van Leeuwen, Johann Eder, 2003, Lecture Notes in Computer Science.

Trusted Systems

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2011, Lecture Notes in Computer Science.

Critical Information Infrastructures Security

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2018, Lecture Notes in Computer Science.

Computer Aided Verification

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 1996, Lecture Notes in Computer Science.

Progress in Cryptology – AFRICACRYPT 2016

Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2016, Lecture Notes in Computer Science.

Incremental Computation and Dynamic Algorithms (Dagstuhl Seminar 9418)

Kurt Mehlhorn, Jan van Leeuwen, Thomas Reps, 2021 .

Approximations for λ-Colorings of Graphs 201

Jan van Leeuwen, Richard B. Tan, Ton Kloks, 2004 .

Department Evaluation, Protocol for research assessment in Informatics, Computer Science and IT Departments and Research Institutes, revised version

Manfred Nagl, Letizia Tanca, Jan van Leeuwen, 2012 .

On efficiently computing the product of two binary relations

Jan van Leeuwen, 1975 .

Perspectives of System Informatics

Manfred Broy, J. van Leeuwen, Jan van Leeuwen, 2003, Lecture Notes in Computer Science.

Periodic versus arbitrary tessellations of the plane using polyominos of a single type

Jan van Leeuwen, H.A.G. Wijshoff, 1983 .

Student Enrollment and Image of the Informatics Discipline

Letizia Tanca, Jan van Leeuwen, L. Tanca, 2007 .

Chapter 1 APPROACHES IN MACHINE LEARNING

Jan van Leeuwen, 2003 .

An extension of Hansen's theorem for star chains.

Jan van Leeuwen, 1977 .

Intelligent Agents V: Agents Theories, Architectures, and Languages

J. van Leeuwen, Jan van Leeuwen, Jörg P. Müller, 2003, Lecture Notes in Computer Science.

On the fixpoints of monogenic functions in free monoids

Jan van Leeuwen, 1975 .