Färdiga examensarbeten i datalogi

NrTypDatumNamnExaminatorHandledareTitel
1DV185-07-31Torsten Ek
2DV185-08-16Jan-Peter Echarti
3DV186-03-19Torbjörn MolinRune GustavssonGöran Hagert
4DV186-04-17Annika Waern
5DV186-08-30Fredrik Holmgren
6DV186-12-17Sven-Olof Nyström Guarded Horn Clauses: Application and Implementation (no figures)
7DV187-02-24Mattias Waldau
8DV187-06-12Mats Nylén
9DV187-08-24Kristina Höök
10DV187-08-24Lars Hagberg
11DV187-09-29Bo Olofsson
12DV187-12-20Lars Oestreicher
13DV188-04-29Nils Hagner, Malik WafinJonas BarklundJonas BarklundParallel Logic Programming Using Condition Graphs
15DV188-08-22Peder Gidlund
16DV188-08-22Per-Ola Olovsson
17DV189-03-27Martin Aronsson
18DV189-05-08Christer Sturmark
19DV189-06-13Anders EngwallJohan MonteliusGunnar StålmarckKonsistenskontroll av specifikationer i skiktad 1:a ordningens predikatlogik
20DV189-08-08Cecilia SjöblomKristina Höök
21DV189-12-15Per KreugerMattias WaldauRune GustavssonComputation and Application of Higher Order Unification
22DV189-12-18Johan MonteliusJonas BarklundMattias WaldauImprovements to an OR-parallel Execution Model for Logic Programs
23DV189-12-21Björn CarlsonJohan MonteliusViggo Stoltenberg-HansenA Characterisation of Logic Programming in Domain Theory
24DV190-02-05Majid Zolfaghari-AnarakiSven-Olof NyströmLars OlgusSDL-Kompilator
25DV190-02-13Per-Eric OlssonSven-Olof NyströmSven-Olof NyströmExtending FGHC with Functions
26DV190-02-19Björn KarlssonSven-Olof NyströmLars OlgusGenerering av relokerbar objektkod för SCL-kompilatorn
27DV190-02-26Monika DanielssonJonas BarklundJonas BarklundA Prolog Interface to SQL Data Bases
28DV191-06-04Daniel FagerströmSven-Olof NyströmSven-Olof NyströmA Dynamic Load Balancing Method for Concurrent Logic Programming Languages
29DV190-04-23Johan AnderssonHåkan MillrothMats CarlssonDynamic Indexing in SICStus Prolog
30DV190-04-12Jan WünscheJonas BarklundJonas BarklundIntegrating Prolog and a Multimedia Environment
31DV190-05-04Johan Bevemyr, Thomas LindgrenNils HagnerTorbjörn KeisuA Boolean Equation Solver
33DV190-04-20Magnus NyströmKristina HöökAndreas HamfeltOm konstruktionen och användningen av Rådgivande Kunskapsbaserade system
34DV190-11-19Jan GabrielssonJonas BarklundJonas BarklundA Prolog-to-WAM compiler
35DV190-10-04Henrik JohanssonMats NordströmMats NordströmRationella tal med godtycklig precision
36DV190-10-01Mikael ErikssonMats NordströmPhilippe MathieuInlärning av strukturer i konceptuella scheman från databaser
37DV190-12-06Fredrik KantHåkan MillrothConversion From a Flat to a Hierarchically Structured Map-Database
38DV191-02-04Lars-Owe IvarssonMats NordströmAnders EkA Short Report Upon the Conversion Between Two Common Bitmapped Font Description Formats With the Use of X
39DV191-06-11Thomas NordqvistMats NordströmMarie Persson, InfologicsMetodik & design av grafiskt gränssnitt mot relationsdatabaser
40DV192-03-15Ing-Marie Jonsson, Ingvar OlssonSven-Olof NyströmAnders Lindkvist, Philips Elektronikindustrier ABPortering av SICStus-PROLOG från UNIX till VMS
41DV191-12-04Katrin Boberg, Lena ErikssonSven-Olof NyströmFredrik Holmgren, SICSRegeleditor
42DV191-08-28Per MildnerJonas BarklundJonas BarklundDesign and Implementation of a Modular Real Time Expert System
43DV191-10-22Magnus NordinHåkan MillrothSten-Åke TärnlundTranslation of Enriched Lambda Calculus into Prolog
44DV191-10-22Kristina Into-MalmbergMats NordströmBertil Sellberg, Kabi PharmaciaKemikalieregister för Analytisk Kemi
45DV191-12-17Per LjunggrenMats NordströmMagnus EgelbergWastePaperBasket
46DV191-12-04Pär AnderssonSven-Olof NyströmErik HagerstenPerformance Evaluation of Different Topologies for the Data Diffusion Machine
48DV192-03-26Tomas JohanssonDaniel FagerströmMats Ljungqvist, Infovox ABNeural Networks for Linguistic Processing in a Text-to-Speech System
49DV192-05-26Peter OlinSven-Olof NyströmMartin Aronsson, SICSKompilator för GCLA
50DV192-08-20Marcus Arendt, Anders LjunggrenMats NordströmJohan Sintorn, MIMER Software ABEtt tid- och projektuppföljningssystem för INFOLOGICS-koncernen
51DV192-08-20Peter FursterPer MildnerTorsten Forsman, ForsmarksverketDiagnostisk processövervakning i realtid baserad på KBS-teknik
52DV192-09-03Torbjörn DahlénSven-Olof NyströmFredrik Holmgren, SICSEDIF-översättare
53DV192-10-20Patric PramdalMats NordströmStefan Eck, Sören Thuresson, MIMER Software ABImplementering av kundregister med grafiskt gränssnitt för flera användare
54DV193-06-07Gudmundur Kristjansson, Ola WicksellMats NordströmMagnus Thorburn, Trivium Software ABOPUS - OperationsPlanerings och UppföljningsSystem
55DV193-02-08Stephen CooperÅke HanssonÅke HanssonGraphical Presentation of Logic Programs
56DV193-06-01Ludvig BorgneJonas BarklundTakashi Ohmizo, Toshiba Corp.Performance Evaluation of a Distributed Shared Memory Architecture
57DV193-11-18Anette LundbergJohan BevemyrMats Carlsson, SICSOptimeringar i SICStus Prolog
58DV193-09-29Patrik SvenssonMats NordströmBert Lachner, CadCraft ABNestning av oregelbundna figurer
59DV194-04-26Mats Johansson, Tomas WiiandPer MildnerPer MildnerPOFF - Ett objektorienterat skytteadministrativt program
60DV394-05-10Kent Saxin Hammarström, Robert NilssonMats NordströmIvan Bretan, SICSV: A Visual Query Language for Multimodal Interfaces
61DV193-11-24Johan HögbergDaniel FagerströmOlle Bjurstam, ABB Network Control ABKorttidsprognos av värmelast i fjärrvärmenät med ANN
62DV393-12-16Magnus Nordström, Paul PetterssonLars OestreicherJussi Karlgren & Björn Gambäck, SICSA Tool for Rapid Manual Translation
63DV194-03-31Erik de ConnickMats NordströmNils Hagner, MIMER Software ABMapping an Object Oriented Data Model to a Relational Database
64DV294-03-01Ludvig BorgneBjörn CarlsonMats Carlsson, SICSAutomatic Frequency Assignment for Cellular Telephones Using Local Search Heuristics
65DV194-11-01Stefan JonssonMats NordströmLennart Nordstrand, AB ConsonantTaxiautomaten
66DV395-03-07Max Leitgeb, Staffan PernlerTorkel HjerpeOlle Olsson, SICSFunctional and Structural Reasoning in Configuration Tasks
67MN394-10-04Magnus HolmgrenMats NordströmSGUTTC - Tables to Tables Converter och en studie i Reverse Modeling
68MN194-11-20Johan GustavssonMats NordströmGöran Samuelsson, Mandator i Uppsala ABGrafiskt gränssnitt mot dokumentdatabas
69MN294-12-15Johan GustavssonMats NordströmGöran Samuelsson, Mandator i Uppsala ABMarknadssystem
70DV394-11-30Anders Frank, Ola SamuelssonJohan BevemyrRobert Virding, Ellemtel ABA Graphical User Interface for Erlang
71DV295-02-15Lars SecherBjörn CarlsonSverker Janson, SICSRecords for AKL: An Implementation in AGENTS
72DV395-06-10Anders AnderssonHåkan MillrothDan Sahlin, SICSSAGA - Syntax Analyzer Generator for Agents
73DV395-01-16David SamuelssonHåkan MillrothPeter Magnusson, SICSSystem Level Interpretation of the SPARC V8 Instruction Set Architecture
75DV195-04-03Mats KronbladhMats NordströmAnders Jangö, Consilium Marine ABKonstruktion av databashanterare för teknisk dokumentation
76DV399-08-31Benny MagnussonMats Nordström Utvärdering av 4GL-verktyg
77DV395-05-01Samuel TronjeHåkan MillrothBjörn CarlssonProcess-based simulation of interactive agents in a dynamic terrain
78DV295-08-14Anette Lundberg, Håkan TörngrenJohan BevemyrJohan BevemyrPLC - en Prolog till C kompilator
79DV195-09-18Kristoffer VingeMats NordströmAnne Arhin, Ericsson Microwave Systems AB; Siri Rosenquist, Omicron Ceti ABUtveckling av Ericsson Microwave Systems AB:s Problem- och ändringshanteringssystem
80MN395-09-29Key HyckenbergBjörn CarlsonMats Carlsson, SICSImplementing a Finite Domain Constraint Solver for SICStus Prolog
81DV395-11-15Jan Erik BergPer MildnerJari Vuorio, Ericsson Telecom ABProgramprofilering i AXE10
82DV395-11-20Arne Borälv, Herman ÅgrenBjörn CarlsonGunnar Stålmarck, Logikkonsult NP ABFormal verification of Programmable Logic Controllers
83DV395-11-30Olle PellijeffJohan BevemyrJohn-Olof Bauner, Ericsson Radio Systems ABA Service Creation and Execution Environment based on the Intelligent Network Concept
84DV396-01-08Patric HedlinJohan BevemyrJohan BevemyrIn Making of the Luther Reform Prolog System
85DV395-12-20Greger OttossonMats CarlssonBogumil Hausman, Ericsson Utvecklings ABAn Extension of Erlang with Finite Domain Constraints
86DV396-03-05Pär MattssonKent Saxin HammarströmBjörn Gambäck och Jussi Karlgren, SICS; Bengt Wahrolén, Scandface ITA Statistical Translation Tool with Aligned Texts
87DV396-02-20Niklas KalteaHåkan MillrothBjörn Carlson; Bo Hagerf, Eskil Hagberg, CelsiusTech IT ABA Specification Language for Intelligent Agents
88DV396-08-21Martin KlintKent Saxin HammarströmRoman A. Zubarev, Inst. för JonfysikDatorunderstödd sekvensering av linjära peptider
89DV398-06-09Pekka HedqvistJohan BevemyrTony Rogvall, Ericsson Utveckling AB A Multithreaded Erlang Implementation
90DV396-04-25Alexander BottemaHåkan MillrothHåkan MillrothAn Asynchronous Message Passing and Concurrent Scheme Implementation
91DV396-04-25Anders LindgrenHåkan MillrothHåkan MillrothA Prototype of a Soft Type system for Erlang
92DV196-05-29Daniel PalmgrenMats NordströmNils-Olof Johansson, AB Sangtec MedicalMiljökontroller
93DV396-05-29Cecilia Ekelin, Martin OlovssonThomas LindgrenThomas LindgrenUUMCT-95
94DV296-06-11Kristina SirhuberHåkan MillrothTorbjörn Törnkvist, Ericsson Utveckling ABYerl - A Literate Documenting Tool and a Program Development Environment for Erlang
95MN296-06-19Ola StrandbergMats NordströmPer Manell, PharmaSoft AB A Workflow System Prototype for the Modeling of Regulatory and Other Processes in the Pharmaceutical Area
96 Detta examensarbete har avbrutits
97DV396-09-12Håkan ErikssonHåkan MillrothFredrik Kant, Front Capital SystemsImprovement of data-distribution in client/server systems
98DV396-11-26Joel SunnehallPierangelo Dell'Acqua, Kent Saxin HammarströmScott McGlashan, SICSRobust Parsing Using Dependency with Constraints and Preference
99DV300-02-19 Anders RosénMonika Danielsson Lars Planelid, Ericsson Telecom Migration of service and customer data in intelligent network applikations
100DV396-10-02Erik Johansson, Christer JonssonHåkan MillrothHåkan MillrothNative Code Compilation for Erlang
101DV396-12-19Peter Molin, Fredrik StrömJan GabrielssonKlas Eriksson, Janne Lindblad, Ericsson Software Technology, Erlang SystemsA GUI Builder for Erlang/GS (big, 32Mb unpacked)
102 DV296-12-17Cecilia Ekelin, Martin OlovssonMats CarlssonHans Jørgen Skovgaard, Beologic A/S Local Search for Configuration Problems
103 DV397-01-14Jan SjödinThomas Lindgren, CSDThomas Lindgren, CSDA Global Code Optimizer Utilizing Static Single Assignment Form
104 DV397-01-20Magnus Carlsson, Jörgen PetterssonJohan BevemyrLM Ericsson Data ABThe Potential of Java-based Web Clients
105 DV397-01-29Fredrik LarssonJohan BevemyrPeter Magnusson, Bengt Werner, SICSGenerating Efficient Simulators from a specification language
106 DV397-02-04Joakim Eriksson, Niclas FinneHåkan MillrothSverker Janson, SICSMarketSpace: an open agent-based market infrastructure
107 DV397-04-22Dirk AuchterRoland BolRoland Bol, CSD, Tomas Grelsson, TEABTool Support for Requirements Engineering: Applying the ARENA Methodology
108 MN397-04-29Richard CarlssonHåkan MillrothHåkan MillrothTowards a deadlock analysis for Erlang programs
109 DV397-07-21Gustaf NaeserHåkan MillrothDan Sahlin, Ericsson Utveckling ABSafeErlang
110 MN397-11-04Henrik BergMats NordströmOla Strandberg, Pharmasoft SGML database
111 DV397-09-26Jens Johansson, Staffan ThorellAnders LindgrenHenrik Brundin, Libro Software ABSä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
114DV397-10-27Tomas SondénAlexander BottemaSvein Arne Østevik, Unusual Systems ABDatabasapplikationer i Java
115 DV3 97-11-04 Emil Gustafsson Roland BolRichard 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 FribergRobert NilssonTommy Stenvi, Telia Promotor Evaluation of the commercial status of Javs database connectivity (JDBC)
117 TF3 99-07-09 Lena JohanssonJonas BarklundJonas 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 DV398-02-05 Niko LehtoPer Mildner, CSDMats Larsson, Agero Systemutveckling AB A methodical design and implementation of generic internet based client/server applications
121 DV3 98-02-13 Fredrik BlomMats 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
123DV198-03-19 Johan WestermarkPer MildnerBjörn Broberg, Teknikforum AB Automatiskt dimensioneringssystem för Tappvattensystem
124DV398-03-25Elias AnderssonMats NordströmGunnar 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 PalmgrenMats NordströmMaarit 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 DV300-07-17 Peter Andersson, Markus Kvisth Erik JohanssonGunilla 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 DV301-03-03 Gustaf HolmkvistKent 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 DV306-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.