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