[ 2016  2015  2014  2013  2012  2011  2010  2009  2008  2007  2006  2005  2004  2003  2002  2001  2000  1999 ]

2016017

Eigenvalues of Banded Symmetric Toeplitz Matrices are Known Almost in Close Form? S.E. Ekström and S. SerraCapizzano. September 2016. 
2016016

ErrorsinVariables Identification using Maximum Likelihood Estimation in the Frequency Domain Torsten Söderström and Umberto Soverini. September 2016. 
2016015

Task Parallel Implementation of a Solver for Electromagnetic Scattering Problems Afshin Zafari, Elisabeth Larsson, Marco Righero, M. Alessandro Francavilla, Giorgio Giordanengo, Francesca Vipiana, and Giuseppe Vecchi. August 2016. 
2016014

A Unified DVFSCache Resizing Framework Vasilis Spiliopoulos, Andreas Sembrant, Georgios Keramidas, Erik Hagersten, and Stefanos Kaxiras. August 2016. 
2016013

LOLCAT: Relaxed Linear References for Lockfree Programming Elias Castegren and Tobias Wrigstad. July 2016. 
2016012

Surface Subdivision Algorithms and Structured Linear Algebra: a Computational Approach to Determine Bounds of Extraordinary Rule Weights Marco Donatelli, Paola Novara, Lucia Romani, Stefano SerraCapizzano, and Debora Sesana. July 2016. 
2016011

DiagonalNorm Upwind SBP Operators Ken Mattsson. June 2016. 
2016010

DuctTeip: A TaskBased Parallel Programming Framework for Distributed Memory Architectures Afshin Zafari, Elisabeth Larsson, and Martin Tillenius. June 2016. 
2016009

On the Role of Monte Carlo Methods in Swedish M. Sc. Engineering Education Andreas Svensson. May 2016. 
2016008

Comparing Two Recent Particle Filter Implementations of Bayesian System Identification Andreas Svensson and Thomas B. Schön. May 2016. 
2016007

Reference Capabilities for Trait Based Reuse and Concurrency Control Elias Castegren and Tobias Wrigstad. May 2016. Extended version of Reference Capabilities for Concurrency Control, ECOOP 2016.. 
2016006

The ISCAL method and the Grounding Line  Combining the Stokes equations with the Shallow Ice Approximation and Shelfy Stream Approximation Josefin Ahlkrona. April 2016. 
2016005

A Meshfree Approach to NonNewtonian Free Surface Ice Flow: Application to the Haut Glacier d Arolla Josefin Ahlkrona and Victor Shcherbakov. April 2016. 
2016004

Implementing Fast, Virtualized Profiling to Eliminate Cache Warming Nikos Nikoleris, Andreas Sandberg, Erik Hagersten, and Trevor E. Carlson. March 2016. 
2016003

A Tradeoff Between Data Rate and Regulation Performance in Networked Data Flow Control Torbjörn Wigren. January 2016. 
2016002

Proceedings från 5:e Utvecklingskonferensen för Sveriges ingenjörsutbildningar Stefan Pålsson and Björn Victor. February 2016. In Swedish. 
2016001

A Block Multigrid Strategy for TwoDimensional Coupled PDEs Marco Donatelli, Ali Dorostkar, Mariarosa Mazza, Maya Neytcheva, and Stefano SerraCapizzano. January 2016. 


[ 2016  2015  2014  2013  2012  2011  2010  2009  2008  2007  2006  2005  2004  2003  2002  2001  2000  1999 ]

2015038

Subtyping and Algebraic Data Types SvenOlof Nyström. December 2015. 
2015037

PerfInsight: A Simple, Scalable Approach to Optimal Data Prefetching in Multicores Muneeb Khan, David BlackSchaffer, and Erik Hagersten. December 2015. 
2015036

A Preconditioner for Optimal Control Problems, Constrained by Stokes Equation with a TimeHarmonic Control Owe Axelsson, Shiraz Farouq, and Maya Neytcheva. December 2015. 
2015035

Deterministic Parallel Graph Coloring with Repartitioning by Auxiliary Graph Coloring Johan Öfverstedt and Per Normann. December 2015. 
2015034

Implementing a Secure Abstract Machine  Extended Version Adriaan Larmuseau, Marco Patrignani, and Dave Clarke. November 2015. This technical report serves as the companion report to a SEC@SAC 2016 paper of the same name. 
2015033

Modelling and Analysing a WSN Secure Aggregation Protocol: A Comparison of Languages and Tool Support Volkan Cambazoglu, Ramūnas Gutkovas, Johannes Åman Pohjola, and Björn Victor. November 2015. Updated 20151202: The results in subsection 4.1.3 are updated because we realised that Pwb can evaluate the SHIA model faster for network sizes of 2 and 4, and also can handle network size of 8. 
2015032

Active Learning for Extended Finite State Machines Sofia Cassel, Falk Howar, Bengt Jonsson, and Bernhard Steffen. October 2015. This report updates and supercedes Technical Report 2015004. 
2015031

Deterministic Parallel Graph Coloring with Symmetry Breaking Per Normann and Johan Öfverstedt. October 2015. 
2015030

Comparison of preconditioned Krylov subspace iteration methods for PDEconstrained optimization problems. Stokes control Owe Axelsson, Shiraz Farouq, and Maya Neytcheva. September 2015. 
2015029

Resultat och reflektioner kring mailkategorisering av användares mail till Uppsala läns landsting kring åtkomst av journaler via nätet Nanna Kjellin Lagerqvist. September 2015. In Swedish. Updates and supercedes Technical Report nr 2015010. 
2015028

A Secure Compiler for ML Modules  Extended Version Adriaan Larmuseau, Marco Patrignani, and Dave Clarke. September 2015. This technical report is an updated version of TR 2015017 that serves as the companion report to an APLAS 2015 paper of the same title. 
2015027

Frequency Domain Identification of Autoregressive Models in the Presence of Additive Noise Umberto Soverini and Torsten Söderström. September 2015. 
2015026

Modelling an Assembly Attacker by Reflection Adriaan Larmuseau and Dave Clarke. August 2015. This technical report is an extended version of a paper titled: A HighLevel Model for an Assembly Language Attacker by means of Reflection that is to appear at SETTA 2015. 
2015025

Improved Monte Carlo Methods for Computing Failure Probabilities of Porous Media Flow Systems Fritjof Fagerlund, Fredrik Hellman, Axel Målqvist, and Auli Niemi. August 2015. 
2015024

Comparison of Preconditioned Krylov Subspace Iteration Methods for PDEConstrained Optimization Problems. Poisson and ConvectionDiffusion Control Owe Axelsson, Shiraz Farouq, and Maya Neytcheva. August 2015. 
2015023

The theory of Generalized Locally Toeplitz sequences: a review, an extension, and a few representative applications Carlo Garoni and Stefano SerraCapizzano. August 2015. Revised, corrected, updated and extended version of TR 2015016. 
2015022

Experiments on Large Scale Document Visualization using Imagebased Word Clouds Tomas Wilkinson and Anders Brun. July 2015. 
2015021

Modal Logics for Nominal Transition Systems Joachim Parrow, Johannes Borgström, LarsHenrik Eriksson, Ramūnas Gutkovas, and Tjark Weber. June 2015. Accepted for CONCUR 2015. This version includes proofs in an appendix. 
2015020

Deterministic Parallel Graph Coloring with Hashing Per Normann and Johan Öfverstedt. June 2015. 
2015019

Some Details on State Space Smoothing using the Conditional Particle Filter Andreas Svensson, Thomas B Schön, and Manon Kok. June 2015. 
2015018

DelayIndependent Stability Criteria for Networked Control Systems Johannes Nygren, Torbjörn Wigren, and Kristiaan Pelckmans. June 2015. 
2015017

A Secure Compiler for ML Modules  Extended Version Adriaan Larmuseau, Marco Patrignani, and Dave Clarke. June 2015. 
2015016

Generalized Locally Toeplitz sequences: a review and an extension Carlo Garoni and Stefano SerraCapizzano. May 2015. Revised, corrected, updated and extended by TR 2015023 (http://www.it.uu.se/research/publications/reports/2015023). 
2015015

Formalizing a Secure Foreign Function Interface  Extended Version Adriaan Larmuseau and Dave Clarke. May 2015. This technical report is an extended version of the paper of the same name that is to appear at SEFM 2015. 
2015014

LargeEddy Simulation of Turbulent Channel Flow Timofey Mukha and Mattias Liefvendahl. May 2015. 
2015013

Constraints in nonlinear L2stable networked control Torbjörn Wigren. May 2015. 
2015012

Lusin Theorem, GLT Sequences and Matrix Computations: An Application to the Spectral Analysis of PDE Discretization Matrices Carlo Garoni, Carla Manni, Stefano SerraCapizzano, Debora Sesana, and Hendrik Speleers. March 2015. 
2015011

Schur Complement Matrix and its (Elementwise) Approximation: A Spectral Analysis Based on GLT Sequences Ali Dorostkar, Maya Neytcheva, and Stefano SerraCapizzano. March 2015. 
2015010

Resultat och reflektioner kring mailkategorisering av användares mail till Uppsala läns landsting kring åtkomst av journaler via nätet Nanna Kjellin Lagerqvist. March 2015. In Swedish. Updated and superceded by Technical Report nr 2015029. 
2015009

Approximation of the Diffusive Representation by Decreasing Exponential Functions Emilie Blanc. February 2015. 
2015008

Spectral Analysis of Coupled PDEs and of their Schur Complements via the Notion of Generalized Locally Toeplitz Sequences Ali Dorostkar, Maya Neytcheva, and Stefano SerraCapizzano. February 2015. 
2015007

Proceedings from the 1st Albaha UniversityUppsala University Collaborative Symposium on Quality in Computing Education Aletta Nylén and Mohamed Shenify. February 2015. 
2015006

The EVI Distributed Shared Memory System Farshid Besharati, Mahdad Davari, Christian Danheimer Furedal, Björn Forsberg, Niklas Forsmark, Henrik Grandin, Jimmy Gunnarsson, Engla Ling, Marcus Lofvars, Sven Lundgren, Luis Mauricio, Erik Norgren, Magnus Norgren, Johan Risch, Christos Sakalis, and Stefanos Kaxiras. February 2015. 
2015005

Spectral Analysis and Spectral Symbol of Matrices in Isogeometric Galerkin Methods Carlo Garoni, Carla Manni, Stefano SerraCapizzano, Debora Sesana, and Hendrik Speleers. January 2015. 
2015004

Learning Extended Finite State Machines (extended version) Sofia Cassel, Falk Howar, Bengt Jonsson, and Bernhard Steffen. February 2015. Updated and superceded by Technical Report 2015032. 
2015003

On Some BlockPreconditioners for Saddle Point Systems and their CPUGPU Performance Ali Dorostkar, Maya Neytcheva, and Björn Lund. January 2015. 
2015002

Spectral Analysis and Structure Preserving Preconditioners for Fractional Diffusion Equations Marco Donatelli, Mariarosa Mazza, and Stefano SerraCapizzano. January 2015. 
2015001

Radial Basis Function Partition of Unity Methods for Pricing Vanilla Basket Options Victor Shcherbakov and Elisabeth Larsson. January 2015. 


[ 2016  2015  2014  2013  2012  2011  2010  2009  2008  2007  2006  2005  2004  2003  2002  2001  2000  1999 ]

2014024

Toeplitz Matrices: Spectral Properties and Preconditioning in the CG Method Stefano SerraCapizzano. December 2014. 
2014023

Detecting and Avoiding Multiple Sources of Interference in the 2.4 GHz Spectrum Venkatraman Iyer, Frederik Hermans, and Thiemo Voigt. December 2014. 
2014022

Tools for Determining the Asymptotic Spectral Distribution of Hermitian MatrixSequences and Applications Carlo Garoni, Stefano SerraCapizzano, and Paris Vassalos. December 2014. 
2014021

Spectral Analysis and Spectral Symbol of dvariate Qp Lagrangian FEM Stiffness Matrices Carlo Garoni, Stefano SerraCapizzano, and Debora Sesana. November 2014. 
2014020

Parallel Data Structures and Algorithms for HighDimensional Structured Adaptive Mesh Refinement Magnus Grandin and Sverker Holmgren. October 2014. 
2014019

Data Structures and Algorithms for HighDimensional Structured Adaptive Mesh Refinement Magnus Grandin. October 2014. 
2014018

Parallelization of the Particle Filter via Series Expansions Olov Rosén and Alexander Medvedev. August 2014. 
2014017

The 2013 SMT Evaluation David R. Cok, Aaron Stump, and Tjark Weber. July 2014. 
2014016

Identifiability and Limit Cycles Torbjörn Wigren. May 2014. 
2014015

Subtyping, consistency and derivability SvenOlof Nyström. May 2014. 
2014014

MATLAB Software for Identification of Nonlinear Autonomous Systems  Revision 1 Torbjörn Wigren. April 2014. The software package can be downloaded from http://www.it.uu.se/research/publications/reports/2014014/SWAutonomous.zip. 
2014013

Införandet av Raindance Bokföringsportal vid Uppsala universitet  En kortfattad rapport från KiAprojektet Thomas Lind, Åsa Cajander, and Bengt Sandblad. April 2014. In Swedish. 
2014012

Simulation of Stochastic Diffusion via First Exit Times Per Lötstedt and Lina Meinecke. April 2014. 
2014011

A Task Parallel Implementation of an RBFgenerated Finite Difference Method for the Shallow Water Equations on the Sphere Martin Tillenius, Elisabeth Larsson, Erik Lehto, and Natasha Flyer. April 2014. 
2014010

SuperGlue: A Shared Memory Framework using DataVersioning for DependencyAware TaskBased Parallelization Martin Tillenius. April 2014. 
2014009

On a Limitation in Networked Flow Control Torbjörn Wigren. March 2014. 
2014008

A Generalized Instrumental Variable Framework for EIV Identification Methods when the Measurement Noises are Mutually Correlated Torsten Söderström, Roberto Diversi, and Umberto Soverini. March 2014. 
2014007

Parallel Performance Study of BlockPreconditioned Iterative Methods on Multicore Computer Systems Ali Dorostkar, Dimitar Lukarski, Björn Lund, Maya Neytcheva, Yvan Notay, and Peter Schmidt. March 2014. 
2014006

On the Bimodality in an Introductory Programming Course: an Analysis of Student Performance Factors Lars Josef Höök. March 2014. 
2014005

Full Speed Ahead: Detailed Architectural Simulation at NearNative Speed Andreas Sandberg, Erik Hagersten, and David BlackSchaffer. March 2014. 
2014004

Stiff Convergence of ForceGradient Operator Splitting Methods Emil Kieri. February 2014. 
2014003

Ekonomiadministratörernas ITrelaterade arbetsmiljö vid Uppsala universitet  En kortfattad rapport från KIAprojektet Åsa Cajander, Thomas Lind, Gerolf Nauwerck, Britta Nyberg, and Bengt Sandblad. February 2014. In Swedish. 
2014002

Problems in the Integration of Timetabling and Train Traffic Control Peter Hellström. January 2014. 
2014001

ResourceAware Task Scheduling Martin Tillenius, Elisabeth Larsson, Rosa M. Badia, and Xavier Martorell. January 2014. 


[ 2016  2015  2014  2013  2012  2011  2010  2009  2008  2007  2006  2005  2004  2003  2002  2001  2000  1999 ]

2013027

Checklista för god arbetsmiljö vid datorstött arbete Bengt Sandblad. December 2013. In Swedish. 
2013026

A Succinct Canonical Register Automaton Model Sofia Cassel, Falk Howar, Bengt Jonsson, Maik Merten, and Bernhard Steffen. December 2013. This is an extended version of a paper published in ATVA 2011. The extended version has been accepted for publication in JLAP. 
2013025

A SkiplistBased Concurrent Priority Queue with Minimal Memory Contention Jonatan Lindén and Bengt Jonsson. December 2013. 
2013024

Förstudierapport: Införande av verksamhetsstödjande ITsystem. Problem, effekter och nytta Thomas Lind, Fredrik Brattlöf, Åsa Cajander, Bengt Sandblad, Bengt Göransson, and Anders Jansson. December 2013. In Swedish. 
2013023

A Radial Basis Function Partition of Unity Collocation Method for ConvectionDiffusion Equations Ali SafdariVaighani, Alfa Heryudono, and Elisabeth Larsson. November 2013. 
2013022

Stochastic Diffusion Processes on Cartesian Meshes Lina Meinecke and Per Lötstedt. November 2013. 
2013021

Fault Detection and Isolation of Sensors in Aeration Control Systems  the Airflow Ratio Method Bengt Carlsson and Jesús Zambrano. October 2013. 
2013020

A Priori Power Estimation of Linear Solvers on MultiCore Processors Dimitar Lukarski and Tobias Skoglund. September 2013. 
2013019

Coupling of Gaussian Beam and Finite Difference Solvers for Semiclassical Schrödinger Equations Emil Kieri, Gunilla Kreiss, and Olof Runborg. September 2013. 
2013018

Atmospheric Sound Propagation over LargeScale Irregular Terrain Martin Almquist, Ilkka Karasalo, and Ken Mattsson. September 2013. 
2013017

Analysing Model Validation Methods for ErrorsinVariables Estimation T. Söderström and J. Yuz. September 2013. 
2013016

Optimal DiagonalNorm SBP Operators Ken Mattsson, Martin Almquist, and Mark H. Carpenter. September 2013. 
2013015

Parallel Recursive Bayesian Estimation on Multicore Computational Platforms Using Orthogonal Basis Functions Olov Rosén and Alexander Medvedev. August 2013. 
2013014

Negative Premises in Applied Process Calculi Johannes Åman Pohjola, Johannes Borgström, Joachim Parrow, Palle Raabjerg, and Ioana Rodhe. June 2013. 
2013013

Duality Based Boundary Conditions and Dual Consistent Finite Difference Discretizations of the NavierStokes and Euler Equations Jens Berg and Jan Nordström. May 2013. 
2013012

General Domain Properties in Vehicle Operation: A Comparison between Trains and HighSpeed Ferries Mikael Erlandsson and Anders Jansson. May 2013. 
2013011

Discontinuous Galerkin Multiscale Methods for Convection Dominated Problems Daniel Elfverson and Axel Målqvist. May 2013. 
2013010

Convergence of Methods for Coupling of Microscopic and Mesoscopic ReactionDiffusion Simulations Mark B. Flegg, Stefan Hellander, and Radek Erban. April 2013. 
2013009

Single Molecule Simulations in Complex Geometries with Embedded Dynamic OneDimensional Structures Stefan Hellander. April 2013. 
2013008

Improving the Scheduling of Certifiable MixedCriticality Sporadic Task Systems Nan Guan, Pontus Ekberg, Martin Stigge, and Wang Yi. April 2013. 
2013007

Accelerated Convergence for Schrödinger Equations with NonSmooth Potentials Emil Kieri. April 2013. 
2013006

Data for Benchmarking in Nonlinear System Identification Torbjörn Wigren and Johan Schoukens. March 2013. The data can be downloaded from http://www.it.uu.se/research/publications/reports/2013006/SNLA80mVZipped.zip. 
2013005

A Comparison of Iterative Methods to Solve Complex Valued Linear Algebraic Systems Owe Axelsson, Maya Neytcheva, and Bashir Ahmad. March 2013. 
2013004

Characteristic Cut Finite Element Methods for ConvectionDiffusion Problems on Time Dependent Surfaces Peter Hansbo, Mats G. Larson, and Sara Zahedi. March 2013. 
2013003

Slutrapport för Projektet IVAN 20082011 Rebecka Janols, Bengt Göransson, and Bengt Sandblad. March 2013. In Swedish. 
2013002

Användarnas synpunkter på ITlösningar i vården  Sammanfattande erfarenheter från utvärderingar vid Landstinget i Uppsala län (20082012) Rebecka Janols, Bengt Sandblad, Bengt Göransson, and Thomas Lind. March 2013. In Swedish. Updated title 20130316. 
2013001

Informationssystem i Vården Användbarhet och Nytta (IVAN). Förstudierapport 2008. Rebecka Janols and Erik Borälv. January 2013. In Swedish. Updated title 20130316. 


[ 2016  2015  2014  2013  2012  2011  2010  2009  2008  2007  2006  2005  2004  2003  2002  2001  2000  1999 ]

2012036

URDME v. 1.2: User's manual Pavol Bauer, Brian Drawert, Stefan Engblom, and Andreas Hellander. December 2012. Also available at http://arxiv.org/abs/0902.2912 
2012035

An Intrusive Hybrid Method for Discontinuous TwoPhase Flow under Uncertainty Per Pettersson, Gianluca Iaccarino, and Jan Nordström. December 2012. 
2012034

Stochastic ReactionDiffusion Processes with Embedded Lower Dimensional Structures Siyang Wang, Johan Elf, Stefan Hellander, and Per Lötstedt. December 2012. 
2012033

A Stochastic Galerkin Method for the Euler Equations with Roe Variable Transformation Per Pettersson, Gianluca Iaccarino, and Jan Nordström. November 2012. This is a complete rewrite of report nr 2012021 with new results. A more general framework for the representation of uncertainty is used. All figures have been replaced and more numerical results have been added (methods of manufactured solutions, convergence in space and the stochastic dimension for subsonic and supersonic flow). 
2012032

Exact NonReflecting Boundary Conditions Revisited: WellPosedness and Stability Sofia Eriksson and Jan Nordström. October 2012. 
2012031

Timed Lossy Channel Systems Parosh Aziz Abdulla, Mohamed Faouzi Atig, and Jonathan Cederberg. October 2012. 
2012030

A Profiling Method for Analyzing Scalability Bottlenecks on Multicores David Eklöv, Nikos Nikoleris, and Erik Hagersten. October 2012. 
2012029

Quantitative Characterization of Memory Contention David Eklöv, Nikos Nikoleris, David BlackSchaffer, and Erik Hagersten. October 2012. 
2012028

On Stability and Monotonicity Requirements of Discretized Stochastic Conservation Laws with Random Viscosity Per Pettersson, Alireza Doostan, and Jan Nordström. September 2012. 
2012027

Breakdown of Methods for Phasing and Imputation in the Presence of Double Genotype Sharing Carl Nettelblad. September 2012. 
2012026

Inferring Haplotypes and Parental Genotypes in Larger Full SibShips and Other Pedigrees with Missing or Erroneous Genotype Data Carl Nettelblad. September 2012. 
2012025

On the Impact of Boundary Conditions on Dual Consistent Finite Difference Discretizations Jens Berg and Jan Nordström. September 2012. 
2012024

An RBFGalerkin Approach to the TimeDependent Schrödinger Equation Katharina Kormann and Elisabeth Larsson. September 2012. 
2012023

A TimeSpace Adaptive Method for the Schrödinger Equation Katharina Kormann. August 2012. Updated 20120912 (typos fixed). 
2012022

SoNIC: Classifying and Surviving Interference in 802.15.4based Sensor Networks Olof Rensfelt, Frederik Hermans, Thiemo Voigt, Edith Ngai, LarsÅke Nordén, and Per Gunningberg. August 2012. 
2012021

A Roe Variable Based Chaos Method for the Euler Equations under Uncertainty Per Pettersson, Gianluca Iaccarino, and Jan Nordström. August 2012. A compete rewrite with new results appears as report nr 2012033. 
2012020

Stable Computation of Differentiation Matrices and Scattered Node Stencils Based on Gaussian Radial Basis Functions Elisabeth Larsson, Erik Lehto, Alfa Heryudono, and Bengt Fornberg. August 2012. 
2012019

Numerical Solution of the TimeDependent NavierStokes Equation for Variable DensityVariable Viscosity Owe Axelsson, Xin He, and Maya Neytcheva. August 2012. 
2012018

Stable Calculation of Gaussianbased RBFFD Stencils Bengt Fornberg, Erik Lehto, and Collin Powell. August 2012. 
2012017

Efficiently Parallel Implementation of the Inverse ShermanMorrison Algorithm Xin He, Marcus Holm, and Maya Neytcheva. August 2012. 
2012016

On Preconditioning Incompressible NonNewtonian Flow Problems Xin He and Maya Neytcheva. August 2012. 
2012015

A Numerical Study of the Validity of Shallow Ice Approximations Josefin Ahlkrona, Nina Kirchner, and Per Lötstedt. July 2012. 
2012014

A Stable and Dual Consistent Boundary Treatment Using Finite Differences on SummationByParts Form Jens Berg and Jan Nordström. July 2012. 
2012013

Building Timing Predictable Embedded Systems Philip Axer, Rolf Ernst, Heiko Falk, Alain Girault, Daniel Grund, Nan Guan, Bengt Jonsson, Peter Marwedel, Jan Reineke, Christine Rochange, Maurice Sebastian, Reinhard von Hanxleden, Reinhard Wilhelm, and Wang Yi. July 2012. 
2012012

Adaptive Fast Multipole Methods on the GPU Anders Goude and Stefan Engblom. May 2012. 
2012011

An Adaptive Controller for Propofol in Anesthesia under Synergistic Remifentanil Disturbances Margarida Martins da Silva, Torbjörn Wigren, and Teresa Mendonca. May 2012. 
2012010

Investigating How Simple Software Optimizations Effect Relative Throughput Scaling on Multicores Muneeb Khan, Nikos Nikoleris, and Erik Hagersten. May 2012. 
2012009

Efficient Numerical Solution of Discrete MultiComponent CahnHilliard Systems Petia Boyanova and Maya Neytcheva. April 2012. 
2012008

Numerical Interaction of Boundary Waves with Perfectly Matched Layers in Elastic Waveguides Kenneth Duru and Gunilla Kreiss. April 2012. 
2012007

Boundary Waves and Stability of the Perfectly Matched Layer Kenneth Duru and Gunilla Kreiss. April 2012. 
2012006

Aspects of Plan Operators in a Tree Automata Framework Johanna Björklund, Eric Jönsson, and Lisa Kaati. April 2012. 
2012005

On the Stability of Stochastic Jump Kinetics Stefan Engblom. February 2012. 
2012004

Superconvergent Functional Output for TimeDependent Problems using Finite Differences on SummationByParts Form Jens Berg and Jan Nordström. February 2012. 
2012003

Design and Evaluation of the Bandwidth Bandit David Eklöv, Nikos Nikoleris, David BlackSchaffer, and Erik Hagersten. February 2012. 
2012002

Numerical and Computational Efficiency of Solvers for TwoPhase Problems O. Axelsson, P. Boyanova, M. Kronbichler, M. Neytcheva, and X. Wu. January 2012. 
2012001

Numerical Evaluation of the CommunicationAvoiding Lanczos Algorithm Magnus Gustafsson, James Demmel, and Sverker Holmgren. January 2012. 


[ 2016  2015  2014  2013  2012  2011  2010  2009  2008  2007  2006  2005  2004  2003  2002  2001  2000  1999 ]

2011032

New InputOutput Pairing Strategies Based on Linear Quadratic Gaussian Control Björn Halvarsson, Torsten Wik, and Bengt Carlsson. December 2011. 
2011031

Om nya kontaktmönster i arbetslivet: Facebook, LinkedIn, Twitter Håkan Selg. December 2011. In Swedish. 
2011030

Multilevel Preconditioning of GraphLaplacians: Polynomial Approximation of the Pivot Blocks Inverses P. Boyanova, I. Georgiev, S. Margenov, and L. Zikatanov. November 2011. 
2011029

VIPS: Simple DirectoryLess BroadcastLess Cache Coherence Protocol Alberto Ros and Stefanos Kaxiras. November 2011. 
2011028

Reducing Unnecessary Cognitive Load in Traffic Control Gunnika IsakssonLuttemann, Bengt Sandblad, Arne W. Andersson, and Simon Tchirner. November 2011. 
2011027

Operative Tests of a New System for Train Traffic Control Gunnika IsakssonLutteman, Arvid Kauppi, Arne W Andersson, Bengt Sandblad, and Mikael Erlandsson. November 2011. 
2011026

A Hybrid LevelSetPhaseField Method for TwoPhase Flow with Contact Lines Martin Kronbichler and Gunilla Kreiss. December 2011. 
2011025

A Generic Interface for Parallel CellBased Finite Element Operator Application Martin Kronbichler and Katharina Kormann. November 2011. 
2011024

Multiscale Modeling of CapillaryDriven Contact Line Dynamics Martin Kronbichler, Claudio Walker, Gunilla Kreiss, and Bernhard Müller. November 2011. 
2011023

Efficient Sampling in EventDriven Algorithms for ReactionDiffusion Processes Hossein BaniHashemian, Stefan Hellander, and Per Lötstedt. October 2011. 
2011022

Stable Difference Methods for BlockStructured Adaptive Grids Magnus Gustafsson, Anna Nissen, and Katharina Kormann. October 2011. 
2011021

Om nya kontaktmönster i arbetslivet: SMS, chatt, epost och telefoni  När används vad? Håkan Selg. October 2011. In Swedish. 
2011020

RBFGenerated Finite Differences for Nonlinear Transport on a Sphere: Shallow Water Simulations Natasha Flyer, Erik Lehto, Sébastien Blaise, Grady B. Wright, and Amik StCyr. September 2011. 
2011019

A Weak Boundary Procedure for High Order Finite Difference Approximations of Hyperbolic Problems Qaisar Abbas and Jan Nordström. September 2011. 
2011018

Computing Strong and Weak Bisimulations for PsiCalculi  with proofs Magnus Johansson, Björn Victor, and Joachim Parrow. August 2011. 
2011017

Stability at Nonconforming Grid Interfaces for a High Order Discretization of the Schrödinger Equation Anna Nissen, Gunilla Kreiss, and Margot Gerritsen. August 2011. Typos corrected October 7, 2011. 
2011016

Implementation of a Collocated Boundary Element Method for Acoustic Wave Propagation in Multilayered Fluid Media Elena Sundkvist and Elisabeth Larsson. June 2011. 
2011015

Discretization of a Hybrid Model for Acoustic Wave Propagation in Layered Fluid Media Elena Sundkvist and Kurt Otto. June 2011. Updated 20110808. 
2011014

High Order Stable Finite Difference Methods for the Schrödinger Equation Anna Nissen, Gunilla Kreiss, and Margot Gerritsen. May 2011. 
2011013

On the Impact of Model Accuracy for Active Damping of a Viscoelastic Beam Hans Norlander. May 2011. 
2011012

Stable Robin Boundary Conditions for the NavierStokes Equations Jens Lindström and Jan Nordström. April 2011. 
2011011

Efficient Preconditioners for Large Scale Binary CahnHilliard Models Petia Boyanova, Minh DoQuang, and Maya Neytcheva. April 2011. 
2011010

Control of Aeration Systems in Activated Sludge Plants  a review Linda Åmand. April 2011. 
2011009

Operator Splittings for Solving Nonlinear, Coupled Multiphysics Problems with an Application to the Numerical Solution of an Interface Problem Owe Axelsson and Maya Neytcheva. April 2011. 
2011008

Stable and Conservative Time Propagators for Second Order Hyperbolic Systems Kenneth Duru, Ken Mattsson, and Gunilla Kreiss. April 2011. 
2011007

A Framework for Continuously Adaptive DVFS Vasileios Spiliopoulos, Stefanos Kaxiras, and Georgios Keramidas. March 2011. 
2011006

Preconditioning the Incompressible NavierStokes Equations with Variable Viscosity Xin He and Maya Neytcheva. March 2011. Updated April 5, 2011. 
2011005

Coupled Mesoscopic and Microscopic Simulation of Stochastic ReactionDiffusion Processes in Mixed Dimensions Andreas Hellander, Stefan Hellander, and Per Lötstedt. 2011. 
2011004

Solution Methods for the CahnHilliard Equation Discretized by Conforming and NonConforming Finite Elements Petia Boyanova, Minh DoQuang, and Maya Neytcheva. March 2011. 
2011003

URDME v. 1.1: User's manual Brian Drawert, Stefan Engblom, and Andreas Hellander. March 2011. The latest version of URDME can be obtained from www.urdme.org. For earlier versions of URDME consult Technical Report 2008022. 
2011002

Benchmark Simulation Model no. 1 with a Wireless Sensor Network for Monitoring and Control Johannes Nygren and Bengt Carlsson. January 2011. 


[ 2016  2015  2014  2013  2012  2011  2010  2009  2008  2007  2006  2005  2004  2003  2002  2001  2000  1999 ]

2010031

Constant is Optimal  a Strategy for Resource Efficient Control of a Class of Processes Bengt Carlsson. December 2010. 
2010030

Spectral Analysis of the Continuous and Discretized Heat and Advection Equation on Single and Multiple Domains Jens Lindström and Jan Nordström. December 2010. 
2010029

A General Approach to Analyse Preconditioners for TwobyTwo Block Matrices Owe Axelsson and Maya Neytcheva. November 2010. 
2010028

Om professionell användning av sociala medier och andra digitala kanaler Håkan Selg. November 2010. 
2010027

Proceedings of the 9th Koli Calling International Conference on Computing Education Research Arnold Pears and Carsten Schulte. November 2010. Typographical updates 20101125. 
2010026

On an Augmented LagrangianBased Preconditioning of Oseen Type Problems Xin He, Maya Neytcheva, and Stefano Serra Capizzano. November 2010. 
2010025

Recursive Identification and Scaling of Nonlinear Systems using Midpoint Numerical Integration Soma Tayamon and Torbjörn Wigren. October 2010. 
2010024

Assessment of Density Matrix Methods for Electronic Structure Calculations Elias Rudberg and Emanuel H. Rubensson. October 2010. 
2010023

Summation by Parts Operators for Finite Difference Approximations of SecondDerivatives with Variable Coefficients Ken Mattsson. October 2010. 
2010022

MATLAB Software for Recursive Identification and Scaling Using a Structured Nonlinear Blackbox Model  Revision 6 Torbjörn Wigren, Linda Brus, and Soma Tayamon. September 2010. Revised version of nr 2010002. The software package can be downloaded from http://www.it.uu.se/research/publications/reports/2010022/NRISSoftwareRev6.zip. 
2010021

Students' Conceptions of Computer Programming Michael Thuné and Anna Eckerdal. September 2010. The phenomenographic outcome space presented in this report has previously been published as part of a journal article (Thuné and Eckerdal 2009). Due to space limitations in the journal publication, we have found it appropriate to make available a more comprehensive description of the outcome space, in the present technical report. 
2010020

InputOutput Data Sets for Development and Benchmarking in Nonlinear Identification Torbjörn Wigren. August 2010. The software package can be downloaded from http://www.it.uu.se/research/publications/reports/2010020/NonlinearData.zip 
2010019

StatCC: Design and Evaluation David Eklöv, David BlackSchaffer, and Erik Hagersten. June 2010. 
2010018

Interaction of Waves with Frictional Interfaces Using SummationByParts Difference Operators, 2. Extension to Full Elastodynamics Jeremy E. Kozdon, Eric M. Dunham, and Jan Nordström. June 2010. 
2010017

Interaction of Waves with Frictional Interfaces Using SummationByParts Difference Operators, 1. Weak Enforcement of Nonlinear Boundary Conditions Jeremy E. Kozdon, Eric M. Dunham, and Jan Nordström. June 2010. 
2010016

Parametric Identification of Complex Modulus A. Rensfelt and T. Söderström. June 2010. 
2010015

Constrained Monotonic Abstraction: a CEGAR for Parameterized Verification Parosh Aziz Abdulla, YuFang Chen, Giorgio Delzanno, Frédéric Haziza, ChihDuo Hong, and Ahmed Rezine. June 2010. 
2010014

Flexible Single Molecule Simulation of ReactionDiffusion Processes Stefan Hellander and Per Lötstedt. May 2010. 
2010013

Ways to Understand Class Diagrams Jonas Boustedt. March 2010. Typographic updates 20100504. 
2010012

A Student Perspective on Software Development and Maintenance Jonas Boustedt. March 2010. 
2010011

Recursive Prediction Error Identification and Scaling of Nonlinear Systems with Midpoint Numerical Integration Soma Tayamon and Torbjörn Wigren. March 2010. 
2010010

FiniteElement Based Sparse Approximate Inverses for BlockFactorized Preconditioners Maya Neytcheva, Erik Bängtsson, and Elisabeth Linnér. March 2010. 
2010009

CaseStudy for Different Models of Resource Brokering in Grid Systems Salman Toor, Bjarte Mohn, David Cameron, and Sverker Holmgren. March 2010. 
2010008

Online Nonlinear Identification of the Effect of Drugs in Anaesthesia Using a Minimal Parameterization and BIS Measurements Margarida Martins da Silva, Teresa Mendonça, and Torbjörn Wigren. March 2010. 
2010007

Parameter Estimation in a Pulsatile Hormone Secretion Model Egi Hidayat and Alexander Medvedev. March 2010. 
2010006

Stochastically Guaranteed Global Optimums Achievable with a DivideandConquer Approach to Multidimensional QTL Searches Carl Nettelblad and Sverker Holmgren. March 2010. 
2010005

Assessing Orthogonality and Statical Properties of Linear Regression Methods for Interval Mapping with Partial Information Carl Nettelblad, Örjan Carlborg, and José M. ÀlvarezCastro. March 2010. 
2010004

A Wellposed and Discretely Stable Perfectly Matched Layer for Elastic Wave Equations in Second Order Formulation Kenneth Duru and Gunilla Kreiss. February 2010. 
2010003

Incorporating Active Transport of Cellular Cargo in Stochastic Mesoscopic Models of Living Cells Andreas Hellander and Per Lötstedt. February 2010. 
2010002

MATLAB Software for Recursive Identification and Scaling Using a Structured Nonlinear Blackbox Model  Revision 5 Torbjörn Wigren, Linda Brus, and Soma Tayamon. January 2010. Revised version of nr 2008007. The software package can be downloaded from http://www.it.uu.se/research/publications/reports/2010002/NRISSoftwareRev5.zip. Note that the software package was updated on 20100316. 
2010001

Computational and Visualization tools for Genetic Analysis of Complex Traits Mahen Jayawardena, Salman Toor, and Sverker Holmgren. January 2010. 


[ 2016  2015  2014  2013  2012  2011  2010  2009  2008  2007  2006  2005  2004  2003  2002  2001  2000  1999 ]

2009027

A Stable and High Order Accurate Conjugate Heat Transfer Problem Jens Lindström and Jan Nordström. November 2009. 
2009026

Spurious Currents in a FiniteElement Based Level Set Method for Two Phase Flow Sara Zahedi, Martin Kronbichler, and Gunilla Kreiss. November 2009. 
2009025

SenseiUU: A Nomadic Sensor Network Testbed Supporting Mobile Nodes Olof Rensfelt, Frederik Hermansand Christofer Ferm, Per Gunningberg, and LarsÅke Larzon. October 2009. 
2009024

AvIindex: A tool to assess usability Iordanis Kavathatzopoulos. October 2009. 
2009023

Nonlinear Identification of a Minimal NeuroMuscular Blockade Model in Anaesthesia Margarida Martins da Silva, Torbjörn Wigren, and Teresa Mendonca. September 2009. 
2009022

A FourierCoefficient Based Solution of an Optimal Control Problem in Quantum Chemistry Katharina Kormann, Sverker Holmgren, and Hans O. Karlsson. September 2009. 
2009021

Global Error Control of the TimePropagation for the Schrödinger Equation with a TimeDependent Hamiltonian Katharina Kormann, Sverker Holmgren, and Hans O. Karlsson. September 2009. 
2009020

Stable Computations with Gaussian Radial Basis Functions in 2D Bengt Fornberg, Elisabeth Larsson, and Natasha Flyer. August 2009. 
2009019

Statstack: Efficient Modeling of LRU Caches David Eklöv and Erik Hagersten. July 2009. 
2009018

Automated Analysis of DataDependent Programs with Dynamic Memory Parosh Aziz Abdulla, Muhsin Atto, Jonathan Cederberg, and Ran Ji. June 2009. 
2009017

An Optimized Perfectly Matched Layer for the Schrödinger Equation Anna Nissen and Gunilla Kreiss. June 2009. 
2009016

Expressions for the Covariance Matrix of Covariance Data Torsten Söderström. May 2009. 
2009015

Två kulturer på Internet: Resultat av faktor och klusteranalys Håkan Selg. May 2009. In Swedish. 
2009014

Revisiting and Extending Interface Penalties for MultiDomain SummationbyParts Operators Mark H. Carpenter, Jan Nordström, and David Gottlieb. May 2009. 
2009013

Combinatorial and Simultaneous Auction: A Pragmatic Approach to Tighter Bounds on Expected Revenue Jim Wilenius. May 2009. Updated May 28, 2009. 
2009012

New Input/Output Pairing Strategies based on Minimum Variance Control and Linear Quadratic Gaussian Control Björn Halvarsson and Bengt Carlsson. May 2009. Updated June 2009. 
2009011

Well Posed, Stable and Weakly Coupled Fluid Structure Interaction Problems Jan Nordström and Sofia Eriksson. April 2009. 
2009010

An Adaptive Algorithm for Simulation of Stochastic ReactionDiffusion Processes Lars Ferm, Andreas Hellander, and Per Lötstedt. April 2009. 
2009009

Analysis of the Order of Accuracy for NodeCentered Finite Volume Schemes Sofia Eriksson and Jan Nordström. March 2009. 
2009008

A MetaPartitioner for RunTime Selection and Evaluation of Multiple Partitioning Algorithms for SAMR Grid Hierarchies Henrik Johansson. March 2009. 
2009007

RunTime Selection of Partitioning Algorithms for Parallel SAMR Applications Henrik Johansson. March 2009. 
2009006

A Stable and Conservative High Order Multiblock Method for the Compressible NavierStokes Equations Jan Nordström, Jing Gong, Edwin van der Weide, and Magnus Svärd. February 2009. 
2009005

Ideas for a new Erlang SvenOlof Nyström. February 2009. 
2009004

The 8th Koli Calling International Conference on Computing Education Research Arnold Pears and Lauri Malmi. February 2009. Updated June 2009. 
2009003

A Searchbased Network Architecture for Mobile Devices Erik Nordström, Per Gunningberg, and Christian Rohner. January 2009. 
2009002

Ways of Thinking and Practising in Introductory Programming Anna Eckerdal. 2009. 
2009001

A New Analysis of Revenue in the Combinatorial and Simultaneous Auction Arne Andersson and Jim Wilenius. January 2009. Updated May 2009. 


[ 2016  2015  2014  2013  2012  2011  2010  2009  2008  2007  2006  2005  2004  2003  2002  2001  2000  1999 ]

2008026

Stereoscopic Estimation of Surface Movement from InterFrame Matched Skin Texture Björn Holmberg. October 2008. 
2008025

High Dimensional Human Motion Estimation using Particle Filtering Björn Holmberg. October 2008. 
2008024

Regular Inference for Communication Protocol Entities Therese Bohlin and Bengt Jonsson. September 2008. 
2008023

Static and Dynamic Structural Symmetry Breaking Pierre Flener, Justin Pearson, and Meinolf Sellmann. September 2008. 
2008022

The URDME Manual version 1.0 Josef Cullhed, Stefan Engblom, and Andreas Hellander. September 2008. 
2008021

Användbara ITstöd  En utvärdering av ett forskningsprojekt vid CSN, Centrala studiestödsnämnden Åsa Cajander, Elina Eriksson, Jan Gulliksen, Iordanis Kavathatzopoulos, and Bengt Sandblad. August 2008. In Swedish 
2008020

Parallel in Time Simulation of Multiscale Stochastic Chemical Kinetics Stefan Engblom. August 2008. Extended abstract to appear in Proceedings of ICNAAM 2008 
2008019

Stable Boundary Treatment for the Wave Equation on SecondOrder Form Ken Mattsson, Frank Ham, and Gianluca Iaccarino. June 2008. 
2008018

A Complete Characterisation of the Classification Tree Problem Pierre Flener and Xavier Lorca. June 2008. 
2008017

Design and Implementation of a Dynamic and Adaptive MetaPartitioner for Parallel SAMR Grid Hierarchies Henrik Johansson. June 2008. 
2008016

Rautomata Parosh Aziz Abdulla, Pavel Krcal, and Wang Yi. June 2008. 
2008015

Monotonic Abstraction for Programs with Dynamic Memory Heaps Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frédéric Haziza, and Ahmed Rezine. 2008. 
2008014

Inference of EventRecording Automata using Timed Decision Trees Olga Grinchtein and Bengt Jonsson. April 2008. 
2008013

Learning of EventRecording Automata Olga Grinchtein, Bengt Jonsson, and Martin Leucker. April 2008. 
2008012

Simulation of Stochastic ReactionDiffusion Processes on Unstructured Meshes Stefan Engblom, Lars Ferm, Andreas Hellander, and Per Lötstedt. April 2008. 
2008011

Numerical Analysis of Burgers' Equation with Uncertain Boundary Conditions Using the Stochastic Galerkin Method Per Pettersson, Gianluca Iaccarino, and Jan Nordström. March 2008. 
2008010

Parameterized Tree Systems Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frédéric Haziza, and Ahmed Rezine. March 2008. Accepted at FORTE'08: http://wwwhigashi.ist.osakau.ac.jp/FORTE08/. 
2008009

Linear and Nonlinear Regression with Application to Unbalance Estimation Peter Nauclér and Torsten Söderström. March 2008. 
2008008

Relations between BiasEliminating Least Squares, the Frisch Scheme and Extended Compensated Least Squares Methods for Identifying ErrorsinVariables Systems Mei Hong and Torsten Söderström. March 2008. 
2008007

MATLAB Software for Recursive Identification and Scaling Using a Structured Nonlinear Blackbox Model  Revision 4 Torbjörn Wigren and Linda Brus. March 2008. Revised version of nr 2007013. The software package can be downloaded from http://www.it.uu.se/research/publications/reports/2008007/NRISoftwareRev4.zip. Note that the software package was updated on 20100316. 
2008006

MATLAB Software for Feedforward Optimal Control of Systems with Flow Varying Time Delays  Revision 2 Linda Brus. March 2008. The software package can be downloaded from http://www.it.uu.se/research/publications/reports/2008006/NOCSoftwareV2.zip 
2008005

A Discrete Spectral Method for the Chemical Master Equation Stefan Engblom. February 2008. Supersedes report nr 2006036. Updated Feb 29, 2008. 
2008004

A New Analysis of Combinatorial vs Simultaneous Auctions: Revenue and Efficiency Arne Andersson and Jim Wilenius. February 2008. 
2008003

Ett förbättrat verktyg för mätning av användbarhet, stress och nytta: Andra försöket inom CSN Iordanis Kavathatzopoulos. January 2008. In Swedish. 
2008002

Equivalent Operator Preconditioning for Linear Elliptic Problems Owe Axelsson and Janos Karatson. January 2008. A preliminary version of the same article is published as Preprint 200704, ELTE Dept. Appl. Anal. Comp. Math., http://www.cs.elte.hu/applanal/preprints 
2008001

On the Plausibility of Using Skin Texture as Virtual Markers in the Human Motion Analysis Context, a 2D Study Björn Holmberg, Bo Nordin, Ewert Bengtsson, and Håkan Lanshammar. January 2008. 


[ 2016  2015  2014  2013  2012  2011  2010  2009  2008  2007  2006  2005  2004  2003  2002  2001  2000  1999 ]

2007035

Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols Mayank Saksena, Oskar Wibling, and Bengt Jonsson. December 2007. Updated March 2008. Extended abstract to appear in proc. 14th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2008). 
2007034

PixelActiveSurface: A Tabletop RearProjection Display for Collaboration with PixelAccurate Interaction Stefan Seipel and Lars Winkler Pettersson. December 2007. Extended abstract appeared in ACM Conference on Supporting Group Work (GROUP'07). 
2007033

A BlackBox Generalized Conjugate Gradient Minimum Residual Method Based on Variable Preconditioners and Local Element Approximations Owe Axelsson, Radim Blaheta, and Maya Neytcheva. December 2007. 
2007032

Structural Symmetry Breaking for Constraint Satisfaction Problems Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck, and Magnus Ågren. November 2007. 
2007031

Performing the Vision Seminar Process Niklas Hardenborg, Iordanis Kavathatzopoulos, and Bengt Sandblad. November 2007. 
2007030

Handling Parameterized Systems with NonAtomic Global Conditions Parosh Abdulla, Noomene Ben Henda, Giorgio Delzanno, and Ahmed Rezine. November 2007. Updated 20 Mar 2008. To appear in the Proc. of VMCAI 2008 
2007029

A Hybrid Method for the Unsteady Compressible NavierStokes Equations Jing Gong, Jan Nordström, and Edwin van der Weide. October 2007. 
2007028

PDE and Monte Carlo Approaches to Solving the Master Equation Applied to Gene Regulation Paul Sjöberg. October 2007. 
2007027

Efficient Computation of Transient Solutions of the Chemical Master Equation Based on Uniformization and QuasiMonte Carlo Andreas Hellander. October 2007. 
2007026

MATLAB Software for Feedforward Optimal Control of Systems with Flow Varying Time Delays Linda Brus. September 2007. A revised version can be found as technical report nr 2008006. The software package can be downloaded from http://www.it.uu.se/research/publications/reports/2007026/NOCSoftware.zip 
2007025

Polynomial Feedforward Design Techniques for a Mechanical Wave Diode System Peter Nauclér and Torsten Söderström. September 2007. 
2007024

Partial Order Reduction for Verification of RealTime Components John Håkansson and Paul Pettersson. September 2007. A shorter version will appear in the Proceedings of FORMATS 2007, LNCS 4762, pp 211226. 
2007023

Adaptive Solution of the Master Equation in Low Dimensions Lars Ferm and Per Lötstedt. September 2007. 
2007022

Accuracy Analysis of Time Domain Maximum Likelihood Method and Sample Maximum Likelihood Method for ErrorsinVariables Identification Mei Hong, Torsten Söderström, Johan Schoukens, and Rik Pintelon. September 2007. 
2007021

Comparison of Three Frisch Methods for ErrorsinVariables Identification Mei Hong, Torsten Söderström, Umberto Soverini, and Roberto Diversi. August 2007. 
2007020

A Hybrid Method for Unsteady Fluid Flow J. Nordström, F. Ham, M. Shoeybi, E. van der Weide, M. Svärd, K. Mattsson, G. Iaccarino, and J. Gong. August 2007. 
2007019

Simulations of Ground Effects on Wake Vortices at Runways Sofia Eriksson, Magnus Svärd, and Jan Nordström. June 2007. 
2007018

What is the Word for "Engineering" in Swedish: Swedish Students Conceptions of their Discipline Robin Adams, Sally Fincher, Arnold Pears, Jonas Boustedt, Jürgen Börstler, Peter Dalenius, Gunilla Eken, Tim Heyer, Andreas Jakobsson, Vanja Lindberg, Bengt Molin, Jan Erik Moström, and Mattias Wiggberg. June 2007. 
2007017

A Bandwidth Study of a DHT in a Heterogeneous Environment Olof Rensfelt and LarsÅke Larzon. May 2007. 
2007016

A CrossEnvironment Study of Routing Protocols for Wireless Multihop Networks Erik Nordström, Per Gunningberg, Christian Rohner, and Oskar Wibling. April 2007. 
2007015

MATLAB Software for Recursive Identification of Systems With Output Quantization Revision 1 Torbjörn Wigren. April 2007. The software package can be downloaded from http://www.it.uu.se/research/publications/reports/2007015/QRISRev1.zip 
2007014

Parameterized Verification of Infinitestate Processes with Global Conditions Parosh Aziz Abdulla, Giorgio Delzanno, and Ahmed Rezine. April 2007. A short version of this paper will appear in the proceedings of Computer Aided Verification (CAV) 2007. 
2007013

MATLAB Software for Recursive Identification and Scaling Using a Structured Nonlinear Blackbox Model  Revision 3 Torbjörn Wigren and Linda Brus. April 2007. Revised version of nr 2005022. The software package can be downloaded from http://www.it.uu.se/research/publications/reports/2007013/NRISoftwareRev3.zip 
2007012

Mathematical Model of NonBasal Testosterone Regulation in the Male by Pulse Modulated Feedback Alexander Churilov, Alexander Medvedev, and Alexander Shepeljavyi. April 2007. 
2007011

A Hierarchy of Approximations of the Master Equation Scaled by a Size Parameter Lars Ferm, Per Lötstedt, and Andreas Hellander. April 2007. 
2007010

MATLAB software for Recursive Identification of Wiener Systems  Revision 2 Torbjörn Wigren. March 2007. The software package was updated to handle FIR systems, revision 3, April 2007. The updated software package and manual can be downloaded from http://www.it.uu.se/research/publications/reports/2007010/WRIS.zip 
2007009

On ConstraintOriented Neighbours for Local Search Magnus Ågren, Pierre Flener, and Justin Pearson. March 2007. 
2007008

Finite Element BlockFactorized Preconditioners Erik Bängtsson and Maya Neytcheva. March 2007. 
2007007

Composable Difference Operators for Coordinate Invariant Partial Differential Equations Malin Ljungberg. February 2007. 
2007006

Proceedings from the 6th Baltic Sea Conference in Computing Education Research, Koli Calling Anders Berglund and Mattias Wiggberg (eds.). February 2007. 
2007005

Stochastic Games with Lossy Channels Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, Sven Sandberg, and Luca de Alfaro. February 2007. Updated 14 December 2007. To appear in the proceedings of FoSSaCS 2008. 
2007004

Pricing American Options Using a Spacetime Adaptive Finite Difference Method Jonas Persson. January 2007. 
2007003

AirTraffic Complexity Resolution in MultiSector Planning Pierre Flener, Justin Pearson, Magnus Ågren, Carlos Garcia Avello, and Mete Çeliktin. January 2007. 
2007002

A Stable and Efficient Hybrid Scheme for Viscous Problems in Complex Geometries Jing Gong and Jan Nordström. January 2007. 


[ 2016  2015  2014  2013  2012  2011  2010  2009  2008  2007  2006  2005  2004  2003  2002  2001  2000  1999 ]

2006052

Regular Model Checking without Transducers (On Efficient Verification of Parameterized Systems) Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, and Ahmed Rezine. December 2006. To appear in the proceedings of TACAS 2007 
2006051

A Comparison Between Two Solution Techniques to Solve the Equations of Linear Isostasy Erik Bängtsson and Björn Lund. December 2006. 
2006050

AvIenkäten: Ett verktyg för att mäta användbarhet, stress och nytta av ITstöd Iordanis Kavathatzopoulos. December 2006. In Swedish 
2006049

The User as a Personality: A Reflection on the Theoretical and Practical Use of Personas in HCI Design Stefan Blomkvist. November 2006. 
2006048

Preconditioning of Boundary Value Problems using Elementwise Schur Complements Owe Axelsson, Radim Blaheta, and Maya Neytcheva. November 2006. 
2006047

A Performance Characterization of Load Balancing Algorithms for Parallel SAMR Applications Henrik Johansson and Johan Steensland. October 2006. 
2006046

Asymptotic Accuracy Analysis of BiasEliminating Least Squares Estimates for Identification of Errors in Variables Systems Mei Hong, Torsten Söderström, and Wei Xing Zheng. October 2006. 
2006045

ModelBased Testing of a WAP Gateway: an Industrial CaseStudy Anders Hessel and Paul Pettersson. September 2006. 
2006044

Comparison of Time Domain Maximum Likelihood Method and Sample Maximum Likelihood Method in ErrorsinVariables Identification Mei Hong, Torsten Söderström, Johan Schoukens, and Rik Pintelon. September 2006. 
2006043

CaseCentered Learning of Scientific Computing Jarmo Rantakokko. September 2006. 
2006042

On the FarField Properties of an Acoustic Horn Eddie Wadbro. September 2006. 
2006041

Performance Modelling for Parallel PDE Solvers on NUMASystems Markus Nordén. August 2006. 
2006040

A Simplified Form of the BiasEliminating Least Squares Method for ErrorsInVariables Identification Mei Hong, Torsten Söderström, and Wei Xing Zheng. August 2006. 
2006039

Hybrid Method for the Chemical Master Equation Andreas Hellander and Per Lötstedt. August 2006. 
2006038

Geographical Locality and Dynamic Data Migration for OpenMP Implementations of Adaptive PDE Solvers Markus Nordén, Henrik Löf, Jarmo Rantakokko, and Sverker Holmgren. August 2006. To appear in Proceedings of the 2:nd International Workshop on OpenMP (IWOMP) 
2006037

MultiDimensional Option Pricing using Radial Basis Functions and the Generalized Fourier Transform Elisabeth Larsson, Krister Åhlander, and Andreas Hall. August 2006. 
2006036

A Discrete Spectral Method for the Chemical Master Equation Stefan Engblom. June 2006. Superseded by report nr 2008005 
2006035

Mesh Independent Superlinear PCG Rates via CompactEquivalent Operators Owe Axelsson and Janos Karátson. June 2006. 
2006034

Optimal Excitation for Nonparametric Identification of Viscoelastic Materials Agnes Rensfelt and Torsten Söderström. June 2006. 
2006033

Limiting Behavior of Markov Chains with Eager Attractors Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, and Sven Sandberg. June 2006. 
2006032

Extending the Frisch Scheme for ErrorsinVariables Identification to Correlated Output Noise Torsten Söderström. June 2006. 
2006031

A Case for LowComplexity MultiCMP Architectures Håkan Zeffer and Erik Hagersten. June 2006. 
2006030

The GTO Toolset and Method LarsHenrik Eriksson. June 2006. 
2006029

Use of Domain Theories in Applied Formal Methods LarsHenrik Eriksson. June 2006. 
2006028

Improved Radial Basis Function Methods for MultiDimensional Option Pricing Ulrika Pettersson, Elisabeth Larsson, Gunnar Marcusson, and Jonas Persson. May 2006. 
2006027

Error Bounded Schemes for TimeDependent Hyperbolic Problems Jan Nordström. May 2006. 
2006026

Boundary Conditions for a Divergence Free VelocityPressure Formulation of the Incompressible NavierStokes Equations Jan Nordström, Ken Mattsson, and Charles Swanson. May 2006. 
2006025

Designing a Graphical User Interface for Train Traffic Control Johan Wikström, Arvid Kauppi, Arne W. Andersson, and Bengt Sandblad. 2006. 
2006024

Control Strategies for Managing Train Traffic, Difficulties Today and Solutions for the Future Arvid Kauppi, Johan Wikström, Bengt Sandblad, and Arne W. Andersson. May 2006. 
2006023

MPI Implementation of a PCG Solver for Nonconforming FEM Problems: Overlapping of Communications and Computations Gergana Bencheva, Svetozar Margenov, and Jirí Starý. May 2006. 
2006022

On Moving Average Parameter Estimation Niclas Sandgren and Petre Stoica. April 2006. 
2006021

HighOrder Adaptive SpaceDiscretizations for the BlackScholes Equation Gunilla Linde, Jonas Persson, and Lina von Sydow. April 2006. 
2006020

Combining Tree Partitioning, Precedence, Incomparability, and Degree Constraints, with an Application to Phylogenetic and OrderedPath Problems Nicolas Beldiceanu, Pierre Flener, and Xavier Lorca. April 2006. 
2006019

Stable, Accurate and Efficient Interface Procedures for Viscous Problems Jing Gong and Jan Nordström. April 2006. 
2006018

Multigrid and GaussSeidel Smoothers Revisited: Parallelization on Chip Multiprocessors Dan Wallin, Henrik Löf, Erik Hagersten, and Sverker Holmgren. April 2006. 
2006017

Designing for Geometrical Symmetry Exploitation André Yamba Yamba, Krister Åhlander, and Malin Ljungberg. April 2006. 
2006016

Scalable RDF Views of Relational Databases through Partial Evaluation Johan Petrini and Tore Risch. March 2006. Updated April 2006 
2006015

Pricing Turbo Warrants Jonas Persson and Jonatan Eriksson. March 2006. 
2006014

Moving Mesh Adaptation for Aerodynamic Shape Optimization O. Amoignon. March 2006. 
2006013

Adjoint of a MedianDual FiniteVolume Scheme Applied to 2D and 3D Transonic Aerodynamic Shape Optimization O. Amoignon and M. Berggren. March 2006. 
2006012

Uppsala Underdogs  A Robot Soccer Project Marianne Ahlford, Martin Andersson, Hanna Blomquist, Magnus Ekström, Lars Ericsson, Johannes Gumbel, Anna Holmgren, Petter Holmberg, Leonard Kia, Anton Lindström, Magnus Lyrberg, Shaman Mahmoudi, Bengt Nolin, Jesper Sundien, Henrik Wallentin, Olle Gällmo, Anders Hessel, Leonid Mokrushin, and Paul Pettersson. March 2006. 
2006011

Developing AGPS as a Student Project Bahram Bahar, Adam Bolcsfoldi, Jonas Falkevik, Roger Jakobsen, Kristoer Kobosko, Jimmy Kallstrom, Alexander Harju, Andreas Hasselberg, Johan Persson, Mattias Wadman, Olle Gällmo, Anders Hessel, Leonid Mokrushin, and Paul Pettersson.. March 2006. 
2006010

Project Avatar  Developing a Distributed Mobile Phone Game Mattias Andreasson, Andrée Bylund, Syrus Dargahi, Daniel Johansson, Martin Larsson, Bennie Lundmark, Jonas Mellberg, Fredrik Stenh, Olle Gällmo, Anders Hessel, Leonid Mokrushin, and Paul Pettersson. March 2006. Online copy corrected April 7, 2006 
2006009

Eager Markov Chains Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, and Sven Sandberg. March 2006. 
2006008

Communicating Timed Automata: The More Synchronous, the More Difficult to Verify Pavel Krcal and Wang Yi. March 2006. 
2006007

Gaussian Quadratures with Respect to Discrete Measures Stefan Engblom. February 2006. 
2006006

ARTES  A Network for RealTime Research and Graduate Education in Sweden 19972006 Hans Hansson (editor). 2006. Also published as report MDHMRTC197/20061SE, Mälardalens Högskola. 
2006005

Inferring Variable Conflicts for Local Search from HighLevel Models Magnus Ågren, Pierre Flener, and Justin Pearson. February 2006. Updated March 2006 
2006004

Symmetric Part Preconditioning of the CG for Stokes Type SaddlePoint Systems Owe Axelsson and Janos Karatson. February 2006. 
2006003

Intermittent Open Boundaries for Shallow Water Equations Fredrik Bergholm. February 2006. 
2006002

Statistical Analysis of the Frisch Scheme for Identifying ErrorsinVariables Systems Torsten Söderström. January 2006. 
2006001

Numerical Method for Coupling the Macro and Meso Scales in Stochastic Chemical Kinetics Lars Ferm and Per Lötstedt. January 2006. 


[ 2016  2015  2014  2013  2012  2011  2010  2009  2008  2007  2006  2005  2004  2003  2002  2001  2000  1999 ]

2005044

FokkerPlanck Approximation of the Master Equation in Molecular Biology Paul Sjöberg, Per Lötstedt, and Johan Elf. December 2005. 
2005043

Sparse Generalized Fourier Transforms Krister Åhlander. December 2005. 
2005042

Construction of Synthetic CDO Squared Olof Sivertsson. December 2005. M.Sc. thesis 
2005041

TMA: A TrapBased Memory Architecture Håkan Zeffer, Zoran Radovic, Martin Karlsson, and Erik Hagersten. December 2005. Revised version of Technical Report 2005015 
2005040

Conserving Memory Bandwidth in Chip MultiProcessors with Runahead Execution Martin Karlsson. December 2005. 
2005039

Mythbusters: Whatever You Thought About MANET Routing, Think Again... Erik Nordström, Richard Gold, and Per Gunningberg. November 2005. 
2005038

Modelling Fusion Calculus using HDAutomata GianLuigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, and Kidane Yemane. November 2005. A shorter version appeared in the proceedings of CALCO 2005 
2005037

HDAutomata for Open Bisimulation Marino Miculan, Emilio Tuosto, and Kidane Yemane. November 2005. 
2005036

Using Parallel Computing and Grid Systems for Genetic Mapping of Multifactorial Traits Mahen Jayawardena, Kajsa Ljungberg, and Sverker Holmgren. December 2005. 
2005035

Efficient Algorithms for MultiDimensional Global Optimization in Genetic Mapping of Complex Traits Kajsa Ljungberg, Kateryna Mishchenko, and Sverker Holmgren. November 2005. 
2005034

Detecting Symmetries in Relational Models of CSPs Maria Eriksson. November 2005. M.Sc. thesis 
2005033

Efficient Evaluation of the Residual Sum of Squares for Quantitative Trait Locus Models in the Case of Complete Marker Genotype Information Kajsa Ljungberg. November 2005. 
2005032

Efficient IT support in care for the elderly  Experiences from the VIHO project Niklas Johansson and Bengt Sandblad. November 2005. 
2005031

Boundary Conditions for a Divergence Free VelocityPressure Formulation of the Incompressible NavierStokes Equations Jan Nordström and R.C. Swanson. 9 November 2005. 
2005030

A Consistent Stabilized Formulation for a Nonsymmetric SaddlePoint Problem Erik Bängtsson. October 2005. 
2005029

Usability in Mobile IT systems Niklas Johansson and Stina Nylander. October 2005. 
2005028

A Statistical Multiprocessor Cache Model Erik Berg, Håkan Zeffer, and Erik Hagersten. October 2005. 
2005027

Fast Simulation of Concurrent Agents with PNets  the GPSim tool Timo Qvist. September 2005. M.Sc. thesis 
2005026

Waveguide Truncation Using UPML in the FiniteElement TimeDomain Method Erik Abenius, Fredrik Edelvik, and Christer Johansson. September 2005. 
2005025

PreProceedings of the 3rd International Conference on Formal Modelling and Analysis of Timed Systems Paul Pettersson and Wang Yi (eds.). September 2005. 
2005024

Approaches for ContinuousTime Modeling in ErrorsinVariables Identification Torsten Söderström, Erik K. Larsson, Kaushik Mahata, and Magnus Mossberg. September 2005. 
2005023

Dimensional Reduction of the FokkerPlanck Equation for Stochastic Chemical Reactions Per Lötstedt and Lars Ferm. August 2005. 
2005022

MATLAB Software for Recursive Identification and Scaling Using a Structured Nonlinear Blackbox Model  Revision 2 Torbjörn Wigren. August 2005. Revised version of nr 2005002. The software package can be downloaded from http://www.it.uu.se/research/publications/reports/2005022/NRISoftwareRev2.zip 
2005021

Accuracy Analysis of BiasEliminating Least Squares Estimates for Identification of ErrorsinVariables Systems Mei Hong, Torsten Söderström, and Wei Xing Zheng. August 2005. 
2005020

Computing the Moments of High Dimensional Solutions of the Master Equation Stefan Engblom. 30 June 2005. 
2005019

Computing the Covariance Matrix for PEM Estimates and the CramerRao Lower Bound for Linear State Space Models Torsten Söderström. June 2005. 
2005018

A Participatory Process Supporting Design of Future Work Eva Olsson, Niklas Johansson, Jan Gulliksen, and Bengt Sandblad. 30 May 2005. 
2005017

Evaluation of Authentication Algorithms for Small Devices Tobias Bandh. May 2005. 
2005016

Adaptive Coherence Batching for TrapBased Memory Architectures Håkan Zeffer and Erik Hagersten. May 2005. 
2005015

TMA: A TrapBased Memory Architecture Håkan Zeffer, Zoran Radovic, Martin Karlsson, and Erik Hagersten. May 2005. A revised version is available as Technical Report 2005041 
2005014

Daigan: Constructing Proxy Networks with SelNet Richard Gold and Mats Uddenfeldt. April 2005. 
2005013

Flexibility Implies Performance Håkan Zeffer, Zoran Radovic, and Erik Hagersten. April 2005. 
2005012

Customizable Parallel Execution of Scientific Stream Queries Milena Ivanova and Tore Risch. April 2005. 
2005011

A Flexible Model for TreeStructured MultiCommodity Markets Per Carlsson and Arne Andersson. April 2005. Extended version of conference paper accepted for IEEE CEC2005, München, July 2005 
2005010

CostEfficient Operation of a Denitrifying Activated Sludge Process  An Initial Study Pär Samuelsson, Björn Halvarsson, and Bengt Carlsson. April 2005. 
2005009

Disturbance ObserverBased Automotive Engine Vibration Isolation Dealing with NonLinear Dynamics and Transient Excitation Claes Olsson. April 2005. 
2005008

Nonlinear Identification of a Solar Heating System Linda Brus. March 2005. 
2005007

Nonlinear Identification of an Anaerobic Digestion Process Linda Brus. March 2005. 
2005006

On Optimal Sensor Locations for Nonparametric Identification of Viscoelastic Materials Agnes Runqvist, Magnus Mossberg, and Torsten Söderström. February 2005. 
2005005

Accuracy Analysis of the Frisch Scheme for Identifying ErrorsinVariables Systems Torsten Söderström. February 2005. 
2005004

A Fully Abstract Encoding of the piCalculus with Data Terms Michael Baldamus, Joachim Parrow, and Björn Victor. February 2005. Updated April 2005 
2005003

Structure Flexibility Impacts on Robust Active Vibration Isolation Using Mixed Sensitivity Optimisation Claes Olsson. February 2005. 
2005002

MATLAB Software for Recursive Identification and Scaling Using a Structured Nonlinear Blackbox Model  Revision 1 Torbjörn Wigren. January 2005. The software package can be downloaded from http://www.it.uu.se/research/publications/reports/2005002/NRISoftware.zip 
2005001

Preconditioners Based on Fundamental Solutions Henrik Brandén and Per Sundqvist. January 2005. Revised version of IT technical report 2000032 


[ 2016  2015  2014  2013  2012  2011  2010  2009  2008  2007  2006  2005  2004  2003  2002  2001  2000  1999 ]

2004058

On the Understanding of Object and Class Anna Eckerdal. December 2004. 
2004057

Evaluation and Reflections on the Design of the WeAidU System Erik Borälv. December 2004. 
2004056

Design and Evaluation of the CHILI System Erik Borälv. December 2004. 
2004055

SpaceTime Adaptive Finite Difference Method for European MultiAsset Options Per Lötstedt, Jonas Persson, Lina von Sydow, and Johan Tysk. December 2004. 
2004054

Adaptive, Conservative Solution of the FokkerPlanck Equation in Molecular Biology Lars Ferm, Per Lötstedt, and Paul Sjöberg. November 2004. 
2004053

Recursive Algorithms for Estimating the Parameters in a One Dimensional Heat Diffusion System: Analysis Bharath Bhikkaji, Kaushik Mahata, and Torsten Söderström. November 2004. 
2004052

Recursive Algorithms for Estimating the Parameters in a One Dimensional Heat Diffusion System: Derivation and Implementation Bharath Bhikkaji, Torsten Söderström, and Kaushik Mahata. November 2004. 
2004051

Comparative Study of Recursive Parameter Estimation Algorithms with Application to Active Vibration Isolation Claes Olsson. November 2004. 
2004050

High Order Summation by Parts Operator Based on a DRP Scheme Applied to 2D Aeroacoustics Stefan Johansson. October 2004. 
2004049

A Design Case: Interactive Sports Content Broadcasting Erik Borälv, Niklas Johansson, Emmanuel Papaioannou, and Athanasios Demiris. October 2004. 
2004048

Algorithmic Optimizations of a Conjugate Gradient Solver on Shared Memory Architectures Henrik Löf and Jarmo Rantakokko. October 2004. 
2004047

Assessing Health and Moral Stress in ITBased Work Iordanis Kavathatzopoulos, Jenny Öhman Persson, and Carl Åborg. October 2004. 
2004046

Market Simulations Per Carlsson. October 2004. 
2004045

A Flexible Model for TreeStructured MultiCommodity Markets Per Carlsson and Arne Andersson. October 2004. 
2004044

Kelb  A RealTime Programming Environment for the Sony Aibo Erik Cedheim, Ramzi Ferchichi, Anders Jonsson, Dan Lind, Henrik Nyman, Olof Sivertsson, Andreas Widenfalk, Jöns Åkerlund, Leonid Mokrushin, and Paul Pettersson. October 2004. 
2004043

Skattekontoret i Falun: Ett mönsterkontor Iordanis Kavathatzopoulos, Jenny Persson, and Carl Åborg. October 2004. In Swedish. Originally written 2002 
2004042

Boundary Summation Equations Per Sundqvist. September 2004. 
2004041

Proceedings of the 16th Nordic Workshop on Programming Theory Paul Pettersson and Wang Yi (Eds.). October 2004. 
2004040

On the Order of Accuracy for Difference Approximations of InitialBoundary Value Problems Magnus Svärd and Jan Nordström. September 2004. 
2004039

A Stable Hybrid Method for Hyperbolic Problems Jing Gong and Jan Nordström. September 2004. 
2004038

Different Methods that Reduce Cost in Monostatic RCS Computations for MOM Accelerated by MLFMA Martin Nilsson. September 2004. To appear in Proceedings of EMB04  Computational Electromagnetics  Methods and Applications, October 1819, 2004 
2004037

Identification of Dynamic ErrorsinVariables Systems with Periodic Data Torsten Söderström and Mei Hong. August 2004. 
2004036

High Order Finite Difference Operators with the Summation by Parts Property Based on DRP Schemes Stefan Johansson. August 2004. 
2004035

Bias Analysis in Least Squares Estimation of Periodic Signals Using Nonlinear ODE's Emad AbdElrady and Torsten Söderström. August 2004. 
2004034

Decidability of Zenoness, Token Liveness and Boundedness of DenseTimed Petri Nets Parosh Abdulla, Pritha Mahata, and Richard Mayr. August 2004. To appear in FSTTCS '04 
2004033

Closed, Open and Robust Timed Networks Parosh Abdulla, Johann Deneux, and Pritha Mahata. August 2004. To appear in Infinity '04 
2004032

Curvilinear Coordinates in a PDE Solver Framework; Validation Malin Ljungberg and Kurt Otto. August 2004. 
2004031

Curvilinear Coordinates in a PDE Solver Framework; Analysis Malin Ljungberg. August 2004. 
2004030

Time Step Restrictions using SemiImplicit Methods for the Incompressible NavierStokes Equations Wendy Kress and Per Lötstedt. July 2004. 
2004029

On Applications of the Generalized Fourier Transform in Numerical Linear Algebra Krister Åhlander and Hans MuntheKaas. July 2004. 
2004028

Using Formal Methods in a Retrospective Safety Case LarsHenrik Eriksson. July 2004. Accepted for publication in the Proceedings of the 23rd International Conference on Computer Safety, Reliability and Security (SAFECOMP'04) 
2004027

Reorganisation in the SkewedAssociative TLB Thorild Selén. June 2004. M.Sc. thesis 
2004026

Ad Hoc Protocol Evaluation and Experiences of Real World Ad Hoc Networking David Lundberg. June 2004. M.Sc. thesis 
2004025

Feasibility Study of WLAN Technology for the Uppsala  Stockholm Commuter Train David Lundberg. June 2004. 
2004024

Low Power and Conflict Tolerant Cache Design Mathias Spjuth, Martin Karlsson, and Erik Hagersten. May 2004. 
2004023

Interactive Learning of Algorithms Jarmo Rantakokko. May 2004. Accepted to Third Program Visualization Workshop (PVW'2004) 
2004022

Compositional Derivation of Symmetries for Constraint Satisfaction Pascal Van Hentenryck, Pierre Flener, Justin Pearson, and Magnus Ågren. May 2004. 
2004021

Efficient DataLocality Analysis of LongRunning Applications Erik Berg and Erik Hagersten. May 2004. 
2004020

Generic Programming Aspects of Symmetry Exploiting Numerical Software Malin Ljungberg and Krister Åhlander. May 2004. To appear in the proceedings of the minisymposium "Software Concepts and Free Software for PDEs" of the ECCOMAS 2004 congress, Jyväskylä, Finland, 2428 July 2004 
2004019

Eigenvalue Estimates for Preconditioned Saddle Point Matrices Owe Axelsson and Maya Neytcheva. May 2004. 
2004018

User Interface Design for Multiplatform Interactive Sports Content Broadcasting Emmanuel Papaioannou, Erik Borälv, Athanasios Demiris, Niklas Johansson, and Nikolaos Ioannidis. May 2004. Accepted to AVI 2004 (Advanced Visual Interfaces), Gallipoli (Lecce), Italy 
2004017

BetterStructured Transition Systems Parosh Aziz Abdulla and Aletta Nylen. April 2004. 
2004016

Numerical Solution Methods for Glacial Rebound Models Maya Neytcheva, Erik Bängtsson, and Björn Lund. April 2004. Typographic corrections April 2005 
2004015

Set Variables and Local Search Magnus Ågren. April 2004. Updated May 2004 
2004014

Analysis of the InputOutput Couplings in a Wastewater Treatment Plant Model Pär Samuelson, Björn Halvarsson, and Bengt Carlsson. April 2004. 
2004013

InterNetworking MPLS and SelNet Andreas Westling. April 2004. M.Sc. thesis 
2004012

MultiClock Timed Networks Parosh Aziz Abdulla, Johann Deneuz, and Pritha Mahata. April 2004. 
2004011

Randomized Subexponential Algorithms for Infinite Games Henrik Björklund, Sven Sandberg, and Sergei Vorobyov. April 2004. 
2004010

Relationally Staged Computations in Calculi of Mobile Processes Neil Ghani, Kidane Yemane, and Björn Victor. March 2004. Accepted for CMCS 2004 
2004009

A Characterization of a Hybrid and Dynamic Partitioner for SAMR Applications Henrik Johansson and Johan Steensland. March 2004. 
2004008

An Integrating Linearization Method for Static Input Nonlinearities Pär Samuelsson and Bengt Carlsson. March 2004. 
2004007

Comparison of Gateway Forwarding Strategies in Ad hoc Networks Erik Nordström, Per Gunningberg, and Christian Tschudin. March 2004. 
2004006

Improving Geographical Locality of Data for Shared Memory Implementations of PDE Solvers Henrik Löf, Markus Nordén, and Sverker Holmgren. February 2004. 
2004005

Evaluation, Implementation and Performance of Write Permission Caching in the DSZOOM System Håkan Zeffer, Zoran Radovic, Oskar Grenholm, and Erik Hagersten. February 2004. Updated June 2004 
2004004

Recursive Prediction Error Identification of Nonlinear State Space Models Torbjörn Wigren. January 2004. 
2004003

Problems of High Dimension in Molecular Biology Johan Elf, Per Lötstedt, and Paul Sjöberg. January 2004. This paper was presented at the 19th GAMMSeminar in Leipzig, January 2325, 2003. 
2004002

On the Expressiveness of CCSlike Calculi Pablo Giambiagi, Gerardo Schneider, and Frank D. Valencia. January 2004. 
2004001

Maximum Likelihood Modeling of Orbits of Nonlinear ODEs Torsten Söderström, Torbjörn Wigren, and Emad AbdElrady. January 2004. 


[ 2016  2015  2014  2013  2012  2011  2010  2009  2008  2007  2006  2005  2004  2003  2002  2001  2000  1999 ]

2003065

A Backward/Forward Strategy for Verifying Safety Properties of InfiniteState Systems Michael Baldamus, Richard Mayr, and Gerardo Schneider. December 2003. 
2003064

High Order Accurate Solution of the Incompressible NavierStokes Equations Arnim Brüger, Bertil Gustafsson, Per Lötstedt, and Jonas Nilsson. December 2003. 
2003063

Spi Calculus Translated to piCalculus Preserving MayTesting Michael Baldamus, Joachim Parrow, and Björn Victor. December 2003. 
2003062

Polyadic HistoryDependent Automata for the Fusion Calculus Emilio Tuosto, Björn Victor, and Kidane Yemane. December 2003. 
2003061

SpaceTime Adaptive Solution of First Order PDEs Lars Ferm and Per Lötstedt. December 2003. 
2003060

Realism in ProjectBased Software Engineering Courses: Rewards, Risks, and Recommendations Pierre Flener. December 2003. 
2003059

Pricing European Multiasset Options Using a Spacetime Adaptive FDmethod Jonas Persson and Lina von Sydow. December 2003. 
2003058

StatCache: A Probabilistic Approach to Efficient and Accurate Data Locality Analysis Erik Berg and Erik Hagersten. December 2003. 
2003057

LowOverhead Spatial and Temporal Data Locality Analysis Erik Berg and Erik Hagersten. December 2003. 
2003056

Forward Reachability Analysis of Timed Petri Nets Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata, and Aletta Nylén. December 2003. 
2003055

Rapid Solution of ParameterDependent Linear Systems for Electromagnetic Problems in the Frequency Domain Martin Nilsson. November 2003. 
2003054

Stability of the Fast Multipole Method for Helmholtz Equation in Three Dimensions Martin Nilsson. November 2003. 
2003053

Approaches to Reduce the Computational Cost when Solving Linear Systems of Equations Arising in Boundary Element Method Discretizations Erik Bängtsson and Maya Neytcheva. November 2003. 
2003052

Well Posed Boundary Conditions for the NavierStokes Equations Magnus Svärd and Jan Nordström. November 2003. Updated March 2004 
2003051

Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata Pavel Krcal and Wang Yi. November 2003. 
2003050

Hierarchical Modeling and Analysis of Timed Systems Alexandre David. November 2003. PhD thesis 
2003049

A Parallel Shared Memory Implementation of the Fast Multipole Method for Electromagnetics Martin Nilsson. October 2003. 
2003048

Interface Capabilities for Query Processing in Peer Mediator Systems Timour Katchaounov and Tore Risch. September 2003. 
2003047

Simuleringsmotor för tågtrafik med stöd för experimentell konfiguration Jimmy Flink. September 2003. M.Sc. thesis. In Swedish 
2003046

The Elbow Cache: A PowerEfficient Alternative to Highly Associative Caches Mathias Spjuth, Martin Karlsson, and Erik Hagersten. September 2003. 
2003045

A Polyvariant Type Analysis for Erlang SvenOlof Nyström. September 2003. 
2003044

Cache Memory Behavior of Advanced PDE Solvers Dan Wallin, Henrik Johansson, and Sverker Holmgren. August 2003. A short version of this paper will appear in the proceedings of Parallel Computing 2003 (ParCo2003), Dresden, Germany 
2003043

Simultaneous Search for Multiple QTL Using the Global Optimization Algorithm DIRECT Kajsa Ljungberg, Sverker Holmgren, and Örjan Carlborg. August 2003. 
2003042

Invariance Kernels of Polygonal Differential Inclusions Gerardo Schneider. August 2003. Updated October 2003 
2003041

A Compact Fourth Order Time Discretization Method for the Wave Equation Wendy Kress. August 2003. 
2003040

Error Estimates for Deferred Correction Methods in Time Wendy Kress. August 2003. 
2003039

Insights to Angluin's Learning Therese Berg, Bengt Jonsson, Martin Leucker, and Mayank Saksena. August 2003. 
2003038

On FixedParameter Complexity of Infinite Games Henrik Björklund, Sven Sandberg, and Sergei Vorobyov. August 2003. 
2003037

Bundling: Reducing the Overhead of Multiprocessor Prefetchers Dan Wallin and Erik Hagersten. August 2003. 
2003036

Periodic Signal Modeling Based on Liénard's Equation Emad AbdElrady, Torsten Söderström, and Torbjörn Wigren. August 2003. 
2003035

Theoretical and Computational Aspects of Multivariate Interpolation with Increasingly Flat Radial Basis Functions Elisabeth Larsson and Bengt Fornberg. June 2003. 
2003034

Preconditioned Implicit Solution of Linear Hyperbolic Equations with Adaptivity Per Lötstedt, Alison Ramage, Lina von Sydow, and Stefan Söderberg. May 2003. 
2003033

A Gradient Based Optimisation Algorithm for the Design of BrassWind Instruments Daniel Noreland. May 2003. 
2003032

Impedance Boundary Conditions for Acoustic Waves in a Duct with a Step Discontinuity Daniel Noreland. May 2003. 
2003031

IllPosedness of Absorbing Boundary Conditions Applied on Convex Surfaces Daniel Noreland. May 2003. 
2003030

Adaptive Control of the Nitrate Level in an Activated Sludge Process Using an External Carbon Source  Extended Version M. Ekman, P. Samuelsson, and B. Carlsson. May 2003. A shorter version is also available in: Preprints of Reglermöte 2002, Linköping, Sweden, May 2930 2002, pp 308313, and another version in: Proc. of the 1st World Water Congress of the IWA. Melbourne, 2002 (poster presentation). Updated July 2003 
2003029

Latencyhiding and Optimizations of the DSZOOM Instrumentation System Oskar Grenholm, Zoran Radovic, and Erik Hagersten. May 2003. 
2003028

Limiting Properties of Sampled Stochastic Systems Erik K. Larsson. May 2003. 
2003027

A Tractable Mechanism for Time Dependent Markets Per Carlsson, Arne Andersson, and Fredrik Ygge. April 2003. Updated October 2004 with new complexity results 
2003026

THROOM  Running POSIX Multithreaded Binaries on a Cluster Henrik Löf, Zoran Radovic, and Erik Hagersten. April 2003. 
2003025

Second Order ODEs are Sufficient for Modeling of Many Periodic Signals Torbjörn Wigren and Torsten Söderström. April 2003. 
2003024

Algorithmic Improvements in Regular Model Checking Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, and Julien d'Orso. April 2003. Extended version of paper accepted for publication in in CAV'2003 
2003023

Time Compact Difference Methods for Wave Propagation in Discontinuous Media Bertil Gustafsson and Per Wahlund. April 2003. 
2003022

Reduced order models for a twodimensional heat diffusion system Bharath Bhikkaji, Kaushik Mahata, and Torsten Söderström. April 2003. 
2003021

LUNAR: Lightweight Underlay Network Adhoc Routing Christian Tschudin and Richard Gold. April 2003. Originally written January 2002; updated April 2002 
2003020

SelNet: A Translating Underlay Network Christian Tschudin and Richard Gold. April 2003. Originally written October 2001 
2003019

Randomized Subexponential Algorithms for Parity Games Henrik Björklund, Sven Sandberg, and Sergei Vorobyov. April 2003. 
2003018

Steady State Computations Using SummationbyParts Operators Magnus Svärd, Ken Mattsson, and Jan Nordström. March 2003. 
2003017

An Improved Subexponential Algorithm for Parity Games Henrik Björklund, Sven Sandberg, and Sergei Vorobyov. March 2003. 
2003016

Time Compact High Order Difference Methods for Wave Propagation Bertil Gustafsson and Eva Mossberg. March 2003. 
2003015

Algorithms for Combinatorial Optimization and Games Adapted from Linear Programming Henrik Björklund and Sven Sandberg. March 2003. 
2003014

Towards Automatic Generation and Evaluation of Implied Constraints Brahim Hnich, Julian Richardson, and Pierre Flener. March 2003. 
2003013

Stable Artificial Dissipation Operators for High Order Finite Difference Schemes Ken Mattsson, Magnus Svärd, and Jan Nordström. February 2003. 
2003012

Finite Difference Approximations of Second Derivatives on Summation by Parts Form Ken Mattsson and Jan Nordström. February 2003. Updated 20030321 
2003011

A Tool Architecture for the Next Generation of UPPAAL Alexandre David, Gerd Behrmann, Kim G. Larsen, and Wang Yi. February 2003. 
2003010

A Formal Semantics for UML Statecharts Alexandre David, Johann Deneux, and Julien d'Orso. February 2003. 
2003009

Verification of UML Statecharts with RealTime Extensions Alexandre David, M. Oliver Möller, and Wang Yi. February 2003. 
2003008

Program Schemas as Proof Methods Julian Richardson and Pierre Flener. February 2003. 
2003007

Discrete Fundamental Solution Preconditioning for Hyperbolic Systems of PDE Henrik Brandén, Sverker Holmgren, and Per Sundqvist. February 2003. 
2003006

An Algorithm for Computing Fundamental Solutions of Difference Operators Henrik Brandén and Per Sundqvist. February 2003. 
2003005

Solving the linearized NavierStokes equations using semiToeplitz preconditioning Samuel Sundberg. February 2003. 
2003004

Subspace estimation of realvalued sine wave frequencies Kaushik Mahata and Torsten Söderström. January 2003. 
2003003

A Stable and Accurate SummationbyParts Finite Volume Formulation of the Laplacian Operator Magnus Svärd and Jan Nordström. January 2003. 
2003002

On Combinatorial Structure and Algorithms for Parity Games Henrik Björklund, Sven Sandberg, and Sergei Vorobyov. January 2003. 
2003001

Downward Closed Language Generators Parosh Abdulla, Johann Deneux, Pritha Mahata, and Aletta Nylén. January 2003. 


[ 2016  2015  2014  2013  2012  2011  2010  2009  2008  2007  2006  2005  2004  2003  2002  2001  2000  1999 ]

2002041

A Minimum Residual Interpolation Method for Linear Equations with Multiple Right Hand Sides Per Lötstedt and Martin Nilsson. December 2002. 
2002040

Why are errorsinvariables problems often tricky? Torsten Söderström. November 2002. 
2002039

Uniform estimate of the constant in the strengthened CBS inequality for anisotropic nonconforming FEM systems R. Blaheta, S. Margenov, and M. Neytcheva. November 2002. 
2002038

Verification of Probabilistic Systems with Faulty Communication Parosh Aziz Abdulla and Alexander Rabinovich. November 2002. 
2002037

TraceDriven Network Path Emulation Bob Melander and Mats Björkman. November 2002. 
2002036

Control Errors in CFD! Bernhard Müller. October 2002. Invited lecture to appear in the Proceedings of the 20th Aerospace Numerical Simulation Symposium at the National Aerospace Laboratory of Japan, held in Tokyo on July 35, 2002 
2002035

Accuracy Requirements for Steady and Transient Aerodynamics Ken Mattsson, Magnus Svärd, Mark Carpenter, and Jan Nordström. October 2002. 
2002034

Numerical Solution of the Linearized Euler Equations Using High Order Finite Difference Operators with the Summation by Parts Property Stefan Johansson. October 2002. Updated version, March 2003, available at http://www.it.uu.se/research/publications/reports/2002034/2002034updated (PDF and Postscript) 
2002033

Memoryless Determinacy of Parity and Mean Payoff Games: A Simple Proof Henrik Björklund, Sven Sandberg, and Sergei Vorobyov. October 2002. Updated journal version, March 2003, available at http://www.it.uu.se/research/publications/reports/2002033/2002033journal 
2002032

Health Problems with Electronic Document Handling: a longitudinal study Carl Åborg and Anders Billing. October 2002. 
2002031

Telework Work Environment and Well Being: A Longitudinal Study Carl Åborg, Elisabeth Fernström, and Mats Ericson. October 2002. 
2002030

An Experimental Study of Algorithms for Completely Unimodal Optimization Henrik Björklund, Sven Sandberg, and Sergei Vorobyov. October 2002. 
2002029

Domain Decomposition of the Padé Scheme and PseudoSpectral Method, Used in Vlasov Simulations Bengt Eliasson. October 2002. 
2002028

Numerical Modelling of the TwoDimensional VlasovMaxwell System Bengt Eliasson. October 2002. 
2002027

OpenMP versus MPI for PDE Solvers Based on Regular Sparse Numerical Operators Markus Nordén, Sverker Holmgren, and Michael Thuné. October 2002. 
2002026

A Discrete Subexponential Algorithm for Parity Games Henrik Björklund, Sven Sandberg, and Sergei Vorobyov. September 2002. 
2002025

Workshop on RealTime Tools (Proceedings) Paul Petterson and Wang Yi (eds.). July 2002. 
2002024

Time Accurate Simulation: Making a PC Behave Like a 8Bit Embedded CPU Jakob Engblom and Magnus Nilsson. July 2002. 
2002023

Anisotropic grid adaptation for NavierStokes' equations Lars Ferm and Per Lötstedt. June 2002. 
2002022

Coping with Communication Gray Zones in IEEE 802.11b based Ad hoc Networks Henrik Lundgren, Erik Nordström, and Christian Tschudin. June 2002. 
2002021

Generalizing Chaitin's Algorithm: GraphColoring Register Allocation for Irregular Architectures Johan Runeson and SvenOlof Nyström. May 2002. 
2002020

Code Synthesis for Timed Automata Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun, and Wang Yi. May 2002. 
2002019

Shape optimization of an acoustic horn Erik Bängtsson, Daniel Noreland, and Martin Berggren. May 2002. 
2002018

Optimization on Completely Unimodal Hypercubes Henrik Björklund, Sven Sandberg, and Sergei Vorobyov. May 2002. 
2002017

The Windscreen Used as a Display for Navigation Information. An introductory study Eva Olsson, Stefan Seipel, Anders Jansson, and Bengt Sandblad. May 2002. 
2002016

A New Technique for Accurate and Stable Modeling of Arbitrarily Oriented Thin Wires in the FDTD Method Fredrik Edelvik. April 2002. 
2002015

Differentiated Security in Wireless Networks Andreas Johnsson. April 2002. M.Sc. thesis 
2002014

Analysis of a semiToeplitz preconditioner for a convectiondiffusion problem Samuel Sundberg and Lina von Sydow. April 2002. 
2002013

Effects of Branch Predictors on Execution Time Jakob Engblom. April 2002. 
2002012

Accurate and Stable Grid Interfaces for Finite Volume Methods Lars Ferm and Per Lötstedt. March 2002. 
2002011

Statistical Derivation of an Accurate Energy Consumption Model for Embedded Processors Sheayun Lee, Andreas Ermedahl, Sang Lyul Min, and Naehyuck Chang. March 2002. 
2002010

Automated Analysis of Dynamic Web Services Jonas Boustedt. March 2002. M.Sc. thesis 
2002009

SILK: Scout Paths in the Linux Kernel Andy Bavier, Thiemo Voigt, Mike Wawrzoniak, Larry Peterson, and Per Gunningberg. February 2002. 
2002008

Two Adversary Lower Bounds for Parity Games Henrik Björklund and Sergei Vorobyov. February 2002. 
2002007

An Unconditionally Stable Subcell Model for Arbitrarily Oriented Thin Wires in the FETD Method F. Edelvik, G. Ledfelt, P. Lötstedt, and D. J. Riley. February 2002. 
2002006

How do students understand network protocols? A phenomenographic study Anders Berglund. February 2002. 
2002005

Efficient Kernel Algorithms for QTL Mapping Problems Kajsa Ljungberg, Sverker Holmgren, and Örjan Carlborg. February 2002. 
2002004

Användare i systemutvecklingsprocessen  ett fenomenologiskt perspektiv Mats Löfberg, Jan Gulliksen, and Torsten Norlander. February 2002. In Swedish 
2002003

Stable and accurate artificial dissipation Ken Mattsson, Magnus Svärd, and Jan Nordström. January 2002. 
2002002

Methods and application of interactive 3D computer graphics in anthropology S. Seipel and M. Lindkvist. January 2002. 
2002001

Combining Wavelets with Finite Differences: Consistency Analysis Sônia M. Gomes and Bertil Gustafsson. January 2002. 


[ 2016  2015  2014  2013  2012  2011  2010  2009  2008  2007  2006  2005  2004  2003  2002  2001  2000  1999 ]

2001030

Validating a WorstCase Execution Time Analysis Method for an Embedded Processor Jakob Engblom, Andreas Ermedahl, and Friedhelm Stappert. December 2001. 
2001029

A Largescale Testbed for Reproducible Ad hoc Protocol Evaluations Henrik Lundgren, David Lundberg, Johan Nielsen, Erik Nordström, and Christian Tschudin. November 2001. A shorter version of this paper is accepted for publication in the proceedings of IEEE WCNC'02 
2001028

Wireless communication in telemedicine using Bluetooth and IEEE 802.11b Magnus Berggren. November 2001. M.Sc. thesis 
2001027

On the use of flexural wave propagation experiments for identification of complex modulus K. Mahata, T. Söderström, M. Mossberg, L. Hillström, and S. Mousavi. November 2001. Also in the proceedings of 3rd International Conference on Identification of Engineering System, Swansea 2002 
2001026

Usability Throughout the Entire Software Development Lifecycle  A Summary of the INTERACT 2001 Workshop Jan Gulliksen and Inger Boivie. November 2001. 
2001025

Is Randomized GurvichKarzanovKhachiyan's Algorithm for Parity Games Polynomial? Emmanuel Beffara and Sergei Vorobyov. November 2001. 
2001024

A hybrid method for the wave equation Larisa Beilina, Klas Samuelsson, and Krister Åhlander. October 2001. Also available as Preprint 200114 in Chalmers Finite Element Center Preprint series 
2001023

Matrix Modelling Pierre Flener, Alan Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, and Toby Walsh. September 2001. Also released as Technical Report APES362001 of the APES group, 2001, available at http://www.dcs.stand.ac.uk/~apes/reports/apes362001.ps.gz. Appears in the Proceedings of the CP01 Workshop on Modelling and Problem Formulation. 7th International Conference on the Principles and Practice of Constraint Programming, 2001 
2001022

Symmetry in Matrix Models Pierre Flener, Alan Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Justin Pearson, and Toby Walsh. September 2001. Also released as Technical Report APES302001 of the APES group, 2001, available at http://www.dcs.stand.ac.uk/~apes/reports/apes302001.ps.gz. Appears in the Proceedings of the CP01 Workshop on Symmetry in Constraints. 7th International Conference on the Principles and Practice of Constraint Programming, 2001 
2001021

Usability and Design Decisions in Software Development Inger Boivie. September 2001. 
2001020

Adapting GurvichKarzanovKhachiyan's Algorithm for Parity Games: Implementation and Experimentation Emmanuel Beffara and Sergei Vorobyov. September 2001. 
2001019

Boundary conditions and estimates for the linearized NavierStokes equations on staggered grids Wendy Kress and Jonas Nilsson. September 2001. 
2001018

An adaptive grid point RPEM algorithm for harmonic signal modeling Emad AbdElrady. August 2001. 
2001017

Experiments with Iterative Improvement Algorithms on Completely Unimodal Hypercubes Henrik Björklund, Viktor Petersson, and Sergei Vorobyov. August 2001. 
2001016

UserCentred Design of a Train Driver Display Robert Stjernström. August 2001. M.Sc. thesis 
2001015

On coordinate transformations for summationbyparts operators Magnus Svärd. August 2001. 
2001014

Workshop on RealTime Tools (Proceedings) Paul Pettersson and Sergio Yovine. August 2001. 
2001013

Lokförarens informationsmiljö och ATC. Ett användarperspektiv Eva Olsson, Lena Kecklund, Michael Ingre, and Anders Jansson. June 2001. In Swedish 
2001012

Efficient Longest Executable Path Search for Programs with Complex Flows and Pipeline Effects Friedhelm Stappert, Andreas Ermedahl, and Jakob Engblom. June 2001. 
2001011

Perspectives on errorsinvariables estimation for dynamic systems Torsten Söderström, Umberto Soverini, and Kaushik Mahata. May 2001. 
2001010

Dealing with MemoryIntensive Web Requests Thiemo Voigt and Per Gunningberg. May 2001. 
2001009

Reducing Memory Usage in Symbolic StateSpace Exploration for Timed Systems Johan Bengtsson. May 2001. 
2001008

Parity Games: InteriorPoint Approach Viktor Petersson and Sergei Vorobyov. May 2001. 
2001007

Validation of CycleAccurate CPU Simulators against Real Hardware Sven Montan. April 2001. M.Sc. thesis 
2001006

Identification of ContinuousTime AR Processes by Using Limiting Properties of Sampled Systems Erik K. Larsson and Torsten Söderström. March 2001. 
2001005

Firewalls in Linux: Principles and Implementation Yordanos G. Beyene. February 2001. M.Sc. thesis 
2001004

High Order Numerical Simulation of Sound Generated by the Kirchhoff Vortex Bernhard Müller and H.C. Yee. February 2001. Published as RIACS Technical Report 01.02, Jan. 2001, NASA Ames Research Center, and submitted to Computing and Visualization in Science 
2001003

Adaptive Iteration to Steady State of Flow Problems Karl Hörnell and Per Lötstedt. February 2001. 
2001002

Dynamic Structured Grid Hierarchy Partitioners Using Inverse SpaceFilling Curves Johan Steensland. February 2001. 
2001001

A Randomized Subexponential Algorithm for Parity Games Viktor Petersson and Sergei Vorobyov. January 2001. 


[ 2016  2015  2014  2013  2012  2011  2010  2009  2008  2007  2006  2005  2004  2003  2002  2001  2000  1999 ]

2000035

Convergence acceleration for the steady state Euler equations Henrik Brandén and Sverker Holmgren. December 2000. 
2000034

Algorithmic Information Theory and Kolmogorov Complexity Alexander Shen. December 2000. 
2000033

Säkerhetssamtal. Nuläge och förändringsbehov Eva Olsson, Bengt Sandblad, and Lena Kecklund. December 2000. In Swedish 
2000032

Preconditioners Based on Fundamental Solutions Henrik Brandén and Per Sundqvist. November 2000. Revised version available as IT technical report 2005001 
2000031

Att köra tåg Anders Jansson, Eva Olsson, and Lena Kecklund. November 2000. In Swedish 
2000030

Core Erlang 1.0 language specification Richard Carlsson, Björn Gustavsson, Erik Johansson, Thomas Lindgren, SvenOlof Nyström, Mikael Pettersson, and Robert Virding. November 2000. 
2000029

A staged tag scheme for Erlang Mikael Pettersson. November 2000. 
2000028

Reduced order models for diffusion systems using singular perturbations Bharath Bhikkaji and Torsten Söderström. November 2000. 
2000027

Convergence of the RPEM as Applied to Harmonic Signal Modeling Emad AbdElrady. October 2000. 
2000026

Numerical Boundary Conditions for ODE Henrik Brandén. October 2000. 
2000025

A Complete Axiomatisation for Timed Automata Huimin Lin and Wang Yi. September 2000. A short version of this paper will be included in the proceedings of 20th FSTTCS, 2000 
2000024

On error bounds of finite difference approximations to partial differential equations  temporal behavior and rate of convergence Saul Abarbanel, Adi Ditkowski, and Bertil Gustafsson. September 2000. 
2000023

Implicit solution of hyperbolic equations with spacetime adaptivity Per Lötstedt, Stefan Söderberg, Alison Ramage, and Lina HemmingssonFrändén. September 2000. 
2000022

Optimizing Code Size through Procedural Abstraction Johan Runeson, SvenOlof Nyström, and Jan Sjödin. September 2000. An extended abstract appears in the Proceedings of the ACM SIGPLAN 2000 Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES'2000) 
2000021

BQOs and Timed Petri Nets Parosh Aziz Abdulla and Aletta Nylén. August 2000. 
2000020

Time step selection for shock problems Karl Hörnell and Per Lötstedt. August 2000. 
2000019

Reduced order models for diffusion systems Torsten Söderström and Bharath Bhikkaji. August 2000. 
2000018

Reduced order models for diffusion systems via collocation methods Torsten Söderström and Bharath Bhikkaji. August 2000. 
2000017

Resource Allocation With Noisy Functions Arne Andersson, Per Carlsson, and Fredrik Ygge. August 2000. 
2000016

Imposing Boundary Conditions with the Injection, the Projection and the Simultaneous Approximation Term Method Ken Mattsson. July 2000. 
2000015

On a Parameter Estimation Algorithm for MA Time Series. Petre Stoica and Girish Ganesan. June 2000. 
2000014

Better Decision Algorithms for Parity Games and the MuCalculus Model Checking Sergei Vorobyov. June 2000. 
2000013

Loss of High Order Spatial Accuracy Due to Boundary Error Caused by RungeKutta Time Integration Marcus Johansson. May 2000. 
2000012

Marketbased Approaches to Optimization Maria Karlsson and Fredrik Ygge. May 2000. 
2000011

Managing Large Scale Computational Markets Arne Andersson and Fredrik Ygge. April 2000. 
2000010

Efficient Approximation of Values in Gain scheduled Routing Jakob Carlström. April 2000. 
2000009

Gain Scheduled Routing in MultiService Networks Jakob Carlström and Ernst Nordström. April 2000. 
2000008

Predictive Gain Scheduling for Control of SelfSimilar Call Traffic in Broadband Networks Jakob Carlström. April 2000. 
2000007

On numerical errors in the boundary conditions of the Euler equations Lars Ferm and Per Lötstedt. April 2000. 
2000006

A Parallel Domain Decomposition Method for the Helmholtz Equation Elisabeth Larsson and Sverker Holmgren. April 2000. 
2000005

Feedforward control of the external carbon flow rate in an activated sludge process Pär Samuelsson and Bengt Carlsson. March 2000. A short version will appear at the 1st World Congress of the IWA, Paris 37 July 2000 
2000004

Användarcentrerad systemutveckling Bengt Göransson and Jan Gulliksen. March 2000. In Swedish. Also available as report TRITANAD 0005, CID71, KTH, Stockholm, Sweden. An extended and revised version is available in the book Användarcentrerad systemdesign, see http://acsd.hci.uu.se 
2000003

Adaptive error control for steady state solutions of inviscid flow Lars Ferm and Per Lötstedt. February 2000. 
2000002

Linux Networking Biniam Gebremichael and Kidane Yemane. January 2000. M.Sc. thesis 
2000001

Extending Erlang with structured module packages Richard Carlsson. January 2000. 


[ 2016  2015  2014  2013  2012  2011  2010  2009  2008  2007  2006  2005  2004  2003  2002  2001  2000  1999 ]

