0643
Man Lin
Formal analysis of Reactive Rule-based Programs
1997

0653
Mats Gustafsson
Bringing Role-Based Access Control to Distributed Systems
1997

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

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

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

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

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

0700
Patrik Hägglund
Programming Languages for Computer Algebra
1998

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

0719
Joakim Gustafsson
Extending Temporal Action Logic for Ramification and Concurrency
1998

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

0725
Erik Larsson
High-Level Testability Analysis and Enhancement Techniques
1998

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

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

0733
Thomas Padron-McCarthy
Performance-Polymorphic Declarative Queries
1998

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

0737
Jonas Mellin
Predictable Event Monitoring
1998

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

0748
Tobias Ritzau
Real-Time Reference Counting in RT-Java
1999