| 2013 |
|
| 2013-04-26 |
Jun He: Constraints for Membership in Formal Languages under Systematic Search and Stochastic Local Search
|
| 2013-02-08 |
Per Pettersson: Uncertainty Quantification and Numerical Methods for Conservation Laws
|
| 2013-02-01 |
Jens Berg: Stable and High-Order Finite Difference Methods for Multiphysics Flow ProblemsStabila finita differensmetoder med hög noggrannhetsordning för multifysik- och flödesproblem
|
| 2012 |
|
| 2012-12-21 |
David Eklöv: Profiling Methods for Memory Centric Software Performance Analysis
|
| 2012-12-07 |
Sofia Eriksson: Stable Numerical Methods with Boundary and Interface Treatment for Applications in Aerodynamics
|
| 2012-11-14 |
Ioana Rodhe: Secure and Privacy-Aware Data Collection in Wireless Sensor Networks
|
| 2012-10-26 |
Carl Nettelblad: Two Optimization Problems in Genetics: Multi-dimensional QTL Analysis and Haplotype Inference
|
| 2012-10-19 |
Prabhu Babu: Spectral Analysis of Nonuniformly Sampled Data and Applications
|
| 2012-10-19 |
Katharina Kormann: Efficient and Reliable Simulation of Quantum Molecular Dynamics
|
| 2012-10-12 |
Olof Rensfelt: Experimental Challenges in Wireless Sensor Networks – Environment, Mobility, and Interference
|
| 2012-10-01 |
Rafał Somla: Logics and Algorithms for Verification of Concurrent Systems
|
| 2012-09-24 |
Xin He: On some Numerical Methods and Solution Techniques for Incompressible Flow Problems
|
| 2012-09-21 |
Erik Lehto: High Order Local Radial Basis Function Methods for Atmospheric Flow Simulations
|
| 2012-06-15 |
Petia Boyanova: On Numerical Solution Methods for Block-Structured Discrete Systems
|
| 2012-06-14 |
Salman Zubair Toor: Managing Applications and Data in Distributed Computing Infrastructures
|
| 2012-06-08 |
Kenneth Duru: Perfectly Matched Layers and High Order Difference Methods for Wave Equations
|
| 2012-01-13 |
Martin Kronbichler: Computational Techniques for Coupled Flow-Transport Problems
|
| 2011 |
|
| 2011-12-02 |
Milan Gavrilovic: Spectral Image Processing with Applications in Biotechnology and Pathology
|
| 2011-11-25 |
Anna Nissen: High Order Finite Difference Methods with Artificial Boundary Treatment in Quantum Dynamics
|
| 2011-11-24 |
Fredrik Österlind: Improving Low-Power Wireless Protocols with Timing-Accurate Simulation
|
| 2011-11-11 |
Amin Allalou: Methods for 2D and 3D Quantitative Microscopy of Biological Samples
|
| 2011-11-07 |
Qaisar Abbas: Weak Boundary and Interface Procedures for Wave and Flow Problems
|
| 2011-10-25 |
M Khalid Khan Niazi: Image Filtering Methods for Biomedical Applications
|
| 2011-09-20 |
Erik Zeitler: Scalable Parallelization of Expensive Continuous Queries over Massive Data Streams
|
| 2011-06-10 |
Andreas Hellander: Multiscale Stochastic Simulation of Reaction-Transport Processes: Applications in Molecular Systems Biology
|
| 2011-05-06 |
Filip Malmberg: Graph-based Methods for Interactive Image Segmentation
|
| 2011-04-09 |
Mats Daniels: Developing and Assessing Professional Competencies: a Pipe Dream?: Experiences from an Open-Ended Group Project Learning Environment
|
| 2010 |
|
| 2010-10-08 |
Manivasakan Sabesan: Querying Data Providing Web Services
|
| 2010-06-04 |
Jonas Boustedt: On the Road to a Software Profession: Students’ Experiences of Concepts and Thresholds
|
| 2010-06-04 |
Kristin Norell: Automatic Analysis of Log End Face Images in the Sawmill Industry
|
| 2010-06-04 |
Jesper Bengtson: Formalising process calculi
|
| 2010-05-31 |
Magnus Johansson: Psi-calculi: a framework for mobile process calculi: Cook your own correct process calculus - just add data and logic
|
| 2010-05-26 |
Åsa Cajander: Usability – Who Cares?: The Introduction of User-Centred Systems Design in Organisations
|
| 2010-05-21 |
Björn Halvarsson: Interaction Analysis in Multivariable Control Systems: Applications to Bioreactors for Nitrogen Removal
|
| 2010-05-20 |
Magnus Gedda: Contributions to 3D Image Analysis using Discrete Methods and Fuzzy Techniques: With Focus on Images from Cryo-Electron Tomography
|
| 2010-05-07 |
Agnes Rensfelt: Viscoelastic Materials: Identification and Experiment Design
|
| 2010-04-23 |
Erik Gudmundson: Signal Processing for Spectroscopic Applications
|
| 2010-04-16 |
Mattias Wiggberg: Computer Science Project Courses: Contrasting Students’ Experiences with Teachers’ Expectations
|
| 2010-02-26 |
Rajitha Udawalpola: Shape Optimization for Acoustic Wave Propagation Problems
|
| 2010-02-25 |
Mahen Jayawardena: An e-Science Approach to Genetic Analysis of Quantitative Traits
|
| 2009 |
|
| 2009-09-18 |
Jim Wilenius: Bidding in Combinatorial Auctions
|
| 2009-06-12 |
John Håkansson: Design and Verification of Component Based Real-Time Systems
|
| 2009-06-03 |
Jan Henry Nyström: Analysing Fault Tolerance for Erlang Applications
|
| 2009-05-15 |
Pavel Krcal: Infinite Structures in Timed Systems
|
| 2009-04-24 |
Henrik Johansson: Autonomic Management of Partitioners for SAMR Grid Hierarchies
|
| 2009-04-03 |
Eddie Wadbro: Topology Optimization for Wave Propagation Problems
|
| 2009-03-19 |
Therese Bohlin: Regular Inference for Communication Protocol Entities
|
| 2009-03-06 |
Anna Eckerdal: Novice Programming Students' Learning of Concepts and Practise
|
| 2009-02-27 |
Amalka Pinidiyaarachchi: Digital Image Analysis of Cells: Applications in 2D, 3D and Time
|
| 2009-02-02 |
Ruslan Fomkin: Optimization and Execution of Complex Scientific Queries
|
| 2008 |
|
| 2008-12-05 |
Oskar Wibling: Creating Correct Network Protocols
|
| 2008-11-28 |
Stefan Engblom: Numerical Solution Methods in Stochastic Chemical Kinetics
|
| 2008-11-28 |
Björn Holmberg: Estimating Human Limb Motion Using Skin Texture and Particle Filtering
|
| 2008-11-21 |
Lisa Kaati: Reduction Techniques for Finite (Tree) Automata
|
| 2008-11-07 |
Robin Strand: Distance Functions and Image Processing on Point-Lattices: with focus on the 3D face- and body-centered cubic grids
|
| 2008-09-26 |
Mei Hong: Analysis of Some Methods for Identifying Dynamic Errors-in-variables Systems
|
| 2008-09-19 |
Patrick Karlsson Edlund: Methods and models for 2D and 3D image analysis in microscopy, in particular for the study of muscle cellsMetoder och modeller för två- och tredimensionell bildanalys inom mikroskopi, speciellt med inrikting mot muskelceller
|
| 2008-06-13 |
Erik Nordström: Challenged Networking: An Experimental Study of new Protocols and Architectures
|
| 2008-06-09 |
Noomene Ben Henda: Infinite-state Stochastic and Parameterized Systems
|
| 2008-05-26 |
Johan Petrini: Querying RDF Schema Views of Relational Databases
|
| 2008-05-23 |
Olga Grinchtein: Learning of Timed Systems
|
| 2008-05-23 |
Peter Nauclér: Estimation and Control of Resonant Systems with Stochastic Disturbances
|
| 2008-04-25 |
Linda Brus: Nonlinear Identification and Control with Solar Energy Applications
|
| 2008-04-18 |
Mayank Saksena: Verifying Absence of ∞ Loops in Parameterized Protocols
|
| 2008-04-15 |
Ahmed Rezine: Parameterized Systems: Generalizing and Simplifying Automatic Verification
|
| 2008-02-08 |
Erik Vidholm: Visualization and Haptics for Interactive Medical Image AnalysisVisualisering och Haptik för Interaktiv Medicinsk Bildanalys
|
| 2008-02-01 |
Lars Winkler Pettersson: Collaborative Visualization: Designing and evaluating systems for co-located work
|
| 2008-01-18 |
Magnus Ågren: Set Constraints for Local Search
|
| 2007 |
|
| 2007-12-20 |
Jing Gong: Hybrid Methods for Unsteady Fluid Flow Problems in Complex Geometries
|
| 2007-12-14 |
Niklas Hardenborg: Designing Work and IT Systems: A Participatory Process that Supports Usability and Sustainability
|
| 2007-12-10 |
Magnus Evestedt: Parameter and State Estimation with Information-rich Signals
|
| 2007-11-30 |
Paul Sjöberg: Numerical Methods for Stochastic Modeling of Genes and Proteins
|
| 2007-10-12 |
Yngve Selén: Model Selection and Sparse Modeling
|
| 2007-05-21 |
Anders Hessel: Model-Based Test Case Generation for Real-Time Systems
|
| 2007-05-11 |
Erik Bängtsson: Robust Preconditioners Based on the Finite Element Framework
|
| 2007-04-20 |
Malin Ljungberg: Design of High Performance Computing Software for Genericity and Variability
|
| 2007-03-23 |
Sven Sandberg: Games and Probabilistic Infinite-State Systems
|
| 2007-03-16 |
Niclas Sandgren: Advanced Spectral Analysis with Applications
|
| 2007-02-09 |
Stina Nylander: Design and Implementation of Multi-Device ServicesUtveckling av tjänster med multipla användargränssnitt
|
| 2006 |
|
| 2006-10-20 |
Richard Abrahamsson: Estimation Problems in Array Signal Processing, System Identification, and Radar ImageryEstimeringsproblem inom arraysignalbehandling, systemidentifiering och radar
|
| 2006-10-20 |
Markus Nordén: Multithreaded PDE Solvers on Non-Uniform Memory Architectures
|
| 2006-10-13 |
Håkan Zeffer: Towards Low-Complexity Scalable Shared-Memory Architectures
|
| 2006-10-07 |
Henrik Löf: Iterative and Adaptive PDE Solvers for Shared Memory ArchitecturesIterativa och adaptiva PDE-lösare för parallelldatorer med gemensam minnesorganisation
|
| 2006-09-29 |
Jonas Persson: Accurate Finite Difference Methods for Option Pricing
|
| 2006-06-02 |
Johann Deneux: Verification of Parameterized and Timed Systems: Undecidability Results and Efficient Methods
|
| 2006-05-24 |
Dan Wallin: Methods for Creating and Exploiting Data Locality
|
| 2006-01-20 |
Olivier Amoignon: Numerical Methods for Aerodynamic Shape Optimization
|
| 2006-01-16 |
Kidane Yemane: Relations in Models of Calculi and Logics with Names
|
| 2006-01-13 |
Martin Karlsson: Memory System Design for Chip-Multiprocessors
|
| 2006-01-13 |
Kajsa Ljungberg: Numerical Algorithms for Mapping of Multiple Quantitative Trait Loci in Experimental Populations
|
| 2005 |
|
| 2005-12-16 |
Richard Gold: An Indirection Architecture for the Internet
|
| 2005-12-16 |
Julia Åhlén: Colour Correction of Underwater Images Using Spectral Data
|
| 2005-12-02 |
Pasha Razifar: Novel Approaches for Application of Principal Component Analysis on Dynamic PET Images for Improvement of Image Quality and Clinical Diagnosis
|
| 2005-11-18 |
Zoran Radovic: Software Techniques for Distributed Shared Memory
|
| 2005-11-10 |
Erik Berg: Efficient and Flexible Characterization of Data Locality through Native Execution Sampling
|
| 2005-11-07 |
Milena Ivanova: Scalable Scientific Stream Query Processing
|
| 2005-11-04 |
Erik Abenius: Direct and Inverse Methods for Waveguides and Scattering Problems in the Time Domain
|
| 2005-10-21 |
Inger Boivie: A Fine Balance: Addressing Usability and Users’ Needs in the Development of IT Systems for the Workplace
|
| 2005-10-21 |
Mats Ekman: Modeling and Control of Bilinear Systems: Application to the Activated Sludge Process
|
| 2005-10-19 |
Patrik Forssén: Adsorption Isotherm Parameter Estimation in Nonlinear Liquid Chromatography
|
| 2005-10-07 |
Pär Samuelsson: Control of Nitrogen Removal in Activated Sludge Processes
|
| 2005-09-23 |
Hamed Hamid Muhammed: Hyperspectral Image Generation, Processing and Analysis
|
| 2005-05-25 |
Claes Olsson: Active Vibration Control of Multibody Systems: Application to Automotive Design
|
| 2005-05-13 |
Per Sundqvist: Numerical Computations with Fundamental SolutionsNumeriska beräkningar med fundamentallösningar
|
| 2005-04-29 |
Anders Berglund: Learning computer systems in a distributed project course: The what, why, how and where
|
| 2005-03-23 |
Pritha Mahata: Model Checking Parameterized Timed Systems
|
| 2005-03-21 |
Henrik Lundgren: Implementation and Experimental Evaluation of Wireless Ad hoc Routing Protocols
|
| 2005-03-02 |
Marcus Nilsson: Regular Model Checking
|
| 2005-02-18 |
Henrik Björklund: Combinatorial Optimization for Infinite Games on Graphs
|
| 2005-02-04 |
Erik Borälv: Design in Telemedicine: Development and Implementation of Usable Computer Systems
|
| 2005-01-26 |
Emad Abd-Elrady: Nonlinear Approaches to Periodic Signal Modeling
|
| 2004 |
|
| 2004-12-16 |
Per Carlsson: Algorithms for Electronic Power Markets
|
| 2004-12-10 |
Jenny Öhman Persson: The Obvious & The Essential: Interpreting Software Development & Organizational Change
|
| 2004-11-12 |
Magnus Svärd: Stable High-Order Finite Difference Methods for AerodynamicsStabila högordnings finita differensmetoder för aerodynamik
|
| 2004-06-04 |
Eva Olsson: Designing Work Support Systems – For and With Skilled Users
|
| 2004-06-03 |
Bharath Bhikkaji: Model Reduction and Parameter Estimation for Diffusion Systems
|
| 2004-06-01 |
Bengt Göransson: User-Centred Systems Design: Designing Usable Interactive Systems in PracticeAnvändarcentrerad systemdesign: Design av användbara interaktiva system i praktiken
|
| 2004-05-19 |
Felix Wehrmann: On Modelling Nonlinear Variation in Discrete Appearances of Objects
|
| 2004-04-29 |
Anders Hast: Improved Algorithms for Fast Shading and Lighting
|
| 2004-04-23 |
Per Åhgren: On System Identification and Acoustic Echo CancellationSystemidentifiering och Akustisk Ekoutsläckning
|
| 2004-02-06 |
Erik Larsson: Identification of Stochastic Continuous-time Systems: Algorithms, Irregular Sampling and Cramér-Rao Bounds
|
| 2004-01-30 |
Martin Nilsson: Fast Numerical Techniques for Electromagnetic Problems in Frequency Domain
|
| 2003 |
|
| 2003-12-12 |
Kaushik Mahata: Estimation Using Low Rank Signal Models
|
| 2003-12-04 |
Aletta Nylén: Compact Constraints for Verification of Well Quasi-Ordered Programs
|
| 2003-11-26 |
Elena Fersman: A Generic Approach to Schedulability Analysis of Real-Time Systems
|
| 2003-11-26 |
Alexandre David: Hierarchical Modeling and Analysis of Real Time Systems
|
| 2003-11-25 |
Julien d'Orso: New Directions in Symbolic Model Checking
|
| 2003-11-11 |
Timour Katchaounov: Query Processing for Peer Mediator Databases
|
| 2003-10-31 |
Carolina Wählby: Algorithms for Applied Digital Image Cytometry
|
| 2003-10-24 |
Wendy Kress: High Order Finite Difference Methods in Space and Time
|
| 2003-10-10 |
Roger Hult: Segmentation and Visualisation of Human Brain Structures
|
| 2003-09-26 |
Abraham Zemui: High Order Symmetric Finite Difference Schemes for the Acoustic Wave Equation
|
| 2003-09-19 |
Daniel Noreland: Numerical Techniques for Acoustic Modelling and Design of Brass Wind Instruments
|
| 2003-06-03 |
Andreas Ermedahl: A Modular Tool Architecture for Worst-Case Execution Time Analysis
|
| 2003-05-09 |
Ken Mattsson: Summation-by-Parts Operators for High Order Finite Difference Methods
|
| 2003-03-28 |
Petra Philipson née Ammenberg: Environmental Applications of Aquatic Remote Sensing
|
| 2003-02-17 |
Bob Melander: Probing-Based Approaches to Bandwidth Measurements and Network Path Emulation
|
| 2003-01-17 |
Joakim Lindblad: Development of Algorithms for Digital Image Cytometry
|
| 2002 |
|
| 2002-12-13 |
Johan Steensland: Efficient Partitioning of Dynamic Structured Grid Hierarchies
|
| 2002-12-06 |
Carl Åborg: How does IT feel @ work? And how to make IT better: Computer use, stress and health in office work
|
| 2002-11-29 |
Bengt Eliasson: Numerical Vlasov–Maxwell Modelling of Space Plasma
|
| 2002-11-01 |
Erik Stenman: Efficient Implementation of Concurrent Programming Languages
|
| 2002-10-04 |
Kjartan Halvorsen: Model-based Methods in Motion Capture
|
| 2002-09-27 |
Girish Ganesan: Designing Space-Time Codes Using Orthogonal Designs
|
| 2002-09-06 |
Fredrik Edelvik: Hybrid Solvers for the Maxwell Equations in Time-Domain
|
| 2002-06-07 |
Johan Bengtsson: Clocks, DBMs and States in Timed Systems
|
| 2002-05-27 |
Thiemo Voigt: Architectures for Service Differentiation in Overloaded Internet Servers
|
| 2002-04-19 |
Jakob Engblom: Processor Pipelines and Static Worst-Case Execution Time Analysis
|
| 2002-02-01 |
Erik G. Larsson: The ubiquitous signal processing: Applications to communications, spectral analysis and array processing
|
| 2001 |
|
| 2001-11-30 |
Roger Lundqvist: Atlas-Based Fusion of Medical Brain Images: Methods and Applications
|
| 2001-05-02 |
Björn Knutsson: Architectures for application transparent proxies: A study of network enhancing software
|
| 2001-04-20 |
Tomas Sundin: Spectral analysis and magnetic resonance spectroscopy
|
| 2001-02-09 |
Henrik Brandén: Convergence Acceleration for Flow Problems
|
| 2001-01-12 |
Lars Thalmann: Term-modal logic and quantifier-free dynamic assignment logic
|
| 2000 |
|
| 2000-12-22 |
Jonas Nilsson: Initial-Boundary-Value Problems for the Stokes and Navier–Stokes Equations on Staggered Grids
|
| 2000-05-31 |
Magnus Mossberg: Identification of viscoelastic materials and continuous-time stochastic systems
|
| 2000-05-24 |
Mikael Sjödin: Predictable high-speed communications for distributed real-time systems
|
| 2000-05-19 |
Elisabeth Larsson: Domain Decomposition and Preconditioned Iterative Methods for the Helmholtz Equation
|
| 2000-05-19 |
Jakob Carlström: Reinforcement learning for admission control and routing
|
| 2000-05-08 |
Jan Gustafsson: Analyzing execution-time of object-oriented programs using abstract interpretation
|
| 2000-04-14 |
Kristina Lundqvist: Distributed computing and safety critical systems in Ada
|
| 2000-03-31 |
Greger Ottosson: Integration of Constraint Programming and Integer Programming for Combinatorial Optimization
|
| 2000-02-11 |
Andreas Jakobsson: Model-based and matched-filterbank signal analysis
|
| 2000-01-14 |
Annica Önell: Quantifying human balance: Analysis of force plate data
|
| 1999 |
|
| 1999-10-15 |
Hans Frimmel: Positioning biopsy needles in the prostate gland using 3D computer modelling
|
| 1999-06-07 |
Mats Kindahl: Verification of infinite-state systems: Decision problems and efficient algorithms
|
| 1999-06-01 |
Per Mildner: Type domains for abstract interpretation: A critical study
|
| 1999-03-12 |
Catherine Östlund: Analysis of imaging spectrometer data with lake environment applications
|
| 1999-02-26 |
Krister Åhlander: An Object-Oriented Framework for PDE Solvers
|
| 1999-02-19 |
Karl Hörnell: Runge–Kutta Time Step Selection for Flow Problems
|
| 1999-02-19 |
Paul Pettersson: Modelling and verification of real-time systems using timed automata: Theory and practice
|
| 1999-02-05 |
Joakim Sorelius: Subspace-based parameter estimation problems in signal processing
|
| 1998 |
|
| 1998-12-11 |
Ernst Nordström: Markov decision problems in ATM traffic control
|
| 1998-09-25 |
Pierangelo Dell'Acqua: Reflection principles in computational logic
|
| 1998-06-04 |
Björn Victor: The fusion calculus: Expressiveness and symmetry in mobile processes
|
| 1998-04-17 |
Jarmo Rantakokko: Data Partitioning Methods and Parallel Block-Oriented PDE Solvers
|
| 1998-03-27 |
Petter Ranefall: Towards automatic quantification of immunohistochemistry using colour image analysis
|
| 1997 |
|
| 1997-11-07 |
Erik Sterner: Accuracy and Convergence Studies of the Numerical Solution of Compressible Flow Problems
|
| 1997-10-24 |
Mats Holmström: Wavelet Based Methods for Time Dependent PDEs
|
| 1997-06-06 |
Margus Veanes: On simultaneous rigid E-unification
|
| 1996 |
|
| 1996-12-06 |
Johan Waldén: Wavelet Solvers for Hyperbolic PDEs
|
| 1996-06-06 |
David Lindström: Accurate Numerical Solution of Hyperbolic PDEs with Source Terms
|
| 1996-05-03 |
Bo Strand: High-Order Difference Approximations for Hyperbolic Initial Boundary Value Problems
|
| 1995 |
|
| 1995-05-19 |
Eva Pärt-Enander: Overlapping Grids and Applications in Gas Dynamics
|
| 1995-05-05 |
Lina Hemmingsson: Domain Decomposition Methods and Fast Solvers for First-order PDEs
|
| 1993 |
|
| 1993-05-26 |
Jan Nordström: Artificial Boundary Conditions for the Navier–Stokes Equations
|
| 1993-05-13 |
Kurt Otto: Construction and Analysis of Preconditioners for First-order PDE
|
| 1993-05-13 |
Sverker Holmgren: Fast Solvers for First-order PDE
|
| 1992 |
|
| 1992-04-24 |
Pelle Olsson: High-Order Difference Methods and Dataparallel Implementation
|
