Dissertations from the Department of Information Technology

See also coming dissertations. (The data below is fetched from the Digital Scientific Archive at Uppsala University.)

Sort by:

Older dissertations: Computing Science Division | Division of Computer Systems | Division of Systems and Control | Division of Scientific Computing | Centre for Image Analysis

2017
2017-11-10 Sajith Kecheril Sadanandan: Deep Neural Networks and Image Analysis for Quantitative MicroscopyExternal link
2017-10-27 Hanna Holmgren: Modelling of Moving Contact Lines in Two-Phase FlowsExternal link
2017-09-15 Thomas Lind: Inertia in Sociotechnical Systems: On IT-related Change Processes in OrganisationsExternal link
2017-06-13 Siyang Wang: Finite Difference and Discontinuous Galerkin Methods for Wave EquationsExternal link
2017-06-09 Karl Ljungkvist: Finite Element Computations on Multicore and Graphics ProcessorsExternal link
2017-06-08 Mahdad Davari: Advances Towards Data-Race-Free Cache Coherence Through Data ClassificationExternal link
2017-05-22 Kristína Lidayová: Fast Methods for Vascular Segmentation Based on Approximate Skeleton DetectionExternal link
2017-05-19 Fredrik Hellman: Numerical Methods for Darcy Flow Problems with Rough and Uncertain DataExternal link
2017-03-24 Fredrik Wahlberg: Interpreting the Script: Image Analysis and Machine Learning for Quantitative Studies of Pre-modern ManuscriptsExternal link
2017-02-10 Martin Almquist: Efficient Simulation of Wave PhenomenaExternal link
2016
2016-12-15 Andreas Sembrant: Hiding and Reducing Memory Latency: Energy-Efficient Pipeline and Memory System TechniquesExternal link
2016-11-25 Per Mattsson: Modeling and identification of nonlinear and impulsive systemsExternal link
2016-11-23 Sobhan Badiozamany: Real-time data stream clustering over sliding windowsExternal link
2016-10-07 Fei Liu: Hand-held Augmented Reality for Facility MaintenanceExternal link
2016-10-06 Lars Melander: Integrating Visual Data Flow Programming with Data Stream ManagementExternal link
2016-09-30 Konstantinos Koukos: Efficient Execution Paradigms for Parallel Heterogeneous ArchitecturesExternal link
2016-09-30 Johan Nysjö: Interactive 3D Image Analysis for Cranio-Maxillofacial Surgery Planning and Orthopedic ApplicationsExternal link
2016-09-29 Vasileios Spiliopoulos: Improving Energy-Efficiency of Multicores using First-Order ModelingExternal link
2016-09-23 Hjalmar Wennerström: A Node-Link Perspective on the Impact of Local Conditions in Sensor NetworksExternal link
2016-09-22 Johannes Åman Pohjola: Culling Concurrency Theory: Reusable and trustworthy meta-theory, proof techniques and separation resultsExternal link
2016-09-09 Ramūnas Gutkovas: Languages, Logics, Types and Tools for Concurrent System ModellingExternal link
2016-09-07 Carl Leonardsson: Verification of Software under Relaxed MemoryExternal link
2016-08-17 Cheng Xu: Scalable Validation of Data StreamsExternal link
2016-06-10 Adriaan Larmuseau: Protecting Functional Programs From Low-Level AttackersExternal link
2016-06-10 Lina Meinecke: Stochastic Simulation of Multiscale Reaction-Diffusion Models via First Exit TimesExternal link
2016-06-09 Omer Ishaq: Image Analysis and Deep Learning for Applications in MicroscopyExternal link
2016-06-07 Behrang Mahjani: Methods from Statistical Computing for Genetic Analysis of Complex TraitsExternal link
2016-06-03 Josefin Ahlkrona: Computational Ice Sheet Dynamics: Error control and efficiencyExternal link
2016-05-04 Thanh Truong: Main-Memory Query Processing Utilizing External IndexesExternal link
2016-04-29 Liang Dai: Identification using Convexification and RecursionExternal link
2016-04-21 Johan Blom: Model-Based Protocol Testing in an Erlang EnvironmentExternal link
2016-03-30 Minpeng Zhu: Scalable Queries over Log Database CollectionsExternal link
2016-03-23 Andrej Andrejev: Semantic Web Queries over Scientific DataExternal link
2016-03-21 Muneeb Khan: Optimizing Performance in Highly Utilized Multicores with Intelligent PrefetchingExternal link
2016-03-14 Joseph Scott: Other Things Besides Number: Abstraction, Constraint Propagation, and String Variable TypesExternal link
2016-03-07 Xiaoyue Pan: Performance Modeling of Multi-core Systems: Caches and LocksExternal link
2016-02-26 Johannes Nygren: Input-Output Stability Analysis of Networked Control SystemsExternal link
2016-02-18 Nicolas Tsiftes: Storage-Centric System Architectures for Networked, Resource-Constrained DevicesExternal link
2016-02-12 Emil Kieri: Numerical Methods for Wave Propagation: Analysis and Applications in Quantum DynamicsExternal link
2016-01-18 Johan Östlund: Language Constructs for Safe Parallel Programming on Multi-CoresExternal link
2016-01-18 Kristoffer Virta: Numerics of Elastic and Acoustic Wave MotionExternal link
2016-01-15 Pontus Ekberg: Models and Complexity Results in Real-Time Scheduling TheoryExternal link
2016-01-14 Adama Arouna Koné: Géométrie digitale utilisée pour la discretisation et le recouvrement optimal des objets euclidiensExternal link
2015
2015-12-18 Elisabeth Schold Linnér: Image processing on optimal volume sampling lattices: Thinking outside the boxExternal linkBildbehandling på optimala samplingsgitter: Att tänka utanför ramenExternal link
2015-12-17 Sofia Cassel: Learning Component Behavior from Tests: Theory and Algorithms for Automata with DataExternal link
2015-11-27 Daniel Jansson: Identification Techniques for Mathematical Modeling of the Human Smooth Pursuit SystemExternal link
2015-11-18 Frédéric Haziza: Few is Just Enough!: Small Model Theorem for Parameterized Verification and Shape AnalysisExternal link
2015-10-30 Daniel Elfverson: Multiscale Methods and Uncertainty QuantificationExternal link
2015-10-16 Pontus Olsson: Haptics with Applications to Cranio-Maxillofacial Surgery PlanningExternal link
2015-06-12 Azadeh Fakhrzadeh: Computerized Cell and Tissue AnalysisExternal link
2015-05-12 Olov Rosén: Parallel Stochastic Estimation on Multicore PlatformsExternal link
2015-05-08 Marcus Björk: Contributions to Signal Processing for MRIExternal link
2015-05-04 Simon Tschirner: The GMOC Model: Supporting Development of Systems for Human ControlExternal link
2015-03-13 Farshid Hassani Bijarbooneh: Constraint Programming for Wireless Sensor NetworksExternal link
2014
2014-12-12 Magnus Grandin: Adaptive Solvers for High-Dimensional PDE Problems on Clusters of Multicore ProcessorsExternal link
2014-11-25 Håkan Selg: Researching the Use of the Internet – A Beginner's GuideExternal link
2014-11-21 Margarida M. Silva: Nonlinear Modeling and Feedback Control of Drug Delivery in AnesthesiaExternal link
2014-10-20 Jimmy Azar: Automated Tissue Image Analysis Using Pattern RecognitionExternal link
2014-10-17 Frederik Hermans: Sensor Networks and Their Radio Environment: On Testbeds, Interference, and Broken PacketsExternal link
2014-10-17 Hans Norlander: Modelling and Control Methods with Applications to Mechanical WavesExternal link
2014-10-14 Mojtaba Soltanalian: Signal Design for Active Sensing and CommunicationsExternal link
2014-09-19 Soma Tayamon: Nonlinear System Identification and Control Applied to Selective Catalytic Reduction SystemsExternal link
2014-06-09 Fredrik Bjurefors: Opportunistic Networking: Congestion, Transfer Ordering and ResilienceExternal link
2014-06-04 Mikael Erlandsson: What's in your mind?: Collegial Verbalisation – An ecological approach to knowledge elicitationExternal link
2014-05-23 Vladimir Ćurić: Distance Functions and Their Use in Adaptive Mathematical MorphologyExternal link
2014-05-23 Martin Tillenius: Scientific Computing on Multicore ArchitecturesExternal link
2014-05-22 Andreas Sandberg: Understanding Multicore Performance: Efficient Memory System Modeling and SimulationExternal link
2014-05-16 Mikael Laaksoharju: Designing for AutonomyExternal link
2014-04-29 Linda Åmand: Ammonium Feedback Control in Wastewater Treatment PlantsExternal link
2014-04-11 Martin Stigge: Real-Time Workload Models: Expressiveness vs. Analysis EfficiencyExternal link
2014-04-11 Andreas Kårsnäs: Image Analysis Methods and Tools for Digital Histopathology Applications Relevant to Breast Cancer DiagnosisExternal link
2014-03-21 Gustaf Kylberg: Automatic Virus Identification using TEM: Image Segmentation and Texture AnalysisExternal linkAutomatisk identifiering av virus med hjälp av transmissionselektronmikroskopi: bildsegmentering och texturanalysExternal link
2014-03-14 Anette Löfström: Implementing a Vision: Studying Leaders’ Strategic Use of an Intranet while Exploring Ethnography within HCIExternal link
2014-03-03 Egi Hidayat: On Identification of Biological SystemsExternal link
2014-02-07 Patrik Malm: Image Analysis in Support of Computer-Assisted Cervical Cancer ScreeningExternal link
2013
2013-12-17 Nan Guan: New Techniques for Building Timing-Predictable Embedded SystemsExternal link
2013-06-14 Silvia Stefanova: Scalable Preservation, Reconstruction, and Querying of Databases in terms of Semantic Web RepresentationsExternal link
2013-06-05 Stefan Hellander: Stochastic Simulation of Reaction-Diffusion ProcessesExternal link
2013-05-24 Rebecka Janols: Evolving Systems – Engaged Users: Key Principles for Improving Region-wide Health IT AdoptionExternal link
2013-04-26 Jun He: Constraints for Membership in Formal Languages under Systematic Search and Stochastic Local SearchExternal link
2013-02-08 Per Pettersson: Uncertainty Quantification and Numerical Methods for Conservation LawsExternal link
2013-02-01 Jens Berg: Stable and High-Order Finite Difference Methods for Multiphysics Flow ProblemsExternal linkStabila finita differensmetoder med hög noggrannhetsordning för multifysik- och flödesproblemExternal link
2012
2012-12-21 David Eklöv: Profiling Methods for Memory Centric Software Performance AnalysisExternal link
2012-12-07 Sofia Eriksson: Stable Numerical Methods with Boundary and Interface Treatment for Applications in AerodynamicsExternal link
2012-11-14 Ioana Rodhe: Secure and Privacy-Aware Data Collection in Wireless Sensor NetworksExternal link
2012-10-26 Carl Nettelblad: Two Optimization Problems in Genetics: Multi-dimensional QTL Analysis and Haplotype InferenceExternal link
2012-10-19 Prabhu Babu: Spectral Analysis of Nonuniformly Sampled Data and ApplicationsExternal link
2012-10-19 Katharina Kormann: Efficient and Reliable Simulation of Quantum Molecular DynamicsExternal link
2012-10-12 Olof Rensfelt: Experimental Challenges in Wireless Sensor Networks — Environment, Mobility, and InterferenceExternal link
2012-10-01 Rafał Somla: Logics and Algorithms for Verification of Concurrent SystemsExternal link
2012-09-24 Xin He: On some Numerical Methods and Solution Techniques for Incompressible Flow ProblemsExternal link
2012-09-21 Erik Lehto: High Order Local Radial Basis Function Methods for Atmospheric Flow SimulationsExternal link
2012-06-15 Petia Boyanova: On Numerical Solution Methods for Block-Structured Discrete SystemsExternal link
2012-06-14 Salman Zubair Toor: Managing Applications and Data in Distributed Computing InfrastructuresExternal link
2012-06-08 Kenneth Duru: Perfectly Matched Layers and High Order Difference Methods for Wave EquationsExternal link
2012-01-13 Martin Kronbichler: Computational Techniques for Coupled Flow-Transport ProblemsExternal link
2011
2011-12-02 Milan Gavrilovic: Spectral Image Processing with Applications in Biotechnology and PathologyExternal link
2011-11-25 Anna Nissen: High Order Finite Difference Methods with Artificial Boundary Treatment in Quantum DynamicsExternal link
2011-11-24 Fredrik Österlind: Improving Low-Power Wireless Protocols with Timing-Accurate SimulationExternal link
2011-11-11 Amin Allalou: Methods for 2D and 3D Quantitative Microscopy of Biological SamplesExternal link
2011-11-07 Qaisar Abbas: Weak Boundary and Interface Procedures for Wave and Flow ProblemsExternal link
2011-10-25 M. Khalid Khan Niazi: Image Filtering Methods for Biomedical ApplicationsExternal link
2011-09-20 Erik Zeitler: Scalable Parallelization of Expensive Continuous Queries over Massive Data StreamsExternal link
2011-06-10 Andreas Hellander: Multiscale Stochastic Simulation of Reaction-Transport Processes: Applications in Molecular Systems BiologyExternal link
2011-05-06 Filip Malmberg: Graph-based Methods for Interactive Image SegmentationExternal link
2011-04-09 Mats Daniels: Developing and Assessing Professional Competencies: a Pipe Dream?: Experiences from an Open-Ended Group Project Learning EnvironmentExternal link
2010
2010-10-08 Manivasakan Sabesan: Querying Data Providing Web ServicesExternal link
2010-06-04 Jonas Boustedt: On the Road to a Software Profession: Students’ Experiences of Concepts and ThresholdsExternal link
2010-06-04 Jesper Bengtson: Formalising process calculiExternal link
2010-05-31 Magnus Johansson: Psi-calculi: a framework for mobile process calculi: Cook your own correct process calculus - just add data and logicExternal link
2010-05-26 Åsa Cajander: Usability – Who Cares?: The Introduction of User-Centred Systems Design in OrganisationsExternal link
2010-05-21 Björn Halvarsson: Interaction Analysis in Multivariable Control Systems: Applications to Bioreactors for Nitrogen RemovalExternal link
2010-05-20 Magnus Gedda: Contributions to 3D Image Analysis using Discrete Methods and Fuzzy Techniques: With Focus on Images from Cryo-Electron TomographyExternal link
2010-05-07 Agnes Rensfelt: Viscoelastic Materials: Identification and Experiment DesignExternal link
2010-04-23 Erik Gudmundson: Signal Processing for Spectroscopic ApplicationsExternal link
2010-04-16 Mattias Wiggberg: Computer Science Project Courses: Contrasting Students’ Experiences with Teachers’ ExpectationsExternal link
2010-02-26 Rajitha Udawalpola: Shape Optimization for Acoustic Wave Propagation ProblemsExternal link
2010-02-25 Mahen Jayawardena: An e-Science Approach to Genetic Analysis of Quantitative TraitsExternal link
2009
2009-09-18 Jim Wilenius: Bidding in Combinatorial AuctionsExternal link
2009-06-12 John Håkansson: Design and Verification of Component Based Real-Time SystemsExternal link
2009-06-03 Jan Henry Nyström: Analysing Fault Tolerance for Erlang ApplicationsExternal link
2009-05-15 Pavel Krcal: Infinite Structures in Timed SystemsExternal link
2009-04-24 Henrik Johansson: Autonomic Management of Partitioners for SAMR Grid HierarchiesExternal link
2009-04-03 Eddie Wadbro: Topology Optimization for Wave Propagation ProblemsExternal link
2009-03-19 Therese Bohlin: Regular Inference for Communication Protocol EntitiesExternal link
2009-03-06 Anna Eckerdal: Novice Programming Students' Learning of Concepts and PractiseExternal link
2009-02-27 Amalka Pinidiyaarachchi: Digital Image Analysis of Cells: Applications in 2D, 3D and TimeExternal link
2009-02-02 Ruslan Fomkin: Optimization and Execution of Complex Scientific QueriesExternal link
2008
2008-12-05 Oskar Wibling: Creating Correct Network ProtocolsExternal link
2008-11-28 Stefan Engblom: Numerical Solution Methods in Stochastic Chemical KineticsExternal link
2008-11-28 Björn Holmberg: Estimating Human Limb Motion Using Skin Texture and Particle FilteringExternal link
2008-11-21 Lisa Kaati: Reduction Techniques for Finite (Tree) AutomataExternal link
2008-11-07 Robin Strand: Distance Functions and Image Processing on Point-Lattices: with focus on the 3D face- and body-centered cubic gridsExternal link
2008-09-26 Mei Hong: Analysis of Some Methods for Identifying Dynamic Errors-in-variables SystemsExternal link
2008-09-19 Patrick Karlsson Edlund: Methods and models for 2D and 3D image analysis in microscopy, in particular for the study of muscle cellsExternal linkMetoder och modeller för två- och tredimensionell bildanalys inom mikroskopi, speciellt med inrikting mot muskelcellerExternal link
2008-06-13 Erik Nordström: Challenged Networking: An Experimental Study of new Protocols and ArchitecturesExternal link
2008-06-09 Noomene Ben Henda: Infinite-state Stochastic and Parameterized SystemsExternal link
2008-05-26 Johan Petrini: Querying RDF Schema Views of Relational DatabasesExternal link
2008-05-23 Olga Grinchtein: Learning of Timed SystemsExternal link
2008-05-23 Peter Nauclér: Estimation and Control of Resonant Systems with Stochastic DisturbancesExternal link
2008-04-25 Linda Brus: Nonlinear Identification and Control with Solar Energy ApplicationsExternal link
2008-04-18 Mayank Saksena: Verifying Absence of ∞ Loops in Parameterized ProtocolsExternal link
2008-04-15 Ahmed Rezine: Parameterized Systems: Generalizing and Simplifying Automatic VerificationExternal link
2008-02-08 Erik Vidholm: Visualization and Haptics for Interactive Medical Image AnalysisExternal linkVisualisering och Haptik för Interaktiv Medicinsk BildanalysExternal link
2008-02-01 Lars Winkler Pettersson: Collaborative Visualization: Designing and evaluating systems for co-located workExternal link
2008-01-18 Magnus Ågren: Set Constraints for Local SearchExternal link
2007
2007-12-20 Jing Gong: Hybrid Methods for Unsteady Fluid Flow Problems in Complex GeometriesExternal link
2007-12-14 Niklas Hardenborg: Designing Work and IT Systems: A Participatory Process that Supports Usability and SustainabilityExternal link
2007-12-10 Magnus Evestedt: Parameter and State Estimation with Information-rich SignalsExternal link
2007-11-30 Paul Sjöberg: Numerical Methods for Stochastic Modeling of Genes and ProteinsExternal link
2007-10-12 Yngve Selén: Model Selection and Sparse ModelingExternal link
2007-05-21 Anders Hessel: Model-Based Test Case Generation for Real-Time SystemsExternal link
2007-05-11 Erik Bängtsson: Robust Preconditioners Based on the Finite Element FrameworkExternal link
2007-04-20 Malin Ljungberg: Design of High Performance Computing Software for Genericity and VariabilityExternal link
2007-03-23 Sven Sandberg: Games and Probabilistic Infinite-State SystemsExternal link
2007-03-16 Niclas Sandgren: Advanced Spectral Analysis with ApplicationsExternal link
2007-02-09 Stina Nylander: Design and Implementation of Multi-Device ServicesExternal linkUtveckling av tjänster med multipla användargränssnittExternal link
2006
2006-10-20 Richard Abrahamsson: Estimation Problems in Array Signal Processing, System Identification, and Radar ImageryExternal linkEstimeringsproblem inom arraysignalbehandling, systemidentifiering och radarExternal link
2006-10-20 Markus Nordén: Multithreaded PDE Solvers on Non-Uniform Memory ArchitecturesExternal link
2006-10-13 Håkan Zeffer: Towards Low-Complexity Scalable Shared-Memory ArchitecturesExternal link
2006-10-07 Henrik Löf: Iterative and Adaptive PDE Solvers for Shared Memory ArchitecturesExternal linkIterativa och adaptiva PDE-lösare för parallelldatorer med gemensam minnesorganisationExternal link
2006-09-29 Jonas Persson: Accurate Finite Difference Methods for Option PricingExternal link
2006-06-02 Johann Deneux: Verification of Parameterized and Timed Systems: Undecidability Results and Efficient MethodsExternal link
2006-05-24 Dan Wallin: Methods for Creating and Exploiting Data LocalityExternal link
2006-01-20 Olivier Amoignon: Numerical Methods for Aerodynamic Shape OptimizationExternal link
2006-01-16 Kidane Yemane: Relations in Models of Calculi and Logics with NamesExternal link
2006-01-13 Martin Karlsson: Memory System Design for Chip-MultiprocessorsExternal link
2006-01-13 Kajsa Ljungberg: Numerical Algorithms for Mapping of Multiple Quantitative Trait Loci in Experimental PopulationsExternal link
2005
2005-12-16 Richard Gold: An Indirection Architecture for the InternetExternal link
2005-12-16 Julia Åhlén: Colour Correction of Underwater Images Using Spectral DataExternal link
2005-12-02 Pasha Razifar: Novel Approaches for Application of Principal Component Analysis on Dynamic PET Images for Improvement of Image Quality and Clinical DiagnosisExternal link
2005-11-18 Zoran Radovic: Software Techniques for Distributed Shared MemoryExternal link
2005-11-10 Erik Berg: Efficient and Flexible Characterization of Data Locality through Native Execution SamplingExternal link
2005-11-07 Milena Ivanova: Scalable Scientific Stream Query ProcessingExternal link
2005-11-04 Erik Abenius: Direct and Inverse Methods for Waveguides and Scattering Problems in the Time DomainExternal link
2005-10-21 Inger Boivie: A Fine Balance: Addressing Usability and Users’ Needs in the Development of IT Systems for the WorkplaceExternal link
2005-10-21 Mats Ekman: Modeling and Control of Bilinear Systems: Application to the Activated Sludge ProcessExternal link
2005-10-19 Patrik Forssén: Adsorption Isotherm Parameter Estimation in Nonlinear Liquid ChromatographyExternal link
2005-10-07 Pär Samuelsson: Control of Nitrogen Removal in Activated Sludge ProcessesExternal link
2005-09-23 Hamed Hamid Muhammed: Hyperspectral Image Generation, Processing and AnalysisExternal link
2005-05-25 Claes Olsson: Active Vibration Control of Multibody Systems: Application to Automotive DesignExternal link
2005-05-13 Per Sundqvist: Numerical Computations with Fundamental SolutionsExternal linkNumeriska beräkningar med fundamentallösningarExternal link
2005-04-29 Anders Berglund: Learning computer systems in a distributed project course: The what, why, how and whereExternal link
2005-03-23 Pritha Mahata: Model Checking Parameterized Timed SystemsExternal link
2005-03-21 Henrik Lundgren: Implementation and Experimental Evaluation of Wireless Ad hoc Routing ProtocolsExternal link
2005-03-02 Marcus Nilsson: Regular Model CheckingExternal link
2005-02-18 Henrik Björklund: Combinatorial Optimization for Infinite Games on GraphsExternal link
2005-02-04 Erik Borälv: Design in Telemedicine: Development and Implementation of Usable Computer SystemsExternal link
2005-01-26 Emad Abd-Elrady: Nonlinear Approaches to Periodic Signal ModelingExternal link
2004
2004-12-16 Per Carlsson: Algorithms for Electronic Power MarketsExternal link
2004-12-10 Jenny Öhman Persson: The Obvious & The Essential: Interpreting Software Development & Organizational ChangeExternal link
2004-11-12 Magnus Svärd: Stable High-Order Finite Difference Methods for AerodynamicsExternal linkStabila högordnings finita differensmetoder för aerodynamikExternal link
2004-06-04 Eva Olsson: Designing Work Support Systems – For and With Skilled UsersExternal link
2004-06-03 Bharath Bhikkaji: Model Reduction and Parameter Estimation for Diffusion SystemsExternal link
2004-06-01 Bengt Göransson: User-Centred Systems Design: Designing Usable Interactive Systems in PracticeExternal linkAnvändarcentrerad systemdesign: Design av användbara interaktiva system i praktikenExternal link
2004-05-19 Felix Wehrmann: On Modelling Nonlinear Variation in Discrete Appearances of ObjectsExternal link
2004-04-29 Anders Hast: Improved Algorithms for Fast Shading and LightingExternal link
2004-04-23 Per Åhgren: On System Identification and Acoustic Echo CancellationExternal linkSystemidentifiering och Akustisk EkoutsläckningExternal link
2004-02-06 Erik Larsson: Identification of Stochastic Continuous-time Systems: Algorithms, Irregular Sampling and Cramér-Rao BoundsExternal link
2004-01-30 Martin Nilsson: Fast Numerical Techniques for Electromagnetic Problems in Frequency DomainExternal link
2003
2003-12-12 Kaushik Mahata: Estimation Using Low Rank Signal ModelsExternal link
2003-12-04 Aletta Nylén: Compact Constraints for Verification of Well Quasi-Ordered ProgramsExternal link
2003-11-26 Elena Fersman: A Generic Approach to Schedulability Analysis of Real-Time SystemsExternal link
2003-11-26 Alexandre David: Hierarchical Modeling and Analysis of Real Time SystemsExternal link
2003-11-25 Julien d'Orso: New Directions in Symbolic Model CheckingExternal link
2003-11-11 Timour Katchaounov: Query Processing for Peer Mediator DatabasesExternal link
2003-10-31 Carolina Wählby: Algorithms for Applied Digital Image CytometryExternal link
2003-10-24 Wendy Kress: High Order Finite Difference Methods in Space and TimeExternal link
2003-10-10 Roger Hult: Segmentation and Visualisation of Human Brain StructuresExternal link
2003-09-26 Abraham Zemui: High Order Symmetric Finite Difference Schemes for the Acoustic Wave EquationExternal link
2003-09-19 Daniel Noreland: Numerical Techniques for Acoustic Modelling and Design of Brass Wind InstrumentsExternal link
2003-06-03 Andreas Ermedahl: A Modular Tool Architecture for Worst-Case Execution Time AnalysisExternal link
2003-05-09 Ken Mattsson: Summation-by-Parts Operators for High Order Finite Difference MethodsExternal link
2003-03-28 Petra Philipson née Ammenberg: Environmental Applications of Aquatic Remote SensingExternal link
2003-02-17 Bob Melander: Probing-Based Approaches to Bandwidth Measurements and Network Path EmulationExternal link
2003-01-17 Joakim Lindblad: Development of Algorithms for Digital Image CytometryExternal link
2002
2002-12-13 Johan Steensland: Efficient Partitioning of Dynamic Structured Grid HierarchiesExternal link
2002-12-06 Carl Åborg: How does IT feel @ work? And how to make IT better: Computer use, stress and health in office workExternal link
2002-11-29 Bengt Eliasson: Numerical Vlasov–Maxwell Modelling of Space PlasmaExternal link
2002-11-01 Erik Stenman: Efficient Implementation of Concurrent Programming LanguagesExternal link
2002-10-04 Kjartan Halvorsen: Model-based Methods in Motion CaptureExternal link
2002-09-27 Girish Ganesan: Designing Space-Time Codes Using Orthogonal DesignsExternal link
2002-09-06 Fredrik Edelvik: Hybrid Solvers for the Maxwell Equations in Time-DomainExternal link
2002-06-07 Johan Bengtsson: Clocks, DBMs and States in Timed SystemsExternal link
2002-05-27 Thiemo Voigt: Architectures for Service Differentiation in Overloaded Internet ServersExternal link
2002-04-19 Jakob Engblom: Processor Pipelines and Static Worst-Case Execution Time AnalysisExternal link
2002-02-01 Erik G. Larsson: The ubiquitous signal processing: Applications to communications, spectral analysis and array processingExternal link
2001
2001-11-30 Roger Lundqvist: Atlas-Based Fusion of Medical Brain Images: Methods and ApplicationsExternal link
2001-05-02 Björn Knutsson: Architectures for application transparent proxies: A study of network enhancing softwareExternal link
2001-04-20 Tomas Sundin: Spectral analysis and magnetic resonance spectroscopyExternal link
2001-02-09 Henrik Brandén: Convergence Acceleration for Flow ProblemsExternal link
2001-01-12 Lars Thalmann: Term-modal logic and quantifier-free dynamic assignment logicExternal link
2000
2000-12-22 Jonas Nilsson: Initial-Boundary-Value Problems for the Stokes and Navier–Stokes Equations on Staggered GridsExternal link
2000-05-31 Magnus Mossberg: Identification of viscoelastic materials and continuous-time stochastic systemsExternal link
2000-05-24 Mikael Sjödin: Predictable high-speed communications for distributed real-time systemsExternal link
2000-05-19 Elisabeth Larsson: Domain Decomposition and Preconditioned Iterative Methods for the Helmholtz EquationExternal link
2000-05-19 Jakob Carlström: Reinforcement learning for admission control and routingExternal link
2000-05-08 Jan Gustafsson: Analyzing execution-time of object-oriented programs using abstract interpretationExternal link
2000-04-14 Kristina Lundqvist: Distributed computing and safety critical systems in AdaExternal link
2000-03-31 Greger Ottosson: Integration of Constraint Programming and Integer Programming for Combinatorial OptimizationExternal link
2000-02-11 Andreas Jakobsson: Model-based and matched-filterbank signal analysisExternal link
2000-01-14 Annica Önell: Quantifying human balance: Analysis of force plate dataExternal link
1999
1999-10-15 Hans Frimmel: Positioning Biopsy Needles in the Prostate Gland Using 3D Computer ModellingExternal link
1999-06-07 Mats Kindahl: Verification of Infinite-State Systems: Decision Problems and Efficient AlgorithmsExternal link
1999-06-01 Per Mildner: Type Domains for Abstract Interpretation: A critical studyExternal link
1999-03-12 Catherine Östlund: Analysis of Imaging Spectrometer Data with Lake Environment ApplicationsExternal link
1999-02-26 Krister Åhlander: An Object-Oriented Framework for PDE SolversExternal link
1999-02-19 Karl Hörnell: Runge–Kutta Time Step Selection for Flow ProblemsExternal link
1999-02-19 Paul Pettersson: Modelling and Verification of Real-Time Systems Using Timed Automata: Theory and PracticeExternal link
1999-02-05 Joakim Sorelius: Subspace-Based Parameter Estimation Problems in Signal ProcessingExternal link
1998
1998-12-11 Ernst Nordström: Markov Decision Problems in ATM Traffic ControlExternal link
1998-09-25 Pierangelo Dell'Acqua: Reflection Principles in Computational LogicExternal link
1998-06-04 Björn Victor: The Fusion Calculus: Expressiveness and Symmetry in Mobile ProcessesExternal link
1998-04-17 Jarmo Rantakokko: Data Partitioning Methods and Parallel Block-Oriented PDE SolversExternal link
1998-03-27 Petter Ranefall: Towards Automatic Quantification of Immunohistochemistry Using Colour Image AnalysisExternal link
1997
1997-11-07 Erik Sterner: Accuracy and Convergence Studies of the Numerical Solution of Compressible Flow ProblemsExternal link
1997-10-24 Mats Holmström: Wavelet Based Methods for Time Dependent PDEsExternal link
1997-06-06 Margus Veanes: On Simultaneous Rigid E-UnificationExternal link
1997-05-23 Johan Montelius: Exploiting Fine-grain Parallelism in Concurrent Constraint LanguagesExternal link
1997-05-23 Ingela Nyström: On Quantitative Shape Analysis of Digital Volume ImagesExternal link
1997-03-21 Bengt Ahlgren: Improving Computer Communication Performance by Reducing Memory Bandwidth ConsumptionExternal link
1996
1996-12-11 Thomas Lindgren: Compilation Techniques for PrologExternal link
1996-12-06 Johan Waldén: Wavelet Solvers for Hyperbolic PDEsExternal link
1996-11-20 Johan Bevemyr: Data-parallel Implementation of PrologExternal link
1996-10-31 Torsten Jarkrans: Algorithms for Cell Image Analysis in Cytology and PathologyExternal link
1996-09-20 Heung-Kook Choi: New Methods for Image Analysis of Tissue SectionsExternal link
1996-06-06 David Lindström: Accurate Numerical Solution of Hyperbolic PDEs with Source TermsExternal link
1996-05-03 Bo Strand: High-Order Difference Approximations for Hyperbolic Initial Boundary Value ProblemsExternal link
1996-04-17 Sven-Olof Nyström: Denotational Semantics for Asynchronous Concurrent LanguagesExternal link
1996-03-15 Lars Björnfot: Specification and Implementation of Distributed Real-Time Systems for Embedded ApplicationsExternal link
1995
1995-09-29 Torkel Hjerpe: High-level specification and efficient solving of constraint satisfaction problemsExternal link
1995-05-19 Eva Pärt-Enander: Overlapping Grids and Applications in Gas DynamicsExternal link
1995-05-05 Lina Hemmingsson: Domain Decomposition Methods and Fast Solvers for First-order PDEsExternal link
1994
1994-11-18 Thomas Johansson: Image Analysis Algorithms on General Purpose Parallel ArchitecturesExternal link
1994-05-24 Lennart Thurfjell: An Adjustable 3D Brain Atlas for Quantitative Analysis of Neuroimaging Data: Algorithmical and Methodological AspectsExternal link
1994-05-05 Finn Pedersen: Interactive Explorative Analysis of Multivariate Images Using Principal ComponentsExternal link
1993
1993-05-26 Jan Nordström: Artificial Boundary Conditions for the Navier–Stokes EquationsExternal link
1993-05-14 Curt L. Orbert: Algorithms in 2D for Detection of Object Orientation Using Distance TransformationsExternal link
1993-05-13 Kurt Otto: Construction and Analysis of Preconditioners for First-order PDEExternal link
1993-05-13 Sverker Holmgren: Fast Solvers for First-order PDEExternal link
1992
1992-04-24 Pelle Olsson: High-Order Difference Methods and Dataparallel ImplementationExternal link
1989
1989-06-06 Bo Nordin: The Development of an Automated Prescreener for the Early Detection of Cervical Cancer: Algorithms and ImplementationExternal link
1988
1988-12-16 Bengt Dahlqvist: Application of Decision Models to Some Problems in Image AnalysisExternal link

Older dissertations from the Computing Science Division

See also older listing.

1999-06-01 Per Mildner: Type Domains for Abstract Interpretation: A critical studyExternal link
1998-09-25 Pierangelo Dell'Acqua: Reflection Principles in Computational LogicExternal link
1997-06-06 Margus Veanes: On Simultaneous Rigid E-UnificationExternal link
1997-05-23 Johan Montelius: Exploiting Fine-grain Parallelism in Concurrent Constraint LanguagesExternal link
1996-12-11 Thomas Lindgren: Compilation Techniques for PrologExternal link
1996-11-20 Johan Bevemyr: Data-parallel Implementation of PrologExternal link
1996-04-17 Sven-Olof Nyström: Denotational Semantics for Asynchronous Concurrent LanguagesExternal link
1995-09-29 Torkel Hjerpe: High-level specification and efficient solving of constraint satisfaction problemsExternal link

Older dissertations from the Division of Computer Systems

See also older listing.

1999-06-07 Mats Kindahl: Verification of Infinite-State Systems: Decision Problems and Efficient AlgorithmsExternal link
1999-02-19 Paul Pettersson: Modelling and Verification of Real-Time Systems Using Timed Automata: Theory and PracticeExternal link
1998-12-11 Ernst Nordström: Markov Decision Problems in ATM Traffic ControlExternal link
1998-06-04 Björn Victor: The Fusion Calculus: Expressiveness and Symmetry in Mobile ProcessesExternal link
1997-03-21 Bengt Ahlgren: Improving Computer Communication Performance by Reducing Memory Bandwidth ConsumptionExternal link
1996-03-15 Lars Björnfot: Specification and Implementation of Distributed Real-Time Systems for Embedded ApplicationsExternal link

Older dissertations from the Division of Systems and Control

See also older listing. List of PhD graduates.

Older dissertations from the Division of Scientific Computing

See also older listing.

1999
1999-02-26 Krister Åhlander: An Object-Oriented Framework for PDE SolversExternal link
1999-02-19 Karl Hörnell: Runge–Kutta Time Step Selection for Flow ProblemsExternal link
1998
1998-04-17 Jarmo Rantakokko: Data Partitioning Methods and Parallel Block-Oriented PDE SolversExternal link
1997
1997-11-07 Erik Sterner: Accuracy and Convergence Studies of the Numerical Solution of Compressible Flow ProblemsExternal link
1997-10-24 Mats Holmström: Wavelet Based Methods for Time Dependent PDEsExternal link
1996
1996-12-06 Johan Waldén: Wavelet Solvers for Hyperbolic PDEsExternal link
1996-06-06 David Lindström: Accurate Numerical Solution of Hyperbolic PDEs with Source TermsExternal link
1996-05-03 Bo Strand: High-Order Difference Approximations for Hyperbolic Initial Boundary Value ProblemsExternal link
1995
1995-05-19 Eva Pärt-Enander: Overlapping Grids and Applications in Gas DynamicsExternal link
1995-05-05 Lina Hemmingsson: Domain Decomposition Methods and Fast Solvers for First-order PDEsExternal link
1993
1993-05-26 Jan Nordström: Artificial Boundary Conditions for the Navier–Stokes EquationsExternal link
1993-05-13 Kurt Otto: Construction and Analysis of Preconditioners for First-order PDEExternal link
1993-05-13 Sverker Holmgren: Fast Solvers for First-order PDEExternal link
1992
1992-04-24 Pelle Olsson: High-Order Difference Methods and Dataparallel ImplementationExternal link
1989
1989-06-06 Bo Nordin: The Development of an Automated Prescreener for the Early Detection of Cervical Cancer: Algorithms and ImplementationExternal link
1988
1988-12-16 Bengt Dahlqvist: Application of Decision Models to Some Problems in Image AnalysisExternal link

Older dissertations from the Centre for Image Analysis

See also older listing.