Technical reports
A series of reports published by the Department of Computer Science at UCPH. Reports are published either in book form or as electronic reports.
| Year/No. | Title and author |
|---|---|
| 19/01 | Combining Region Inference and Generational Garbage Collection Martin Elsman, Niels Hallenberg, ISSN: 0107-8283 |
| Year/No. | Title and author |
|---|---|
| 18/01 | Jon Sporring, ISSN: 0107-8283 |
| Year/No. | Title and author |
|---|---|
| 17/01 | Towards characterizing and reducing artefacts caused by varying projection truncation Leise Borg, Jakob Sauer Jørgensen, Jon Sporring, ISSN: 0107-8283 |
No technical reports were issued in 2016.
| Year/No. | Title and author |
|---|---|
| 15/01 | Defining Decision Making Strategies in Software Ecosystem Governance Konstantinos Manikas, Krysztof Wnuk, Arisa Shollo, ISSN: 0107-8283 |
| 15/02 | A Financial Benchmark for GPGPU Compilation Christian Andretta, Vivien Begot, Jost Berthold, Martin Elsman, Troels Henriksen, Maj-Britt Nordfang, Cosmin E. Oancea, ISSN: 0107-8283 |
No technical reports were issued in 2014.
| Year/No. | Title and author |
|---|---|
| 13/01 |
Workshop on Breast Image Analysis Anne Martel, John Hipwell, Julia Schnabel, Mads Nielsen, Martyn Nash, Despina Kontos, Nico Karssemeijer (Eds.), ISSN: 0107-8283 |
| Year/No. | Title and author |
|---|---|
| 12/01 |
HUMIM Software for Articulated Tracking Søren Hauberg and Kim Steenstrup Pedersen, ISSN: 0107-8283 |
| 12/02 |
Software Ecosystems: A Systematic Literature Review Konstantinos Manikas and Klaus Marius Hansen, ISSN: 0107-8283 |
| 12/03 |
Design of Reversible Logic Circuits using Standard Cells Michael Kirkedal Thomsen, ISSN: 0107-8283 |
| Year/No. | Title and author |
|---|---|
| 11/01 |
Proceedings of the 4th DIKU-IST Joint Workshop on Foundations of Software Robert Glück, Fritz Henglein, Zhenjiang Hu, Masato Takeichi (Eds.) |
| 11/02 |
A geometric framework for statistics on trees Aasa Feragen, Mads Nielsen, Søren Hauberg, Pechin Lo, Marleen de Bruijne and François Lauze |
| 11/03 |
Fast Training of Multi-Class Support Vector Machines Ürün Dogan, Tobias Glasmachers and Christian Igel |
| 11/04 |
Jacobians for Lebesgue Registrations for a range of Similarity Measures Jon Sporring and Sune Darkner |
| 11/05 |
Workshop in Breast Image Analysis Christine Tanner, Julia Schnabel, Nico Karssemeijer, Mads Nielsen, Maryellen Giger, Dawid Hawkes (Eds.) |
| 11/06 |
On Variational Methods for Motion Compensated Inpainting Francois Lauze and Mads Nielsen |
| Year/No. | Title and author |
|---|---|
| 10/01 |
Inversion of Block Tridiagonal Matrices Egil Kristoffer Gorm Hansen & Rasmus Koefoed Jakobsen, Supervisor: Stig Skelboe |
| Year/No. | Title and author |
|---|---|
| 09/01 | Mote-based Online Anomaly Detection using Echo State Networks Marcus Chang, Andreas Terzis, Philippe Bonnet (Joint technical report with Johns Hopkins University), ISSN: 0107-8283 |
| 09/02 | Shortest Paths in Planar Graphs with Real Lengths in O(nlog2 n/log log n) Time Christian Wulff-Nilsen, ISSN: 0107-8283 |
| 09/03 | Solving the Replacement Paths Problem for Planar Directed Graphs in O(n log n) Time Christian Wulff-Nilsen, ISSN: 0107-8283 |
| 09/04 | Spatial and Temporal Ray Differentials Jon Sporring, Lars Schjøth and Kenny Erleben, ISSN: 0107-8283 |
| Year/No. | Title and author |
|---|---|
| 07/01 |
What Makes a Developers Heart Tick? Characterizing Effective Feedback from Usability Evaluation Mie Nørgaard and Kasper Hornbæk |
| 07/02 |
The Off-line Group Seat Reservation Problem Tommy Clausen, Allan Norlunde Hjorth, Morten Nielsen, David Pisinger |
| 07/03 |
Video Upscaling Using Variational Methods Sune Høgild Keller |
| 07/04 |
Using Implicit Skeleton Shape Representations for Volumentric Shell Meshing Kenny Erleben |
| 07/05 |
HogthrobV0 Users Manual Martin Leopold |
| 07/06 |
Characterizing Mote Performance: A Vector-Based Methodology Martin Leopold, Marcus Chang, Philippe Bonnet |
| 07/07 |
Proceedings of the 3rd DIKU-IST Joint Workshop on Foundations of Software Robert Glück and Masami Hagiya (Eds.) |
| 07/08 |
Statistical Classification and Level Set Methods in Medical Image Analysis Quantitative Evaluation of Articular Cartilage in Knee MRI Jenny Folkesson |
| 07/09 |
Creating a New Platform for TinyOS 2.x Martin Leopold |
| Year/No. | Title and author |
|---|---|
| 05/01 |
Using Support Vector Machines for Distributed Machine Learning Rasmus Ulslev Pedersen |
| 05/02 |
Dato- og Tidsberegninger Jens Peter Søltoft |
| 05/03 |
Speeding Up Main Memory Table Scans in MySQL Michael L. Samuel og Anders U. Pedersen |
| 05/04 |
Partitioning Techniques for ODEs for Decoupled Implicit Integration Formulas Stig Skelboe |
| 05/05 |
Interaction with Sound and Pre-Recorded Music: Novel Interfaces and Use Patterns Tue Haste Andersen |
| 05/06 |
Proceedings DSAGM 2005 Søren I. Olsen (eds.) |
| 05/07 |
Proceedings of the 1st DIKU-IST Joint Workshop on Foundations of Software Robert Glück and Zhenjiang Hu (eds.) |
| Year/No. | Title and author |
|---|---|
| 01/01 |
Local Search for Final Placement in VLSI Design Oluf Faroe, David Pisinger, Martin Zachariasen |
| 01/02 |
The Problem of Sparse Image Coding Artur E. C. Pece |
| 01/03 |
On Implicit Euler and Related Methods for High-Order High-Index DAEs Jørgen Sand |
| 01/04 |
Proceedings fra den 10. danske konference om Mønstergenkendelse og Billedanalyse Søren I. Olsen m.fl. |
| 01/05 |
Reserveret David Pisinger |
| 01/06 |
On the location of Steiner Points in Uniformly-Oriented Steiner trees Benny K. Nielsen, Pawel Winter, Martin Zachariasen |
| 01/07 |
Tracking bt Cluster Abalysus: Results on the Pets2000 image sequences Artur E. C. Pece |
| Year/No. | Title and author |
|---|---|
| 00/01 |
Evaluation of Diffusion schemes for multi-scale watershed segmentation Erik Dam |
| 00/02 |
Short Trees in Polygons Pawel Winter, Martin Zachariasen, Jens Nielsen |
| 00/03 |
Turbulence in Optical Flow Fields Kim Steenstrup Pedersen |
| 00/04 |
Generic Image Structure Ole Fogh Olsen |
| 00/05 |
Introduction to the use of LEDA in Computational Geometry Lars Yde |
| 00/06 |
Proceedings fra den Niende Danske Konference om Mønstergenkendelse og Billedanalyse Peter Johansen |
| 00/07 |
Dynamic Programming on the word RAM David Pisinger |
| 00/08 |
The Pickup and Delivery Problem with Time Windows and Precedences Mikkel Sigurd, David Pisinger, Michael Sig |
| 00/09 |
Region-Based Memory Management in Prolog Henning Makholm |
| 00/10 |
A Branch-and-Price Algorithm for Switch-box Routing David Grove Jørgensen, Morten Meyling |
| 00/11 |
Supporting Intellectual Work through Artifact Rendering and Group Review Lars Yde, Jyrki Katajainen |
| 00/12 |
On quadratic knapsack problems with push-pull objectives David Pisinger |
| Year/No. | Title and author |
|---|---|
| 99/1 |
Perfect Supercompilation Jens Peter Secher |
| 99/2 |
Normalisering af billedafledte i skalarum ved hjælp af den fraktale dimension Kim S. Pedersen |
| 99/3 |
Program Modules, Separate Compilation and Intermodule Optimisation Martin Elsman |
| 99/4 |
Reserveret Morten Frank |
| 99/5 | Reserveret Povl Koch |
| 99/6 |
Termination Analysis for Offline Partial Evaluation of a Higher Order Functional Language Peter Holst Andersen |
| 99/7 |
Timbre Models of Musical Sounds Kristoffer Jensen |
| 99/8 |
Terminator II: Stopping Partial Evaluation of Fully Recursive Programs Arne Glenstrup |
| 99/9 |
Proceedings fra den ottende danske konference om Mønstergenkendelse og Billedbehandling Peter Johansen |
| 99/10 |
Modal Logic and the Curry-Howard Isomorphism Michael Florentin Nielsen |
| 99/11 |
Weak and Strong Normalization, K-redexes, and First-Order Logic Peter Møller Neergaard |
| 99/12 |
Performance Engineering case study: heap construction Jesper Bojesen, Jyrki Katajainen, Maz Spork |
| 99/13 |
Guided local search for the three-dimensional bin packing problem Oluf Faroe, David Pisinger, Martin Zachariasen |
| 99/14 |
Exact solution of p-dispersion problems David Pisinger |
| Year/No. | Title and author |
|---|---|
| 98/01 |
A Note on Differential Corner Measures Jon Sporring, Mads Nielsen, Joachim Weickert and Ole Fogh Olsen |
| 98/2 |
Tutorial on Approximation Algorithms Dorit S. Hochbaum |
| 98/3 |
Budgeting with Bounded Multiple-choice Constraints David Pisinger |
| 98/4 |
Approximation Algorithms for Knapsack Problem with Cardinality Constraints Alberto Caprara, Hans Kellerer, Ulrich Pferschy and David Pisinger |
| 98/5 |
Quaternions, Interpolation and Animation Erik B. Dam, Martin Koch and Martin Lillholm |
| 98/6 |
Centrality Problems on Dynamic Trees Stephen Alstrup, Jacob Holm and Kristian de Lichtenberg |
| 98/7 |
HCILIB er virtuelt fagbibliotek på internet Maria Konstantinovitz, Thorbjørn Konstantinovitz, Flemming Steen Sørensen, Jytte Varming og Ketil Perstrup |
| 98/8 |
Marked Ancestor Problems Stephen Alstrup, Thore Husfeldt and Theis Rauhe |
| 98/9 |
Optimal Union-Find. Part 1: Upper Bounds Stephen Alstrup and Theis Rauhe |
| 98/10 |
Efficient Image Segmentation Using Partial Differential Equations and Morphology Joachim Weickert |
| 98/11 |
Exact Algorithms for Plane Steiner Tree Problems: A Computational Study David M. Warme, Pawel Winter and Martin Zachariasen |
| 98/12 |
ECCO-XI, Conference Program and Abstracts David Pisinger |
| 98/13 |
Partial Evaluation and Correctness Morten Welinder |
| 98/14 |
Lectures on the Curry-Howard Isomorphism Morten Heine B. Sørensen and Pawel Urzyczyn |
| 98/15 |
Algorithms for Plane Steiner Tree Problems (PhD Thesis) Martin Zachariasen |
| 98/16 |
Analysing the dynamics of target and spiral waves by image processing techniques Flemming Gudmann Jensen, Jon Sporring, Mads Nielsen and Preben Graae Sørensen |
| 98/17 |
Top-trees and dynamic graph algorithms Jacob Holm and Kristian de Lichtenberg |
| 98/18 |
Proceedings fra Den Syvende Danske Konference om Mønstergenkendelse og Billedanalyse Peter Johansen (editor) |
| 98/19 |
The Complexity of Simple Subtyping Systems Jakob Rehof |
| 98/20 |
Reserved Amir M. Ben-Amram |
| 98/21 |
Exact Solution of the Quadratic Knapsack Problem Alberto Caprara, Paolo Toth and David Pisinger |
| 98/22 |
In-place sorting with fewer moves Jyrki Katajainen and Tomi A. Pasanen |
| 98/23 |
Relations Between Regularization and Diffusion Filtering Otmar Scherzer and Joachim Weickert |
| 98/24 |
Classification of toppoints for the gradient squared Ole Fogh Olsen and Peter Johansen |
| 98/25 |
Programming with Regions in the ML Kit (For Version 3) Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg, Tommy Højfeld Olesen, Peter Sestoft and Peter Bertelsen |
| 98/26 |
Løsning af det todimensionale guillotinepladeudskæringsproblem vha. kolonnegenering (MSc Thesis) Claus Rosendal Gareissen |
| 98/27 |
Dynamic Pattern Matching Stephen Alstrup, Gerth S. Brodal og Theis Rauhe |
| 98/28 |
Measuring and Modelling Image Structure Jon Sporring |
| Year/No. | Title and author |
|---|---|
| 97/1 |
Flow Analysis of Typed Higher-Order Programs Christian Mossin |
| 97/2 |
Local Analysis of Scale Space Peter Johansen |
| 97/3 |
Finding Cores of Limited Length Stephen Alstrup, Peter W. Lauridsen, Peer Sommerlund and Mikkel Thorup |
| 97/4 |
Undirected Single Source Shortest Path in Linear Time Mikkel Thorup Errata |
| 97/5 |
A Parallel Approach to the Stable Marriage Problem Jesper Larsen |
| 97/6 |
Experiments with the Auction Algorithm for the Shortest Path Problem Jesper Larsen and Ib Pedersen |
| 97/7 |
A Note on the Practical Performance of the Auction Algorithm for Shortest Paths Jesper Larsen |
| 97/8 |
A Prior of Saliency Based Pruning Algorithms Jon Sporring |
| 97/9 |
Solving Graph Bisection Problems with Semidefinite Programming Franz Rendl, Jens Clausen and Stefan Karisch |
| 97/10 |
New Trends in Exact Algorithms for the 0-1 Knapsack Problem David Pisinger, Silvano Martello and Paolo Toth |
| 97/11 |
Dynamic Programming and Tight Bounds for the 0-1 Knapsack Problem David Pisinger, Silvano Martello and Paolo Toth |
| 97/12 |
Programming with Regions in the ML Kit Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg, Tommy Højfeld Olesen, Peter Sestoft and Peter Bertelsen |
| 97/13 |
Upper Bounds on the Covering Number of Galois-planes with Small Order T. Illés and David Pisinger |
| 97/14 |
Multiopløsningsanalyse, ortogonale wavelets og kvadraturfiltre Morten Nicolaj Pedersen |
| 97/15 |
Reserved Stephen Alstrup |
| 97/16 |
Framework for a Theory on Perception of Motion and Space Frederik Bergholm |
| 97/17 |
Poly-Logarithmic Deterministic Fully-Dynamic Graph Algorithms I: Connectivity and Minimum Spanning Tree Jacob Holm, Kristian de Lichtenberg and Mikkel Thorup |
| 97/18 |
Scale-Space has been Discovered in Japan Joachim Weickert, Seiji Ishikawa and Atsushi Imiya |
| 97/19 |
Floats, Integers, and Single Source Shortest Paths Mikkel Thorup |
| 97/20 |
Concatenation-Based Greedy Heuristics for the Euclidean Steiner Tree Problem Martin Zachariasen and Pawel Winter |
| 97/21 |
Local Search for the Steiner Tree Problem in the Euclidean Plane Martin Zachariasen |
| 97/22 |
Why the Perona-Malik Filter Works Joachim Weickert and Brahim Benhamouda |
| 97/23 |
Proceedings, NOAS 97' Claus C. Carøe and David Pisinger |
| 97/24 |
Algorithm Day in Copenhagen Torben Hagerup and Jyrki Katajainen |
| 97/25 |
Worst-case Efficient External-Memory Priority Queues Jyrki Katajainen and Gerth Stolting Brodal |
| 97/26 |
Poly-Logarithmic Deterministic Fully-Dynamic Graph Algorithms II: 2-edge and biconnectivity Jacob Holm, Kristian de Lichtenberg and Mikkel Thorup |
| 97/27 |
Normalization in Lambda-Calculus and Type Theory Morten Heine Sørensen |
| 97/28 |
Dominators in Linear Time Stephen Alstrup, Dov Harel, Peter W. Lauridsen and Mikkel Thorup |
| 97/29 |
Rectilinear Full Steiner Tree Generation Martin Zachariasen |
| 97/30 |
Reserved Michael Leuschel |
| Year/No. | Title and author |
|---|---|
| 96/1 | Operational Reduction Models for Functional Programming Languages Kristoffer Rose |
| 96/2 | Dynamic and Sensitivity Algorithms for Alle Shortest Paths Stephen Alstrup and Peter W. Lauridsen |
| 96/3 | A simple dynamic algorithm for maintaining a dominator tree Stephen Alstrup |
| 96/4 | An O (|V| * |E|) Algorithm for Finding Immediate Multiple-Vertex Dominators Stephen Alstrup, Jens Clausen and Kristian Jørgensen |
| 96/5 | Static Dictionaries on AC0 RAMs: Query time ( log n / log log n) is necessary and sufficient Arne Andersson, Peter Bro Miltersen, Søren Riis and Mikkel Thorup |
| 96/6 | This report will not be printed |
| 96/7 | The Concept of a Functional Integral, A Potentially Interesting Method for Image Processing Luc Florack |
| 96/8 | Experiments with universal hashing Jyrki Katajainen and Michael Lykke |
| 96/9 | Decremental Dynamic Connectivity Mikkel Thorup |
| 96/10 | Stable map theory Klaus Grue |
| 96/11 | A k-denotational semantics for Map Theory in ZFC + SI Klaus Grue |
| 96/12 | Message-Driven Consistency on a Network of Workstations Povl Koch |
| 96/13 | Data, Models and Images Luc Florack |
| 96/14 | QAPLIB-A Quadratic Assignment Problem Library Rainer E. Burkard, Stefan E. Karisch and Franz Rendl |
| 96/15 | The Intrinsic Structure of Optic Flow Incorporating Measurement Duality Luc Florack, Wiro Niessen and Mads Nielsen |
| 96/16 | On the Best Search Strategy in Parallel Branch-and-Bound - Best-First-Search vs. Lazy Depth-First-Search Jens Clausen and Michael Perregaard |
| 96/17 | Local Disparity Structure by Scale-space Operators Mads Nielsen, Robert Maas, Wiro Niessen, Luc Florack and Bart ter Haar Romeny |
| 96/18 | An Easily Computable Lower Bound for the Graph Partitioning Problem Jens Clausen, Andrea Sterbini and Jesper Larsson Træff |
| 96/19 | Proceedings of the Copenhagen Workshop on Gaussian Scale-Space Theory Peter Johansen |
| 96/20 | Objekter i relationsdatabaser? - generering af interface udfra mapning på modelniveau Jette Holm Broløs og Kristian Bang Pilgaard |
| 96/21 | Computability and Complexity from a Programming Perspective (DRAFT) Neil Jones |
| 96/22 | Proceedings fra Den Femte Danske Konference om Mønstergenkendelse og Billedanalyse Peter Johansen |
| 96/23 | Joining Forces in Solving Large-Scale Quadratic Assignment Problems in Parallel Adrian BrXngger, Ambros Marzetta, Jens Clausen and Michael Perregaard |
| 96/24 | On the Applicability of Lower Bounds for Solving Rectilinear Quadratic Assignment Problems in Parallel Jens Clausen, Stefan E. Karisch, Michael Perregaard and Franz Rendl |
| 96/25 | A simple Highly-Parallel Method for ODEs Jørgen Sand and Kevin Burrage |
| 96/26 | Improved routing on trees Stephen Alstrup, Jacob Holm and Kristian de Lichtenberg |
| 96/27 | CONS-Free Programs with Tree Input Amir M. Ben-Amram |
| 96/28 | A Calculus for Boxing Analysis of Polymorphically Typed Languages Jesper Jørgensen |
| 96/29 | Strongly correlated knapsack problems are trivial to solve David Pisinger |
| 96/30 | Multi-Scale Segmentation of Grey-Scale Images Ole Fogh Olsen |
| 96/31 | Reserved Jyrki Katajainen |
| 96/32 | Semidefinite programming relaxations for the quadratic assignment problem Qing Zhao, Franz Rendl, Henry Wolkowicz and Stefan E. Karisch |
| 96/33 | On the duality of scalar and density flows Mads Nielsen, Wiro Niessen, Robert Maas, Luc Florack and Bartter Haar Romeny |
| 96/34 | Large Euclidean Steiner Minimum Trees in an Hour Pawel Winter and Martin Zachariasen |
| 96/35 | Dominators in Linear Time Stephen Alstrup, Mikkel Thorup and Peter W. Lauridsen |
| 96/36 | Reserved Jens Clausen |
| 96/37 | On Generalized Entropies and Scale-Space Jon Sporring and Joachim Weickert |
| 96/38 | Java og WWW Services Morten Frank and Max Melchior |
| 96/39 | On "A Complementary Problem" of Courant and Robbins Jakob Krarup |
| 96/40 | External heaps combined with effective buffering Ramzi Fadel, Jyrki Katajainen, Kim Vagn Jacobsen and Jukka Teuhola |
| 96/41 | A meticulous analysis of mergesort programs Jyrki Katajainen and Jesper Larsson Træff |
| 96/42 | The ultimate heapsort Jyrki Katajainen |
| Year/No. | Title and author |
|---|---|
| 95/1 | Algorithms for Knapsack Problems (PhD Thesis) David Pisinger |
| 95/2 | Partial Evaluation Applied to Ray Tracing Peter Holst-Andersen |
| 95/3 | Thunks and the Lambda-calculus John Hatcliff and Olivier Danvy |
| 95/4 | Datalogi som Videnskab Peter Naur |
| 95/5 | An 0 (log log n) priority queue Mikkel Thorup |
| 95/6 | An 0 (nr ) algorithm for the Subset-sum Problem David Pisinger |
| 95/7 | On Some Stability Bounds Subject to Hille-Yosida Resolvent Conditions Jørgen Sand |
| 95/8 | From Paradigm to Algorithms in Computer Vision Mads Nielsen |
| 95/9 | Polymorphic Dynamic Typing. Aspects of Proof Theory and Inference Jakob Rehof |
| 95/10 | Space-efficient construction of optimal prefix codes Jyrki Katajainen, Alistair Moffat and Andrew Turpin |
| 95/11 | Asymptotically efficient in-place merging Jyrki Katajainen, Tomi Pasanen and George Titan |
| 95/12 | In-place calculation of minimum-redundacy codes Jyrki Katajainen |
| 95/13 | Parallel tree slicing Jyrki Katajainen, Mikkel Thorup and Jesper Träff |
| 95/14 | Mechanically Verifying the Correctness of an Offline Partial Evaluator John Hatcliff |
| 95/15 | A Computational Formalization for Partial Evaluation. John Hatcliff and Olivier Danvy |
| 95/16 | Distributed and Parallel Graph Algorithms: Models and Experiments (PhD Thesis) Jesper Larsson Träff |
| 95/17 | Procedings fra den 4. Danske Konference i Mønstergenkendelse og Billedanalyse Peter Johansen |
| 95/18 | Structured Programs have Small Tree-Width and Good Register Allocation Mikkel Thorup |
| 95/19 | Optimale dynamiske algoritmer til bestemmelse af nærmeste fælles forfædre på pointermaskiner Stephen Alstrup |
| 95/20 | Object and Native Code Thread Mobility Among Heterogeneous Computers Bjarne Steensgaard and Eric Jul |
| 95/21 | "When can We sort in o (n log n) Timer ?" Revisited Amir M.Ben-Amram |
| 95/22 | Pointer Machines and Pointer Algorithms: an Annotated Bibliography Amir M. Ben-Amram |
| 95/23 | Average-Case Complexity of Sorting on a RAM Amir M.Ben-Amram |
| 95/24 | Evaluation and Implementation of Operating System Support for Multiple Network Interfaces Michael Seifert and Ole Sass Thrane |
| 95/25 | On some initial value problems related to the Pantograph Equation Jørgen Sand |
| 95/26 | Improved Sampling with Applications to Dynamic Graph Algorithms Mikkel Thorup and Monika Rauch Henzinger |
| 95/27 | Constants in parallel sorting Jyrki Katajainen |
| 95/28 | Finding all nearest smaller values on a distributed memory machine Jyrki Katajainen |
| 95/29 | Parallel Branch and Bound - Principles and Personal Experiences Jens Clausen |
| 95/30 | Optimal algorithms for finding nearest common ancestors in dynamic trees Stephen Alstrup |
| 95/30 | Numerical Computations On Massively Parallel Graph Reduction Machine (PhD Thesis) Martin Funk Larsen |
1994
| Year/No. | Title and author |
|---|---|
| 94/1 | Practical in-place mergesort. (more) Jyrki Katajainen, Tomi Pasanen and Jukka Teuhola |
| 94/2 | Abstract Interpretation: a Semantics-Based Tool for Program Analysis Neil D. Jones and Flemming Nielson |
| 94/3 | Calibration of Eye-Hand Systems Lars Arne Christensen and Morten Hanehøj |
| 94/4 | The Fork Calculus. Towards a Logic for Concurrent ML (PhD Thesis) Klaus Havelund |
| 94/5 | Calibration of the DIKU Robot-Camera System Kjeld Lau Petersen and Søren I. Olsen |
| 94/6 | Iterative Methods for Large, Sparse and Nonsymmetric Systems of Linear Equations on Parallel Computers (PhD Thesis) Ming Fang |
| 94/7 | Combinatorial Optimization on Transputers Per S. Laursen and Jesper Larsson Träff |
| 94/8 | Generelle Optimeringsheuristikker - en introduktion Per S. Laursen |
| 94/9 | Turchin's Supercompiler Revisited Morten Heine Sørensen |
| 94/10 | Combinatorial Pattern Recognition, the Method and the Program Package Peter Johansen |
| 94/11 | Disambiguating grammars by exclusion of sub-parse trees Mikkel Thorup |
| 94/12 | Proceedings of The Atlantique Workshop on Semantics Based Program Manipulation Edited by Neil Jones and Carolyn Talcott |
| 94/13 | MIRAGE+: A Kernel Implementation of Distributed Shared Memory on a Network of Personal Computers Niels Christian Juul |
| 94/14 | Interprocedural Dataflow Analysis via Graph Reachability Thomas Reps, Mooly Sagiv and Susan Horwitz |
| 94/15 | Firing Games Mikkel Thorup |
| 94/16 | Using Multiset Discrimination To Solve Language Processing Problems Wihtout Hashing Robert Paige and Jiazhen Cai |
| 94/17 | Proceedings fra Den Tredje Danske Konference om Mønstergenkendelse og Billedanalyse Peter Johansen |
| 94/18 | Simple parallel algorithms for the replacement edge problem and related problems on minimum spanning trees Jyrki Katajainen and Jesper Larsson Träff |
| 94/19 | Program Analysis and Specialization for the C Programming Language (PhD Thesis) Lars Ole Andersen |
| 94/20 | Computer Support for Documentation Work (PhD Thesis) Morten Hertzum |
| 94/21 | Parallel Algorithms for the Assignment Problem - an Experimental Evaluation of Three Distributed Algorithms Christian Schütt and Jens Clausen |
| 94/22 | Solving Large Quadratic Assignment Problems in Parallel Jens Clausen and Michael Perregaard |
| 94/23 | A minimal algorithm for 0-1 Knapsack Problem David Pisinger |
| 94/24 | Solving hard knapsack Problems David Pisinger |
| 94/25 | A minimal algorithm for the Multiple-Choice Knapsack Problem David Pisinger |
| 94/26 | Core Problems in Knapsack algorithms David Pisinger |
| 94/27 | A minimal algorithm for the Bounded Knapsack Problem David Pisinger |
| 94/28 | Kvalifikationer og Samarbejdsformer i Systemudvikling (PhD Thesis) Jacob Nørbjerg |
| 94/29 | More power to computers etc. Jyrki Katajainen |
| 94/30 | Tree slicing based on tree contraction Jesper Träff, Mikkel Thorup and Jyrki Katajainen |
| 94/31 | Parallel Optimization Algorithms - Efficiency vs. Simplicity (PhD Thesis) Per Laursen |
| 94/32 | Parallel Shortcutting of Rooted Trees Mikkel Thorup |
| 94/33 | Dominance Relations in Unbounded Knapsack Problems David Pisinger |
| 94/34 | Estimation of Higher Order Optic Flow: a Group Theoretical Approach Mads Nielsen and Jon Sporring |
| 94/35 | Parallel Branch-and-Bound Algorithm for Job-Shop Scheduling Problems Michael Perregaard and Jens Clausen |
| 94/36 | A knowledge-based system for timetable scheduling Casper Louis Jensen and Henrik Damkjær Vind |
1993
| Year/No. | Title and author |
|---|---|
| 93/1 | Comprehensive, Concurrent, and Robust Garbage Collection in the Distributed, Object-Based System Emerald Niels Christian Juul |
| 93/2 | Do Inherently Sequential Branch-and-Bound Algorithms Exist? Jens Clausen and Jesper Larsson Träff |
| 93/3 | Learning, Problem Solving and Mathematics. Volume One - Learning and Mathematics Education Djordje Kadijevic |
| 93/4 | Efficient Analysis for Realistic Off-Line Partial Evaluation: Extended Version Anders Bondorf and Jesper Jørgensen |
| 93/5 | Improved Parallel Bucketing Algorithms for Proximity Problems Torben Hagerup and Jyrki Katajainen |
| 93/6 | Graduated Non-Convexity by Smoothness Focusing Mads Nielsen |
| 93/7 | Optimal parallel algorithms for the single-source shortest path problem Jesper Larsson Träff |
| 93/8 | Will not be printed. Please see Report No. 93/9 |
| 93/9 | A comparison of two distributed single-source shortest path algorithms based on Dijkstra's algorithm Jesper Larsson Träff |
| 93/10 | Hvorfor "formel" systemudvikling? Sju og Lars Thorup |
| 93/11 | Abstract Interpretation In Logical Form Thomas Philip Jensen |
| 93/12 | A note on the greedy method for computing relative neighbours Jyrki Katajainen and Richard B. Tan |
| 93/13 | Genkendelse af mønstre i tidssignaler Christian Veng |
| 93/14 | The ML Kit Lars Birkedal, Nick Rothwell, Mads Tofte and David N. Turner |
| 93/15 | A Theory of Stack Allocation in Polymorphically Typed Languages Mads Tofte |
| 93/16 | Proceedings of the 16th IRIS in Copenhagen 7-10 August. Part I, Part II and Part III Editors: Jørgen.P. Bansler, Keld Bødker, F. Kensing, Jacob Nørbjerg and Jan Pries-Heje |
| 93/17 | Den 2. danske Konference i Mønstergenkendelse og Billedanalyse Peter Johansen |
| 93/18 | TeSS-projektet. Udvikling af et system til eksperimentel undersøgelse af bruger-grænseflader til edb-baseret tekstsøgning Jette Holm Broløs, Erik Frøkjær, Morten Hertzum, Marta Kristín Láurusdóttir, Kristian Bang Pilgaard and Flemming Steen Sørensen |
| 93/19 | Dialog og indsigt i systemarbejde Randi Nygaard Andersen |
| 93/20 | Isotropic Regularization Mads Nielsen |
| 93/21 | Præcisionen af GPS - En empirisk undersøgelse Eric Jul og Ulf Bjerring |
| 93/22 | Partial Evaluation on Standard ML Lars Birkedal and Morten Welinder |
| 93/23 | Two theorems on the parallel construction of convex hulls Jyrki Katajainen |
| 93/24 | Finding the maximum in parallel random access machines. (more) Jyrki Katajainen, Yrjö Auramo and Juhani Kulmala |
| 93/25 | A reliable randomized algorithm for the closest-pair problem Jyrki Katajainen, Martin Dietzfelbinger, Torben Hagerup and Martti Penttonen |
| 93/26 | The Usefulness And Beaty Of Combinatorial Optimization Jens Clausen and Jakob Krarup |
| 93/27 | A Family of Bipartite Cardinality Matching Problems Solvable in 0 (n2) Time Jens Clausen and Jakob Krarup |
| 93/28 | Maximum C4-free bipartite graphs and knapsack-type programs Jakob Krarup and T. Illés |
1992
| Year/No. | Title and author |
|---|---|
| 92/1 | Computer-Aided Floor Plan Sketching Laila Dybkjær |
| 92/2 | Algorithms for the all-nearest-neighbors problem Jyrki Katajainen, Per-Olof Fjällström and Jan Petersson |
| 92/3 | In-place linear probing sort Jyrki Katajainen, Svante Carlsson and Jukka Teuhola |
| 92/4 | Stable minimum space partitioning in linear time. (more) Jyrki Katajainen and Tomi Pasanen |
| 92/5 | On using type Information in syntactical data compression Jyrki Katajainen and Erkki Mäkinen |
| 92/6 | Analysis and Efficient Implementation of Functional Programs Peter Sestoft |
| 92/7 | Two new approaches to parallel Branch and Bound Per. S. Laursen |
| 92/8 | Proceedings fra Den Første Danske Konference om Mønstergenkendelse og Billedanalyse Søren I. Olsen |
| 92/9 | Sorting multisets stably in minimum space Jyrki Katajainen and Tomi Pasanen |
| 92/10 | Fuldtekstsøgesystemer til Fagfolk Morten Hertzum og Henrik Søes |
| 92/11 | Semantisk analyse og repræsentation af naturligt sprog Henrik Hedegaard |
| 92/12 | A General, Grain-Size Adaptable, Object-Oriented Programming Language for Distributed Computers Birger Andersen |
| 92/13 | LIDA-projektet. Arbejdspapirer Hasse Clausen |
| 92/14 | C Program Specialization Lars Ole Andersen |
| 92/15 | Traffic Adviser. Et logikprogrammeringsprojekt Jesper Bagger |
| 92/16 | Map Theory - Preface, Addendum and Index Klaus Grue |
| 92/17 | Map Theory Klaus Grue |
| 92/18 | Partial Evaluation and the Generation of Program Generators Neil D. Jones |
1991
| Year/No. | Title and author |
|---|---|
| 91/1 | Investigating a Proof-Theoretic Meta-Language for Functional Programs John J. Hannan |
| 91/2 | Semantic Information in Databases Troels Andreasen |
| 91/3 | Ellie Language Definition Report Birger Andersen |
| 91/4 | Fine-Grained Parallelism in Ellie Birger Andersen |
| 91/5 | Grain-Size Adaption in the Fine-Grained Object-Oriented Language Ellie Birger Andersen |
| 91/6 | Object Activitations in a Transputer Implementation of the Ellie Language Bjarne Hansen |
| 91/7 | Bevægelsesligninger i synskalkule Jens Arnspang |
| 91/8 | Motion Constraint Equations in Vision Calculus Jens Arnspang |
| 91/9 | Similix Manual system version 3.0 Anders Bondorf |
| 91/10 | Estimation of Noise in Images: An Evaluation Søren I. Olsen |
| 91/11 | Category Theory, Types and Programming Languages Hans Dybkjær |
| 91/12 | MIX. A self-applicable partial evaluator for experiments in compiler generation Neil D. Jones, Peter Sestoft and Harald Søndergaard. (Reprint of revised Version 87/8) |
| 91/13 | A Knowledge based System of Astronomy Ole Kjær Christensen and Eva Liljedahl |
| 91/14 | Introduction to Emerald Henrik Størner and Daniel Eide Joensen |
| 91/15 | Space-efficient parallel merging Jyrki Katajainen, Christos Levcopoulos and Ola Petersson |
| 91/16 | Epipolar Line Estimation Søren I. Olsen |
| 91/17 | Program Analysis Matters Carsten Krogh Gomard |
| 91/18 | Tutorial on Standard ML Mads Tofte |
1990
| Year/No. | Title and author |
|---|---|
| 90/1 | Automatisk analyse og oversættelse af franske sætninger med udgangspunkt i oplysninger om verbernes valens Franz Fröling |
| 90/2 | Automatisk analyse af faste udtryk i franske sætninger Franz Fröling |
| 90/3 | Simple edge detection Søren. I. Olsen |
| 90/4 | Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types Anders Bondorf and Olivier Danvy |
| 90/5 | Projective Geometry and Straight Lines in Computational Vision Knud Henriksen |
| 90/6 | Edb-mæssige kvalifikationer: behov kontra uddannelse Helle Knudsen |
| 90/7 | DIKU: The Institute of Computer Science at Copenhagen University Neil D. Jones |
| 90/8 | Local Tournaments and Proper Circular Arc Graphs Pavoll Hell, Jørgen Bang-Jensen and Jing Huang |
| 90/9 | A polynomial algorithm for hamiltonian-connectedness in semicomplete digraphs Jørgen Bang-Jensen, Yannis Manoussakis and Carsten Thomassen |
| 90/10 | Classification of the Toppoints of an Image Peter Johansen |
| 90/11 | Om Relationsdatabaser og deres Ajourføring gennem Views. Konkretisering i Nimbus Alf Beck Nielsen |
| 90/12 | Animation af objekt-orienterede programmer baseret på aktive metoder Finn Jordal |
| 90/13 | Løsning af svære kombinatoriske optimerings-problemer - kan paralleldatamater hjælpe? Jens Clausen |
| 90/14 | Logic Programming for Concept Modelling and Support of Urban Housing Design. A Pilot Study Lászlo Béla Kovács and Per Galle |
| 90/15 | Mathematical Software for Computation of Toppoints Jens Tingleff |
| 90/16 | Compiler Generation By Partial Evaluation: a Case Study. (Revised version of report 88/24) Carsten K. Gomard and Neil D. Jones |
| 90/17 | Self-Applicable Partial Evaluation Anders Bondorf |
1989
| Year/No. | Title and Author |
|---|---|
| 89/1 | Object Mobility in a Distributed Object-Oriented System Eric Jul |
| 89/2 | Timing the Emerald Implementation on VAXstation 2000 Niels Christian Juul |
| 89/3 | Introduction to Computation and Learning in Neural Networks Egill Másson and Yih-Jeou Wang |
| 89/4 | Lambda Calculus as an Adequate Foundation of Mathematics - Semantic Approach Klaus Grue |
| 89/5 | Multi-dimensional Trees Kaare Danielsen |
| 89/6 | Systems Development in Scandinavia: Three Theoretical Schools Jørgen Bansler |
| 89/7 | Trade Unions and Alternative Technology in Scandinavia Jørgen Bansler |
| 89/8 | Introduction to Artificial Neural Networks Martin Winge Andersen and Henrik Fredholm |
| 89/9 | Direct Determination of a Constantly Translating Greylevel Scene Jens Arnspang |
| 89/10 | The Concept of Virtual Motion in Vision Calculus Jens Arnspang |
| 89/11 | Declarative Continuations and Categorical Duality Andrzej Filinski |
| 89/12 | A Functional Abstraction of Typed Contexts Olivier Danvy and Andrzej Filinski |
| 89/13 | Introduction of New Technologies in Danish Work Places Philip Kraft and Jørgen Bansler |
| 89/14 | Datalogy - the Copenhagen Tradition of Computer Science Edda Sveinsdottir and Erik Frøkjær |
| 89/15 | Fire perspektiver på systemudvikling Jørgen Bansler og Hasse Clausen |
| 89/16 | Implementation of Parallel Branch-and-Bound Algorithms - Experiences with the Graph Partitioning Problem Jens Clausen and Jesper Träff |
| 89/17 | Fundamentals of Texture Flow Equations in Vision Calculus Jens Arnspang |
| 89/18 | Separation of Type and Class Hierarchies in Object-Oriented Languages Charlotte Pii Lunau |
| 89/19 | On the Use of Time Varying Shading and Surface Rim Irradiance Jens Arnspang |
| 89/20 | Motion Constraint Equations, based on Constant Image Irradiance Jens Arnspang |
| 89/21 | Direct Determination of the Orientation and its Time Derivatives of a Moving 3D Straight Line: Theory Knud Henriksen |
| 89/22 | Semantics-Based Analysis and Transformation of Logic Programs Harald Søndergaard |
1988
| Year/No. | Title and author |
|---|---|
| 88/1 | Notes on local determination of smooth optic flow and the translational property of first order optic flow Jens Arnspang |
| 88/2 | Optic acceleration. Local determination of absolute depth and velocity, time to contact and geometry of an accelerating surface Jens Arnspang |
| 88/3 | Direct scene determination. Local relative or absolute surface depth, geometry and velocity from monocular or multi ocular image sequences Jens Arnspang |
| 88/4 | A Bipartite Matching Algorithm Based on Matroid Partition Jens Clausen |
| 88/5 | Nogle væsentlige programmeringssprogs udvikling Henrik Christoffersen |
| 88/6 | Local Differential Kinematics of Multiocular Surface Vision Jens Arnspang |
| 88/7 | Referential Transparancy and Allied Notions Harald Søndergaard and Peter Sestoft |
| 88/8 | Implementering af Joyce på paralleldatamat Birger Andersen |
| 88/9 | Independent Covers in Outerplanar Graphs Maciej M. Syslo and Pawel Winter |
| 88/10 | Shape from Hypertexel Virtual Motion Jens Arnspang |
| 88/11 | Image Irradiance Equations for a Zooming Camera Jens Arnspang |
| 88/12 | Depth from Stereo Søren I. Olsen |
| 88/13 | Parallel Graph Partition using Branch- and -Bound with Dynamic Distribution of Subproblems Jens Clausen and Jesper Larsson Träff |
| 88/14 | Depth from Zooming Søren I. Olsen and Ma Jun |
| 88/15 | Moving towards the Horizon of a Planar Curve Jens Arnspang |
| 88/16 | Computation of Scale Space Structures Hans Dybkjær |
| 88/17 | Knowledge Representation. The Concept and its Use Laila Dybkjær |
| 88/18 | RK - Predictors: Extrapolation Methods for Implicit Runge-Kutta Formulae Jørgen Sand |
| 88/19 | Karakteristik af Human Factors traditionen Johanne Pedersen |
| 88/20 | Kontrol i videnbaserede systemer Lone Bendix Nielsen |
| 88/21 | A Blond Primer Olivier Danvy and Karoline Malmkjær |
| 88/22 | Bibliography of Peter Naur Edda Sveinsdottir and Erik Frøkjær |
| 88/23 | Direct Determination of the Orientation of a Translating 3D Straight Line Knud Henriksen and Jens Arnspang |
| 88/24 | Compiler Generation by Partial Evaluation: a Case Study Carsten Krogh Gomard and Neil D. Jones |
| 88/25 | On the Maximum Expected Flow Algorithm of N. Sancho Jens Clausen |
1987
| Year/No. | Title and author |
|---|---|
| 87/1 | Memory Allocation and Higher-order Functions: Capture, Sharing and Incremental Recovery, an Alternative to the Stack Strategy Using a Heap Memory Olivier Danvy |
| 87/2 | Programmeringsværktøjer til ekspertsystemer Christian Bastlund, Søren Bro, Lars Brunsgård, Yue Chen, Henrik Ferrold, Erik Frøkjær, Lene Jensen, Hans Kierulff, Werner Knudsen, Alf Beck Nielsen, Christian Olsen, Benny Pedersen, Edda Sveinsdottír, Lene Thrysøe og Peter Wagner |
| 87/3 | A Formalized Concept of Sketching in Automated Floor Plan Design Per Galle |
| 87/4 | A Basic Problem Definition Language for Automated Floor Plan Per Galle |
| 87/5 | Branch & Sample: Systematic Combinatorial Search without Optimization Per Galle |
| 87/6 | Brevkommunikation i netværk Jacob Nørbjerg |
| 87/7 | Retracts of Numerations Akira Kanda |
| 87/8 | Mix: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation Neil D. Jones, Peter Sestoft and Harald Søndergaard |
| 87/9 | Anvendelse af edb i undervisningen Anne Andersen og Laila Dybkjær |
| 87/10 | Line-Based Stereo Matching Knud Henriksen |
| 87/11 | Begrebsmodellering: Et værktøj til samtidig udformning af skærmbilleder og datadefinition Roger Christensen |
| 87/12 | Arranging Appels in an Array Jens Clausen and Jakob Krarup |
| 87/13 | Logic Programming Systems Development for Floor Plan Design by Dissectioning László B. Kovács |
| 87/14 | An Efficient Formal Theory Klaus E. Grue |
| 87/15 | Syv samtaler om systemarbejde Jørgen Bansler |
| 87/16 | NIMBUS - Brugergrænsefladen Klaus Andersen og Henrik Lassen |
| 87/17 | Camera Calibration Knud Henriksen |
| 87/18 | The Design and analysis of a Feature Based Stereo Algorithm Søren I. Olsen |
| 87/19 | On Feasibility of the Edmonds-Fukuda Pivoting Rule for Oriented Matroid Programming Jens Clausen and Tamás Terlaky |
| 87/20 | En grammatik for fransk Franz Fröling og Preben Mortensen |
| 87/21 | Morfologisk analyse af fransk Franz Fröling og Preben Mortensen |
| 87/22 | The Emerald Programming Language Norman C. Hutchinson, Rajendra K. Raj, Andrew P. Black, Henry M. Levy, and Eric Jul |
1986
| Year/No. | Title and author |
|---|---|
| 86/1 | FEMTE GENERATIONS PROGRAMMERING, bind 3: Indføring i PROLOG for lingvister Arendse Bernth |
| 86/2 | DIKU's internationale videnskabelige kontakter i 1985 Jakob Krarup |
| 86/3 | En udvidelse af PROLOG med funktioner Kim Dam Petersen |
| 86/4 | Undersøgelse af prototypeværktøjer Klaus H. Andersen, Birthe Berland, Cathrine Blicher, Christian Christensen, Roger Christensen, Lars Fjordstrøm, Erik Frøkjær, Martin Jensen, Hans Lauesen, Lis Olsen, Per Igel Olsen, Jørn Poulsen, Lotte Rahbek, Bo Salomon og Edda Sveinsdottír |
| 86/5 | Joyce - a programming language for distributed systems Per Brinch Hansen |
| 86/6 | Computer Methods in Architectural Problem Solving: Critique and Proposals Per Galle |
| 86/7 | Feature Based Stereo Matching Knud Henriksen and Ruzena Bajcsy |
| 86/8 | En Analyse af LOKAL-NETVÆRK, (LAN) Peter Marstrand Blønd og Morten Løvschall |
| 86/9 | A Joyce Implementation Per Brinch Hansen |
| 86/10 | The Joyce Language Report Per Brinch Hansen |
| 86/11 | Sidste Skrig - Ekspertsystemer Jan Tovgaard |
| 86/12 | Non-Determinacy and Its Semantics Harald Søndergaard and Peter Sestoft |
| 86/13 | Stability Properties of Linear Multirate Formulas Stig Skelboe |
| 86/14 | A Semantics-Based Framework for the Abstract Interpretation of Prolog Neil D. Jones and Harald Søndergaard |
| 86/15 | Flow Analysis of Lazy Higher Order Functional Programs Neil. D. Jones |
| 86/16 | Approximating Term Rewriting Systems with Tree Grammars Nils Andersen |
| 86/17 | Udvikling af brugervenligt programmel. En praktisk anvendelse af empiriske afprøvninger og formelt brugergrænsefladespecifikationssprog Peter H. Carstensen |
| 86/18 | Beskrivelse af "Job Transfer and Manipulation" Jakob Larsen og Ole Frendved Hansen |
| 86/19 | FOTOMETRISK STEREO, beskrevet, programmeret og vurderet Jørn Ørskov Nielsen |
1985
| Year/No. | Title and author |
|---|---|
| 85/1 | An Experiment in Partial Evaluation: The Generation of a Compiler Generator Neil D. Jones, Peter Sestoft and Harald Søndergaard |
| 85/2 | FIFTH GENERATION PROGRAMMING. Vol. 1: Logic Programming in Natural Language Analysis. Proceedings I from a workshop in Copenhagen, December 1984 Gregers Koch |
| 85/3 | A Survey of Systems Programming Languages: Concepts and Facilities William F. Appelbe and Klaus Hansen |
| 85/4 | Hjemmedatamaten - et brækjern til fremtiden? Leif Caspersen, Jacob Nørbjerg, Annelise Ravn og Thomas Stürup |
| 85/5 | OSI modellens øvre lag John Hunderup, Benny Pedersen, Søren Stockmarr, Kim Wagner, Michael Bundgaard, Kurt Pedersen, Carsten Bjernå og Jørgen Münster |
| 85/6 | FIFTH GENERATION PROGRAMMING Vol. 2: Logic Programming in Natural Language Analysis. Proceedings II from a workshop in Copenhagen, December 1984 Gregers Koch |
| 85/7 | Inter-process Communication in Distributed Operating Systems Eric Jul |
| 85/8 | Data Flow Analysis of Applicative Programs Using Minimal Function Graphs Neil D. Jones and Alan Mycroft |
| 85/9 | Towards Automating the Transformation of Programming Language Specifications into Compilers Neil D. Jones |
| 85/10 | Afprøvning af systemudvikling med prototyper Klaus Viby Mogensen |
| 85/11 | The Structure of a Self-Applicable Partial Evaluator Peter Sestoft |
| 85/12 | Typed Recursion Theorems Akira Kanda |
| 85/13 | Omgivelsessystemer Ole Møller |
1984
| Year/No. | Title and author |
|---|---|
| 84/1 | Production and Location on a Network under Demand Uncertainty Francois Louveaux and Jacques-Francois Thisse |
| 84/2 | Typed Representation of Objects by Functions Jørgen Steensgaard-Madsen |
| 84/3 | Steiner Problem in Halin Networks Pawel Winter |
| 84/4 | An Algorithnm for the Enumeration of Spanning Trees Pawel Winter |
| 84/5 | Open Problems Presented at the Copenhagen Workshop on Computer Vision Knud Henriksen, Peter Johansen and Søren Olsen. |
| 84/6 | Bufferingsmetoder Bent Pedersen |
| 84/7 | Datalogi 2 Notes: Functions, Expressions, Programming Languages, Computability Neil D. Jones |
| 84/8 | COMPILER GENERATORS - what they can do, what they might do, and what they will probably never do Mads Tofte |
| 84/9 | Forelæsningsnoter til administrativ databehandling. Del I og II Ole Caprani, H.B. Hansen og Søren Lauesen |
| 84/10 | Computer Vision in a Computer Science Framework Peter Johansen and Edda Sveinsdottír |
| 84/11 | Analyse af stereobilleder - rekonstruktion af tredimensionale flader Søren I. Olsen |
| 84/12 | Igredients of Locational Analyses Jakob Krarup and Peter Pruzan |
| 84/13 | MODEF/1100 User's Guide J. Steensgaard-Madsen |
| 84/14 | A New Family of Exponential LP-problems Jens Clausen |
| 84/15 | Two Families of Bad LP-problems Jens Clausen |
| 84/16 | A Note on the Edmonds-Fukuda Pivoting Rule for Simplex Jens Clausen |
| 84/17 | Network Management Brian E. Christiansen |
1983
| Year/No. | Title and author |
|---|---|
| 83/1 | Stepwise Development of Operational and Denotational Semantics for Prolog Neil D. Jones and Alan Mycroft |
| 83/2 | A Skeleton Interpreter for Specialized Languages Jørgen Steensgaard-Madsen |
| 83/3 | Naming Commands. An Analysis of Designers' Naming Behaviour Anker Helms Jørgensen |
| 83/4 | Gendannelse af forringede billeder ved invers - og Wienerfiltrering Jørgen Bansler og Søren I. Olsen |
| 83/5 | Stepwise Development of Logic Programmed Software Development Methods Gregers Koch |
| 83/6 | An Algorithm for the Steiner Problem in the Euclidean Plane Pawel Winter |
| 83/7 | Eksperimentelle teknikker i systemarbejdet Jørgen Bansler og Keld Bødker |
| 83/8 | Generering af en oversættergenerator Mads Tofte |
| 83/9 | Interval Arithmetic Implementation Using Floating Point Arithmetic Michael Clemmesen |
| 83/10 | Design practice and interface usability: evidence from interviews with designers Anker Helms Jørgensen, N. Hammond, A. MacLean, P. Barnard, and J. Long |
| 83/11 | En model for brugeres opfattelse af edb-baserede systemer Jan Chr. Clausen |
| 83/12 | Definition of the Programming Language MODEF Jørgen Steensgaard-Madsen and Lars Møller Olsen |
| 83/13 | The effect of task structure in interactive systems: a pilot experiment Anker Helms Jørgensen, Phil Barnard, Nick Hammond and Allan MacLean |
| 83/14 | The psychology of developing and using computer systems: five contributions Anker Helms Jørgensen |
| 83/15 | Systemudvikling som element i den kapitalistiske teknologiudvikling Jørgen Bansler og Keld Bødker |
| 83/16 | Oversætterteknik for programmeringssprog ved hjælp af PROLOG Flemming Als, Carsten Hendriksen og Jens Johansen |
| 83/17 | Generalized Steiner Problem in Outerplanar Networks Pawel Winter |
1982
| Year/No. | Title and author |
|---|---|
| 82/1 | Worst-case Behaviour of Simplex Algorithms: From Theory to Numerical Examples Jens Clausen |
| 82/2 | An Experimental Pattern Recognition System Yu Song Yu and Peter Johansen |
| 82/3 | Structuring of dedicated Concurrent Programs Using Adaptable I/O Interfaces Eric Jul |
| 82/4 | Control Flow Treatment in a Simple Semantics-Directed Compiler Generator Henning Christiansen and Neil Jones. |
| 82/5 | Edb-helhedsplanlægning Elin Rønby Pedersen |
| 82/6 | Definition af Concurrent Pascal-maskinen og dokumentation af CP-maskinsimulatoren på DIKU's PDP-11/45 anlæg Jesper Lund og Lars Lund Hansen |
| 82/7 | A Survey of Literature on Modularization and Abstraction in Programming Erik Reeh Nielsen |
| 82/8 | Automatisk orddeling Hasse Hansson |
| 82/9 | Sagen om superdatamaten - anden runde Edda Sveinsdottír og Erik Frøkjær |
| 82/10 | CONCEPTUAL GRAPHS - A Denotational Semantics Approach Jørgen Flensholt |
| 82/11 | Brugervejledning for Pascal Class Lars Møller Olsen |
| 82/12 | A Module Development Discipline Jørgen Steensgaard-Madsen |
| 82/13 | Combined LP and Quasi-Newton Methods for Nonlinear l1 Optimization Jørgen Hald and Kaj Madsen. |
1981
| Year/No. | Title and author |
|---|---|
| 81/1 | Digital Processing of Multi Spectral Images Yu Song Yu and Peter Johansen |
| 81/2 | Anvendelse af Mikrodatamater Jane Andersen |
| 81/3 | Document Preparation Systems Hasse Hansson and Jørgen Steensgaard-Madsen |
| 81/4 | Implementering af multiprogrammer Ole Caprani |
| 81/5 | Algebraic Module Description J. Steensgaard-Madsen |
| 81/6 | Produktionsplanlægning - en oversigt over en række standardsystemer Thomas Skousen |
| 81/7 | Assessment of approximate algorithms: the error measure's crucial role Jakob Krarup and Peter Mark Pruzan |
| 81/8 | Definition of functionals Jørgen Steensgaard-Madsen |
| 81/9 | Programming in Predicate Logic E. Upfal |
| 81/10 | Introduktion til interval analyse Ole Caprani og Kaj Madsen |
| 81/11 | Uncapacitated Facility Location: The Simple Plan Location Problem Jakob Krarup and Peter Pruzan |
| 81/12 | Users Manual for the Intellec MDS Concurrent Pascal System Henrik Schneider and Eric Jul |
| 81/13 | Transposition of a Matrix on Auxiliary Store Peter Johansen and Nils Andersen |
| 81/14 | Nordsømodellen - undersøgelse af en større matematisk styringsmodel Jørgen Bansler og Annelise Ravn |
| 81/15 | Module Trees Jørgen Steensgaard-Madsen |
| 81/16 | Grammars and Predicate Calculus Gregers Koch |
| 81/17 | Sagen om superdatamaten. Overvejelser og debat om edb-kapacitetsudvalgets forslag til edb-udbygningen for forskning og videregående uddannelse i perioden1982-85 Erik Frøkjær og Edda Sveinsdottír |
1980
| Year/No. | Title and author |
|---|---|
| 80/1 | Skjulte flader og farvebestemmelse inden for tre-dimensionale grafisk databehandling Anne-Birgitte Hornby |
| 80/2 | Comments om Preliminary Ada Jørgen Steensgaard-Madsen, Nils Andersen, Anders Peter Ravn, and Erik Reeh Nielsen |
| 80/3 | Results of testing the Pascal 1100 Compiler with a Pascal Validation Suits Jørgen Bentzen |
| 80/4 | A statement oriented approach on data abstraction J. Steensgaard-Madsen |
| 80/5 | Proceedings of DAPS-79 Jakob Krarup and S. Walukiewicz |
| 80/6 | Obstructions for Regular Colorings Dominique de Werra |
| 80/7 | Ordonannancement Chromatique et problemes de colorations Dominique de Werra |
| 80/8 | Beskrivelse af programmoduler J. Steensgaard-Madsen |
| 80/9 | INTERVAL - FORTRAN. Brugervejledning Klaus Gadegaard Hansen og Peter Kjellberg |
| 80/10 | On integer programming duality Stanislaw Walukiewicz |
| 80/11 | Image reconstruction for emission tomography Tomaz J. Goldman |
| 80/12 | Programmeringssprog og kunstig intelligens K. Helsgavn, G. Koch, og K. Hvidtfelt Nielsen |
| 80/13 | VACSHAM User's Manual Anker Helms Jørgensen |
| 80/14 | Datalære i folkeskolen Jane Andersen |
| 80/15 | An exploratory survey of the litterature om Man-Computer Dialogue Engineering Anker Helms Jørgensen |
| 80/16 | A Prolog way of representing natural language fragments Gregers Koch |
1979
| Year/No. | Title and author |
|---|---|
| 79/1 | Multiprocessorer til dedikerede systemer skrevet i Concurrent Pascal Uffe Ougaard |
| 79/2 | A Note on DPDA Transductions of {0,1}* and Inverse DPDA Transductions of the Dyck Set Paul M.V. Vitányi |
| 79/3 | User's Guide for the Concurrent Pascal Systems at DIKU (SOLO) A.P. Ravn |
| 79/4 | Multimikrodatamatsystemer i formålsbundet drift Jens Brix Christiansen |
| 79/5 | Reducibility of Minimax to Minisum 0-1 Programming Problems Jakob Krarup and Peter Mark Pruzan |
| 79/6 | The Expected Time to Find the Maximum of a Set of Random Numbers Peter Johansen |
| 79/7 | Concurrent Pascal with Device Monitors and Pointer Variables Karsten Kynde and A.P. Ravn |
| 79/8 | Solution Properties of Multicriteria 0-1 Programming Problems Rainer E. Burkard, Jakob Krarup, and Peter Mark Pruzan |
| 79/9 | Flytning af Concurrent Pascal til Intel 8080 Sys Sidenius and Eric Jul |
| 79/10 | An NP-complete Matroid Parity Problem Jens Clausen |
| 79/11 | Check Digit Systems Henrik Legind Larsen |
| 79/12 | Digital signalbehandling Martin Jensen og Lone Randi Hansen |
| 79/13 | Anvendelse af "real time operating systems" på mikrodatamater Ole Caprani |
| 79/14 | En oversigt over nogle vigtige offentlige edb-systemer. Bidrag fra et hold studerende Thomas Skousen |
| 79/15 | Three Papers on Concurrent Pascal (Experience with Concurrent Pascal, Device Monitors, and Pointer Variables in Concurrent Pascal) A.P. Ravn |
| 79/16 | A Tutorial Note on the Complexity of the Simplex-algorithm Jens Clausen |
| 79/17 | Finding k Edge-disjoint Spanning Trees of Minimum Total Weight in a Network: An Application of Matroid Theory Jens Clausen and Lone Aalekjær Hansen |
| 79/18 | Card-Mark Codes for Ordinary Text Nils Andersen |
| 79/19 | Eksperimentel formalisering af dansk Gregers Koch |
| 79/20 | The Impact of Distance on Location Problems Jakob Krarup and Peter Mark Pruzan |
1978
| Year/No. | Title and author |
|---|---|
| 78/1 | Brug af Datalogisk Instituts PDP11-anlæg i førstedelsundervisningen Ole Caprani og Kurt Helmer Jensen |
| 78/2 | Perspektiver i lingvistisk databehandling Gregers Koch |
| 78/3 | Project Gamma I Gretter Aggernæs, Jann Dahlgaard, Peter Frenning, Hans J. Rasmussen, Tomasz J. Goldman - with a contribution from Ernest M. Stokely |
| 78/4 | Matroids and Combinatorial Optimization Jens Clausen |
| 78/5 | Introducing Dynamic Arrays in Pascal Jørgen Steensgaard-Madsen |
| 78/6 | Pascal - Clarifications and Recommended Extensions Jørgen Steensgaard-Madsen |
| 78/7 | Beskrivelse af et grafisk farveudstyr og dets grænseflade til Concurrent Pascal Uffe Ougaard |
| 78/8 | Indføring i LISP Erik Meiling |
| 78/9 | Conceptual Graphis I Gert Schmeltz Pedersen |
| 78/10 | Zaborow-papers: Eight Contributions to a Mathematical Programming Seminar Jakob Krarup, Editor |
| 78/11 | Datalogens introduktion til bogholderi Søren Lauesen |
| 78/12 | Netværksknude til datatransmissionsnet Klaus Jul Jeppesen |
| 78/13 | Proposals for the Use of a Basic Defining Vocabulary in Developing Pronominal Detection Strategies Nicholas Palmer and Gregers Koch |
1977
| Year/No. | Title and author |
|---|---|
| 77/1 | Stokastiske filgeneratorer Bent Pedersen |
| 77/2 | Layout Planning, Evaluation, and Optimization Jakob Krarup and Peter Mark Pruzan |
| 77/3 | Scheduling According to Job Priority with Prevention of Deadlock and Permanent Blocking Bo Munch-Andersen and Torben U. Zahle |
| 77/4 | Introduktion til databaser Torben U. Zahle |
| 77/5 | SCAN - A Simple Record-at-a-time DML for the Relational Data Model Torben U. Zahle |
| 77/6 | Afvikling af 1108 LISP programmer og opgavesamling til indlæring af LISP Erik Meiling |
| 77/7 | Selected Families of Discrete Location Problems. Part I: Center Problems. Part II: Median Problems Jakob Krarup and Peter Mark Pruzan |
| 77/8 | The Generating Function of the Number of Subpatterns of a DOL Sequence Peter Johansen |
| 77/9 | Three-dimensional, Dynamic Gammacamera: Reconstruction Poul Østergaard |
| 77/10 | Challenging Unsolved Center and Median Problems Jakob Krarup and Peter Mark Pruzan |
| 77/11 | Travelling Salesman and Assignment Problems: A Survey Rainer E. Burkard |
| 77/12 | Procedures as Monitors in Sequential Programming J. Steensgaard-Madsen |
1976
| Year/No. | Title and author |
|---|---|
| 76/1 | MIK - et korutineorienteret styresystem til en mikrodatamat Bodil Schrøder |
| 76/2 | Datalogistuderende som brugere af RECKU. En analyse Klaus Jeppesen og Søren Kann |
1975
| Year/No. | Title and author |
|---|---|
| 75/1 | PLIX - programlæsbarhedsindex Ida Andersen, Isabella Carstensen, Louis Fischer, Helle Friis og Anker Helms Jørgensen |
| 75/2 | Commutator Calculus and L Systems Peter Johansen |
| 75/3 | Om opbygning af hobe Bent Pedersen |
| 75/4 | VACS - et multiprogrammeret tidstro styresystem til VARIAN 620/F Jørgen Bang og Ken Schubell |
| 75/5 | Sharp lower bounds and efficient algorithms for the simple plant location problem Ole Bilde and Jakob Krarup |
| 75/6 | Plan location, set covering and economic lot size: An 0(mn)-Algorithm for structured problems Ole Bilde and Jakob Krarup |
| 75/7 | En analyse af Datalogisk Instituts forbrug på RECKU i efteråret 1974 Ole Caprani |
1974
| Year/No. | Title and author |
|---|---|
| 74/1 | Algebraiske og statistiske undersøgelser af afrundingsfejl ved regning med flydende tal Ole Caprani |
| 74/2 | Behandling af fritformulerede elevsvar i Coursewriter III Kjeld Wessel Wetlesen |
| 74/3 | NOOS - et datatransmissionssystem fra RC4000 til RECKU og RECAU. Brugervejledning Ole Caprani, Lise Lauesen og Flemming Sejergaard Olsen |
| 74/4 | NOOS - et datatransmissionssystem fra RC4000 til RECKU og RECAU. Operatørvejledning Ole Caprani, Lise Lauesen og Flemming Sejergaard Olsen |
| 74/5 | NOOS - et datatransmissionssystem fra RC4000 til RECKU og RECAU. Installeringsvejledning Ole Caprani, Lise Lauesen og Flemming Sejergaard Olsen |
| 74/6 | NOOS - et datatransmissionssystem fra RC4000 til RECKU og RECAU. Vedligeholdelsesvejledning Ole Caprani, Lise Lauesen og Flemming Sejergaard Olsen |
| 74/7 | NOOS - et datatransmissionssystem fra RC4000 til RECKU og RECAU. Forfatternes kommentarer Ole Caprani, Lise Lauesen og Flemming Sejergaard Olsen |
| 74/8 | Semiautomatisk bevisførelse for programmer Erik Vrang |
| 74/9 | Job Scheduling Preventing Deadlock and Permanent Blocking Bo Munch Andersen and Torben U. Zahle |
| 74/10 | Free Groups in Lindenmayer Systems Peter Johansen and Erik Meiling |
| 74/11 | A Program of Master-Strength Go Play Five-in-a-row Torben U. Zahle |
| 74/12 | Pitfalls and Promising Ideas in Time Scharing Schedulers Torben U. Zahle |
| 74/13 | Automata Theory in Free Groups Jens Clausen, Jens Hammerum, Erik Meiling and Tom Skovgaard |
| 74/14 | Søgetider for hashtabeller på pladelager Bent Pedersen |
| 74/15 | GENASS. Brugervejledning for programmører Jørgen Bang |
| 74/16 | CONASS. Kontrolprogram for data til GENASS Jørgen Bang |
1973
| Year/No. | Title and author |
|---|---|
| 73/1 | The Grok Project. Data Structures and Process Communication Peter Jensen |
| 73/2 | Automatisk bevisførelse. Del 1: Almindelig resolutionsteori (Del 2: Implementation af SL-resolution kan lånes på DIKU) Keld Helsgaun |
| 73/3 | Et Runtime System Jørgen Zachariassen |
| 73/4 | Nogle ændringer til Remote Communications. Program til UNIVAC 9200/9200 II9300/9300 II datamaterne Jan Andersen og Jørgen Steensgaard-Madsen |
| 73/5 | Holddannelse ved valgfri fag på folkeskolens øverste trin Aino Andersen |
| 73/6 | Dimensionering af index-sequentielle filer Bent Pedersen |
| 73/7 | Optimeringsmetoder i Algol 6 oversætteren til RC4000. En kort oversigt Jan Andersen, Torben Møller, AP. Ravn og Søren Stamp |
| 73/8 | Et Message Switching System Peter Howalt, Erik Lilholt, Rune Einersen, Bo Tveden-Jørgensen and Heinrich Bjerregaard |
| 73/9 | Algolp - a runtime profiling system. User's Manual Lene Weiss, Philippe Gauguin and Steen Jürs |
| 73/10 | A Class of Planar Graphs Related to Nonserial Dynamic Programming Jakob Krarup and Frank Harary |
| 73/11 | SAAB - statisk analyse af algolprogrammer Erik Vrang og Hans Peter Nørby |
1972
| Year/No. | Title and author |
|---|---|
| 72/1 | The back-up system on HCØ-RC4000 Peter Jensen |
| 72/2 | NOOS - et datatransmissionssystem fra RC4000 til RECKU og RECAU Ole Caprani, Lise Lauesen og Flemming Sejergaard Olsen |
| 72/3 | Some corrections to the driver at the line printer at RC4000 Peter Jensen |
| 72/4 | Description of a colour display system P.G. Sjölin and Edda Sveinsdottír |
| 72/5 | Vejledning i styrekort til RECKU, ALGOL, COBOL, FORTRAN og SIMULA Jan Andersen |
| 72/6 | Lisp 4000.2. User's Manual Jan Andersen, Philippe Gauguin, Klaus Hansen, Torben Møller, A.P. Ravn and Søren Stamp |
| 72/7 | Lisp 4000.2. Maintenance Manual Jan Andersen, Philippe Gauguin, Klaus Hansen, Torben Møller, A.P. Ravn and Søren Stamp |
| 72/8 | An RC4000-Algol program for converting FLEXOWRITER code to VARIAN-ASCII code Alf Beck Nielsen |
| 72/9 | Lisp 4000.2. Implementers Guide Jan Andersen, Philippe Gauguin, Klaus Hansen, Torben Møller, A.P. Ravn and Søren Stamp |
| 72/10 | On the semigroups of linear sequential machines Y. Zalcstein |
| 72/11 | Grok P. Lindblad Andersen, Jørn Jensen, Peter Jensen and Jørgen Steensgaard-Madsen |
| 72/12 | DAS4000 - en oversætter fra symbolsk sprog til binær kode for VARIAN A.P.Ravn og Søren Stamp |
| 72/13 | DASPUNCH - et algolprogram som udhuller binær kode for VARIAN 620 A.P. Ravn og Søren Stamp |
| 72/14 | A brief description of a computer based gammakamera Tommy Schomacker |
| 72/15 | Konvertering mellem ASCII. ISO-kode på RC4000 Peter Jensen |
| 72/16 | Entropy and minimal algorithms Peter Johansen |
| 72/17 | Afvikling af LISP på RECKU Jan Andersen |
| 72/18 | A simple way to determine the impedance-constants of an n-port Torben U. Zahle |
| 72/19 | Revised report on the BASIC language HCØ/RC4000 Per Bentzen and Per Eldon |
| 72/20 | Design af et filsystem i relation til GROK-projektet Carl Johan Gerlach, Carsten Hansen, Keld Helsgaun, Viggo Lomborg og Arne Skou |
| 72/21 | Programmel til statistisk gammakamera Edda Sveinsdottir |
| 72/22 | Deterministiske (N/a) - programmer Per Sparre |
| 72/23 | On a memory map Peter Jensen |
| 72/24 | Styresystemer til afvikling af online tidstro programmer på minidatamater Per Gade Christensen |