0014
Anders Haraldsson
A Program Manipulation System Based on Partial Evaluation
1977

0017
Bengt Magnhagen
Probability Based Verification of Time Margins in Digital Designs
1977

0018
Mats Cedwall
Semantisk analys av processbeskrivningar i naturligt språk
1977

0022
Jaak Urmi
A Machine Independent LISP Compiler and its Implications for Ideal Hardware
1978

0033
Tore Risch
Compilation of Multiple File Queries in a Meta-Database System
1978

0051
Erland Jungert
Synthesizing Database Structures from a User Oriented Data Model
1980

0054
Sture Hägglund
Contributions to the Development of Methods and Tools for Interactive Design of Applications Software
1980

0055
Pär Emanuelsson
Performance Enhancement in a Well-Structured Pattern Matcher through Partial Evaluation
1980

0058
Bengt Johnsson, Bertil Andersson
The Human-Computer Interface in Commercial Systems
1981

0069
H. Jan Komorowski
A Specification of an Abstract Prolog Machine and its Application to Partial Evaluation
1981

0071
Ren<e' Reboh
Knowledge Engineering Techniques and Tools for Expert Systems
1981

0077
Östen Oskarsson
Mechanisms of Modifiability in large Software Systems
1982

0094
Hans Lunell
Code Generator Writing Systems
1983

0097
Andrzej Lingas
Advances in Minimum Weight Triangulation
1983

0109
Peter Fritzson
Towards a Distributed Programming Environment based on Incremental Compilation
1984

0111
Erik Tengvald
The Design of Expert Planning Systems. An Experimental Operations Planning System for Turning
1984

0155
Christos Levcopoulos
Heuristics for Minimum Decompositions of Polygons
1987

0165
James W. Goodwin
A Theory and System for Non-Monotonic Reasoning
1987

0170
Zebo Peng
A Formal Methodology for Automated Synthesis of VLSI Systems
1987

0174
Johan Fagerström
A Paradigm and System for Design of Distributed Systems
1988

0192
Dimiter Driankov
Towards a Many Valued Logic of Quantified Belief
1988

0213
Lin Padgham
Non-Monotonic Inheritance for an Object Oriented Knowledge Base
1989

0214
Tony Larsson
A Formal Hardware Description and Verification Method
1989

0221
Michael Reinfrank
Fundamentals and Logical Foundations of Truth Maintenance
1989

0239
Jonas Löwgren
Knowledge-Based Design Support and Discourse Management in User Interface Management Systems
1991

0244
Henrik Eriksson
Meta-Tool Support for Knowledge Acquisition
1991

0252
Peter Eklund
An Epistemic Approach to Interactive Design in Multiple Inheritance Hierarchies
1991

0258
Patrick Doherty
NML3 - A Non-Monotonic Formalism with Explicit Defaults
1991

0260
Nahid Shahmehri
Generalized Algorithmic Debugging
1991

0264
Nils Dahlbäck
Representation of Discourse-Cognitive and Computational Aspects
1992

0265
Ulf Nilsson
Abstract Interpretations and Abstract Machines: Contributions to a Methodology for the Implementation of Logic Programs
1992

0270
Ralph Rönnquist
Theory and Practice of Tense-bound Object References
1992

0273
Björn Fjellborg
Pipeline Extraction for VLSI Data Path Synthesis
1992

0276
Staffan Bonnier
A Formal Basis for Horn Clause Logic with External Polymorphic Functions
1992

0277
Kristian Sandahl
Developing Knowledge Management Systems with an Active Expert Methodology
1992

0281
Christer Bäckström
Computational Complexity of Reasoning about Plans
1992

0292
Mats Wir<e'n
Studies in Incremental Natural Language Analysis
1992

0297
Mariam Kamkar
Interprocedural Dynamic Slicing with Applications to Debugging and Testing
1993

0302
Tingting Zhang
A Study in Diagnosis Using Classification and Defaults
1993

0312
Arne Jönsson
Dialogue Management for Natural Language Interfaces - An Empirical Approach
1993

0338
Simin Nadjm-Tehrani
Reactive Systems in Physical Environments: Compositional Modelling and Frame work for Verification
1994

0371
Bengt Sav<e'n
Business Models for Decision Support and Learning. A Study of Discrete-Event Manufacturing Simulation at Asea/ABB 1968-1993
1995

0375
Ulf Söderman
Conceptual Modelling of Mode Switching Physical Systems
1995

0383
Andreas Kågedal
Exploiting Groundness in Logic Programs
1995

0396
George Fodor
Ontological Control, Description, Identification and Recovery from Problematic Control Situations
1995

0413
Mikael Pettersson
Compiling Natural Semantics
1995

0414
Xinli Gu
RT Level Testability Improvement by Testability Analysis and Tranformations
1996

0416
Hua Shu
Distributed Default Reasoning
1996

0429
Jaime Villegas
Simulation Supported Industrial Training from an Organisational Learning Perspective - Development and Evaluation of the SSIT Method
1996

0431
Peter Jonsson
Studies in Action Planning: Algorithms and Complexity
1996

0437
Johan Boye
Directional Types in Logic Programming
1996

0439
Cecilia Sjöberg
Activities, Voices and Arenas: Participatory Design in Practice
1996

0448
Patrick Lambrix
Part-Whole Reasoning in Description Logics
1996

0452
Kjell Orsborn
On Extensible and Object-Relational Database Technology for Finite Element Analysis Applications
1996

0459
Olof Johansson
Development Environments for Complex Product Models
1996

0461
Lena Strömbäck
User-Defined Constructions in Unification-Based Formalisms
1997

0462
Lars Degerstedt
Tabulation-based Logic Programming: A Multi-Level View of Query Answering
1996

0475
Fredrik Nilsson
Strategi och ekonomisk styrning - En studie av hur ekonomiska styrsystem ut formas och används efter företagsförvärv
1997

0480
Mikael Lindvall
An Empirical Study of Requirements-Driven Impact Analysis in Object-Oriented Software Evolution
1997

0485
Göran Forslund
Opinion-Based Systems: The Cooperative Perspective on Knowledge-Based Decision Support
1997

0494
Martin Sköld
Active Database Management Systems for Monitoring and Control
1997

0495
Hans Ols<e'n
Automatic Verification of Petri Nets in a CLP Framework
1997