| 2009 |
|
| 2009-09-18 |
Jim Wilenius: Bidding in Combinatorial Auctions
|
|
ISBN 978-91-554-7554-3, 143 pages. |
| 2009-06-12 |
John Håkansson: Design and Verification of Component Based Real-Time Systems
|
|
ISBN 978-91-554-7537-6, |
| 2009-06-03 |
Jan Henry Nyström: Analysing Fault Tolerance for Erlang Applications
|
|
ISBN 978-91-554-7532-1, 178 pages. |
| 2009-05-15 |
Pavel Krcal: Infinite Structures in Timed Systems
|
|
ISBN 978-91-554-7496-6, 43 pages. |
| 2009-04-24 |
Henrik Johansson: Autonomic Management of Partitioners for SAMR Grid Hierarchies
|
|
ISBN 978-91-554-7455-3, 58 pages. |
| 2009-04-03 |
Eddie Wadbro: Topology Optimization for Wave Propagation Problems
|
|
ISBN 978-91-554-7438-6, 28 pages. |
| 2009-03-19 |
Therese Bohlin: Regular Inference for Communication Protocol Entities
|
|
ISBN 978-91-554-7420-1, 66 pages. |
| 2009-03-06 |
Anna Eckerdal: Novice Programming Students' Learning of Concepts and Practise
|
|
ISBN 978-91-554-7406-5, 76 pages. |
| 2009-02-02 |
Ruslan Fomkin: Optimization and Execution of Complex Scientific Queries
|
|
ISBN 978-91-554-7382-2, 157 pages. |
| 2008 |
|
| 2008-12-05 |
Oskar Wibling: Creating Correct Network Protocols
|
|
ISBN 978-91-554-7333-4, 118 pages. |
| 2008-11-28 |
Stefan Engblom: Numerical Solution Methods in Stochastic Chemical Kinetics
|
|
ISBN 978-91-554-7322-8, 68 pages. |
| 2008-11-28 |
Björn Holmberg: Estimating Human Limb Motion Using Skin Texture and Particle Filtering
|
|
ISBN 978-91-554-7327-3, 78 pages. |
| 2008-11-21 |
Lisa Kaati: Reduction Techniques for Finite (Tree) Automata
|
|
ISBN 978-91-554-7313-6, 65 pages. |
| 2008-09-26 |
Mei Hong: Analysis of Some Methods for Identifying Dynamic Errors-in-variables Systems
|
|
ISBN 978-91-554-7268-9, |
| 2008-06-13 |
Erik Nordström: Challenged Networking: An Experimental Study of new Protocols and Architectures
|
|
ISBN 978-91-554-7239-9, 266 pages. |
| 2008-06-09 |
Noomene Ben Henda: Infinite-state Stochastic and Parameterized Systems
|
|
ISBN 978-91-554-7228-3, 281 pages. |
| 2008-05-26 |
Johan Petrini: Querying RDF Schema Views of Relational Databases
|
|
ISBN 978-91-554-7202-3, |
| 2008-05-23 |
Olga Grinchtein: Learning of Timed Systems
|
|
ISBN 978-91-554-7207-8, 44 pages. |
| 2008-05-23 |
Peter Nauclér: Estimation and Control of Resonant Systems with Stochastic Disturbances
|
|
ISBN 978-91-554-7187-3, 197 pages. |
| 2008-04-25 |
Linda Brus: Nonlinear Identification and Control with Solar Energy Applications
|
|
ISBN 978-91-554-7142-2, 192 pages. |
| 2008-04-18 |
Mayank Saksena: Verifying Absence of ∞ Loops in Parameterized Protocols
|
|
ISBN 978-91-554-7148-4, 80 pages. |
| 2008-04-15 |
Ahmed Rezine: Parameterized Systems: Generalizing and Simplifying Automatic Verification
|
|
ISBN 978-91-554-7138-5, 196 pages. |
| 2008-02-01 |
Lars Winkler Pettersson: Collaborative Visualization: Designing and evaluating systems for co-located work
|
|
ISBN 978-91-554-7066-1, 70 pages. |
| 2008-01-18 |
Magnus Ågren: Set Constraints for Local Search
|
|
ISBN 978-91-554-7053-1, 226 pages. |
| 2007 |
|
| 2007-12-20 |
Jing Gong: Hybrid Methods for Unsteady Fluid Flow Problems in Complex Geometries
|
|
ISBN 978-91-554-7046-3, 28 pages. |
| 2007-12-14 |
Niklas Hardenborg: Designing Work and IT Systems: A Participatory Process that Supports Usability and Sustainability
|
|
ISBN 978-91-554-7048-7, 85 pages. |
| 2007-12-10 |
Magnus Evestedt: Parameter and State Estimation with Information-rich Signals
|
|
ISBN 978-91-554-7027-2, 47 pages. |
| 2007-11-30 |
Paul Sjöberg: Numerical Methods for Stochastic Modeling of Genes and Proteins
|
|
ISBN 978-91-554-7009-8, 42 pages. |
| 2007-10-12 |
Yngve Selén: Model Selection and Sparse Modeling
|
|
ISBN 978-91-506-1955-3, |
| 2007-05-21 |
Anders Hessel: Model-Based Test Case Generation for Real-Time Systems
|
|
ISBN 978-91-554-6883-5, 59 pages. |
| 2007-05-11 |
Erik Bängtsson: Robust Preconditioners Based on the Finite Element Framework
|
|
ISBN 978-91-554-6870-5, 84 pages. |
| 2007-04-20 |
Malin Ljungberg: Design of High Performance Computing Software for Genericity and Variability
|
|
ISBN 978-91-554-6837-8, 29 pages. |
| 2007-03-23 |
Sven Sandberg: Games and Probabilistic Infinite-State Systems
|
|
ISBN 978-91-554-6813-2, 230 pages. |
| 2007-03-16 |
Niclas Sandgren: Advanced Spectral Analysis with Applications
|
|
ISBN 978-91-506-1917-1, |
| 2007-02-09 |
Stina Nylander: Design and Implementation of Multi-Device ServicesUtveckling av tjänster med multipla användargränssnitt
|
|
ISBN 978-91-554-6781-4, 46 pages. |
| 2006 |
|
| 2006-10-20 |
Richard Abrahamsson: Estimation Problems in Array Signal Processing, System Identification, and Radar ImageryEstimeringsproblem inom arraysignalbehandling, systemidentifiering och radar
|
|
ISBN 91-554-6657-5, |
| 2006-10-20 |
Markus Nordén: Multithreaded PDE Solvers on Non-Uniform Memory Architectures
|
|
ISBN 91-554-6656-7, 33 pages. |
| 2006-10-13 |
Håkan Zeffer: Towards Low-Complexity Scalable Shared-Memory Architectures
|
|
ISBN 91-554-6647-8, 48 pages. |
| 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
|
|
ISBN 91-554-6648-6, 49 pages. |
| 2006-09-29 |
Jonas Persson: Accurate Finite Difference Methods for Option Pricing
|
|
ISBN 91-554-6627-3, 70 pages. |
| 2006-06-02 |
Johann Deneux: Verification of Parameterized and Timed Systems: Undecidability Results and Efficient Methods
|
|
ISBN 91-554-6574-9, 29 pages. |
| 2006-05-24 |
Dan Wallin: Methods for Creating and Exploiting Data Locality
|
|
ISBN 91-554-6555-2, 37 pages. |
| 2006-01-20 |
Olivier Amoignon: Numerical Methods for Aerodynamic Shape Optimization
|
|
ISBN 91-554-6431-9, 34 pages. |
| 2006-01-16 |
Kidane Yemane: Relations in Models of Calculi and Logics with Names
|
|
ISBN 91-554-6426-2, viii + 128 pages. |
| 2006-01-13 |
Martin Karlsson: Memory System Design for Chip-Multiprocessors
|
|
ISBN 91-554-6429-7, 32 pages. |
| 2006-01-13 |
Kajsa Ljungberg: Numerical Algorithms for Mapping of Multiple Quantitative Trait Loci in Experimental Populations
|
|
ISBN 91-554-6427-0, 61 pages. |
| 2005 |
|
| 2005-12-16 |
Richard Gold: An Indirection Architecture for the Internet
|
|
ISBN 91-554-6419-X, xii + 43 pages. |
| 2005-11-18 |
Zoran Radovic: Software Techniques for Distributed Shared Memory
|
|
ISBN 91-554-6385-1, xii, 121 pages. |
| 2005-11-10 |
Erik Berg: Efficient and Flexible Characterization of Data Locality through Native Execution Sampling
|
|
ISBN 91-554-6363-0, 30 pages. |
| 2005-11-07 |
Milena Ivanova: Scalable Scientific Stream Query Processing
|
|
ISBN 91-554-6351-7, |
| 2005-11-04 |
Erik Abenius: Direct and Inverse Methods for Waveguides and Scattering Problems in the Time Domain
|
|
ISBN 91-554-6364-9, 47 pages. |
| 2005-10-21 |
Inger Boivie: A Fine Balance: Addressing Usability and Users’ Needs in the Development of IT Systems for the Workplace
|
|
ISBN 91-554-6353-3, 85 pages. |
| 2005-10-21 |
Mats Ekman: Modeling and Control of Bilinear Systems: Application to the Activated Sludge Process
|
|
ISBN 91-554-6342-8, 229 pages. |
| 2005-10-19 |
Patrik Forssén: Adsorption Isotherm Parameter Estimation in Nonlinear Liquid Chromatography
|
|
ISBN 91-554-6355-X, 24 pages. |
| 2005-10-07 |
Pär Samuelsson: Control of Nitrogen Removal in Activated Sludge Processes
|
|
ISBN 91-554-6311-8, 156 pages. |
| 2005-05-25 |
Claes Olsson: Active Vibration Control of Multibody Systems: Application to Automotive Design
|
|
ISBN 91-554-6267-7, 35 pages. |
| 2005-05-13 |
Per Sundqvist: Numerical Computations with Fundamental SolutionsNumeriska beräkningar med fundamentallösningar
|
|
ISBN 91-554-6227-8, 51 pages. |
| 2005-04-29 |
Anders Berglund: Learning computer systems in a distributed project course: The what, why, how and where
|
|
ISBN 91-554-6187-5, 235 pages. |
| 2005-03-23 |
Pritha Mahata: Model Checking Parameterized Timed Systems
|
|
ISBN 91-554-6158-1, 180 pages. |
| 2005-03-21 |
Henrik Lundgren: Implementation and Experimental Evaluation of Wireless Ad hoc Routing Protocols
|
|
ISBN 91-554-6159-X, xii+41 pages. |
| 2005-03-02 |
Marcus Nilsson: Regular Model Checking
|
|
ISBN 91-554-6137-9, |
| 2005-02-18 |
Henrik Björklund: Combinatorial Optimization for Infinite Games on Graphs
|
|
ISBN 91-554-6129-8, 51 pages. |
| 2005-02-04 |
Erik Borälv: Design in Telemedicine: Development and Implementation of Usable Computer Systems
|
|
ISBN 91-554-6133-6, 53 pages. |
| 2005-01-26 |
Emad Abd-Elrady: Nonlinear Approaches to Periodic Signal Modeling
|
|
ISBN 91-554-6079-8, 231 pages. |
| 2004 |
|
| 2004-12-16 |
Per Carlsson: Algorithms for Electronic Power Markets
|
|
ISBN 91-554-6093-3, 67 pages. |
| 2004-12-10 |
Jenny Öhman Persson: The Obvious & The Essential: Interpreting Software Development & Organizational Change
|
|
ISBN 91-554-6095-X, 251 pages. |
| 2004-11-12 |
Magnus Svärd: Stable High-Order Finite Difference Methods for AerodynamicsStabila högordnings finita differensmetoder för aerodynamik
|
|
ISBN 91-554-6063-1, 25 pages. |
| 2004-06-04 |
Eva Olsson: Designing Work Support Systems – For and With Skilled Users
|
|
ISBN 91-554-5977-3, 76 pages. |
| 2004-06-03 |
Bharath Bhikkaji: Model Reduction and Parameter Estimation for Diffusion Systems
|
|
ISBN 91-554-5958-7, 125 pages. |
| 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
|
|
ISBN 91-554-5975-7, 80 pages. |
| 2004-04-23 |
Per Åhgren: On System Identification and Acoustic Echo CancellationSystemidentifiering och Akustisk Ekoutsläckning
|
|
ISBN 91-554-5886-6, |
| 2004-02-06 |
Erik Larsson: Identification of Stochastic Continuous-time Systems: Algorithms, Irregular Sampling and Cramér-Rao Bounds
|
|
ISBN 91-554-5847-5, |
| 2004-01-30 |
Martin Nilsson: Fast Numerical Techniques for Electromagnetic Problems in Frequency Domain
|
|
ISBN 91-554-5827-0, 38 pages. |
| 2003 |
|
| 2003-12-12 |
Kaushik Mahata: Estimation Using Low Rank Signal Models
|
|
ISBN 91-554-5766-5, 141 pages. |
| 2003-12-04 |
Aletta Nylén: Compact Constraints for Verification of Well Quasi-Ordered Programs
|
|
ISBN 91-554-5788-6, |
| 2003-11-26 |
Elena Fersman: A Generic Approach to Schedulability Analysis of Real-Time Systems
|
|
ISBN 91-554-5774-6, 162 pages. |
| 2003-11-26 |
Alexandre David: Hierarchical Modeling and Analysis of Real Time Systems
|
|
ISBN 91-506-1722-2, |
| 2003-11-25 |
Julien d'Orso: New Directions in Symbolic Model Checking
|
|
ISBN 91-554-5781-9, 138 pages. |
| 2003-11-11 |
Timour Katchaounov: Query Processing for Peer Mediator Databases
|
|
ISBN 91-554-5770-3, 190 pages. |
| 2003-10-24 |
Wendy Kress: High Order Finite Difference Methods in Space and Time
|
|
ISBN 91-554-5721-5, 28 pages. |
| 2003-09-26 |
Abraham Zemui: High Order Symmetric Finite Difference Schemes for the Acoustic Wave Equation
|
|
ISBN 91-554-5685-5, |
| 2003-09-19 |
Daniel Noreland: Numerical Techniques for Acoustic Modelling and Design of Brass Wind Instruments
|
|
ISBN 91-554-5679-0, 25 pages. |
| 2003-06-03 |
Andreas Ermedahl: A Modular Tool Architecture for Worst-Case Execution Time Analysis
|
|
ISBN 91-554-5671-5, 200 pages. |
| 2003-05-09 |
Ken Mattsson: Summation-by-Parts Operators for High Order Finite Difference Methods
|
|
ISBN 91-554-5596-4, 23 pages. |
| 2003-02-17 |
Bob Melander: Probing-Based Approaches to Bandwidth Measurements and Network Path Emulation
|
|
ISBN 91-554-5484-4, 52 pages. |
| 2002 |
|
| 2002-12-13 |
Johan Steensland: Efficient Partitioning of Dynamic Structured Grid Hierarchies
|
|
ISBN 91-554-5423-2, |
| 2002-12-06 |
Carl Åborg: How does IT feel @ work? And how to make IT better. : Computer use, stress and health in office work.
|
|
ISBN 91-554-5450-X, 50 pages. |
| 2002-11-29 |
Bengt Eliasson: Numerical Vlasov–Maxwell Modelling of Space Plasma
|
|
ISBN 91-554-5427-5, 28 pages. |
| 2002-11-01 |
Erik Stenman: Efficient Implementation of Concurrent Programming Languages
|
|
ISBN 91-554-5422-4, 150 pages. |
| 2002-10-04 |
Kjartan Halvorsen: Model-based Methods in Motion Capture
|
|
ISBN 91-554-5381-3, |
| 2002-09-27 |
Girish Ganesan: Designing Space-Time Codes Using Orthogonal Designs
|
|
ISBN 91-554-5369-4, |
| 2002-09-06 |
Fredrik Edelvik: Hybrid Solvers for the Maxwell Equations in Time-Domain
|
|
ISBN 91-554-5354-6, 155 pages. |
| 2002-06-07 |
Johan Bengtsson: Clocks, DBMs and States in Timed Systems
|
|
ISBN 91-554-5350-3, |
| 2002-05-27 |
Thiemo Voigt: Architectures for Service Differentiation in Overloaded Internet Servers
|
|
ISBN 91-506-1559-9, 153 pages. |
| 2002-04-19 |
Jakob Engblom: Processor Pipelines and Static Worst-Case Execution Time Analysis
|
|
ISBN 91-554-5228-0, 130 pages. |
| 2002-02-01 |
Erik G Larsson: The ubiquitous signal processing: Applications to communications, spectral analysis and array processing
|
|
ISBN 91-554-5176-4, |
| 2001 |
|
| 2001-05-02 |
Björn Knutsson: Architectures for application transparent proxies: A study of network enhancing software
|
|
ISBN 99-3468411-X, ix, [1], 178, [2] pages. |
| 2001-04-20 |
Tomas Sundin: Spectral analysis and magnetic rexonance spectroscopy
|
|
ISBN 91-554-4971-9, |
| 2001-02-09 |
Henrik Brandén: Convergence Acceleration for Flow Problems
|
|
ISBN 91-554-4914-X, 22 pages. |
| 2001-01-12 |
Lars Thalmann: Term-modal logic and quantifier-free dynamic assignment logic
|
|
ISBN 91-506-1443-6, x, 130 pages. |
| 2000 |
|
| 2000-12-22 |
Jonas Nilsson: Initial-Boundary-Value Problems for the Stokes and Navier–Stokes Equations on Staggered Grids
|
|
ISBN 91-554-4885-2, |
| 2000-05-31 |
Magnus Mossberg: Identification of viscoelastic materials and continuous-time stochastic systems
|
|
ISBN 91-554-4741-4, |
| 2000-05-24 |
Mikael Sjödin: Predictable high-speed communications for distributed real-time systems
|
|
ISBN 99-3249955-2, |
| 2000-05-19 |
Elisabeth Larsson: Domain Decomposition and Preconditioned Iterative Methods for the Helmholtz Equation
|
|
ISBN 91-554-4689-2, |
| 2000-05-19 |
Jakob Carlström: Reinforcement learning for admission control and routing
|
|
ISBN 91-628-4100-9, |
| 2000-05-08 |
Jan Gustafsson: Analyzing execution-time of object-oriented programs using abstract interpretation
|
|
ISBN 99-3237815-1, |
| 2000-04-14 |
Kristina Lundqvist: Distributed computing and safety critical systems in Ada
|
|
ISBN 99-3230663-0, |
| 2000-02-11 |
Andreas Jakobsson: Model-based and matched-filterbank signal analysis
|
|
ISBN 91-554-4571-3, |
| 2000-01-14 |
Annica Önell: Quantifying human balance: Analysis of force plate data
|
|
ISBN 91-554-4603-5, |
| 1999 |
|
| 1999-03-31 |
Greger Ottosson: Integration of constraint programming and integer programming for combinatorial optimization
|
|
ISBN 91-506-1396-0, |
| 1999-02-05 |
Joakim Sorelius: Subspace-based parameter estimation problems in signal processing
|
|
ISBN 91-506-1325-1, |
![[Listen to this web page]](/newimages/listen_red.gif){kind=small}