LIACS

Technical Reports

Below, you can find links to some of the technical reports written by researchers at LIACS. Note that the list is incomplete, as a number of people choose to publish these reports on their own website.

2003

• tr03-02: Frans A.J. Birrer, Sheila Tobias, Linking Science and Business: Examples of Educational Innovation

2002

• tr02-03: J. Engelfriet, S. Maneth, A Comparison of Pebble Tree Transducers with Macro Tree Transducers

2001

• tr01-08: J. Engelfriet, S. Maneth, Macro Tree Translations of Linear Size Increase are MSO Definable
• tr01-07: M.H. ter Beek, C.A. Ellis, J. Kleijn, G. Rozenberg, Team Automata for CSCW
• tr01-06: H.J. Hoogeboom, Context-Free Valence Grammars - Revisited
• tr01-05: H.J. Hoogeboom, N. van Vugt, Upper Bounds for Restricted Splicing
• tr01-04: J. Engelfriet, S. Maneth, Output String Languages of Compositions of Deterministic Macro Tree Transducers
• tr01-03: M.H. ter Beek, C.A. Ellis, J. Kleijn, G. Rozenberg, Team Automata for Spatial Access Control
• tr01-02: J.I. van Hemert, C. Van Hoyweghen, E. Lukschandl, K. Verbeeck, A ``Futurist'' approach to dynamic environments
• tr01-01: J.I. van Hemert, M.J.M. Jansen, An Engineering Approach to Evolutionary Art

2000

• tr00-21: F.A.J. Birrer, Combination, hybridisation and fusion of knowledge modes
• tr00-20: R. Dassen, H.J. Hoogeboom, N. van Vugt, A Characterization of non-iterated splicing with regular rules
• tr00-19: M.A. Mentzel, F.A.J. Birrer, Science based technologies in Europe: the question of political legitimacy
• tr00-18: F.A.J. Birrer, M.A. Mentzel, Knowledge societies: some key issues ans challenges for the 21-st century
• tr00-17: F.A.J. Birrer, Sustainability and the art of persuasion. Reflections on sustainability, and their implications for design
• tr00-16: F.A.J. Birrer, Technology as subliminal enticement
• tr00-15: F.A.J. Birrer, Environmental values and subliminal enticement
• tr00-14: B. Juurlink, D. Tcheressiz, S. Vassiliadis, H. Wijshoff, Implementation and Evaluation of the Complex Streamed Instruction Set
• tr00-13: T. Kisuki , P.M.W. Knijnenburg, K. Gallivan, M.F.P. O'Boyle, Pre- and Post Selection of Compiler Optimizations by Program Execution
• tr00-12: C.A. Schippers, Exploration, model building and exploitation in evolutionary computation
• tr00-11: J.I. van Hemert, Constraint satisfaction problems and evolutionary computation: A reality check
• tr00-10: T. Kisuki , P.M.W. Knijnenburg, M.F.P. O'Boyle, Incorporating Cache Models in Iterative Compilation for Combined Tiling and Unrolling
• tr00-09: P. van der Putten, M. van Someren, CoIL Challenge 2000: The Insurance Company Case
• tr00-08: P. Frisco, A direct construction of a universal extended H system
• tr00-07: T. Kisuki , P.M.W. Knijnenburg, M.F.P. O'Boyle, Combined Selection of Tile Sizes and Unroll Factors Using Iterative Compilation
• tr00-06: T. Kisuki , P.M.W. Knijnenburg, M.F.P. O'Boyle, Iterative Compilation for Tile Sizes and Unroll Factors: implementation, performance, search strategies
• tr00-05: J. Hage, T. Harju, A characterization of acyclic switching classes using forbidden subgraphs
• tr00-04: P.J. 't Hoen, L.P.J. Groenewegen, P.W.M. Koopman, Consequences of package behaviour
• tr00-03: T. Kisuki, P.M.W. Knijnenburg, M.F.P. O'Boyle, H.A.G. Wijshoff, Iterative Compilation in Program Optimization
• tr00-02: J. Engelfriet, Tj. Gelsema, Structural Congruence in the pi-Calculus with Potential Replication
• tr00-01: H.J. Hoogeboom, N. van Vugt, Fair Sticker Languages

1999

• tr99-22: Peter M.W. Knijnenburg, Overview of the Esprit IV Reactive LTR Project OCEANS Optimizing Compilers for Embedded Applications
• tr99-21: A.J.C. Bik, P.J. Brinkhaus, P.M.W. Knijnenburg, H.A.G. Wijshoff, Transformation Mechanisms in MT1
• tr99-20: M. Barreteau, F. Bodin, Z. Chamski, H.-P. Charles, C. Eisenbeis, J. Gurd, J. Hoogerbrugge, P. Hu, W. Jalby, T. Kisuki, P.M.W. Knijnenburg, P. van der Mark, A. Nisbet, M.F.P. O'Boyle, E. Rohou, A. Seznec, E.A. Stohr, M. Treffers, H.A.G. Wijshoff, OCEANS: Optimising Compilers for Embedded Applications
• tr99-19: Toru Kisuki, Peter M.W. Knijnenburg, Mike F.P. O'Boyle, Francois Bodin, Harry A.G. Wijshoff, A Feasibility Study in Iterative Compilation
• tr99-18: M.F.P. O'Boyle, P.M.W. Knijnenburg, Efficient Parallelisation using Combined Loop and Data Transformations
• tr99-17: P.J. 't Hoen, L.P.J. Groenewegen, J.H.M. Dassen, P.W.M. Koopman, G. Engels, I.G. Sprinkhuizen-Kuyper, Class-like Descriptions of Packages -- The Behaviour of Packages
• tr99-16: F.A.J. Birrer, Hybridisation in R&D and its Consequences for Quality Control: what are the real challenges?
• tr99-15: F.A.J. Birrer, Participation and the Combination of Knowledge Modes
• tr99-14: P.J. 't Hoen, L.P.J. Groenewegen, V. Zweije, SOCCA Basics
• tr99-13: H.C.M. Kleijn, M. Koutny, Process Semantics of P/T-Nets with Inhibitor Arcs
• tr99-12: M.H. ter Beek, C.A. Ellis, H.C.M. Kleijn, G. Rozenberg, Synchronizations in Team Automata for Groupware Systems
• tr99-11: P.J. 't Hoen, L.P.J. Groenewegen, J.H.M. Dassen, I.G. Sprinkhuizen-Kuyper, P.W.M. Koopman, G. Engels, Structuring SOCCA Models with UML-like Packages
• tr99-10: T. Kisuki, P.M.W. Knijnenburg, M.F.P. O'Boyle, H.A.G. Wijshoff, Iterative Compilation in Program Optimization
• tr99-09: J.H.M. Dassen, L.P.J. Groenewegen, G. Engels, P.J. 't Hoen, P.W.M. Koopman, I.G. Sprinkhuizen-Kuyper, Formalising Object-Oriented Modelling Languages
• tr99-08: Z. Fülöp, S. Maneth, Domains of Partial Attributed Tree Transducers
• tr99-07: P. Frisco, Direct Universal Extended H Systems
• tr99-06: P.J. 't Hoen, G. Busatto, L.P.J. Groenewegen, Instance Level Packages for UML
• tr99-05: G. Busatto, G. Engels, K. Mehner, A. Wagner, A Framework for Adding Packages to Graph Transformation Approaches
• tr99-04: D.R. Tauritz, I.G. Sprinkhuizen-Kuyper, Adaptive Information Filtering: improvement of the matching technique and derivation of the evolutionary algorithm
• tr99-03: J.H.M. Dassen, L.P.J. Groenewegen, I.G. Sprinkhuizen-Kuyper, P.W.M. Koopman, P.J. 't Hoen, G. Engels, A formalisation of SOCCA using Z (Part 1: the type level concepts)
• tr99-02: T. Kisuki, H. Corporaal, P.M.W. Knijnenburg, The Effect of Process Switches on Branch Prediction Accuracy
• tr99-01: H.C.M. Kleijn, R. Morin, B. Rozoy, Categorical Connections between Local Event Structures and Local Traces

1998

• tr98-17: M. Barreteau, F. Bodin, P. Brinkhaus, Z. Chamski, H.-P. Charles, C. Eisenbeis, J. Gurd, J. Hoogerbrugge, P. Hu, W. Jalby, P.M.W. Knijnenburg, M. O'Boyle, E. Rohou, R. Sakellariou, A. Seznec, E.A. Stohr, M. Treffers, H.A.G. Wijshoff, OCEANS: Optimising Compilers for Embedded Applications
• tr98-16: F. Bodin, T. Kisuki, P.M.W. Knijnenburg, M.F.P. O'Boyle, E. Rohou, Iterative Compilation in a Non-Linear Optimisation Space
• tr98-15: F.A.J. Birrer, Understanding Values and Biases in IT
• tr98-14: F.A.J. Birrer, Argumentation and Expertise
• tr98-13: J. Engelfriet, H.J. Hoogeboom, MSO Definable String Transductions and Two-Way Finite State Transducers
• tr98-12: A.E. Eiben, D. Elia, J.I. van Hemert, The Effect of Communication in Artificial Life Systems
• tr98-11: N. Sebe, M.S. Lew, A Maximum Likelihood Investigation Into Color Indexing
• tr98-09: Joost Engelfriet, Sebastian Maneth, Macro Tree Transducers, Attribute Grammars, and MSO Definable Tree Translations
• tr98-08: M.F.B. O'Boyle, P.M.W. Knijnenburg, Integrating Loop and Data Transformations for Global Optimization
• tr98-07: A.E. Eiben, R. Hinterding, Z. Michalewicz, Parameter Control in Evolutionary Algorithms
• tr98-06: J. Engelfriet, Tj. Gelsema, Structural Inclusion in the pi-Calculus with Replication
• tr98-05: A. Verrijn-Stuart, Understanding the Pragmatics of Formalised Information: The FRISCO Report and it's Consequences
• tr98-04: Ilja Heitlager, Robert van Engelen, Lex Wolters, The Construction of Flux-Limiting Advection Algorithms through Program Generation
• tr98-03: D. Lapoire, Recognizability equals Monadic Second-Order definability, for sets of graphs of bounded tree-width
• tr98-02: R. Bloem, J. Engelfriet, A comparison of tree transductions defined by monadic second order logic and by attribute grammars
• tr98-01: J. Hage, The Membership Problem for Switching Classes with Skew Gains
• tr96-29rev: J. Engelfriet, Tj. Gelsema, Axioms for Generalized Graphs, illustrated by a Cantor-Bernstein Proposition

1997

• tr97-17: F.A.J. Birrer, Applying Ethical and Moral Concepts and Theories to I.T. Contexts: Some Key Problems and Challenges
• tr97-16: H.J. Hoogeboom, N. van Vugt, The power of H systems: does representation matter?
• tr97-15: A. Ehrenfeucht, J. Hage, T. Harju, G. Rozenberg, Complexity Problems in Switching Classes of Graphs
• tr97-14: J.I. van Hemert, A.E. Eiben, Comparison of the GGA and the SAW Evolutionary Algorithm for Graph Coloring
• tr97-13: R. Freund, G. Paun, G. Rozenberg, A. Salomaa, Watson-Crick Automata
• tr97-12: P.W.M. Koopman, Memory Models for Interpreters in a Functional Language
• tr97-11: A.E. Eiben, I.G. Sprinkhuizen-Kuyper, B.A. Thijssen, Competing Crossovers in an Adaptive GA Framework
• tr97-10: Carla M.C. Spruit, Luuk P.J. Groenewegen, Ida G. Sprinkhuizen-Kuyper, Blackboard Systems modelled in SOCCA
• tr97-09: A.C.N. van Duin, H.A.G. Wijshoff, Algebraic optimization using nonzero structure analysis
• tr97-08: A.C.N. van Duin, Optimal dag partitioning for partially inverting triangular systems
• tr97-07: A.C.N. van Duin, Sparse triangular system partitioning
• tr97-06: F.A.J. Birrer, S. Tobias, Addressing the Beta Image Problem in the University Curriculum: the Leiden Workshop `Cases from Private Enterprise'
• tr97-05: Robert van Engelen, Lex Wolters, A High-Level Language and Interpreter for the Use of Mathematical Vector Notation in PDE-Problem Specifications
• tr97-04: A. Ehrenfeucht, T. Harju, P. ten Pas, G. Rozenberg, Permutations, Parenthesis Words, and Schröder Numbers
• tr97-03: Joost Engelfriet, Roderick Bloem, Characterization of Properties and Relations defined in Monadic Second Order Logic on the Nodes of Trees
• tr97-02: J. Hage and T. Harju, The Size of Switching Classes with Skew Gains
• tr97-01: A.E. Eiben, Th. Bäck, Multi-Parent Recombination Operators in Continuous Search Spaces

1996

• tr96-41: F.A.J. Birrer, Reflexivity, reflexive communities and the role of science
• tr96-40: F.A.J. Birrer, Client-oriented anticipation in expert-advised problem solving
• tr96-39: T. de Bunje, G. Engels, L.P.J. Groenewegen, A. Matsinger, M. Rijnbeek, Industrial Maintenance Modelled in SOCCA: an Experience Report
• tr96-38: G. Busatto, G. Engels, Definition of an Encapsulated Hierarchical Graph Data Model Static Aspects, Part 1
• tr96-37: P.W.M. Koopman, Language Support to Enforce Constraints on Datatypes
• tr96-36: P.W.M. Koopman, Constrained Data Types
• tr96-35: M.C. van Wezel, J.N. Kok, W.A. Kosters, Two Neural Network Methods for Multidimensional Scaling
• tr96-34: A. Mateescu, G.D. Mateescu, G. Rozenberg, A. Salomaa, Shuffle-like operations on omega-words
• tr96-33: W.A. Kosters, M.C. van Wezel, Understanding customer choice processes using neural networks
• tr96-32: J. Engelfriet, Context-Free Graph Grammars
• tr96-31: H.A.G. Wijshoff, Advanced Compiler Optimizations in the Presence of Indirect Addressing
• tr96-30: I.G. Sprinkhuizen-Kuyper, E.J.W. Boers, Probabilities and entropy of some small neural networks for boolean functions
• tr96-29: Joost Engelfriet, Tjalling Gelsema, A Cantor-Bernstein Result for Structured Objects
• tr96-28: G. Rozenberg, A. Salomaa, Watson-Crick Complementarity, Universal Computations and Genetic Engineering
• tr96-26: G. Engels, L.P.J. Groenewegen, G. Kappel, Object-oriented specification of coordinated collaboration
• tr96-25: J. Engelfriet, Derivation Trees of Ground Term Rewriting Systems
• tr96-23: M. Chaudron, Notions of Refinement for a Coordination Language for Gamma
• tr96-22: J. Engelfriet, V. van Oostrom, Logical Description of Context-Free Graph Languages
• tr96-21: A.J.C. Bik, P.J.H. Brinkhaus, H.A.G. Wijshoff, The sparse compiler MT1: a reference guide
• tr96-20: A.J.C. Bik, P.J.H. Brinkhaus, P.M.W. Knijnenburg, H.A.G. Wijshoff, The automatic generation of sparse primitives
• tr96-19: I.G. Sprinkhuizen-Kuyper, E.J.W. Boers, Het 2-3-1 XOR-Netwerk heeft lokale Minima
• tr96-17: J. Hage, T. Harju, The Size of 2-Classes in Group Labeled 2-Structures
• tr96-15: R.A. van Engelen, Approximating Bayesian Belief Networks by Arc Removal
• tr96-12: J. Hage, T. Harju, Acyclicity of Switching Classes
• tr96-10: I.G. Sprinkhuizen-Kuyper and E.J.W. Boers, The Error Surface of the 2-2-1 XOR Network: Stationary Points with Infinite Weights
• tr96-09: J. Rekers, A. Schürr, Defining and Parsing Visual Languages with Layered Graph Grammars

1995

• tr95-39: Ida G. Sprinkhuizen-Kuyper and Egbert J.W. Boers, The Error Surface of the 2-2-1 XOR Network: The finite stationary Points
• tr95-37: Pieter Koopman, Vincent Zweije, Functional Programming in a Basic Database Course
• tr95-34: J. Engelfriet, V. van Oostrom, Regular Description of Context-Free Graph Languages
• tr95-33: A.E. Eiben and C.H.M. van Kemenade, Performance of Multi-Parent Crossover Operators on Numerical Function Optimization Problems
• tr95-32: M. Chaudron, Towards a Compositional Method for Coordinating Gamma Programs
• tr95-30: E.J.W. Boers, Using L-Systems as Graph Grammars: G2L-Systems
• tr95-27: J. Engelfriet, J.J. Vereijken, Context-Free Graph Grammars and Concatenation of Graphs
• tr95-26: Robert A. van Engelen and Lex Wolters and Gerard Cats, Ctadel: A Generator of Efficient Code for PDE-based Scientific Applications
• tr95-25: Andreas Zamperoni and Bart Gerritsen and Bert Bril, Evolutionary Software Development: An Experience Report on Technical and Strategic Requirements
• tr95-24: Andreas Zamperoni, GRIDS - Graph-based Integrated Development of Software: Integrating Different Perspectives of Software Engineering
• tr95-21: G. Engels, A. Schürr, Encapsulated Hierarchical Graphs, Graph Types, and Meta Types
• tr95-19: I.G. Sprinkhuizen-Kuyper, E.J.W. Boers, The Shape of the Error Surfaces of some simple Neural Networks
• tr95-15: J. Rekers & A. Schuerr, A Graph Grammar Approach to Graphical Parsing
• tr95-14: E.J.W. Boers, M.V. Borst, I.G. Sprinkhuizen-Kuyper, Evolving Artificial Neural Networks using the ``Baldwin Effect''
• tr95-12: P.M.W. Knijnenburg, E. Ayguadé, and J. Torres, Multi-transformations: Code Generation and Validity
• tr95-11: Arnold J. Niessen and Harry A.G. Wijshoff, Address Reference Generation in a Memory Hierarchy Simulator Environment
• tr95-10: Robert van Engelen and Lex Wolters, A Comparison of Parallel Programming Paradigms and Data Distributions for a Limited Area Numerical Weather Forecast Routine
• tr95-07: P.M.W. Knijnenburg and A.J.C. Bik, On Reducing Overhead in Loops
• tr95-05: J. Rekers, A. Schürr, A Parsing Algorithm for Context-Sensitive Graph Grammars
• tr95-03: M.Andries, G.Engels, A Hybrid Query Language for an Extended Entity-Relationship Model (revised version of TR 93-15)
• tr95-02: J. Engelfriet and Tj. Gelsema, Multisets and Structural Congruence of the pi-Calculus with Replication

1994

• tr94-50: Lex Wolters, Gerard Cats, Nils Gustafsson, and Tomas Wilhelmsson, Dataparallel Semi-Lagrangian Numerical Weather Forecasting
• tr94-49: Lex Wolters, Gerard Cats and Nils Gustafsson, Data-Parallel Numerical Weather Forecasting
• tr94-48: Lex Wolters, Gerard Cats, Nils Gustafsson and Tomas Wilhelmsson, Data-Parallel Numerical Methods in a Weather Forecast Model
• tr94-47: Lex Wolters, Robert van Engelen, Gerard Cats, Nils Gustafsson and Tomas Wilhelmsson, A data parallel HIRLAM forecast model
• tr94-44: Arnold J. Niessen and Harry A.G. Wijshoff, Memory Hardware Support for Sparse Computations
• tr94-42: Aart J.C. Bik and Harry A.G. Wijshoff, Implementation of Fourier-Motzkin Elimination
• tr94-41: P. Knijnenburg, Towards Unimodular Transformations for Non-perfectly Nested Loops
• tr94-40: P. Knijnenburg, On the Validity Problem for Unimodular Transformations
• tr94-39: G. Engels and P. Löhr, Visual Specification of Complex Database Actions
• tr94-38: J. Ebert, G. Engels, Observable or Invocable Behaviour - You Have to Choose!
• tr94-36: M. Chaudron, Schedules for Multiset Transformer Programs
• tr94-35: H.J.M. Goeman and W.A. Kosters, Triangular Heaps
• tr94-34: I.G. Sprinkhuizen-Kuyper and E.J.W. Boers, A Comment on a Paper of Blum: Blum's `local minima' are saddle points
• tr94-33: P. Knijnenburg, A Complete Order-theoretic Model for the Algebra of Communicating Processes
• tr94-32: P. Knijnenburg and F. Nordemann, Two Categories of Relations
• tr94-27: F.A.J. Birrer and R. Pranger, Complex intertwinements in argumentation: some cases from discussions on biotechnology and their implications for argumentation studies
• tr94-26: J. Engelfriet, A Multiset Semantics for the pi-Calculus with Replication
• tr94-25: J. Hage, ARL and PR2, reversible languages
• tr94-24: P. Lohr-Richter and A. Zamperoni, Validating Database Components of Software Systems
• tr94-22: A. Zamperoni and B. Gerritsen, Integrating the developers' and the management's perspective of an incremental development life cycle
• tr94-21: I.G. Sprinkhuizen-Kuyper and E.J.W. Boers, The error surface of the simplest XOR Network has no local minima
• tr94-19: I.G. Sprinkhuizen-Kuyper and E.J.W. Boers, Classification of all stationary points on a neural network error surface
• tr94-18: A. Zamperoni, Integration of the different elements of object-oriented software engineering into a conceptual framework: the 3D-Model
• tr94-17: H.J. Hoogeboom and P. ten Pas, MSO Definable Text Languages
• tr94-16: Lex Wolters, Gerard Cats and Nils Gustafsson, Limited Area Numerical Weather Forecasting on a Massively Parallel Computer
• tr94-15: P.M.W. Knijnenburg and H.A.G. Wijshoff, On improving data locality in sparse matrix computations
• tr94-12: A.J.C. Bik, P.M.W. Knijnenburg and H.A.G. Wijshoff, Reshaping access patterns for generating sparse codes
• tr94-11: J. Rekers, On the use of Graph Grammars for defining the Syntax of Graphical Languages
• tr94-06: J. Engelfriet, Graph grammars and tree transducers
• tr94-05: J. Engelfriet, Deciding the NTS property of context-free grammars
• tr94-02: A.J.C. Bik and H.A.G. Wijshoff, Nonzero Structure Analysis

1993

• tr93-38; F.A.J. Birrer, Human science in a political world: the importance of checks and balances
• tr93-37: G. Kamsteeg, A Formal Verification of the Alternating Bit Protocol in uCRL
• tr93-27: F.A.J. Birrer, Reality construction as problem oriented decomposition: between (social) constructivism and realism
• tr93-24: E.J.W. Boers, H. Kuiper, B.L.M. Happel and I.G. Sprinkhuizen-Kuyper, Designing modular artificial neural networks
• tr93-21: H.J. Hoogeboom and P. ten Pas, Text Languages in an Algebraic Framework
• tr93-20: M. Chaudron, Separation of Correctness and Complexity in Algorithm Design
• tr93-17: A. Zamperoni and P. Lohr-Richter, Enhancing the quality of conceptual database specifications through validation
• tr93-15: M. Andries and G. Engels, A Hybrid Query Language for the Extended Entity-Relationship model
• tr93-13: P.W. Hoogers, H.C.M. Kleijn and P.S. Thiagarajan, An event structure semantics for general Petri nets
• tr93-07: Gerard Cats, Nils Gustafsson, and Lex Wolters, Finite Difference and Spectral Models for Numerical Weather Forecasting on a Massively Parallel Computer
• tr93-04: A.J.C. Bik and H.A.G. Wijshoff, On automatic data structure selection and code generation for sparse computations

1992

• tr92-29: Lex Wolters and Gerard Cats, A Parallel Implementation of the HIRLAM Model
• tr92-28: J. Rekers and I.G. Sprinkhuizen-Kuyper, A LOTOS specification of a CSCW tool
• tr92-18: M. Andries, R. Freund and B. Haberstroh, How to GRASP GOOD
• tr92-15: Lex Wolters, Atmosphere and Ocean Circulation Simulation on Massively Parallel Computers
• tr92-13: A.J.C. Bik and H.A.G. Wijshoff, Compilation Techniques for Sparse Matrix Computations
• tr92-08: F.A.J. Birrer, An interventionist perspective on controversy studies, or why not always to take controversies at face value
• tr91-21: F.A.J. Birrer, Risk: problems and perspectives