Linköping University
Department of Computer and Information Science
Publication Register

Doctorate theses from IDA

Submitted to the Faculty of Engineering


Note: The full text of monograph theses (labelled PDF below) are very large files. Users on the IDA research network please use the link labelled "local access". The link labelled "[PDF, remote access]" requires long download times, and has been reported to sometimes exceed the capacity of the PDF plugins for Netscape and Explorer browsers.

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

17
Bengt Magnhagen
Probability Based Verification of Time Margins in Digital Designs

18
Mats Cedwall
Semantisk analys av processbeskrivningar i naturligt språk

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

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

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

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

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

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

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

71
René Reboh
Knowledge Engineering Techniques and Tools for Expert Systems

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

1983
94
Hans Lunell
Code Generator Writing Systems

97
Andrzej Lingas
Advances in Minimum Weight Triangulation

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

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

1987
155
Christos Levcopoulos
Heuristics for Minimum Decompositions of Polygons

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

170
Zebo Peng
A Formal Methodology for Automated Synthesis of VLSI Systems

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

192
Dimiter Driankov
Towards a Many Valued Logic of Quantified Belief

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

214
Tony Larsson
A Formal Hardware Description and Verification Method

221
Michael Reinfrank
Fundamentals and Logical Foundations of Truth Maintenance

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

244
Henrik Eriksson
Meta-Tool Support for Knowledge Acquisition

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

258
Patrick Doherty
NML3 - A Non-Monotonic Formalism with Explicit Defaults

260
Nahid Shahmehri
Generalized Algorithmic Debugging

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

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

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

273
Björn Fjellborg
Pipeline Extraction for VLSI Data Path Synthesis

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

277
Kristian Sandahl
Developing Knowledge Management Systems with an Active Expert Methodology

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

292
Mats Wirén
Studies in Incremental Natural Language Analysis

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

302
Tingting Zhang
A Study in Diagnosis Using Classification and Defaults

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

1994
338
Simin Nadjm-Tehrani
Reactive Systems in Physical Environments: Compositional Modelling and Framework for Verification

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

375
Ulf Söderman
Conceptual Modelling of Mode Switching Physical Systems

383
Andreas Kågedal
Exploiting Groundness in Logic Programs

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

413
Mikael Pettersson
Compiling Natural Semantics

1996
414
Xinli Gu
RT Level Testability Improvement by Testability Analysis and Tranformations
[official abstract]

416
Hua Shu
Distributed Default Reasoning
[official abstract]

429
Jaime Villegas
Simulation Supported Industrial Training from an Organisational Learning Perspective - Development and Evaluation of the SSIT Method
[official abstract]

431
Peter Jonsson
Studies in Action Planning: Algorithms and Complexity
[official abstract]

437
Johan Boye
Directional Types in Logic Programming
[official abstract]

439
Cecilia Sjöberg
Activities, Voices and Arenas: Participatory Design in Practice
[official abstract]

448
Patrick Lambrix
Part-Whole Reasoning in Description Logics
[official abstract]

452
Kjell Orsborn
On Extensible and Object-Relational Database Technology for Finite Element Analysis Applications
[official abstract]

459
Olof Johansson
Development Environments for Complex Product Models
[official abstract]

462
Lars Degerstedt
Tabulation-based Logic Programming: A Multi-Level View of Query Answering
[official abstract]

1997
461
Lena Strömbäck
User-Defined Constructions in Unification-Based Formalisms
[official abstract]

475
Fredrik Nilsson
Strategi och ekonomisk styrning - En studie av hur ekonomiska styrsystem utformas och används efter företagsförvärv
[official abstract]

480
Mikael Lindvall
An Empirical Study of Requirements-Driven Impact Analysis in Object-Oriented Software Evolution
[official abstract]

485
Göran Forslund
Opinion-Based Systems: The Cooperative Perspective on Knowledge-Based Decision Support
[official abstract]

494
Martin Sköld
Active Database Management Systems for Monitoring and Control
[official abstract]

495
Hans Olsén
Automatic Verification of Petri Nets in a CLP Framework
[official abstract]

498
Thomas Drakengren
Algorithms and Complexity for Temporal and Spatial Formalisms
[official abstract]
[constituents]

502
Jakob Axelsson
Analysis and Synthesis of Heterogeneous Real-Time Systems
[official abstract]

503
Johan Ringström
Compiler Generation for Data-Parallel Programming Langugaes from Two-Level Semantics Specifications
[official abstract]

512
Anna Moberg
Närhet och distans - Studier av kommunikationsmmönster i satellitkontor och flexibla kontor
[official abstract]

1998
520
Mikael Ronström
Design and Modelling of a Parallel Data Server for Telecom Applications
[official abstract]

522
Niclas Ohlson
Towards Effective Fault Prevention - An Empirical Study in Software Engineering
[official abstract]

526
Joachim Karlsson
A Systematic Approach forPrioritizing Software Requirements
[official abstract]

530
Henrik Nilsson
Declarative Debugging for Lazy Functional Languages
[official abstract]

555
Jonas Hallberg
Timing Issues in High-Level Synthesis
[official abstract]

1999
561
Ling Lin
Management of 1-D Sequence Data from Discrete to Continuous
[official title sheet], [official abstract]

563
Eva L Ragnemalm
Student Modelling based on Collaborative Dialogue with a Learning Companion
[official title sheet], [official abstract]

567
Jörgen Lindström
Does Distance matter? On geographical dispersion in organizations
[official title sheet], [official abstract]

582
Vanja Josifovski
Design, Implementation and Evaluation of a Distributed Mediator System for Data Integration
[official title sheet], [official abstract]

589
Rita Kovordanyi
Modelling and Simulating Inhibitory Mechanisms in Mental Image Reinterpretation - Towards Cooperative Human-Computer Creativity
[official title sheet], [official abstract]

592
Mikael Ericsson
Supporting the Use of Design Knowledge - An Assessment of Commenting Agents
[official title sheet], [official abstract]

593
Lars Karlsson
Actions, Interactions and Narratives
[official title sheet], [official abstract]

594
C G Mikael Johansson
Social and Organizational Aspects of Requirements Engineering Methods - A practice-oriented approach
[official title sheet], [official abstract]

595
Jörgen Hansson
Value-Driven Multi-Class Overload Management in Real-Time Database Systems
[official title sheet], [official abstract]
[PDF, remote access] (Warning: very large file - see top of this webpage)
[PDF, local access]

596
Niklas Hallberg
Incorporating User Values in the Design of Information Systems and Services in the Public Sector
[official title sheet], [official abstract]
[PDF, remote access] (Warning: very large file - see top of this webpage)
[PDF, local access]

597
Vivian Vimarlund
An Economic Perspective on the Analysis of Impacts of Information Technology: From Case Studies in Health-Care towards General Models and Theories
[official title sheet], [official abstract]

598
Johan Jernvald
Methods and Tools in Computer-Supported Taskforce Training
[official title sheet], [official abstract]

607
Magnus Merkel
Understanding and enhancing translation by parallel text processing
[official title sheet], [official abstract]
[PDF, remote access] (Warning: very large file - see top of this webpage)
[PDF, local access]

611
Silvia Coradeschi
Anchoring symbols to sensory data
[official title sheet], [official abstract]
[PDF, remote access] (Warning: very large file - see top of this webpage)
[PDF, local access]

2000
613
Man Lin
Analysis and Synthesis of Reactive Systems: A Generic Layered Architecture Perspective
[official title sheet], [official abstract]

618
Jimmy Tjäder
Systemimplementering i praktiken. En studie av logiker i fyra projekt
[official title sheet], [official abstract]
[PDF, remote access] (Warning: very large file - see top of this webpage)
[PDF, local access]

627
Vadim Engelson
Tools for the Design, Interactive Simulation, and Visualization of Object-Oriented Models in Scientific Computing
[official title sheet], [official abstract]
[PDF, remote access] (Warning: very large file - see top of this webpage)
[PDF, local access]

639
Per-Arne Persson
Bringing Power and Knowledge Together
[official title sheet], [official abstract]
[PDF, remote access] (Warning: very large file - see top of this webpage)
[PDF, local access]


Amendments

Users at IDA please click here for information about how to enter your article into the register and to modify the information about it.


This page is maintained by [EMTEK].