Färdiga examensarbeten i datalogi

Nr	Typ	Datum	Namn	Examinator	Handledare	Titel
1	DV1	85-07-31	Torsten Ek
2	DV1	85-08-16	Jan-Peter Echarti
3	DV1	86-03-19	Torbjörn Molin	Rune Gustavsson	Göran Hagert
4	DV1	86-04-17	Annika Waern
5	DV1	86-08-30	Fredrik Holmgren
6	DV1	86-12-17	Sven-Olof Nyström			Guarded Horn Clauses: Application and Implementation (no figures)
7	DV1	87-02-24	Mattias Waldau
8	DV1	87-06-12	Mats Nylén
9	DV1	87-08-24	Kristina Höök
10	DV1	87-08-24	Lars Hagberg
11	DV1	87-09-29	Bo Olofsson
12	DV1	87-12-20	Lars Oestreicher
13	DV1	88-04-29	Nils Hagner, Malik Wafin	Jonas Barklund	Jonas Barklund	Parallel Logic Programming Using Condition Graphs
15	DV1	88-08-22	Peder Gidlund
16	DV1	88-08-22	Per-Ola Olovsson
17	DV1	89-03-27	Martin Aronsson
18	DV1	89-05-08	Christer Sturmark
19	DV1	89-06-13	Anders Engwall	Johan Montelius	Gunnar Stålmarck	Konsistenskontroll av specifikationer i skiktad 1:a ordningens predikatlogik
20	DV1	89-08-08	Cecilia Sjöblom	Kristina Höök
21	DV1	89-12-15	Per Kreuger	Mattias Waldau	Rune Gustavsson	Computation and Application of Higher Order Unification
22	DV1	89-12-18	Johan Montelius	Jonas Barklund	Mattias Waldau	Improvements to an OR-parallel Execution Model for Logic Programs
23	DV1	89-12-21	Björn Carlson	Johan Montelius	Viggo Stoltenberg-Hansen	A Characterisation of Logic Programming in Domain Theory
24	DV1	90-02-05	Majid Zolfaghari-Anaraki	Sven-Olof Nyström	Lars Olgus	SDL-Kompilator
25	DV1	90-02-13	Per-Eric Olsson	Sven-Olof Nyström	Sven-Olof Nyström	Extending FGHC with Functions
26	DV1	90-02-19	Björn Karlsson	Sven-Olof Nyström	Lars Olgus	Generering av relokerbar objektkod för SCL-kompilatorn
27	DV1	90-02-26	Monika Danielsson	Jonas Barklund	Jonas Barklund	A Prolog Interface to SQL Data Bases
28	DV1	91-06-04	Daniel Fagerström	Sven-Olof Nyström	Sven-Olof Nyström	A Dynamic Load Balancing Method for Concurrent Logic Programming Languages
29	DV1	90-04-23	Johan Andersson	Håkan Millroth	Mats Carlsson	Dynamic Indexing in SICStus Prolog
30	DV1	90-04-12	Jan Wünsche	Jonas Barklund	Jonas Barklund	Integrating Prolog and a Multimedia Environment
31	DV1	90-05-04	Johan Bevemyr, Thomas Lindgren	Nils Hagner	Torbjörn Keisu	A Boolean Equation Solver
33	DV1	90-04-20	Magnus Nyström	Kristina Höök	Andreas Hamfelt	Om konstruktionen och användningen av Rådgivande Kunskapsbaserade system
34	DV1	90-11-19	Jan Gabrielsson	Jonas Barklund	Jonas Barklund	A Prolog-to-WAM compiler
35	DV1	90-10-04	Henrik Johansson	Mats Nordström	Mats Nordström	Rationella tal med godtycklig precision
36	DV1	90-10-01	Mikael Eriksson	Mats Nordström	Philippe Mathieu	Inlärning av strukturer i konceptuella scheman från databaser
37	DV1	90-12-06	Fredrik Kant	Håkan Millroth		Conversion From a Flat to a Hierarchically Structured Map-Database
38	DV1	91-02-04	Lars-Owe Ivarsson	Mats Nordström	Anders Ek	A Short Report Upon the Conversion Between Two Common Bitmapped Font Description Formats With the Use of X
39	DV1	91-06-11	Thomas Nordqvist	Mats Nordström	Marie Persson, Infologics	Metodik & design av grafiskt gränssnitt mot relationsdatabaser
40	DV1	92-03-15	Ing-Marie Jonsson, Ingvar Olsson	Sven-Olof Nyström	Anders Lindkvist, Philips Elektronikindustrier AB	Portering av SICStus-PROLOG från UNIX till VMS
41	DV1	91-12-04	Katrin Boberg, Lena Eriksson	Sven-Olof Nyström	Fredrik Holmgren, SICS	Regeleditor
42	DV1	91-08-28	Per Mildner	Jonas Barklund	Jonas Barklund	Design and Implementation of a Modular Real Time Expert System
43	DV1	91-10-22	Magnus Nordin	Håkan Millroth	Sten-Åke Tärnlund	Translation of Enriched Lambda Calculus into Prolog
44	DV1	91-10-22	Kristina Into-Malmberg	Mats Nordström	Bertil Sellberg, Kabi Pharmacia	Kemikalieregister för Analytisk Kemi
45	DV1	91-12-17	Per Ljunggren	Mats Nordström	Magnus Egelberg	WastePaperBasket
46	DV1	91-12-04	Pär Andersson	Sven-Olof Nyström	Erik Hagersten	Performance Evaluation of Different Topologies for the Data Diffusion Machine
48	DV1	92-03-26	Tomas Johansson	Daniel Fagerström	Mats Ljungqvist, Infovox AB	Neural Networks for Linguistic Processing in a Text-to-Speech System
49	DV1	92-05-26	Peter Olin	Sven-Olof Nyström	Martin Aronsson, SICS	Kompilator för GCLA
50	DV1	92-08-20	Marcus Arendt, Anders Ljunggren	Mats Nordström	Johan Sintorn, MIMER Software AB	Ett tid- och projektuppföljningssystem för INFOLOGICS-koncernen
51	DV1	92-08-20	Peter Furster	Per Mildner	Torsten Forsman, Forsmarksverket	Diagnostisk processövervakning i realtid baserad på KBS-teknik
52	DV1	92-09-03	Torbjörn Dahlén	Sven-Olof Nyström	Fredrik Holmgren, SICS	EDIF-översättare
53	DV1	92-10-20	Patric Pramdal	Mats Nordström	Stefan Eck, Sören Thuresson, MIMER Software AB	Implementering av kundregister med grafiskt gränssnitt för flera användare
54	DV1	93-06-07	Gudmundur Kristjansson, Ola Wicksell	Mats Nordström	Magnus Thorburn, Trivium Software AB	OPUS - OperationsPlanerings och UppföljningsSystem
55	DV1	93-02-08	Stephen Cooper	Åke Hansson	Åke Hansson	Graphical Presentation of Logic Programs
56	DV1	93-06-01	Ludvig Borgne	Jonas Barklund	Takashi Ohmizo, Toshiba Corp.	Performance Evaluation of a Distributed Shared Memory Architecture
57	DV1	93-11-18	Anette Lundberg	Johan Bevemyr	Mats Carlsson, SICS	Optimeringar i SICStus Prolog
58	DV1	93-09-29	Patrik Svensson	Mats Nordström	Bert Lachner, CadCraft AB	Nestning av oregelbundna figurer
59	DV1	94-04-26	Mats Johansson, Tomas Wiiand	Per Mildner	Per Mildner	POFF - Ett objektorienterat skytteadministrativt program
60	DV3	94-05-10	Kent Saxin Hammarström, Robert Nilsson	Mats Nordström	Ivan Bretan, SICS	V: A Visual Query Language for Multimodal Interfaces
61	DV1	93-11-24	Johan Högberg	Daniel Fagerström	Olle Bjurstam, ABB Network Control AB	Korttidsprognos av värmelast i fjärrvärmenät med ANN
62	DV3	93-12-16	Magnus Nordström, Paul Pettersson	Lars Oestreicher	Jussi Karlgren & Björn Gambäck, SICS	A Tool for Rapid Manual Translation
63	DV1	94-03-31	Erik de Connick	Mats Nordström	Nils Hagner, MIMER Software AB	Mapping an Object Oriented Data Model to a Relational Database
64	DV2	94-03-01	Ludvig Borgne	Björn Carlson	Mats Carlsson, SICS	Automatic Frequency Assignment for Cellular Telephones Using Local Search Heuristics
65	DV1	94-11-01	Stefan Jonsson	Mats Nordström	Lennart Nordstrand, AB Consonant	Taxiautomaten
66	DV3	95-03-07	Max Leitgeb, Staffan Pernler	Torkel Hjerpe	Olle Olsson, SICS	Functional and Structural Reasoning in Configuration Tasks
67	MN3	94-10-04	Magnus Holmgren	Mats Nordström	SGU	TTC - Tables to Tables Converter och en studie i Reverse Modeling
68	MN1	94-11-20	Johan Gustavsson	Mats Nordström	Göran Samuelsson, Mandator i Uppsala AB	Grafiskt gränssnitt mot dokumentdatabas
69	MN2	94-12-15	Johan Gustavsson	Mats Nordström	Göran Samuelsson, Mandator i Uppsala AB	Marknadssystem
70	DV3	94-11-30	Anders Frank, Ola Samuelsson	Johan Bevemyr	Robert Virding, Ellemtel AB	A Graphical User Interface for Erlang
71	DV2	95-02-15	Lars Secher	Björn Carlson	Sverker Janson, SICS	Records for AKL: An Implementation in AGENTS
72	DV3	95-06-10	Anders Andersson	Håkan Millroth	Dan Sahlin, SICS	SAGA - Syntax Analyzer Generator for Agents
73	DV3	95-01-16	David Samuelsson	Håkan Millroth	Peter Magnusson, SICS	System Level Interpretation of the SPARC V8 Instruction Set Architecture
75	DV1	95-04-03	Mats Kronbladh	Mats Nordström	Anders Jangö, Consilium Marine AB	Konstruktion av databashanterare för teknisk dokumentation
76	DV3	99-08-31	Benny Magnusson	Mats Nordström		Utvärdering av 4GL-verktyg
77	DV3	95-05-01	Samuel Tronje	Håkan Millroth	Björn Carlsson	Process-based simulation of interactive agents in a dynamic terrain
78	DV2	95-08-14	Anette Lundberg, Håkan Törngren	Johan Bevemyr	Johan Bevemyr	PLC - en Prolog till C kompilator
79	DV1	95-09-18	Kristoffer Vinge	Mats Nordström	Anne Arhin, Ericsson Microwave Systems AB; Siri Rosenquist, Omicron Ceti AB	Utveckling av Ericsson Microwave Systems AB:s Problem- och ändringshanteringssystem
80	MN3	95-09-29	Key Hyckenberg	Björn Carlson	Mats Carlsson, SICS	Implementing a Finite Domain Constraint Solver for SICStus Prolog
81	DV3	95-11-15	Jan Erik Berg	Per Mildner	Jari Vuorio, Ericsson Telecom AB	Programprofilering i AXE10
82	DV3	95-11-20	Arne Borälv, Herman Ågren	Björn Carlson	Gunnar Stålmarck, Logikkonsult NP AB	Formal verification of Programmable Logic Controllers
83	DV3	95-11-30	Olle Pellijeff	Johan Bevemyr	John-Olof Bauner, Ericsson Radio Systems AB	A Service Creation and Execution Environment based on the Intelligent Network Concept
84	DV3	96-01-08	Patric Hedlin	Johan Bevemyr	Johan Bevemyr	In Making of the Luther Reform Prolog System
85	DV3	95-12-20	Greger Ottosson	Mats Carlsson	Bogumil Hausman, Ericsson Utvecklings AB	An Extension of Erlang with Finite Domain Constraints
86	DV3	96-03-05	Pär Mattsson	Kent Saxin Hammarström	Björn Gambäck och Jussi Karlgren, SICS; Bengt Wahrolén, Scandface IT	A Statistical Translation Tool with Aligned Texts
87	DV3	96-02-20	Niklas Kaltea	Håkan Millroth	Björn Carlson; Bo Hagerf, Eskil Hagberg, CelsiusTech IT AB	A Specification Language for Intelligent Agents
88	DV3	96-08-21	Martin Klint	Kent Saxin Hammarström	Roman A. Zubarev, Inst. för Jonfysik	Datorunderstödd sekvensering av linjära peptider
89	DV3	98-06-09	Pekka Hedqvist	Johan Bevemyr	Tony Rogvall, Ericsson Utveckling AB	A Multithreaded Erlang Implementation
90	DV3	96-04-25	Alexander Bottema	Håkan Millroth	Håkan Millroth	An Asynchronous Message Passing and Concurrent Scheme Implementation
91	DV3	96-04-25	Anders Lindgren	Håkan Millroth	Håkan Millroth	A Prototype of a Soft Type system for Erlang
92	DV1	96-05-29	Daniel Palmgren	Mats Nordström	Nils-Olof Johansson, AB Sangtec Medical	Miljökontroller
93	DV3	96-05-29	Cecilia Ekelin, Martin Olovsson	Thomas Lindgren	Thomas Lindgren	UUMCT-95
94	DV2	96-06-11	Kristina Sirhuber	Håkan Millroth	Torbjörn Törnkvist, Ericsson Utveckling AB	Yerl - A Literate Documenting Tool and a Program Development Environment for Erlang
95	MN2	96-06-19	Ola Strandberg	Mats Nordström	Per Manell, PharmaSoft AB	A Workflow System Prototype for the Modeling of Regulatory and Other Processes in the Pharmaceutical Area
96	Detta examensarbete har avbrutits
97	DV3	96-09-12	Håkan Eriksson	Håkan Millroth	Fredrik Kant, Front Capital Systems	Improvement of data-distribution in client/server systems
98	DV3	96-11-26	Joel Sunnehall	Pierangelo Dell'Acqua, Kent Saxin Hammarström	Scott McGlashan, SICS	Robust Parsing Using Dependency with Constraints and Preference
99	DV3	00-02-19	Anders Rosén	Monika Danielsson	Lars Planelid, Ericsson Telecom	Migration of service and customer data in intelligent network applikations
100	DV3	96-10-02	Erik Johansson, Christer Jonsson	Håkan Millroth	Håkan Millroth	Native Code Compilation for Erlang
101	DV3	96-12-19	Peter Molin, Fredrik Ström	Jan Gabrielsson	Klas Eriksson, Janne Lindblad, Ericsson Software Technology, Erlang Systems	A GUI Builder for Erlang/GS (big, 32Mb unpacked)
102	DV2	96-12-17	Cecilia Ekelin, Martin Olovsson	Mats Carlsson	Hans Jørgen Skovgaard, Beologic A/S	Local Search for Configuration Problems
103	DV3	97-01-14	Jan Sjödin	Thomas Lindgren, CSD	Thomas Lindgren, CSD	A Global Code Optimizer Utilizing Static Single Assignment Form
104	DV3	97-01-20	Magnus Carlsson, Jörgen Pettersson	Johan Bevemyr	LM Ericsson Data AB	The Potential of Java-based Web Clients
105	DV3	97-01-29	Fredrik Larsson	Johan Bevemyr	Peter Magnusson, Bengt Werner, SICS	Generating Efficient Simulators from a specification language
106	DV3	97-02-04	Joakim Eriksson, Niclas Finne	Håkan Millroth	Sverker Janson, SICS	MarketSpace: an open agent-based market infrastructure
107	DV3	97-04-22	Dirk Auchter	Roland Bol	Roland Bol, CSD, Tomas Grelsson, TEAB	Tool Support for Requirements Engineering: Applying the ARENA Methodology
108	MN3	97-04-29	Richard Carlsson	Håkan Millroth	Håkan Millroth	Towards a deadlock analysis for Erlang programs
109	DV3	97-07-21	Gustaf Naeser	Håkan Millroth	Dan Sahlin, Ericsson Utveckling AB	SafeErlang
110	MN3	97-11-04	Henrik Berg	Mats Nordström	Ola Strandberg, Pharmasoft	SGML database
111	DV3	97-09-26	Jens Johansson, Staffan Thorell	Anders Lindgren	Henrik Brundin, Libro Software AB	Säljstödsystem
112	DV3	97-12-17	Jesper Nielsen	Per Mildner	Per Bergström, B & M Systemutveckling AB	Application Program interfaces for Communication Modules in Microsoft Windows
113	DV3	98-01-16	Jesper Eskilson	Mats Carlsson	Stefan Andersson, SICS	SICStus MT - A Multithreaded Execution Environment for SICStus Prolog
114	DV3	97-10-27	Tomas Sondén	Alexander Bottema	Svein Arne Østevik, Unusual Systems AB	Databasapplikationer i Java
115	DV3	97-11-04	Emil Gustafsson	Roland Bol	Richard Elg, Sjöland & Thyselius Datakonsulter AB	A Scientific Software Engineering Approach for Reengineering an Agent Based Simulation Tool Appendix: a specification
116	TF3	97-11-04	Torbjörn Friberg	Robert Nilsson	Tommy Stenvi, Telia Promotor	Evaluation of the commercial status of Javs database connectivity (JDBC)
117	TF3	99-07-09	Lena Johansson	Jonas Barklund	Jonas Blomberg, Anette Lundberg, Combitech Nexus	Datorstöd för Nexus kvalitetssystem, framsida , rapport
118	MN3	98-01-16	Micael Lindgren	Greger Ottosson, CSD	Andy Hendricks	Capacity planning and system sizing for a transaction-based insurance system
119	DV3	98-02-10	Jinghong Zhang	Jan Gabrielsson	Scott McGlashan, Ericsson Radio Systems	Inforserver - Accessing Internet Services for Audio Presentation
120	DV3	98-02-05	Niko Lehto	Per Mildner, CSD	Mats Larsson, Agero Systemutveckling AB	A methodical design and implementation of generic internet based client/server applications
121	DV3	98-02-13	Fredrik Blom	Mats Nordström	Lars Berg, Sysdeco/Mimer	SQL/PSM, a standard for persistent stored modules?
122	DV3	98-02-06	Lars Petterson	Roland Bol, CSD	Sverker Jansson, SICS	An agent-oriented interface to multiple databases
123	DV1	98-03-19	Johan Westermark	Per Mildner	Björn Broberg, Teknikforum AB	Automatiskt dimensioneringssystem för Tappvattensystem
124	DV3	98-03-25	Elias Andersson	Mats Nordström	Gunnar Blomberg, Objectory AB	Automatic Layout of Diagram in Rational Rose
125	DV3	98-05-18	Martin Argenius	Sven-Olof Nyström	Andrei Voronkov	Semantics of constraint logic programs with bounded quantifiers
126	DV3	98-09-08	Nils Franzen, Erik Klintskog	Seif Haridi	Per Brand, SICS	Distributed Tk: Distributed graphical applications made easy
127	DV2	99-01-11	Daniel Palmgren	Mats Nordström	Maarit Bäcklander, AB Sangtec Medical	Automatisering av kvalitetskontroll för immunodiagnostik
128	DV3	98-06-05	David Rosén	Werner Schneider, CMD	Johan Sallros, Telia Research AB	Multimodal Human-Agent Communication
130	MN3	98-07-03	Kin-Chun Wong	Mats Carlsson	Per Johan Ulfendahl, Lennart Björkesten	Optimisation of primer sets for identification of genes using APEX
131	DV3	98-11-11	Göran Smedbäck	Thomas Lindgren	Manuel Hermenegildo, Universidad Politécnica de Madrid	An integration of Prolog and VRML, with an application to Constraint visualisation System documentation
132	DV3	98-08-31	Johan Nordin	Thomas Lindgren	Carl von Platen	A description language for automated generation of target specific assembly and disassembly tools
133	DV3	98-09-07	Erik von Porat	Roland Bol, CSD	Magnus Sjökvist, Intentia R&D	Lagring av objekt i relationsdatabas
134	DV3	98-11-06	Andreas Sundström	Sven-Olof Nyström, CSD	Per Brand	Comparative study between Oz 3 and Java
135	MN3	98-12-15	Per Persson	Arne Andersson	Johan Gilliusson, Håkan Stolt	Elektronisk handel och agenter
136	DV3	99-04-08	Leif Jonsson	Monika Danielsson, CSD	Scott McGlashan	A Voice Browser for Wireless Terminals
137	DV3	98-12-14	Niclas Eklund	Thomas Lindgren	Babbis Xagorarakis, Ericsson Telecom AB	Transaction service for distributed control systems
138	DV3	98-12-10	Fredrik Duprez	Mats Nordström	Ola Strandberg, Core Technologies, PharmaSoft AB	Investigator's Workbench
139	TF3	98-12-13	Oskar Wibling	Faron Moller	Richard Mohringe, Sjöland & Thyselius Datakonsulter AB	Terrain analysis with radio link calculations for a map presentation program
140	MN1	99-01-14	Markus Wallmyr	Roland Bol	Magnus Wijk	StemGraph: Ett verktyg för effektivare utnyttjande av skogen
141	DV3	98-12-28	Peter Jaric	Richard Carlsson, CSD	Stefan Willehadsson	An Agent-based Location System
142	DV3	99-01-21	Farshid Sedghi	Arne Andersson, CSD	Stefan Knorn, Per Råborg (Compaq/Digital)	Data Caching in Browsers
143	DV3	00-07-17	Peter Andersson, Markus Kvisth	Erik Johansson	Gunilla Hugosson, Erlang Systems, Ericsson Software Technology AB	A general protocol stack interface in Erlang
144	MN3	99-03-26	Ted Lindholm	Sven-Olof Nyström, CSD	Patrik Andersson, Netsolutions Sweden AB	Affärskritisk dokumenthantering med intra- och extranät
145	MN3	99-03-18	Mats Hansen, Johan Markström	Mikael Petterson, CSD	Joachim von Porat, Ericsson	ATM Switch Multi Purpose Test Tool
146	MN3	99-04-14	Johan L. Larsson	Arne Andersson, CSD	Arne Andersson, CSD	Reuse, genericity and frameworks
147	DV3	99-05-25	Magnus Karlsson	Roland Bol	Mats Sundvall (Syncom Financial Systems AB)	Orbix versus TAO
148	DV3	99-11-03	Micke Edvardsson	Erik Johansson	Bjarne Däcker	3D Case Tool: An interesting view on debugging
149	EIP	99-05-21	Tore Cederholm	Richard Carlsson, CSD	Jonas Byström, TagMaster AB	ConfiTrack access system: Development of an application for the web
150	TF3	99-05-14	Jens Göransson	Andrei Voronkov, CSD	Lars Erni, Siemens-Elma	Storage of cardiac catheterization data according to structured reporting in the object oriented database Versant.
151	DV3	99-05-28	Markus Bylund	Lars Thalmann, CSD	Annika Waern , SICS	Coordinating adaptions in open service architectures
152	TF3	99-06-30	Jani Bäckman	Arne Andersson, CSD	Magnus Ahlin	What is reasonable security in e-commerce? Front page
153	EIP	99-09-09	Stefan Eriksson	Sven-Olof Nyström, CSD	Lars Ericsson, Signals and Systems	Framework for developing platform-independent applications in JavaC
154	DV3	99-10-05	Jan von Knorring	Arne Andersson, CSD	Mats Sundvall, Syncom Financial Systems AB	Utvärdering av ramverk för finansiella marknadsplatser
155	DV3	99-10-05	Ola Wistedt	Mikael Pettersson	Carl von Platen, IAR Systems AB,	Effektiv implementering av C++ för inbyggda system
156	DV3	99-09-20	Olof Lindroth	Arne Andersson, CSD	Arne Andersson, CSD	On understanding partial execution
157	DV3	99-10-26	Håkan Stenholm	Richard Carlsson	Håkan Thorsson, Ericsson	An Evaluation of Methods for Displaying Call Graphs
158	DV3	00-03-27	Fredrik Hjelm	Sven-Olof Nyström, CSD	Daniel Adler, dKraft	Programutveckling till PDA
159	DV3	02-01-11	Francesco Cesarini	Mikael Pettersson, CSD	Mike Williams, Ericsson Utvecklings AB	The managed resource interface: Interfacing Erlang with standardised management protocols
160	DV3	99-12-15	Gunnar Sverredal	Roland Bol, CSD	Erik Aurell, Industrilogik L4i AB	Kapacitet på Järnvägsstationer
161	DV3	00-01-11	Julieta Santa Cruz	Arne Andersson, CSD	Erik Afzelius	XML for Electronic Data Interchange
163	IT3	00-02-29	Rickard Johansson	Arne Andersson, CSD	Keiichiro Hoashi, KDD R&D	Information Filtering using Threshold Adjustment
164	DV1	00-03-02	Jakub Orzechowski	Roland Bol, CSD	Dennis Dams, TU Eindhoven	A solution for combining partial order reduction and rendez-vous communication in Spin
165	DV3	00-03-08	Johan Runeson	Sven-Olof Nyström, CSD	Sven-Olof Nyström, CSD	Code compression through procedural abstraction before register allocation
166	TF3	00-03-20	Johan Isaksson	Roland Bol	Erik Kjellberg	The Design and Implementation of Scalable and Distributed Map Based Information System
167	MN1	00-09-04	Elisabeth Bjernulf	Jan Gulliksen, HCI	Christer Wiklund, WM-data	Att publicera ISO-dokument---Ett användargränssnitt
168	MN3	00-06-20	Clara Benac-Earle	Kostis Sagonas, CSD	Thomas Arts, Ericsson	Symbolic Program Execution Using the Erlang Verification Tool
169	DV3	00-08-17	Magnus Moberg	Monika Danielsson, CSD	Fredrik Henslin	Databasreplikering mellan en bärbar dator och en central SQL-databas
170	DV3	00-07-12	Tomas Tsegaye	Monika Danielsson, CSD	Johan Peters, NextLevel AB	Replikering mellan databasservrar med hjälp av HTTP och XML
171	DV3	00-12-04	Johnny Burlin	Sven-Olof Nyström	Daniel Widenfalk, IAR	Optimizing stack frame layout for embedded systems
172	IT3	01-01-29	Daniel Berg	Faron Moller, CSD	Charilaos Christopoulos, ERA	Search and delivery of multimedia information using MPEG-7 technology
173	EIP	00-09-26	Olle Johannesson, Sasan Tajallaei	Sven-Olof Nyström	Martin Sköld, Ericsson Utvecklings AS	XML based interfaces to TelORB
174	MN3	00-09-05	Joel Ottosson	Faron Moller, CSD	Micael Lindgren, Celsius Tech Systems	3D visualization of geographical data in OpenMap
175	TF3	00-08-17	Lars-Fredrik Smedberg	Monika Danielsson	Per Welander	Mobile Technical Stock Analysis
176	IT3	00-10-25	Martin Rosendahl	Roland Bol, CSD	Daniel Blomquist, Carl Holmquist and Björn Hedin, Ascade	Enterprise application integration - Strategies for the telecommunication market
177	DV3	00-12-24	Hama Biglari	Richard Carlsson	Måns Engstedt, Ericsson Utvecklings AB	An operation and maintenance platform based on Enterprise Java Beans
178	DV3	00-12-24	Ulf Ekström	Richard Carlsson, CSD	Lennart Öhman	Design patterns for simulations in Erlang/OTP
179	DV3	02-01-10	Samuel Ranta-Eskola	Faron Moller, CSD	Hans Andersson, Erik Olofsson, O3Games	Binary space partioning trees and polygon removal in real htime 3D Rendering
181	TF3	01-03-01	Henrik Nässén	Kostis Sagonas	Mats Carlsson	Optimizing the SICStus Prolog virtual machine instruction set
182	MN3	01-09-10	Johan Edlund	Sven-Olof Nyström, CSD	Daniel Mattioli	EPOC Visual Builder
183	MN1	01-04-25	Fredrik Pettersson	Roland Bol	Natalia Eremina, CC Systems AB,	Architecture for information processing using XML in distributed systems for the forest industry
184	DV3	01-03-03	Gustaf Holmkvist	Kent Saxin Hammarström	Ivan Bretan	Dependens-baserad syntaktisk analys
186	DV3	01-11-21	Bengt Gunne	Mats Nordström	Stefan Eck	Design of MimerSQL transaction handling system
187	MN3	01-01-01	Viktor Peterson	Sergei Vorobyov, CSD	Sergei Vorobyov, CSD	A Randomized Subexponential Algorithm for Parity Games
188	MN3	01-10-23	Samuel Åslund	Mikael Pettersson	Markus Wallmyr, CC Systems AB	A study of technologies supporting development of software with an N-tier architecture
189	DV3	01-09-13	Thomas Tengheden	Roland Bol, CSD	Emil Gustafsson, NTier	Techniques for reuse in binary object models
190	DV3	01-07-31	Mats Sandin	Roland Bol, CSD	Emil Gustafsson, NTier Solutions	A comparison of EJB and COM+ for distribution in a multitier environment
191	DV3	01-06-14	Viveka Heyman	Arne Andersson, CSD	Jesper Högberg, PipeBeach AB	Domain specific text processing for speech synthesis
194	MN2	01-09-04	Emmanuel Beffara	Sergei Vorobyov, CSD	Sergei Vorobyov, CSD	Adapting Gurvich-Karzanov-Khachiyan's Algorithm for Parity Games: Implementation and Experimentation
195	MN3	01-09-05	Robert Stjernström	Bengt Sandblad, HCI	Erik Borälv, Eva Olsson	User-centered design of a train driver display
196	DV3	02-01-10	Johan Sjöstrand	Sven-Olof Nyström	Emil Gustafsson	Anpassande av applikationslogik till ett XML-baserat dataformat i en multilagerapplikation
197	DV3	01-11-23	Ulf Magnusson	Kostis Sagonas, CSD	Kostis Sagonas, CSD	An X86 back-end for the HiPE compiler
198	DV3	02-01-11	Magnus Johansson	Sven-Olof Nyström, CSD	Cons T. Åhs	Pluginarkitektur för Igor Engraver
199	MN3	02-01-09	Daniel Söderholm	Roland Bol, CSD	Svetozar Serafimovski, Industrilogik L4i AB	Automatisk kontroll av yrkeschaufförers arbetsscheman
200	DV3	01-12-19	Christian Erlandsson	Kostis Sagonas	Emil Gustafsson, NTier	Generating client-specific SQL using XML and related technologies
201	DV3	01-12-18	Henrik Björklund	Sergei Vorobyov, CSD	Sergei Vorobyov, CSD	New algorithmic approaches to solving infinite games
202	TF3	01-12-21	Markus Larsson, Tomas Wikström	Anders Jansson, MDI	Helmer Marquardt	Användbarhet och intranät: utveckling av ett analysverktyg
204	TF3	02-02-18	Karl Viklund	Sven-Olof Nyström	Lars Lindqvist	Utvärdering av konfiguratorverktyg
205	MN3, DV3	02-03-01	Roger Björnstedt, Jonas Hed, Anders Gustafson	Arne Andersson, CSD	Fredrik Ygge, Mattias Tenhunen, CSD	Developing and Implementing Combinatorial Auctions Using Integer and Constraint Programming Techniques.
206	MN3	02-03-14	Ulrika Krusemo	Mikael Pettersson	Jens Lindqvist	Automatisk uppdatering av värdepappersinformation
207	IT3	01-05-02	Gustaf Brandberg	Arne Andersson, CSD	Keiichiro Hoashi, KDD R&D Laboratories	Query expansion using collaborative filtering algorithm
208	DV3	02-03-05	Anders Grusell	Richard Carlsson, CSD	David Hemmingsson, Itsip AB	Partial Evaluation of XSLT Programs
209	DV3	02-07-02	Magnus Ågren	Kostis Sagonas, CSD	Mats Carlsson, SICS	Tracing and Explaining the Execution of CLP(FD) Programs in SICStus Prolog
210	DV3	02-02-28	Ulrika Cederlund	Bengt Sandblad, HCI	Susanne Dale, Siemens Elema AB	Quantitative Evaluation and Redesign of an Illustration and Reporting Tool used for Documentation of Coronary Investigations
211	MN3	02-03-18	Andreas Hermansson, Harri Järvinen	Mikael Pettersson, CSD	Anders Lindgren, OM technology AB	Generering och hantering av poster med XML som bas
212	DV3	02-04-04	Jesper Wilhelmsson	Kostis Sagonas, CSD	Kostis Sagonas, CSD	Memory architecture for Erlang: implementation and performance evaluation
213	DV3	02-04-24	Viktor Lidholt	Sven-Olof Nyström	Karl Hörnell, Ongame	Design and testing of a generic server for multiplayer gaming
214	MN3	02-05-08	Ulla Ahonen-Jonnarth	Arne Andersson, CSD	Arne Andersson, Siv Andersson, Björn Canbäck	Dynamic web interface for metabolic pathways
215	MN3	02-06-04	Julia Norman	Pierre Flener, CSD	Peter Huotila	Evaluation and implementation of a persistence layer for relational databases
216	DV3	02-06-07	Jonny Yakub	Mikael Pettersson, CSD	Martin Sköld	Java Profiler for TelORB
217	EIP	02-11-12	Magnus Östlin	Richard Carlsson, CSD	David Molin, Björn Lööv, Nocom	Analys, databashantering och programutveckling
218	MN3	02-06-19	Sven Sandberg	Sergei Vorobyov, CSD	Sergei Vorobyov, CSD	Completely unimodal pseudo-boolean functions: Experiments with generation and optimization algorithms
219	MN3	02-07-09	Antonio Addario	Roland Bol, CSD	Kjell Backudd	SCA News-Publisher: An automated XML-based news publishing System
220	DV3	02-08-28	Harald Hammarström	Roland Bol, CSD	Maarten de Rijke, ILLC, Amsterdam	Shallow reasoning on open domain texts
221	MN1	02-07-05	Remigijus Staniulis	Tore Risch	Tore Risch	Implementation of algebra for representing and querying moving objects in object-relational database
222	DV3	02-08-13	Jakub Orzechowski Westholm, Adam Ameur	Arne Andersson, CSD	Erik Aurell, SICS	Local search methods in gene expression analysis
223	IT3	02-09-05	Simon Wrang	Pierre Flener, CSD	Pierre Flener, CSD	Implementation of the ESRA constraint modelling language
224	DV3	02-08-29	Linus Holmlund	Mikael Pettersson, CSD	Håkan Lundvall, Cap Gemini	3D-visualisation in drill rig environments
225	TF3	00-03-13	Thomas Höglund	Jan Gulliksen, HCI	Ola Hedberg, Scandinavian Airlines Data AB	Prestandaundersökning hos objektorienterade system
226	EIP	02-10-10	Johan Säll, Thomas Wahlsten	Tore Risch	Johan Söderbom, Vattenfall utveckling	Svart-låda-funktion för TK-system
227	DV1	02-10-23	Theres Wiklund	Lars-Henrik Eriksson, CSD	Dan Johnsson & Georgios Bizas, Frobozz	IT-plattform för undervisningsstöd
228	TF3	02-11-08	Per Gustafsson	Konstantinos Sagonas, CSD	Konstantinos Sagonas, CSD	Efficient native compilation of binaries in the HIPE system
229	TF3	02-10-22	Tobias Lindahl	Konstantinos Sagonas, CSD	Konstantinos Sagonas, CSD	Compilation of floating point arithmetic in the high performance Erlang compile
230	EIP	02-11-18	Fredrik Lundgren	Lars-Henrik Eriksson, CSD	Göran Edgren	Värderingsprogram för helikoptrar
231	MN1	02-12-01	Jan Lund	Tore Risch	Timour Katachaunov	Digital archive prototype system
232	DV3	02-12-16	Andreas Börstad	Roland Bol	Emil Gustafsson, NTier	Maintenance and performance issues in three different multi-tier designs
233	MN3	03-02-17	Björn Andersson	Stefan Seipel, HCI	Stefan Seipel, HCI	A functional framework for flexible configuration of virtual and distributed teaching environments
234	DV3	03-01-13	Erika Groth	Roland Bol	Per Åhman, Avesta Polarit	Implementering och utvärdering av 3-skiktslösning och .NET
235	MN3	02-12-17	Christof Roduner	Tore Risch	Tore Risch	Accessing XML data from an object-oriented database system
236	DV3	02-12-20	Björn Johansson	Evert Bengtsson, centrum för bildanalys	Evert Bengtsson	Automated road sign reading with a moving camera
237	DV3, MN3	03-03-04	Nicolas Espinoza, Jonas Kreku	Iordanis Kavathatzopoulos	Andreas Nilsson, Anoto AB	Conceptualizing digital notes
238	TF3	03-02-17	Robin Stridh	Stefan Seipel	Stefan Seipel	Components for application sharing in 3D graphical environments based on VNC
241	EIP	03-05-05	Björn Eriksson	Eva Olsson, HCI	Mattias Wallén, Lärostaden IT	Utveckling av en websideadministratör
242	MN3	03-09-17	Giovanni Pineda	Tore Risch, UDBL	Matthias Palmér	Dynamic construction of context-maps for Netscape's Open Directory Project
243	DV3	03-09-16	Martin Hansson	Tore Risch	Tore Risch	Wrapping external data by query transformations
245	MN2	03-08-25	Jan Lund	Sven-Olof Nyström, CSD	Jörgen Enström, Exor	Utvärdering av olika standardtekniker för effektiv dataåtkomst för webstatistiksystem
246	DV3	03-09-19	Jimmy Duben, Robert Haglund	Anders Jansson, HCI	Peter Friström, Datessa	Utveckling och utvärdering av befintligt användargränssnitt i administrativt system
247	EIP	03-12-01	Rickard Forssell	Sven-Olof Nyström	Håkan Sjöstrand	MATCHO: Applikation för utvärdering av positionsavvikelser i samband med strålbehandling
248	DV3	03-08-29	Mats Pettersson	Erik Borälv, HCI		Användargränssnitt för styrning och presentation av mätdata
249	DV3	03-08-26	Anton Hultqvist	Bengt Sandblad, HCI	Mattias Åslund, Grafisk företagsutveckling AB	Omformning av befintligt gränssnitt genom användarcentrerad utveckling
250	DV3	03-09-18	Andreas Boyzel	Iordanis Kavathatzopoulos	Mats Eskhult	Att utveckla en distanskurs för syriska med användarcentrerade metoder
251	TF3	03-11-20	Tomm Östlund	Arne Andersson, CSD	Lars Lindqvist, Jaybis AB	Utvärdering av plattformar för e-handel
252	DV3	03-09-17	Jimmy Flink	Anders Jansson, HCI	Erik Borälv HCI	Simuleringsmotor för tågtrafik med stöd för experimentell konfiguration
253	DV3	03-11-25	Jesper Bengtson	Sven-Olof Nyström	Johan Runeson	The design and construction of a backend for an ARM 7 compiler
254	EIP	03-10-10	Azizullah Khodabandeh Shastan	Anders Jansson, HCI	Jan Lejdelin, Fagersta kommun	En kommuns hemsida: hur ska den se ut och skötas?
255	DV1	03-12-16	Ali Reza Azadali	Roland Bol, CSD	Siamak Goodarzi, Ericsson Utvecklings AB	Intregration, instantiering och visualisering av två processmodeller inom Ericsson
256	DV3	03-10-23	Daniel Aldman	Konstantinos Sagonas, CSD	Konstantinos Sagonas, CSD	Experiments with enhancing a Tabled Logic Programming System with Constraint Search Trees
257	EIP	03-12-02	Örjan Eriksson	Lars-Henrik Eriksson	Christer Huss, Banverket	Automatisering av kodning för formell granskning
258	TF3	03-12-10	Josef Henryson	Roland Bol		Multitier System Architecture for Knowledge Warehousing Framsida
259	MN3	04-04-01	Anna Prodan	Erik Bongcam-Rudolf	Helgi Schiöth	Development of approaches for identification of putative genes in the primary sequence of the human genome using virtual models of protein families
260	DV3	04-01-12	Richard Heggbrenna, Tony Johansson	Tore Risch	Tore Risch	Importing XMLSchema into an object-oriented database mediator system
261	MN3	04-01-14	Ulrika Lindblom	Jan Gulliksen, HCI	Daniel Sand, Riksskatteverket IT	Användarvänligt gränssnitt till allmänhetens terminal
262	DV3	04-02-06	Angela Sjöholm	Olle Eriksson	Petros Sovatzis	Utveckling av gränssnitt till simuleringsprogram för materialberäkningar
264	DV3	04-02-06	Tommy Säfström, Andreas Vernersson	Vincent Moulton, Linné Centrum för Bioinformatik	Helgi Schiöth	Methods for "objective" comparison of phylogenetic trees
265	IT3	04-01-27	Isabel Jensen	Anders Jansson, MDI	Annika Lundberg, Robert Stjernström, Forsmarks Kraftgrupp AB	User centred system development of user interface for a maintenance system
266	DV3	04-03-17	Hans Molin	Bengt Sandblad, HCI	Stefan Seipel, HCI	Real-time shadows in 3D computer graphics
267	MN3	04-03-17	Per Ohlsson	Stefan Seipel	Stefan Seipel	Real-time rendering of accumulated snow
268	MN3	04-01-30	Tobias Hilka	Tore Risch	Tore Risch	Translating XQuery expressions to functional queries in a mediator database system
269	IT3	04-04-26	Niklas Brunsberg, Per Thorselius	Jan Gulliksen	Anders Hektor	IT for comfortable living
273	DV3	04-04-18	Per Sahlin	Richard Carlsson CSD	Erik Klintskog	Efficent distribution of immutable datat structures in the distributed subsystem (DSS) middleware library
274	MN3	04-07-01	Christian Werner	Tore Risch	Tore Risch	PHP integration with object-relational DBMS
276		04-06-02	Magnus Andersson, Patrik Vestergren	Roland Bol	Patrik Fredriksson	Object-oriented quality design metrics
277	DV3	04-06-02	Magnus Pålsson, Niklas Söderberg	Roland Bol	Johan Edenius	Kravspecificering för provisioning
279	DV3	04-06-07	Rickard Björklind	Erik Bongcam-Rudloff	Robert Fredriksson	Counting genes using human ESTs, genomic, annotated and predicted gene databases
280	DV3	04-08-19	Jonas Eriksson	Iordanis Kavathatzopoulos	Patrick Samuelsson, Erik Kellström	MetEv - ett verktyg för interpolation och enklare visualisering av klimatdata
282	TF3	04-09-03	Peter Blomsterberg	Arne Andersson	Tomas Fändriks, XNSE AB	Biljetten.se: Webbdesign av ett användarvänligt biljettsystem samt analys av olika elektroniska biljetter
283	IT3	04-09-09	Erika Lundberg	Lars-Henrik Eriksson	Iordanis Kavathatzopoulos HCI, Lars Sandberg, Stora InnoCentre	Packaging media lab: A design propsal to a packaging evaluation environment for conducting consumer studies
286	DV3	04-12-24	Daniel Luna	Konstantinos Sagonas	Konstantinos Sagonas	An AMD-64 backend for HIPE: Implementation, performance evaluation, lessons learned
287	DV3	04-01-07	Olle Nilsson	Sergei Vorobyov	Sergei Vorobyov	Bounded Arithmetic and Controlled Linear Programming for Infinite Games
288	DVP	2005	Maryam Ladjvardi	Tore Risch	Tore Risch	Wrapping a B-Tree Storage Manager in an Object Relational Mediator System
290		050113	Robert Järvi och Thomas Lööf	Erik Borälv	Thomas Nordqvist	Belöningssystem för elever med koncentrationssvårigheter
293	MN3	05-11-23	Markus Jägerskogh	Tore Risch	Tore Risch	Translating SQL expressions to Functional Queries in a Mediator Database System
295	DV3	05-06-21	Ola Hedenstrand	Sven-Olof Nyström	Carl von Platen, IAR Systems AB	developing a code generator for embedded systems - a quantitative approach
296	IT3	05-05-23	Erik Andersson	Sven-Olof Nyström	Konstantinos Sagonas	Profile-based adaptive JIT compilation in the context of the HIPE compiler (Framsida)
297	DV3	05-06-02	Ola Svensson	Sergei Vorobyov	Sergei Vorobyov	Linear Programming and Linear Complementarity Methods for Games
299	DV3	05-06-02	Teppo Siirilä	Tore Risch	Tore Risch	Using Reliable JXTA P2P Communication Between Mediator Peers
301	DV3	05-08-24	Johan Tysklind	Tore Risch	Tore Risch	Wrapping a Scientific Data Management System
302		05-10-27	Jakob Elmiger	Tore Risch	Tore Risch	An Object-Relational Meta-data Manager for Picture Files
305	DV3	06-10-16	Andreas Lundin, Henrik Nyman	Sven-Olof Nyström	Sven-Olof Nyström	Design and implementation of a code generator for the 8-bit ATMEL AVR

Gå till påbörjade examensarbeten 2003.

This page is maintained by Sven-Olof Nyström.
Most recent modification 061213 15:32.