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

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

1984
17
Vojin Plavsic
Interleaved Processing of Non-Numerical Data Stored on a Cyclic Memory.

28
Arne Jönsson, Mikael Patel
An Interactive Flowcharting Technique for Communicating and Realizing Algorithms

29
Johnny Eckerland
Retargeting of an Incremental Code Generator

1985
48
Henrik Nordin
On the Use of Typical Cases for Knowledge-Based Consultation and Teaching

52
Zebo Peng
Steps Towards the Formalization fo Designing VLSI Systems

60
Johan Fagerström
Simulation and Evaluation of Architecture based on Asynchronous Processes

1986
72
Tony Larsson
On the Specification and Verification of VLSI Systems

73
Ola Strömfors
A Structure Editor for Documents and Programs

74
Christos Levcopoulos
New Results about the Approximation Behavior of teh Greedy Triangulation

1987
71
Jalal Maleki
ICONStraint, A Dependency Directed Constraint Maintenance System

104
Shamsul I. Chowdhury
Statistical Expert Systems - a Special Application Area for Knowledge-Based Computer Methodology

108
Rober Bilos
Incremental Scanning and Token-Based Editing

111
Hans Block
SPORT-SORT Sorting Algorithms and Sport Tournaments

113
Ralph Rönnquist
Network and Lattice Based Approaches to the Representation of Knowledge

118
Markam Kamkar, Nahid Shahmehri
Affect-Chaining in Program Flow Analysis Applied to Queries of Program

126
Dan Strömberg
Transfer and Distribution of Application Programs

127
Kristian Sandahl
Case Studies in Knowledge Acquisition, Migration and User Acceptance of Expert Systems

1988
139
Christer Bäckström
Reasoning about Interdependent Actions

140
Mats Wirén
On Control Strategies and Incrementality in Unification-Based Chart Parsing

146
Johan Hultman
A Software System for Defining and Controlling Actions in a Mechanical System

150
Tim Hansen
Diagnosing Faults using Knowledge about Malfunctioning Behavior

1989
165
Jonas Löwgren
Supporting Design and Management of Expert System User Interfaces

166
Ola Petersson
On Adaptive Sorting in Sequential and Parallel Models

174
Yngve Larsson
Dynamic Configuration in a Distributed Environment

177
Peter Åberg
Design of a Multiple View Presentation and Interaction Manager

181
Henrik Eriksson
A Study in Domain-Oriented Tool Support for Knowledge Acquisition

184
Ivan Rankin
The Deep Generation of Text in Expert Critiquing Systems

187
Simin Nadjm-Tehrani
Contributions to the Declarative Approach to Debugging Prolog Programs

189
Magnus Merkel
Temporal Information in Natural Language

196
Ulf Nilsson
A Systematic Approach to Abstract Interpretation of Logic Programs

197
Staffan Bonnier
Horn Clause Logic with External Procedures: Towards a Theoretical Framework

1990
203
Christer Hansson
A Prototype System for Logical Reasoning about Time and Action

212
Björn Fjellborg
An Approach to Extraction of Pipeline Structures for VLSI High-Level Synthesis

230
Patrick Doherty
A Three-Valued Approach to Non-Monotonic Reasoning

237
Tomas Sokolnicki
Coaching Partial Plans: An Approach to Knowledge-Based Tutoring

250
Lars Strömberg
Postmortem Debugging of Distributed Systems

253
Torbjörn Näslund
SLDFA-Resolution - Computing Answers for Negative Queries

1991
260
Peter D. Holmes
Using Connectivity Graphs to Support Map-Related Reasoning

283
Olof Johansson
Improving Implementation of Graphical User Interfaces for Object-Oriented Knowledge-Bases

298
Rolf G. Larsson
Aktivitetsbaserad kalkylering i ett nytt ekonomisystem

1992
318
Lena Straömbäck
Studies in Extended Unification-Based Formalism for Linguistic Description: An Algorithm for Feature Structures with Disjunction and a Proposal for Flexible Systems

319
Mikael Pettersson
DML-A Language and System for the Generation of Efficient Compilers from Denotational Specification

326
Andreas Kågedal
Logic Programming with External Procedures: an Implementation

328
Patrick Lambrix
Aspects of Version Management of Composite Objects

333
Xinli Gu
Testability Analysis and Improvement in High-Level Synthesis Systems

335
Torbjörn Näslund
On the Role of Evaluations in Iterative Development of Managerial Support Systems

348
Ulf Cederling
Industrial Software Development - a Case Study

352
Magnus Morin
Predictable Cyclic Computations in Autonomous Systems: A Computational Model and Implementation

1993
371
Mehran Noghabai
Evaluation of Strategic Investments in Information Technology

378
Mats Larsson
A Transformational Approach to Formal Digital System Design

380
Johan Ringström
Compiler Generation for Parallel Languages from Denotational Specifications

381
Michael Jansson
Propagation of Change in an Intelligent Information System

383
Jonni Harrius
An Architecture and a Knowledge Representation Model for Expert Critiquing Systems

386
Per Österling
Symbolic Modelling of the Dynamic Environments of Autonomous Agents

398
Johan Boye
Dependency-based Groundness Analysis of Functional Logic Programs

402
Lars Degerstedt
Tabulated Resolution for Well Founded Semantics

406
Anna Moberg
Satellitkontor - en studie av kommunikationsmönster vid arbete på distans

1994
414
Peter Carlsson
Separation av företagsledning och finansiering - fallstudier av företagsledarutköp ur ett agentteoretiskt perspektiv

417
Camilla Sjöström
Revision och lagreglering - ett historiskt perspektiv

436
Cecilia Sjöberg
Voices in Design: Argumentation in Participatory Development

437
Lars Viklund
Contributions to a High-level Programming Environment for a Scientific Computing

440
Peter Loborg
Error Recovery Support in Manufacturing Control Systems

441
Lars Poignant
Informationsteknologi och företagsetablering - Effekter på produktivitet och region

446
Gustav Fahl
Object Views of Relational Data in Multidatabase Systems

450
Henrik Nilsson
A Declarative Approach to Debugging for Lazy Functional Languages

451
Jonas Lind
Creditor - Firm Relations: an Interdisciplinary Analysis

452
Martin Sköld
Active Rules based on Object Relational Queries - Efficient Change Monitoring Techniques

455
Pär Carlshamre
A Collaborative Approach to Usability Engineering: Technical Communicators and System Developers in Usability-Oriented Systems Development

462
Mikael Lindvall
A Study of Traceability in Object-Oriented Systems Development

463
Fredrik Nilsson
Strategi och ekonomisk styrning - En studie av Sandviks förvärv av Bahco Verktyg

464
Hans Olsén
Collage Induction: Proving Properties of Logic Programs by Program Synthesis

1995
469
Lars Karlsson
Specification and Synthesis of Plans Using the Features and Fluents Framework

473
Ulf Söderman
On Conceptual Modelling of Mode Switching Systems

475
Choong-ho Yi
Reasoning about Concurrent Actions in the Trajectory Semantics

476
Bo Lagerström
Successiv resultatavräkning av pågående arbeten. Fallstudier i tre byggföretag

478
Peter Jonsson
Complexity of State-Variable Planning under Structural Restrictions

482
Eva L. Ragnemalm
Towards Student Modelling through Collaborative Dialogue with a Learning Companion

488
Eva Toller
Contributions to Parallel Multiparadigm Languages: Combining Object-Oriented and Rule-Based Programming

489
Erik Stoy
A Petri Net Based Unified Representation for Hardware/Software Co-Design

497
Johan Herber
Environment Support for Building Structured Mathematical Models

498
Stefan Svenberg
Structure-Driven Derivation of Inter-Lingual Functor-Argument Trees for Multi-Lingual Generation

503
Hee-Cheol Kim
Prediction and Postdiction under Uncertainty

513
Joachim Karlsson
Towards a Strategy for Software Requirements Selection

517
Jakob Axelsson
Schedulability-Driven Partitioning of Heterogeneous Real-Time Systems

518
Göran Forslund
Toward Cooperative Advice-Giving Systems: The Expert Systems Experience

522
Jörgen Andersson
Bilder av småföretagares ekonomistyrning

1996
538
Staffan Flodin
Efficient Management of Object-Oriented Queries with Late Binding

545
Vadim Engelson
An Approach to Automatic Construction of Graphical User Interfaces for Applications in Scientific Computing

546
Magnus Werner
Multidatabase Integration using Polymorphic Queries and Views

549
Jonas Hallberg
High-Level Synthesis under Local Timing Constraints

550
Kristina Larsen
Förutsättningar och begränsningar för arbete på distans - erfarenheter från fyra svenska företag

557
Mikael Johansson
Quality Functions for Requirements Engineering Methods

558
Patrik Nordling
The Simulation of Rolling Bearing Dynamics on Parallel Computers

561
Anders Ekman
Exploration of Polygonal Environments

563
Niclas Andersson
Compilation of Mathematical Models to Parallel Code

567
Johan Jenvald
Simulation and Data Collection in Battle Training

575
Niclas Ohlsson
Software Quality Engineering by Early Indentification of Fault-Prone Modules

576
Mikael Ericsson
Commenting Systems as Design Support - A Wizard-of-Oz Study

587
Jörgen Lindström
Chefers användning av kommunikationsteknik

589
Esa Falkenroth
Data Management in Control Applications - A Proposal Based on Active Database Systems

591
Niclas Wahllöf
A Default Extension to Description Logics and its Applications

1997
595
Annika Larsson
Ekonomisk Styrning och Organisatorisk Passion - ett interaktivt perspektiv

597
Ling Lin
A Value-based Indexing Technique for Time Sequences

598
Rego Granlund
C3 Fire - A Microworld Supporting Emergency Management Training

599
Peter Ingels
A Robust Text Processing Technique Applied to Lexical Error Recovery

607
Per-Arne Persson
Toward a Grounded Theory for Support of Command and Control in Military Coalitions

609
Jonas S. Karlsson
A Scalable Data Structure for a Parallel Data Server

615
Silvia Coradeschi
A Decision-Mechanism for Reactive and Coordinated Agents

623
Jan Ollinen
Det flexibla kontorets utveckling på Digital - Ett stöd för multiflex?

626
David Byers
Towards Estimating Software Testability Using Static Analysis

627
Fredrik Eklund
Declarative Error Diagnosis of GAPLog Programs

629
Gunilla Ivefors
Krigsspel och Informationsteknik inför en oförutsägbar framtid

631
Jens-Olof Lindh
Analysing Traffic Safety from a Case-Based Reasoning Perspective
[postscript]

639
Jukka Mäki-Turja
Smalltalk - a suitable Real-Time Language

640
Juha Takkinen
CAFE: Towards a Conceptual Model for Information Management in Electronic Mail
[abstract] [postscript]

643
Man Lin
Formal analysis of Reactive Rule-based Programs

653
Mats Gustafsson
Bringing Role-Based Access Control to Distributed Systems

1998
668
Per-Ove Zetterlund
Normering av svensk redovisning - En studie av tillkomsten av Redovisningsrådets rekommendation om koncernredovisning (RR01:91)

674
Marcus Bjäreland
Two Aspects of Automating Logics of Action and Change - Regression and Tractability

675
Jimmy Tjäder
Projektledaren & planen - en studie av projektledning i tre installations- och systemutvecklingsprojekt

676
Jan Håkegård
Hierarchical Test Architecture and Board-Level Test Controller Synthesis

695
Tim Heyer
COMPASS: Introduction of Formal Methods in Code Development and Inspection

700
Patrik Hägglund
Programming Languages for Computer Algebra

712
Christina Wennestam
Information om immateriella resurser. Investeringar i forskning och utveckling samt i personal inom skogsindustrin

719
Joakim Gustafsson
Extending Temporal Action Logic for Ramification and Concurrency

725
Erik Larsson
High-Level Testability Analysis and Enhancement Techniques

730
Carl-Johan Westin
Informationsförsöljning: en fråga om ansvar - aktiviteter och uppdrag i fem stora svenska organisationers operativa informationsförsörjning

731
Åse Jansson
Miljöhänsyn - en del i företags styrning

733
Thomas Padron-McCarthy
Performance-Polymorphic Declarative Queries

734
Anders Bäckström
Värdeskapande kreditgivning - Kreditriskhantering ur ett agentteoretisk perspektiv

737
Jonas Mellin
Predictable Event Monitoring

738
Joakim Eriksson
Specifying and Managing Rules in an Active Real-Time Database System

1999
723
Henrik André-Jönsson
Indexing time-series data using text indexing methods

748
Tobias Ritzau
Real-Time Reference Counting in RT-Java

775
Anders Henriksson
Unique Kernel Diagnosis
[PDF, remote access] (Warning: very large file - see top of this webpage)
[PDF, local access]

791
Klas Gäre
Verksamhetsförändringar i samband med IS-införande
[PDF, remote access] (Warning: very large file - see top of this webpage)
[PDF, local access]

2000
754
Magnus Lindahl
Bankens villkor i låneavtal vid kreditgivning till högt belånade fastighetsförvärv
[PDF, remote access] (Warning: very large file - see top of this webpage)
[PDF, local access]

820
Jean Paul Meynard
Control of industrial robots through high-level task programming
[PDF, remote access] (Warning: very large file - see top of this webpage)
[PDF, local access]

Note: Latest entries missing

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