Automatic program specialization for Java

Del 100 - An Experimental Comparison Between a Light Pen and a Joystick when Used for Free-Hand Drawing

Niels Henrik Frey

Del 162 - A computational model for ADA and other concurrent languages

B.H. Mayoh

Del 182 - How readers annotate textbooks and manuals

Jakob Nielsen (f. 1937)

Del 184 - Three approaches to teaching software ergonomics

Jakob Nielsen (f. 1957)

Del 187 - Program development on graphical workstations

Kurt Nørmark

215, 192, 204, 214 - Programmeringssprog : begreber og undtagelser

Jørgen Lindskov Knudsen

Del 216 - Project evaluation - setting the problem

Andreas Munk-Madsen

Del 222 - Transformations and Abstract Presentations in a Language Development Environment

Kurt Nørmark

225, 218, 216, 213 - Vurdering af systemudviklingsprojekter

Andreas Munk-Madsen

Del 240 - The depth efficacy of unbounded characteristic finite field arithmetic

Del 241 - An exact and efficient implementation of threshold gates with arbitrary real weights

Del 244 - Design and professional languages

Peter Bøgh Andersen

Del 254 - A discussion of computer supported cooperative work : Overview paper

P Sørgaard

Del 257 - Five easy pieces: refraiming the design of office systems

Del 259 - Some behavioural aspects of net theory

Del 260 - Neural networks with complex connection matrices

Del 261 - A simple mathematical approach to human society

Del 262 - Computer support for cooperative design

Del 263 - User support: from surface to structure

Del 264 - Emancipation of and by computer supported cooperative work

Del 265 - A note on the complexity of the transpose of a matrix

Del 266 - Unified algebras and modules

Del 267 - Designing for a dollar a day

Del 268 - A non trivial pursuit - systems development as cooperation

Del 269 - The application of claw free functions in cryptography : Unconditional protection in cryptographic protocols

I.B. Damgård

Del 269 - The application of claw free functions in cryptography

Del 270 - Rapid prototyping with fourth generation systems

Del 271 - An imperative type hierarchy with partial products

Del 272 - Unified algebras and action semantics

Del 276 - Semantic domains and denotational semantics

Carl A. Gunter

Del 307 - Partial orders and fully abstract models for concurrency

Uffe Engberg

360 360, 379 - Implementation conditions for delay intensive circuits

Anders Gammelgaard

Del 369 - Parallelizing Feed-forward Artificial Neural Networks on Transputers

Svend Jules Fjerdingstad

Del 388 - Distributed provers and veriflable secret sharing based on the discrete logarithm problem

T Pryds Pedersen

Del 445 - Verification of temporal properties of concurrent systems

Henrik Reif Andersen

Del 453 - Sharing of computations

Torben Amtoft

Del 466 - Tailorable Systems : Design, Support, Techniques, and Applications

Jawahar Malhotra

Del 485 - Block ciphers - analysis, design and applications

Lars Ramkilde Knudsen

Del 499 - Exponentiation, modular multiplication and VLSI implementation of high-speed RSA cryptography

Holger Orup

Del 507 - Users and computers : a contextual approach to design of computer artifacts = Brugere og datamater : en kontekstuel tilgang til design af edb-systemer

Morten Kyng

Del 517 - Analysing Coloured Petri Nets by the Occurrence Graph Method

Jens Bæk Jørgensen

530 (March 1998) - Digital systems synthesis from Petri net descriptions

Norian Marranghello

Del 531 - Elements of a theory of design artefacts : a contribution to critical systems development research

Olav W. Bertelsen

Del 532 - Workshop on Practical Use of Coloured Petri Nets and Design/CPN, Aarhus, Denmark, 10-12 June 1998

Kurt Jensen

Del 535 - Position papers from the 8th Workshop for PhD Students in Object-Oriented Systems

Frank Gerhardt

Del 537 - Lanczos bidiagonalization with partial reorthogonalization

Rasmus Munk Larsen

Del 540 - Ragnarok: An architecture based software development environment

Henrik Bærbak Christensen

Del 542 - Computer applications as mediators of design and use : a developmental perspective = Edb-artifakters mediering af design og brug

Susanne Bødker

Del 543 - Improved question-guided stubborn set methods for state properties

Lars Michael Kristensen

Del 544 - I show You How I Like You: Human-Robot Interaction through Emotional Expression and Tactile Stimulation

Dolores Canamero