Publications 2008
- Weak versus Strong No-Slip Boundary Conditions for the Navier-Stokes Equations. In Proc. 6th South African Conference on Computational and Applied Mechanics, pp 52-62, South African Association for Theoretical and Applied Mechanics, 2008.
- Monotonic Abstraction in Parameterized Verification. In Electronic Notes in Theoretical Computer Science, volume 223, pp 3-14, 2008. (DOI).
- Composed Bisimulation for Tree Automata. In Implementation and Application of Automata, volume 5148 of Lecture Notes in Computer Science, pp 212-222, Springer Berlin/Heidelberg, 2008. (DOI).
- Computing Simulations over Tree Automata: Efficient Techniques for Reducing Tree Automata. In Tools and Algorithms for the Construction and Analysis of Systems, volume 4963 of Lecture Notes in Computer Science, pp 93-108, Springer Berlin/Heidelberg, 2008. (DOI).
- Handling parameterized systems with non-atomic global conditions. In Verification, Model Checking, and Abstract Interpretation, volume 4905 of Lecture Notes in Computer Science, pp 22-36, Springer-Verlag, Berlin, 2008. (DOI).
- Model Checking Race-Freeness. In Proc. 1st Swedish Workshop on Multi-Core Computing, volume 2008:07 of Research report / Blekinge Institute of Technology, pp 89-96, 2008.
- Model checking race-freeness. In SIGARCH Computer Architecture News, volume 36, number 5, pp 72-79, 2008. (DOI).
- Monotonic abstraction for programs with dynamic memory heaps. In Computer Aided Verification, volume 5123 of Lecture Notes in Computer Science, pp 341-354, Springer-Verlag, Berlin, 2008. (DOI).
- Monotonic abstraction in action: Automatic verification of distributed mutex algorithms. In Theoretical Aspects of Computing - ICTAC 2008, volume 5160 of Lecture Notes in Computer Science, pp 50-65, Springer-Verlag, Berlin, 2008. (DOI).
- Monotonic and downward closed games. In Journal of logic and computation (Print), volume 18, number 1, pp 153-169, 2008. (DOI).
- Parameterized tree systems. In Formal Techniques for Networked and Distributed Systems: FORTE 2008?, volume 5048 of Lecture Notes in Computer Science, pp 69-83, Springer-Verlag, Berlin, 2008. (DOI).
- R-automata. Technical report / Department of Information Technology, Uppsala University nr 2008-016, Department of Information Technology, Uppsala University, 2008. (fulltext).
- R-automata. In CONCUR 2008 - Concurrency Theory, volume 5201 of Lecture Notes in Computer Science, pp 67-81, Springer-Verlag, Berlin, 2008. (DOI).
- Stochastic games with lossy channels. In Foundations of Software Science and Computational Structures: Proceedings, volume 4962 of Lecture Notes in Computer Science, pp 35-49, Springer-Verlag, Berlin, 2008. (DOI).
- Universality Analysis for One-Clock Timed Automata. In Fundamenta Informaticae, volume 89, number 4, pp 419-450, 2008.
- Pyramidal flux in an anisotropic diffusion scheme for enhancing structures in 3D images. In Medical Imaging 2008: Image Processing, volume 6914 of Proc. SPIE, pp 691429:1-12, Bellingham, WA, 2008. (DOI).
- Presentation of the VINN Excellence Center for Wireless Sensor Networks (WISENET). In Conference on Radio Science (RVK08), Växjö, 2008.
- Estimating 3D Fibre Orientation in Volume Images. In Proceedings of the 19th International Conference on Pattern Recognition, IEEE, 2008.
- Tracking Tubular Structures in Volume Image Data. In Proceedings SSBA 2008: Symposium on Image Analysis, Lund, March 12-14, 2008, pp 51-54, 2008.
- Equivalent operator preconditioning for linear elliptic problems. Technical report / Department of Information Technology, Uppsala University nr 2008-002, 2008. (fulltext).
- Mesh independent convergence rates via differential operator pairs. In Large-Scale Scientific Computing, volume 4818 of Lecture Notes in Computer Science, pp 3-15, Springer-Verlag, Berlin, 2008. (DOI).
- Automatic cepstrum-based smoothing of the periodogram via cross-validation. In Proc. 16th European Signal Processing Conference, European Association for Signal Processing, 2008.
- Optimal Preconditioning for Interpolation of Missing Data in a Band-Limited Sequence. In Proc. 42nd Asilomar Conference on Signals, Systems and Computers, pp 561-565, IEEE, Piscataway, NJ, 2008. (DOI).
- An alternative model for shading of diffuse light for rough materials. In Game Programming Gems 7, pp 373-380, Charles River Media, Boston, 2008.
- Trigonometric splines. In Game programming Gems 7, pp 191-198, Charles River Media, Boston, 2008.
- Hybrid differentiation strategies for simulation and analysis of applications in C<sub>++</sub>. In ACM Transactions on Mathematical Software, volume 35, number 1, pp 1:1-29, 2008. (DOI).
- Exact and approximate solutions of source localization problems. In IEEE Transactions on Signal Processing, volume 56, number 5, pp 1770-1778, 2008. (DOI).
- Combining tree partitioning, precedence, and incomparability constraints. In Constraints, volume 13, number 4, pp 459-489, 2008. (DOI).
- Infinite-state Stochastic and Parameterized Systems. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 76, Acta Universitatis Upsaliensis, Uppsala, 2008. (fulltext).
- Re?nement Types for Secure Implementations. In Proc. 21st IEEE Computer Security Foundations Symposium, pp 17-32, IEEE, Piscataway, NJ, 2008. (DOI, fulltext).
- Annual Report 2007. 2008. (External link).
- Regular Inference for State Machines Using Domains with Equality Tests. In Fundamental Approaches to Software Engineering, volume 4961 of Lecture Notes in Computer Science, pp 317-331, Springer-Verlag, Berlin, 2008. (DOI).
- Disseminating phenomenography: Workshops for the computing education research community. In Proc. EARLI SIG 9 Workshop on Phenomenography and Variation Theory: Implications of Phenomenography and Variation Theory in Practice, pp 17-18, Kristianstad Academic Press, Sweden, 2008. (Proceedings).
- Learning educational research methods through collaborative research: the PhICER initiative. In Australian Computer Science Communications, volume 30, number 5, pp 35-42, 2008. (External link).
- Students learn CS in different ways: Insights from an empirical study: (Invited talk). Australian Computer Society, 2008. (External link).
- Three Ways of Globalizing IT Engineering Education: Experiences from Two European Universities. In International Conference on Science, Technology and Education Policy: Engineering Education, Innovation and Globalization, pp 63-67, Hangzhou, China, 2008. (fulltext:print).
- Modeling spheroid growth, PET tracer uptake, and treatment effects of the Hsp90 inhibitor NVP-AUY922. In Journal of Nuclear Medicine, volume 49, number 7, pp 1204-1210, 2008. (DOI).
- A Testbed for Evaluating Delay Tolerant Network Protocol Implementations. In Proceedings 5th Swedish National Computer Networking Workshop, 2008.
- Regular Inference for Communication Protocol Entities. Technical report / Department of Information Technology, Uppsala University nr 2008-024, 2008. (fulltext).
- Discrete Skeletons from Distance Transforms in 2D and 3D. In Medial Representations: Mathematics, Algorithms and Applications, volume 37 of Computational Imaging and Vision, pp 155-190, Springer Verlag, Netherlands, 2008.
- Räta linjer på dataskärmen: En illustration av rekursivitet. In Nämnaren, volume 35, number 1, pp 46-50, 2008.
- Tessellationer: konsten att dela upp planet i regelbundna mönster. In Människor och matematik: Läsebok för nyfikna, pp 185-210, NCM, Göteborg, 2008.
- A methodology for exploring students' experiences and interaction with large-scale software through role-play and phenomenography. In Proc. 4th International Computing Education Research Workshop, pp 27-38, ACM Press, New York, 2008. (DOI).
- A light puncture robot for CT and MRI interventions. In IEEE Engineering in Medicine and Biology Magazine, volume 27, number 3, pp 42-50, 2008. (DOI).
- Geodesic Glyph Warping. In Proceedings of SSBA, SSBA, Lund, Sweden, 2008.
- Initialization of a nonlinear identification algorithm applied to laboratory plant data. In IEEE Transactions on Control Systems Technology, volume 16, number 4, pp 708-716, 2008. (DOI).
- Nonlinear Identification and Control with Solar Energy Applications. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 73, Institutionen för informationsteknologi, Uppsala, 2008. (fulltext).
- A comparison between two solution techniques to solve the equations of glacially induced deformation of an elastic Earth. In International Journal for Numerical Methods in Engineering, volume 75, pp 479-502, 2008. (DOI).
- Användbara IT-stöd: En utvärdering av ett forskningsprojekt vid CSN, Centrala studiestödsnämnden. Technical report / Department of Information Technology, Uppsala University nr 2008-021, 2008. (fulltext).
- Structural characteristics of pore networks affecting print-through. In Journal of Pulp and Paper Science (JPPS), volume 34, number 1, pp 13-22, 2008.
- Multi-pitch estimation. In Signal Processing, volume 88, number 4, pp 972-983, 2008. (DOI).
- On-line placement of real-time tasks on 2D partially run-time reconfigurable FPGAs. In Proc. 5th IEEE International Symposium on Embedded Computing, pp 20-25, IEEE, Piscataway, NJ, 2008. (DOI).
- Timed Automata Patterns. In IEEE Transactions on Software Engineering, volume 34, number 6, pp 844-859, 2008. (DOI).
- Review of User Parameter-Free Robust Adaptive Beamforming Algorithms. In Proceedings of the 42nd Asilomar Conference on Signals, Systems, and Computers: Oct 26-29, 2008, Pacific Grove, California, USA, 2008.
- User parameter free approaches to multistatic adaptive ultrasound imaging. In ISBI 2008, the IEEE International Symposium on Biomedical Imaging, Paris, France, 2008, pp 1287-1290, 2008. (DOI).
- Bilinear black-box identification and MPC of the activated sludge process. In Journal of Process Control, volume 18, number 7-8, pp 643-653, 2008. (DOI).
- Empowering a flexible application portal with a SOA-based grid job management framework. PARA 2008: State of the Art in Scientific and Parallel Computing, Norwegian University of Science and Technology, Trondheim, Norway, 2008.
- A discrete spectral method for the chemical master equation. Technical report / Department of Information Technology, Uppsala University nr 2008-005, 2008. (fulltext).
- Numerical Solution Methods in Stochastic Chemical Kinetics. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 564, Acta Universitatis Upsaliensis, Uppsala, 2008. (fulltext).
- Parallel in time simulation of multiscale stochastic chemical kinetics. Technical report / Department of Information Technology, Uppsala University nr 2008-020, 2008. (fulltext).
- Simulation of stochastic reaction-diffusion processes on unstructured meshes. Technical report / Department of Information Technology, Uppsala University nr 2008-012, 2008. (fulltext).
- Time-parallel simulation of stochastic chemical kinetics. In Numerical Analysis and Applied Mathematics: ICNAAM 2008, volume 1048 of AIP Conference Proceedings, pp 174-177, American Institute of Physics (AIP), Melville, NY, 2008. (DOI).
- Design and Implementation of a Stereoscopic Display in a Lecture-room. In SIGRAD 2008: The Annual SIGRAD Conference Special Theme: Interaction, November 27–28, 2008 Stockholm, Sweden, Linköping Electronic Conference Proceedings, pp 79-80, Linköping University Electronic Press, 2008.
- Introducing Usability Roles in Public Authorities. In Proc. 5th Nordic Conference on Human-Computer Interaction: Building Bridges, pp 113-122, ACM Press, New York, 2008. (DOI).
- Shock Calculations using a Very High Order Accurate Euler and Navier-Stokes Solver. In Proc. 6th South African Conference on Computational and Applied Mechanics, pp 63-73, South African Association for Theoretical and Applied Mechanics, 2008.
- Simulations of Ground Effects on Wake Vortices at Runways. In Proc. 6th South African Conference on Computational and Applied Mechanics, pp 101-108, South African Association for Theoretical and Applied Mechanics, 2008.
- Windup properties of recursive parameter estimation algorithms in acoustic echo cancellation. In Control Engineering Practice, volume 16, number 11, pp 1372-1378, 2008. (DOI).
- Exploring semantic interference in heterogeneous sensor networks. In , pp 45-51, ACM Press, New York, 2008. (DOI).
- A hierarchy of approximations of the master equation scaled by a size parameter. In Journal of Scientific Computing, volume 34, pp 127-151, 2008. (DOI).
- An introduction to inductive programming. In Artificial Intelligence Review, volume 29, number 1, pp 45-62, 2008. (DOI).
- Proceedings of LSCS'08, the Fifth International Workshop on Local Search Techniques in Constraint Satisfaction. 2008. (External link).
- Proceedings of ModRef'08, the Seventh International Workshop on Constraint Modelling and Reformulation. 2008. (External link).
- Solving necklace constraint problems. In Proc. 18th European Conference on Artificial Intelligence, pp 520-524, IOS Press, Amsterdam, The Netherlands, 2008.
- Algorithms for cross-talk suppression in fluorescence microscopy. In Medicinteknikdagarna 2008, pp 64-64, 2008. (fulltext).
- Automatisk spårning av dendriter i konfokalmikroskopibilder av nervceller. In Medicinteknikdagarna 2008, pp 61-61, 2008.
- Adaptive QoS Routing for Significant Events in Wireless Sensor Networks. In Proc. 5th International Conference on Mobile Ad Hoc and Sensor Systems, pp 410-415, IEEE, Piscataway, NJ, 2008. (DOI).
- Analysis of stresses in two-dimensional isostatic granular systems. In Physica A: Statistical Mechanics and its Applications, volume 387, pp 6263-6276, 2008. (DOI).
- Stress chain solutions in two-dimensional isostatic granular systems: Fabric-dependent paths, leakage, and branching. In Physical Review Letters, volume 101, pp 098001:1-4, 2008. (DOI).
- Highly Scalable Trip Grouping for Large Scale Collective Transportation Systems. In Proc. 11th International Conference on Extending Database Technology, EDBT 2008, 2008. (Fulltext).
- Instant Social Ride-Sharing. In Proc. 15th World Congress on Intelligent Transport Systems, p 8, Intelligent Transportation Society of America, 2008.
- Privacy-Preserving Trajectory Collection. In Proc. 16th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, pp 46:1-4, ACM Press, New York, 2008. (DOI).
- CFD in Non-Inertial Frames Applied to an Oscillating Airfoil and a Straked Body. In Proc. 6th South African Conference on Computational and Applied Mechanics, pp 92-100, South African Association for Theoretical and Applied Mechanics, 2008.
- Inference of Event-Recording Automata using Timed Decision Trees. Technical report / Department of Information Technology, Uppsala University nr 2008-014, 2008. (fulltext).
- Learning of Event-Recording Automata. Technical report / Department of Information Technology, Uppsala University nr 2008-013, 2008. (fulltext).
- Learning of Timed Systems. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 434, Acta Universitatis Upsaliensis, Uppsala, 2008. (fulltext, cover).
- Network invariants for real-time systems. In Formal Aspects of Computing, volume 20, number 6, pp 619-635, 2008. (DOI).
- New schedulability test conditions for non-preemptive scheduling on multiprocessor platforms. In Proc. Real-Time Systems Symposium: RTSS 2008, pp 137-146, IEEE, Piscataway, NJ, 2008. (DOI).
- On denoising via penalized least-squares rules. In Proc. International Conference on Acoustics, Speech, and Signal Processing: ICASSP 2008, volume 33 of International Conference on Acoustics, Speech, and Signal Processing (ICASSP), pp 3705-3708, IEEE, Piscataway, NJ, 2008. (DOI).
- On the reconstruction of gapped sinusoidal data. In Proc. International Conference on Acoustics, Speech, and Signal Processing: ICASSP 2008, volume 33 of International Conference on Acoustics, Speech, and Signal Processing (ICASSP), pp 3513-3516, IEEE, Piscataway, NJ, 2008. (DOI).
- Only Figures Matter?: If Measuring Usability and User Experience in Practice is Insanity or a Necessity. In Proc. International Workshop on Meaningful Measures: Valid Useful User Experience Measurement, pp 91-96, Institute of Research in Informatics of Toulouse (IRIT), Toulouse, France, 2008. ().
- High Order Difference Methods for Time Dependent PDE. Springer-Verlag, Berlin, 2008. (DOI).
- InfraCAM - A Design Case. UPA Europe 2008, 4-6 December 2008, Torino, Italy, 2008. (External link, fulltext).
- Improving cache utilization using Acumem VPE. In Tools for High Performance Computing, pp 115-135, Springer-Verlag, Berlin, 2008. (DOI).
- Comparison of some Gramian based interaction measures. In Proc. International Conference on Computer-Aided Control Systems: CACSD 2008, pp 138-143, IEEE, Piscataway, NJ, 2008. (DOI).
- Tracking the Motion of Hidden Segments Using Kinematic Constraints and Kalman Filtering. In Journal of Biomechanical Engineering, volume 130, number 1, pp 011012:1-9, 2008. (DOI).
- A Learning Theory Perspective on Running Open Ended Group Projects (OEGPs). In Australian Computer Science Communications, volume 30, number 5, pp 85-92, 2008. ().
- Sparse grids and hybrid methods for the chemical master equation. In BIT Numerical Mathematics, volume 48, pp 265-283, 2008. (DOI).
- Efficient computation of transient solutions of the chemical master equation based on uniformization and quasi-Monte Carlo. In Journal of Chemical Physics, volume 128, pp 154109:1-7, 2008. (DOI).
- Numerical simulation of well stirred biochemical reaction networks governed by the master equation. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2008-003, Uppsala University, 2008. (fulltext).
- A modular simulation framework for colonoscopy using a new haptic device. In Medicine Meets Virtual Reality 16, volume 132 of Studies in Health Technology and Informatics, pp 165-170, IOS Press, Amsterdam, The Netherlands, 2008.
- Estimating Human Limb Motion Using Skin Texture and Particle Filtering. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 568, Universitetsbiblioteket, Uppsala, 2008. (fulltext, cover).
- Estimating human limb motion using skin texture as virtual markers. 2008.
- Accuracy analysis of time-domain maximum likelihood method and sample maximum likelihood method for errors-in-variables identification. In Proc. 17th IFAC World Congress, International Federation of Automatic Control, 2008.
- Analysis of Some Methods for Identifying Dynamic Errors-in-variables Systems. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 78, Acta Universitatis Upsaliensis, Uppsala, 2008. (cover).
- Comparison of three Frisch methods for errors-in-variables identification. In Proc. 17th IFAC World Congress, International Federation of Automatic Control, 2008.
- Relations between Bias-Eliminating Least Squares, the Frisch Scheme and Extended Compensated Least Squares Methods for Identifying Errors-in-Variables Systems. Technical report / Department of Information Technology, Uppsala University nr 2008-008, 2008. (fulltext).
- Efficient optimization algorithms and implementations for genetic analysis of complex traits on a grid system with multicore nodes. PARA 2008: State of the Art in Scientific and Parallel Computing, Norwegian University of Science and Technology, Trondheim, Norway, 2008.
- A patch-based partitioner for parallel SAMR applications. In Proc. Parallel and Distributed Computing and Systems: 2008, pp 53-58, ACTA Press, Calgary, Canada, 2008. (fulltext:postprint).
- Design and implementation of a dynamic and adaptive meta-partitioner for parallel SAMR grid hierarchies. Technical report / Department of Information Technology, Uppsala University nr 2008-017, 2008. (fulltext).
- Extended pi-Calculi. In Automata, Languages and Programming, PT 2: Proceedings of ICALP 2008, volume 5126 of Lecture Notes in Computer Science, pp 87-98, 2008. (DOI).
- Cyclic dependencies in modular performance analysis. In Proc. 8th ACM International Conference on Embedded Software, pp 179-188, ACM Press, New York, 2008. (DOI).
- State-Space Exploration for Concurrent Algorithms under Weak Memory Orderings. In Proc. 1st Swedish Workshop on Multi-Core Computing, volume 2008:07 of Research report / Blekinge Institute of Technology, pp 82-88, 2008.
- State-space exploration for concurrent algorithms under weak memory orderings. In SIGARCH Computer Architecture News, volume 36, number 5, pp 65-71, 2008. (DOI).
- Reduction Techniques for Finite (Tree) Automata. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 562, Acta Universitatis Upsaliensis, Uppsala, 2008. (fulltext).
- UPPMAX Progress Report. Uppsala University, 2008.
- Correction in 3D Confocal Images. In Proceedings of the 2008 Symposium on Image Analysis, pp 31-34, 2008.
- Introduction to the Mean-Shift Procedure: Filtering and Segmentation. Internal Report nr 47, Centre for Image Analysis, Uppsala University, 2008.
- Methods and models for 2D and 3D image analysis in microscopy, in particular for the study of muscle cellsMetoder och modeller för två- och tredimensionell bildanalys inom mikroskopi, speciellt med inrikting mot muskelceller. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 544, Acta Universitatis Upsaliensis, Uppsala, 2008. (fulltext).
- Non-uniform 3D distance transform for anisotropic signal correction in confocal image volumes of skeletal muscle cell nuclei. In Proc. 5th International Symposium on Biomedical Imaging, pp 1363-1366, IEEE, Piscataway, NJ, 2008. (DOI).
- Ett förbättrat verktyg för mätning av användbarhet, stress och nytta: Andra försöket inom CSN. Technical report / Department of Information Technology, Uppsala University nr 2008-003, 2008. (fulltext).
- Accurate time propagation for the Schrödinger equation with an explicitly time-dependent Hamiltonian. In Journal of Chemical Physics, volume 128, pp 184101:1-11, 2008. (DOI).
- Stability of viscous shocks on finite intervals. In Archive for Rational Mechanics and Analysis, volume 187, pp 157-183, 2008. (DOI).
- A hybrid level-set Cahn–Hilliard model for two-phase flow. In Proc. 1st European Conference on Microfluidics, pp 59:1-10, La Société Hydrotechnique de France, 2008. (fulltext:postprint).
- The Evolution of Living Labs: Propositions for Improved Design and Further Research. In Proc. 5th International Conference on Innovation and Management, pp 2894-2908, Maastricht, The Netherlands, 2008.
- Can micro world simulations assess and stimulate ethical competence?. In Proceedings of the Tenth International Conference ETHICOMP 2008: "Living, Working And Learning Beyond Technology", pp 503-510, University of Pavia, Mantua, Italy, 2008. (External link).
- Tools for ethical decision making. In Proc. 3rd International Conference on Human Centered Processes: Part III, pp 13-24, 2008. (External link).
- ARMA parameter estimation: Revisiting a cepstrum-based method. In Proceedings of the 2008 IEEE International Conference on Acoustics, Speech, and Signal Processing: March 30 - April 4, 2008, Las Vegas, Nevada, USA, pp 3685-3688, 2008. (DOI).
- New spectral estimation based on filterbank for spectrum sensing. In Proceedings of the 2008 IEEE International Conference on Acoustics, Speech, and Signal Processing: March 30 - April 4, 2008, Las Vegas, Nevada, USA, pp 3509-3512, 2008. (DOI).
- A posteriori error estimates for mixed finite element approximations of elliptic problems. In Numerische Mathematik, volume 108, pp 487-500, 2008. (DOI).
- Multi-dimensional option pricing using radial basis functions and the generalized Fourier transform. In Journal of Computational and Applied Mathematics, volume 222, pp 175-192, 2008. (DOI).
- Estimation of Continuous-time Stochastic System Parameters. In Identification of Continuous-time Models from Sampled Data, pp 31-66, Springer-Verlag, London, 2008. (DOI).
- Stability criteria for hybrid difference methods. In Journal of Computational Physics, volume 227, pp 2886-2898, 2008. (DOI).
- Covariance beamforming, covariance matrix tapers and matrix beamforming are related. In Electronics Letters, volume 44, number 5, pp 383-384, 2008. (DOI).
- Fully automatic computation of diagonal loading levels for robust adaptive beamforming. In Proceedings of the 2008 IEEE International Conference on Acoustics, Speech, and Signal Processing: March 30 - April 4, 2008, Las Vegas, Nevada, USA, pp 2325-2328, 2008. (DOI).
- MIMO Radar Waveform Synthesis. In Proceedings of the 2008 IEEE Radar Conference: 26-30 May 2008, Rome, Italy, pp 1-6, 2008. (DOI).
- Range compression and waveform optimization for MIMO radar: a Cramér-Rao bound based study. In IEEE Transactions on Signal Processing, volume 56, number 1, pp 218-232, 2008. (DOI).
- Signal synthesis and receiver design for MIMO radar imaging. In IEEE Transactions on Signal Processing, volume 56, number 8:2, pp 3959-3968, 2008. (DOI).
- Component infrastructure for managing performance data and runtime adaptation of parallel applications. PARA 2008: State of the Art in Scientific and Parallel Computing, Norwegian University of Science and Technology, Trondheim, Norway, 2008. (fulltext:postprint).
- On using cyclic algorithms for sinusoidal parameter estimation. In Electronics Letters, volume 44, number 19, pp 1160-1161, 2008. (DOI).
- Deterministic Defuzzification based on Spectral Projected Gradient Optimization. In 30th Symposium of the German Association for Pattern Recognition (DAGM), volume 5096 of Lecture Notes in Computer Science, pp 476-485, Springer, Berlin / Heidelberg, 2008. (DOI).
- Asynchronous time integration of flux-conservative transport. In Proc. 11th European Conference on the Mathematics of Oil Recovery, pp A42:1-9, European Association of Geoscientists & Engineers, Houten, The Netherlands, 2008.
- Reviews of scientific papers on Automated cervical cancer screening through image analysis. Internal Report nr 46, Centre for Image Analysis, Uppsala, 2008. (fulltext).
- An Automated Image Analysis Method for Measuring Fibre Contact in Fibrous and Composite Materials. In 13th European Conference on Composite Materials (ECCM), 2008.
- Graph Cut Based Segmentation of Phase Contrast Volume Images of Fibrous Materials. In Proceedings of Swedish Symposium on Image Analysis (SSBA'08), pp 131-134, 2008.
- Segmentation and Analysis of Volume Images, with Applications. Licentiate thesis, Licentiate thesis / Centre for Image Analysis, Swedish University of Agricultural Sciences, Uppsala University nr 8, Centrum för bildanalys, Uppsala, 2008. (fulltext).
- Stable and accurate schemes for the compressible Navier-Stokes equations. In Journal of Computational Physics, volume 227, pp 2293-2316, 2008. (DOI).
- Stable and accurate wave-propagation in discontinuous media. In Journal of Computational Physics, volume 227, pp 8753-8767, 2008. (DOI).
- Stable boundary treatment for the wave equation on second-order form. Technical report / Department of Information Technology, Uppsala University nr 2008-019, 2008. (fulltext).
- Newton-type methods for REML estimation in genetic analysis of quantitative traits. In Journal of Computational Methods in Sciences and Engineering, volume 8, pp 53-67, 2008.
- Interactive visualization of new electromagnetic quantities. In SIGRAD 2008: The Annual SIGRAD Conference Special Theme: Interaction, November 27–28, 2008 Stockholm, Sweden, Linköping Electronic Conference Proceedings, pp 71-74, Linköping University Electronic press, 2008.
- Concrete examples of abstraction as manifested in students' transformative experiences. In Proc. 4th International Computing Education Research Workshop, pp 125-135, ACM Press, New York, 2008. (DOI).
- High order numerical simulation of Aeolian tones. In Computers & Fluids, volume 37, pp 450-462, 2008. (DOI).
- Neighborhood Sequences in the Diamond Grid. In Image analysis: from theory to applications, pp 187-195, Research Publishing, Singapore, Chennai, 2008. (External link).
- Estimation and Control of Resonant Systems with Stochastic Disturbances. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 74, Acta Universitatis Upsaliensis, Uppsala, 2008. (fulltext).
- Feedforward design for a mechanical system with marginally stable inverse. In Proc. 17th IFAC World Congress, International Federation of Automatic Control, 2008.
- On the tradeoff between feedback properties and disturbance attenuation for a cantilever beam system. In Reglermöte 2008: Proceedings, volume 2008:21 of Research report / Luleå University of Technology, pp 83-89, 2008. (External link).
- Preconditioning of nonsymmetric saddle point systems as arising in modelling of viscoelastic problems. In Electronic Transactions on Numerical Analysis, volume 29, pp 193-211, 2008.
- Fully Automatic Heart Beat Rate Determination in Digital Video Recordings of Rat Embryos. In ADVANCES IN MASS DATA ANALYSIS OF IMAGES AND SIGNALS IN MEDICINE, BIOTECHNOLOGY, CHEMISTRY AND FOOD INDUSTRY, PRCEEDINGS, volume 5108 of Lecture Notes in Computer Science, pp 27-37, 2008. (DOI).
- Measuring Heart Rate from Rat Embryo Videos. In Swedish Symposium on Image Analysis, pp 35-38, Swedish Society for Automated Image Analysis, Lund, Sweden, 2008.
- Distance maps in an arbitrary metric tensor field: An iterative solver for 2-D charts. In Proceedings of SSBA, SSBA, Lund, Sweden, 2008.
- Challenged Networking: An Experimental Study of new Protocols and Architectures. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 450, Acta Universitatis Upsaliensis, Uppsala, 2008. (fulltext).
- Geographical locality and dynamic data migration for OpenMP implementations of adaptive PDE solvers. In OpenMP Shared Memory Parallel Programming, volume 4315 of Lecture Notes in Computer Science, pp 382-393, Springer-Verlag, Berlin, 2008. (DOI).
- Estimation of pith position in untreated log ends in sawmill environments. In Computers and Electronics in Agriculture, volume 63, number 2, pp 155-167, 2008. (DOI).
- Spatially-variant morphological operations on binary images based on the polar distance transform. In ICPR 2008, volume CFP08182 of IEEE Proceedings, IEEE computer society, 2008.
- The polar distance transform. In Proceedings SSBA 2008, Symposium on image analysis, Lund, 2008.
- IT in Home Health Care — A Case Study: Advantages and Disadvantages with Mobile Information Support. In Proc. 2nd International Conference on Pervasive Computing Technologies for Healthcare, pp 201-204, IEEE, Piscataway, NJ, 2008. (DOI).
- Direct Weight Optimization Applied to Discontinuous Functions. In Proceedings of the 47th IEEE Conference on Decision and Control, volume 47 of Proceedings / IEEE Conference on Decision and Control, pp 117-122, IEEE, Cancun, Mexico, 2008. (DOI).
- Enabling Bio-Feedback Using Real-Time fMRI. In Proceedings of the 47th IEEE Conference on Decision and Control, volume 47 of Proceedings / IEEE Conference on Decision and Control, pp 3336-3341, IEEE, Cancun, Mexico, 2008. (DOI).
- Expressiveness of Process Algebras. In Electronic Notes in Theoretical Computer Science, volume 209, pp 173-186, 2008. (DOI).
- Stepping Stones: Capacity building in engineering education. In Proc. 38th ASEE/IEEE Frontiers in Education Conference, pp 307-312, IEEE, Piscataway, NJ, 2008. (DOI).
- Querying RDF Schema Views of Relational Databases. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 75, Acta Universitatis Upsaliensis, Uppsala, 2008.
- Numerical analysis of Burgers' equation with uncertain boundary conditions using the stochastic Galerkin method. Technical report / Department of Information Technology, Uppsala University nr 2008-011, 2008. (fulltext).
- Improved radial basis function methods for multi-dimensional option pricing. In Journal of Computational and Applied Mathematics, volume 222, pp 82-93, 2008. (DOI).
- Spectrum labeling for cognitive radio systems: candidate spectral estimation. In 1st IAPR (International Association for Pattern Recognition) Worshop on Cognitive Information Processing, CIP 08, Santorini, Greece, 2008, 2008.
- Frequency content in an axially impacted bar subject to boundary conditions. In Proc. 17th IFAC World Congress, International Federation of Automatic Control, 2008.
- Optimal sensor locations for nonparametric identification of viscoelastic materials. In Automatica, volume 44, number 1, pp 28-38, 2008. (DOI).
- An Interactive Test-bed for Heterogeneous Wireless Sensor Networks.. In DCOSS demo proceedings, volume 5067 of Lecture Notes in Computer Science, Springer Verlag, 2008.
- Parameterized Systems: Generalizing and Simplifying Automatic Verification. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 72, Acta Universitatis Upsaliensis, Uppsala, 2008. (fulltext).
- MIMO radar receiver design. In Proceedings of the 2008 IEEE Radar Conference: 26-30 May 2008, Rome, Italy, pp 1-6, 2008. (DOI).
- Sparse signal representation for MIMO radar imaging. In Proceedings of the 42nd Asilomar Conference on Signals, Systems, and Computers: Oct 26-29, 2008, Pacific Grove, California, USA, 2008.
- Query authentication and data confidentiality in wireless sensor networks. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2008-002, Uppsala University, 2008. (fulltext).
- n-LDA: n-Layers Data Aggregation in Sensor Networks. In Proc. 28th International Conference on Distributed Computing Systems Workshops, pp 400-405, IEEE, Piscataway, NJ, 2008. (DOI).
- Time constraints in new mobile communication: Practices among senior managers. In KronoScope, volume 8, number 2, pp 147-157, 2008. (DOI).
- Gradual Typing of Erlang Programs: A Wrangler Experience. In Proc. 7th ACM SIGPLAN Workshop on ERLANG, pp 73-81, ACM Press, New York, 2008. (DOI).
- Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols. In Tools and Algorithms for the Construction and Analysis of Systems, volume 4963 of Lecture Notes in Computer Science, pp 18-32, Springer-Verlag, Berlin, 2008. (DOI).
- Verifying Absence of ? Loops in Parameterized Protocols. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 419, Acta Universitatis Upsaliensis, Uppsala, 2008. (fulltext).
- Student Understanding of Object-Oriented Programming as Expressed in Concept Maps. In SIGCSE Bulletin inroads, volume 40, number 1, pp 332-336, 2008. (DOI).
- Are all state of the art techniques "simple as that" to implement in biomaterials research?: a pilot study in rat bone. In AstraTech World Congress 2008, pp 136-137, 2008.
- Att hitta ett histologiskt 2D snitt av ett benimplantat i en 3D mikrotomografivolym. In Medicinteknikdagarna 2008, pp 103-103, MTF, 2008. (fulltext:postprint).
- Registration of 2D Histological Images of Bone Implants with 3D SR?CT Volumes. In Advances in Visual Computing: 4th International Symposium, ISVC 2008, Las Vegas, NV, USA, December 1-3, 2008. Proceedings, Part I, volume 5358 of Lecture Notes in Computer Science, pp 1071-1080, Springer, Heidelberg/Berlin, 2008. (DOI, External link, fulltext:print).
- Registration of 2D Histological Images of Bone Implants with 3D SRuCT Volumes. In SSBA 2008, pp 19-22, SSBA, Lund, 2008.
- Automatic robust adaptive beamforming via ridge regression. In Signal Processing, volume 88, number 1, pp 33-49, 2008. (DOI).
- Empirical Bayes linear regression with unknown model order. In Digital signal processing (Print), volume 18, number 2, pp 236-248, 2008. (DOI).
- Estimation of semi-sparse radar range profiles. In Digital signal processing (Print), volume 18, number 4, pp 543-560, 2008. (DOI).
- Stability of the notion of approximating class of sequences and applications. In Journal of Computational and Applied Mathematics, volume 219, pp 518-536, 2008. (DOI).
- A bound on the overlap of same-sized subsets. In Annals of Combinatorics, volume 12, number 3, pp 347-352, 2008. (DOI).
- Perimeter estimation based on grey level object representation. Rapport nr 33, Centre for Image Analysis, Uppsala, Sweden, 2008. (External link).
- Enhancing Signals. 2008.
- Robust Nuclear Quadrupole Resonance Signal Detection Allowing for Amplitude Uncertainties. In IEEE Transactions on Signal Processing, volume 56, number 3, pp 887-894, 2008. (DOI).
- Viewing and Querying Topic Maps in terms of RDF. In SEMMA2008: First International Workshop on Semantic Metadata Management and Applications, 2008. (Fulltext).
- On binary probing signals and instrumental variables receivers for radar. In IEEE Transactions on Information Theory, volume 54, number 8, pp 3820-3825, 2008. (DOI).
- On spatial power spectrum and signal estimation using the Pisarenko framework. In IEEE Transactions on Signal Processing, volume 56, number 10:2, pp 5109-5119, 2008. (DOI).
- On using a priori knowledge in space-time adaptive processing. In IEEE Transactions on Signal Processing, volume 56, number 6, pp 2598-2602, 2008. (DOI).
- Spatial power spectrum estimation using the Pisarenko framework. In 16th European Signal Processing Conference, EUSIPCO 2008, Lausanne, Switzerland, 2008.
- Transmit codes and receive filters for pulse compression radar systems. In 2008 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING, VOLS 1-12, International Conference on Acoustics Speech and Signal Processing (ICASSP), pp 3649-3652, 2008. (DOI).
- Transmit codes and receive filters for radar: A look at the design process. In IEEE signal processing magazine (Print), volume 25, number 6, pp 94-109, 2008. (DOI).
- Waveform synthesis for diversity-based transmit beampattern design. In IEEE Transactions on Signal Processing, volume 56, number 6, pp 2593-2597, 2008. (DOI).
- A Connection Between Z<sup>n</sup> and Generalized Triangular Grids. In International Symposium on Visual Computing (ISVC 2008), Las Vegas, Nevada, volume 5359 of Lecture Notes in Computer Science, pp 1157-1166, Springer, Berlin / Heidelberg, 2008. (DOI, External link).
- Distance Functions and Image Processing on Point-Lattices: with focus on the 3D face- and body-centered cubic grids. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 79, Acta Universitatis Upsaliensis, Uppsala, 2008. (fulltext).
- The Polar Distance Transform by Fast-Marching. In Proceedings of 19th International Conference on Pattern Recognition (ICPR 2008), Tampa, Florida, December 2008, volume IEEE Catalog Number: CFP08182 of IEEE proceedings, IEEE computer society, 2008.
- Weighted Neighborhood Sequences in Non-Standard Three-Dimensional Grids -- Parameter Optimization. In In Proceedings, theoretical track, International Workshop on Combinatorial Image Analysis (IWCIA 2008), Buffalo, NY, USA, 2008, volume 4958 of Lecture notes in computer science, pp 51-62, 2008. (DOI, External link).
- Weighted Neighbourhood Sequences - Computing the Distance Transform. In Proceedings SSBA'08 Symposium on Image Analysis, Lund, Sweden, pp 63-66, 2008.
- Weighted Neighbourhood Sequences in Non-Standard Three-Dimensional Grids: Metricity and Algorithms. In In Proceedings International Conference on Discrete Geometry for Computer Imagery (DGCI 2008), Lyon, France, 2008, volume 4992 of Lecture notes in computer science, pp 201-212, 2008. (DOI, External link).
- Aspects on the reverse fuzzy distance transform. In Pattern Recognition Letters, volume 29, number 7, pp 888-896, 2008. (DOI).
- A stable high-order finite difference scheme for the compressible Navier-Stokes equations: no-slip wall boundary conditions. In Journal of Computational Physics, volume 227, pp 4805-4824, 2008. (DOI).
- An accuracy evaluation of unstructured node-centred finite volume methods. In Applied Numerical Mathematics, volume 58, pp 1142-1158, 2008. (DOI).
- Extending the Frisch scheme for errors-in-variables identification to correlated output noise. In International journal of adaptive control and signal processing (Print), volume 22, number 1, pp 55-73, 2008. (DOI).
- Statistical analysis of a third-order cumulants based algorithm for discrete-time errors-in-variables identification. In Proc. 17th IFAC World Congress, International Federation of Automatic Control, 2008.
- Model-based validation of QoS properties of biomedical sensor networks. In Proc. 8th ACM International Conference on Embedded Software, pp 69-78, ACM Press, New York, 2008. (DOI).
- Efficient Sensor Network Reprogramming through Compression of Executable Modules. In Proceedings of Fifth Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks (SECON 2008): June 16-20, 2008, San Francisco, California, USA. 2008, 2008. (External link).
- Using image analysis to model 3D liquid-paper interaction. In Progress in Paper Physics Seminar 2008, volume B1 of TKK Reports in Forest Products Technology, 2008.
- Optimization of an acoustic horn with respect to efficiency and directivity. In International Journal for Numerical Methods in Engineering, volume 73, pp 1571-1606, 2008. (DOI).
- A toolkit for interactive medical image visualization and segmentation with haptics. 2008.
- Accurate and reproducible semi-automatic liver segmentation using haptic interaction. In Medical Imaging 2008: Visualization, Image-Guided Procedures, and Modeling, volume 6918 of Proc. SPIE, pp 69182Q:1-8, Bellingham, WA, 2008. (DOI).
- Visualization and Haptics for Interactive Medical Image AnalysisVisualisering och Haptik för Interaktiv Medicinsk Bildanalys. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 386, Acta Universitatis Upsaliensis, Uppsala, 2008. (fulltext, cover).
- Microwave tomography using topology optimization techniques. In SIAM Journal on Scientific Computing, volume 30, pp 1613-1633, 2008. (DOI).
- An interactive software module for visualizing coronary arteries in CT angiography. In International Journal of Computer Assisted Radiology and Surgery, volume 3, pp 11-18, 2008. (DOI).
- On estimation of covariance matrices with Kronecker product structure.. In IEEE Transactions on Signal Processing, volume 56, number 2, pp 478-491, 2008. (DOI).
- Creating Correct Network Protocols. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 571, Acta Universitatis Upsaliensis, Uppsala, 2008. (fulltext, errata).
- Reflecting on running large scale student collaboration projects. In Proc. 38th ASEE/IEEE Frontiers in Education Conference, pp 1464-1468, IEEE, Piscataway, NJ, 2008. (DOI).
- Unwinding processes in Computer Science student projects. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2008-001, Uppsala University, 2008. (fulltext).
- MATLAB software for recursive identification and scaling using a structured nonlinear black-box model: Revision 4. Technical report / Department of Information Technology, Uppsala University nr 2008-007, Uppsala universitet, 2008. (Report in fulltext, fulltext).
- Collaborative Visualization: Designing and evaluating systems for co-located work. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 385, Acta Universitatis Upsaliensis, Uppsala, 2008. (fulltext).
- Evaluating Collaborative Visualization of Spatial Data in Multi-Viewer Displays. 2008.
- Finding cells, finding molecules, finding patterns. In International Journal of Signal and Imaging Systems Engineering, volume 1, number 1, pp 11-17, 2008. (DOI).
- Image analysis in fluorescence microscopy: the human eye is not enough. In Medicinteknikdagar 2008: Mötesplats för aktörer inom forskning, sjukvård och industri, Nils Löfgren, Högskolan i Borås, Proceedings, Medicinteknikdagarna 2008, 2008. (fulltext).
- Target detection and parameter estimation for MIMO radar systems. In IEEE Transactions on Aerospace and Electronic Systems, volume 44, number 3, pp 927-939, 2008. (DOI).
- Knowledge-aided adaptive beamforming. In Proceedings of the 2008 IEEE International Conference on Acoustics, Speech, and Signal Processing: March 30 - April 4, 2008, Las Vegas, Nevada, USA, pp 2337-2340, 2008. (DOI).
- Nonparametric and Sparse Signal Representations in Array Processing via Iterative Adaptive Approaches. In Proceedings of the 42nd Asilomar Conference on Signals, Systems, and Computers: Oct 26-29, 2008, Pacific Grove, California, USA, 2008.
- Sparsity constrained deconvolution approaches for acoustic source mapping. In 14th AIAA/CEAS Aeroacoustics Conference (29th AIAA Aeroacoustics Conference), Vancouver, Canada, 2008, 2008.
- Sparsity constrained deconvolution approaches for acoustic source mapping. In Journal of the Acoustical Society of America, volume 123, number 5, pp 2631-2642, 2008. (DOI).
- Information Quality Aware Sensor Network Services. In Proc. 42nd Asilomar Conference on Signals, Systems and Computers, pp 1155-1159, IEEE, Piscataway, NJ, 2008. (DOI).
- An interface capturing method for two-phase flow with moving contact lines. In Proc. 1st European Conference on Microfluidics, pp 118:1-10, La Société Hydrotechnique de France, 2008. (fulltext:postprint).
- Threshold Concepts in Computer Science: a multinational empirical investigation. In Threshold Concepts within the Disciplines, pp 105-118, Sense Publishers, Rotterdam, The Netherlands, 2008.
- Adaptive arrays for broadband communications in the presence of unknown co-channel interference. In IEEE Transactions on Signal Processing, volume 56, number 4, pp 1589-1600, 2008. (DOI).
- Knowledge-aided adaptive beamforming. In IET Signal Processing, volume 2, number 4, pp 335-345, 2008. (DOI).
- Framing participation in organizational online communities: research challenges. In Proc. 31st Information Systems Research Seminar in Scandinavia, 2008. ().