Licentiate Theses from the Department of Information Technology

The following is an index of the Licentiate Thesis series from the department of Information Technology. This series has ISSN 1404-5117. The corresponding BibTeX file is also available, as well as a preformatted list in PDF format. There is also an RSS feed.

Clicking on titles below takes you to a page with the abstract and/or links to the thesis in Postscript and/or PDF format. The theses can also be ordered from the Department of Information Technology, Box 337, SE-751 05 Uppsala, Sweden. Most theses can also be fetched directly by following hyperlinks in the list below.

If you want to publish a licentiate thesis in the IT Lic series, please read these instructions.

(For older licentiate theses (and in some cases PhD theses), see the Computing Science, Computer Systems, Human-Computer Interaction, Scientific Computing, and Systems and Control series.)

[ 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 ]
2017-001 Hybrid Observers for Systems with Intrinsic Pulse-Modulated Feedback
Diana Yamalova. 3 March 2017.

[ 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 ]
2016-012 New Techniques for Handling Quantifiers in Boolean and First-Order Logic
Peter Backeman. 12 December 2016.
2016-011 Learning Probabilistic Models of Dynamical Phenomena Using Particle Filters
Andreas Svensson. 16 December 2016.
2016-010 Approximations and Abstractions for Reasoning about Machine Arithmetic
Aleksandar Zeljic. 14 October 2016.
2016-009 Inflow Generation for Scale-Resolving Simulations of Turbulent Boundary Layers
Timofey Mukha. 30 September 2016.
2016-008 Towards Higher Order Immersed Finite Elements for the Wave Equation
Simon Sticko. 16 September 2016.
2016-007 Protocol, Mobility and Adversary Models for the Verification of Security
Volkan Cambazoglou. 19 September 2016.
2016-006 Context: The Abstract Term for the Concrete
Anton Axelsson. 18 May 2016.
2016-005 Cognitive Work Analysis in Practice: Adaptation to Project Scope and Industrial Context
Ida Bodin. 23 March 2016.
2016-004 Towards a Secure Synchronous Communication Architecture for Low-power Wireless Networks
Kasun Hewage. 2 February 2016.
2016-003 A Vertex-Centered Discontinuous Galerkin Method for Flow Problems
Sven-Erik Ekström. 25 February 2016.
2016-002 Mathematical Modeling for Optimization of Deep Brain Stimulation
Rubén Cubo. 29 January 2016.
2016-001 Radial Basis Function Methods for Pricing Multi-Asset Options
Victor Shcherbakov. 22 January 2016.

[ 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 ]
2015-006 Towards Accurate Modeling of Moving Contact Lines
Hanna Holmgren. 12 November 2015.
2015-005 Analysis of Boundary and Interface Closures for Finite Difference Methods for the Wave Equation
Siyang Wang. 27 October 2015.
2015-004 Parallelism and Efficiency in Discrete-Event Simulation
Pavol Bauer. 5 November 2015. PDF updated 2015-10-27 to include the papers.
2015-003 Multiscale and Multilevel Methods for Porous Media Flow Problems
Fredrik Hellman. 25 September 2015.
2015-002 Developments in preconditioned iterative methods with application to glacial isostatic adjustment models
Ali Dorostkar. 29 May 2015.
2015-001 Techniques for Finite Element Methods on Modern Processors
Karl Ljungkvist. 23 January 2015.

[ 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 ]
2014-007 Advancing Concurrent System Verification: Type based approach and tools
Ramūnas Gutkovas. 20 October 2014.
2014-006 Pulse-modulated Feedback in Mathematical Modeling and Estimation of Endocrine Systems
Per Mattsson. 9 September 2014.
2014-005 Change and Resistance to Change in Health Care: Inertia in Sociotechnical Systems
Thomas Lind. 13 June 2014.
2014-004 The Role of Students' Identity Development in Higher Education in Computing
Anne-Kathrin Peters. 25 April 2014.
2014-003 On Several Sparsity Related Problems and the Randomized Kaczmarz Algorithm
Liang Dai. 9 April 2014.
2014-002 Output Feedback Control - Some Methods and Applications
Johannes Nygren. 27 March 2014.
2014-001 Mathematical Modeling of the Human Smooth Pursuit System
Daniel Jansson. 21 January 2014.

[ 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 ]
2013-007 Meteorological Impact and Transmission Errors in Outdoor Wireless Sensor Networks
Hjalmar Wennerström. 17 December 2013.
2013-006 Difference Methods with Boundary and Interface Treatment for Wave Equations
Kristoffer Virta. 22 October 2013.
2013-005 Numerical Quantum Dynamics
Emil Kieri. 15 October 2013. Included papers available at http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-179058, http://www.it.uu.se/research/publications/reports/2013-019/, http://www.it.uu.se/research/publications/reports/2013-007/.
2013-004 Bells and Whistles: Advanced Language Features in Psi-Calculi
Johannes Åman Pohjola. 4 October 2013.
2013-003 On Discontinuous Galerkin Multiscale Methods
Daniel Elfverson. 4 June 2013.
2013-002 Scientific Computing on Hybrid Architectures
Marcus Holm. 31 May 2013.
2013-001 Parallelization of Stochastic Estimation Algorithms on Multicore Computational Platforms
Olov Rosén. 19 April 2013.

[ 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 ]
2012-009 Efficient Techniques for Detecting and Exploiting Runtime Phases
Andreas Sembrant. 21 December 2012.
2012-008 Extending Psi-calculi and their Formal Proofs
Palle Raabjerg. 14 November 2012.
2012-007 System Identification and Control for General Anesthesia based on Parsimonious Wiener Models
Margarida Martins da Silva. 17 October 2012.
2012-006 Leveraging Multicore Processors for Scientific Computing
Martin Tillenius. 28 September 2012.
2012-005 On Identification of Endocrine Systems
Egi Hidayat. 1 June 2012.
2012-004 Nonlinear System Identification with Applications to Selective Catalytic Reduction Systems
Soma Tayamon. 7 June 2012.
2012-003 Towards an Adaptive Solver for High-Dimensional PDE Problems on Clusters of Multicore Processors
Magnus Gustafsson. 4 March 2012. Included papers available at http://dx.doi.org/10.1007/978-3-642-11795-4_44, http://dx.doi.org/10.1007/978-3-642-28145-7_36, http://www.it.uu.se/research/publications/reports/2011-022 and http://www.it.uu.se/research/publications/reports/2012-001.
2012-002 Measurements in Opportunistic Networks
Fredrik Bjurefors. 2 March 2012.
2012-001 Future Train Traffic Control - Development and deployment of new principles and systems in train traffic control
Gunnika Isaksson-Lutteman. 3 April 2012.

[ 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 ]
2011-006 Intranet Use as a Leadership Strategy
Anette Löfström. 9 December 2011.
2011-005 A High-Order Accurate, Collocated Boundary Element Method for Wave Propagation in Layered Media
Elena Sundkvist. 9 September 2011.
2011-004 Towards Adaptive Sensor Networks
Niclas Finne. 30 May 2011.
2011-003 Tailor the System or Tailor the User? How to Make Better Use of Electronic Patient Record Systems
Rebecka Janols. 6 May 2011.
2011-002 Robust Preconditioning Methods for Algebraic Problems, Arising in Multi-Phase Flow Models
Xin He. 18 April 2011.
2011-001 Efficient Methods for Application Performance Analysis
David Eklöv. 18 February 2011.

[ 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 ]
2010-005 Let Us Be Philosophers! Computerized Support for Ethical Decision Making
Mikael Laaksoharju. 24 September 2010.
2010-004 Perfectly Matched Layers for Second Order Wave Equations
Kenneth Duru. 7 May 2010.
2010-003 Managing Applications and Data in Distributed Computing Infrastructures
Salman Zubair Toor. 31 March 2010.
2010-002 Using Markov Models and a Stochastic Lipschitz Condition for Genetic Analyses
Carl Nettelblad. 19 March 2010.
2010-001 Absorbing Boundary Techniques for the Time-dependent Schrödinger Equation
Anna Nissen. 11 February 2010.

[ 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 ]
2009-005 Numerical Methods for the Navier-Stokes Equations Applied to Turbulent Flow and to Multi-Phase Flow
Martin Kronbichler. 16 December 2009.
2009-004 Numerical Methods for Quantum Molecular Dynamics
Katharina Kormann. 9 October 2009.
2009-003 Listen to Your Users - The Effect of Usability Evaluation on Software Development Practice
Marta Lárusdóttir. 2 October 2009.
2009-002 Making Sense of Usability - Organizational Change and Sensemaking when Introducing User-Centred Systems Design in Public Authorities
Elina Eriksson. 2 October 2009.
2009-001 Detailed Simulation of Heterogeneous Wireless Sensor Networks
Joakim Eriksson. 14 May 2009.

[ 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 ]
2008-003 Numerical Simulation of Well Stirred Biochemical Reaction Networks Governed by the Master Equation
Andreas Hellander. 15 October 2008. Included papers available at http://dx.doi.org/10.1016/j.jcp.2007.07.020, http://dx.doi.org/10.1007/s10543-008-0174-z, and http://dx.doi.org/10.1063/1.2897976
2008-002 Query Authentication and Data Confidentiality in Wireless Sensor Networks
Ioana Rodhe. 11 June 2008.
2008-001 Unwinding Processes in Computer Science Student Projects
Mattias Wiggberg. 19 March 2008.

[ 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 ]
2007-006 Interaction Analysis and Control of Bioreactors for Nitrogen Removal
Björn Halvarsson. December 2007.
2007-005 Parallel Algorithms and Implementations for Genetic Analysis of Quantitative Traits
Mahen Jayawardena. 28 September 2007. Typo corrected Sep 10 2007. Included papers available at http://www.it.uu.se/research/publications/lic/2007-005/paperA.pdf, http://www.it.uu.se/research/publications/lic/2007-005/paperB.pdf, http://www.it.uu.se/research/publications/lic/2007-005/paperC.pdf, and http://www.it.uu.se/research/publications/lic/2007-005/paperD.pdf
2007-004 Tools and Methods for Evaluation of Overlay Networks
Olof Rensfelt. 27 September 2007.
2007-003 Towards Content Distribution in Opportunistic Networks
Thabotharan Kathiravelu. 8 June 2007. Typo corrected 2007-06-01
2007-002 Students Working with a Large Software System: Experiences and Understandings
Jonas Boustedt. 24 May 2007.
2007-001 Querying Mediated Web Services
Manivasakan Sabesan. 5 February 2007.

[ 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 ]
2006-012 User-Centred Design and Agile Development of IT Systems
Stefan Blomkvist. 7 December 2006.
2006-011 Values and Perspectives Affecting IT Systems Development and Usability Work
Åsa Cajander. 7 December 2006.
2006-010 Performance Characterization and Evaluation of Parallel PDE Solvers
Henrik Johansson. 22 November 2006. Included papers available at http://www.it.uu.se/research/publications/lic/2006-010/paperA.pdf, http://www.it.uu.se/research/publications/lic/2006-010/paperB.pdf, and http://www.it.uu.se/research/publications/lic/2006-010/paperC.pdf
2006-009 Topology Optimization for Acoustic Wave Propagation Problems
Eddie Wadbro. 13 October 2006.
2006-008 Nonparametric Identification of Viscoelastic Materials
Agnes Rensfelt. 6 October 2006.
2006-007 Numerical Methods for the Chemical Master Equation
Stefan Engblom. 27 September 2006. Included papers available at http://www.it.uu.se/research/publications/lic/2006-007/paperA.pdf, http://www.it.uu.se/research/publications/lic/2006-007/paperB.pdf, and http://www.it.uu.se/research/publications/lic/2006-007/paperC.pdf
2006-006 Novice Students' Learning of Object-Oriented Programming
Anna Eckerdal. 6 October 2006.
2006-005 A Human-Computer Interaction Approach to Train Traffic Control
Arvid Kauppi. 30 May 2006.
2006-004 Usability in Transportation - Improving the Analysis of Cognitive Work Tasks
Mikael Erlandsson. 02 June 2006. ISSN of originally printed version should be 1404-5117
2006-003 Regular Inference for Reactive Systems
Therese Berg. 27 April 2006.
2006-002 Model-Based Test Case Selection and Generation for Real-Time Systems
Anders Hessel. 7 March 2006.
2006-001 Recursive Black-box Identification of Nonlinear State-space ODE Models
Linda Brus. January 2006.

[ 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 ]
2005-011 Towards Markerless Analysis of Human Motion
Björn Holmberg. 16 December 2005.
2005-010 Numerical Solution of the Fokker-Planck Approximation of the Chemical Master Equation
Paul Sjöberg. 15 December 2005.
2005-009 Parameter and State Estimation using Audio and Video Signals
Magnus Evestedt. 29 November 2005.
2005-008 Usable IT Systems for Mobile Work
Niklas Johansson. 9 December 2005.
2005-007 On Two Methods for Identifying Dynamic Errors-in-Variables Systems
Mei Hong. 16 November 2005.
2005-006 Robust Preconditioned Iterative Solution Methods for Large-Scale Nonsymmetric Problems
Erik Bängtsson. 3 November 2005. Typos corrected 2005-11-21
2005-005 Modeling and Control of Vibration in Mechanical Structures
Peter Nauclér. 26 October 2005.
2005-004 Ad Hoc Routing Protocol Validation
Oskar Wibling. 23 September 2005.
2005-003 High-Level Modelling and Local Search
Magnus Ågren. September 2005.
2005-002 Hardware-Software Tradeoffs in Shared-Memory Implementations
Håkan Zeffer. May 2005.
2005-001 Efficient Memory Management for Message-Passing Concurrency - part I: Single-threaded execution
Jesper Wilhelmsson. May 2005.

[ 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 ]
2004-006 High Order Difference Approximations for the Linearized Euler Equations
Stefan Johansson. December 2004.
2004-005 Parallelizing the Method of Conjugate Gradients for Shared Memory Architectures
Henrik Löf. November 2004.
2004-004 On-Chip Monitoring for Non-Intrusive Hardware/Software Observability
Mohammed El Shobaki. September 2004.
2004-003 Model Selection
Yngve Selén. October 2004.
2004-002 Parallel PDE Solvers on cc-NUMA Systems
Markus Nordén. March 2004. Included papers are available at: Paper A: http://www.sciencedirect.com/science/article/B6V06-49W6S4M-1/2/23cb25585b2742595f319f4cedd0b65f, Paper C: http://www.it.uu.se/research/publications/lic/2004-002/2004-002-C.pdf, Paper D: http://www.it.uu.se/research/publications/reports/2004-006
2004-001 Parametric Methods for Frequency-Selective MR Spectroscopy
Niclas Sandgren. March 2004.

[ 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 ]
2003-015 Methods for Run Time Analysis of Data Locality
Erik Berg. December 2003.
2003-014 Numerical Methods for Mapping of Multiple QTL
Kajsa Ljungberg. November 2003.
2003-013 The Ubiquitous Interactor - Mobile Services with Multiple User Interfaces
Stina Nylander. 2003.
2003-012 Adjoint-Based Aerodynamic Shape Optimization
Olivier Amoignon. October 2003. In the first printed version, many references to the bibliography are off by one. The online version does not have this error
2003-011 Code Synthesis for Timed Automata
Tobias Amnell. October 2003.
2003-010 Exploiting Data Locality in Adaptive Architectures
Dan Wallin. September 2003.
2003-009 Cache Memory Design Trade-offs for Current and Emerging Workloads
Martin Karlsson. September 2003.
2003-008 Efficient Synchronization and Coherence for Nonuniform Communication Architectures
Zoran Radovic. September 2003.
2003-007 Market Based Programming and Resource Allocation
Maria Karlsson. June 2003.
2003-006 Bootstrapping and Decentralizing Recommender Systems
Tomas Olsson. June 2003.
2003-005 Urban Water Management - Modelling, Simulation and Control of the Activated Sludge Process
Mats Ekman. May 2003. Errata (updated Jan 2004) available at http://www.it.uu.se/research/publications/lic/2003-005/Errata.pdf and http://www.it.uu.se/research/publications/lic/2003-005/Errata.ps.gz
2003-004 Handling of Curvilinear Coordinates in a PDE Solver Framework
Malin Ljungberg. May 2003.
2003-003 Usability and Users' Health Issues in Systems Development
Inger Boivie. March 2003.
2003-002 Basic Values in Software Development and Organizational Change
Jenny Persson. March 2003.
2003-001 Preconditioners and Fundamental Solutions
Per Sundqvist. March 2003.

[ 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 ]
2002-008 Implementation and Real-world Evaluation of Routing Protocols for Wireless Ad hoc Networks
Henrik Lundgren. November 2002.
2002-007 Semi-Toeplitz Preconditioning for Linearized Boundary Layer Problems
Samuel Sundberg. November 2002. Included papers available at http://www.it.uu.se/research/publications/lic/2002-007/2002-007-paperA.pdf, http://www.it.uu.se/research/publications/lic/2002-007/2002-007-paperA.ps.gz, http://www.it.uu.se/research/publications/lic/2002-007/2002-007-paperB.ps.gz, and http://www.it.uu.se/research/publications/lic/2002-007/2002-007-paperB.pdf
2002-006 On Using Mobile Agents for Load Balancing in High Performance Computing
Kalyani Munasinghe. June 2002.
2002-005 Identification of Dynamic Errors-in-Variables Models
Kaushik Mahata. May 2002.
2002-004 Iterative Solution of Maxwell's Equations in Frequency Domain
Martin Nilsson. June 2002.
2002-003 Harmonic Signal Modeling Based on the Wiener Model Structure
Emad Abd-Elrady. May 2002.
2002-002 On the Understanding of Computer Network Protocols
Anders Berglund. March 2002.
2002-001 Higher Order Finite Difference Methods for Wave Propagation Problems
Eva Mossberg. February 2002.

[ 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 ]
2001-016 Interprocess Communication Utilising Special Purpose Hardware
Johan Furunäs Åkesson. December 2001.
2001-015 A Parallel Block-Based PDE Solver with Space-Time Adaptivity
Stefan Söderberg. December 2001.
2001-014 Fourth Order Symmetric Finite Difference Schemes for the Wave Equation
Abraham Zemui. December 2001.
2001-013 Practical Verification of Real-time Systems
Alexandre David. October 2001.
2001-012 Teleconferencing, System Identification and Array Processing
Per Åhgren. October 2001.
2001-011 Modelling and control of activated sludge processes with nitrogen removal
Pär Samuelsson. August 2001.
2001-010 A Parallel, Iterative Method of Moments and Physical Optics Hybrid Solver for Arbitrary Surfaces
Johan Edlund. August 2001.
2001-009 Efficient Symbolic State Exploration of Timed Systems: Theory and Implementation
Johan Bengtsson. May 2001.
2001-008 Personal Service Environments - Openness and User Control in User-Service Interaction
Markus Bylund. June 2001.
2001-007 Parameterization of State Feedback Gains for Pole Assignment
Hans Norlander. May 2001.
2001-006 Usability Design: A Framework for Designing Usable Interactive Systems in Practice
Bengt Göransson. April 2001.
2001-005 Market and Resource Allocation Algorithms with Application to Energy Control
Per Carlsson. April 2001.
2001-004 Numerical Simulation of Kinetic Effects in Ionospheric Plasma
Bengt Eliasson. April 2001.
2001-003 On Identification of Continuous-Time Systems and Irregular Sampling
Erik K. Larsson. March 2001.
2001-002 Domain-based partitioning for parallel SAMR applications
Johan Steensland. March 2001.
2001-001 Design and Usability in Telemedicine
Erik Borälv. February 2001.

[ 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 ]
2000-011 Model Reduction for Diffusion Systems
Bharath Bhikkaji. December 2000.
2000-010 Measurement and Simulation Based Techniques for Real-Time Analysis
Markus Lindgren. December 2000. Also published as report MRTC 00/25 at Mälardalens högskola
2000-009 A formalisation of the ITU-T Intelligent Network standard
Jan Nyström. December 2000.
2000-008 Regular Model Checking
Marcus Nilsson. December 2000.
2000-007 Applying Configuration Management Techniques to Component-Based Systems
Magnus Larsson. December 2000. Also published as report MRTC 00/24 at Mälardalens högskola
2000-006 A Flexible Framework for Detection of Feature Interactions in Telecommunication Systems
Gustaf Naeser. October 2000.
2000-005 Finite Volume Solvers for the Maxwell Equations in Time Domain
Fredrik Edelvik. October 2000.
2000-004 A Formal Approach to Analysis of Software Architectures for Real-Time Systems
Anders Wall. September 2000. Also published as report MRTC 00/21 at Mälardalens högskola
2000-003 Efficient Implementation of Model-Checkers for Networks of Timed Automata
Fredrik Larsson. May 2000.
2000-002 Modeling and Parameter Estimation of the Diffusion Equation
Susanne Remle. May 2000.
2000-001 Low-Angle Estimation: Models, Methods and Bounds
Katarina Boman. February 2000.