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].