Publications 2005
- Bias analysis in LS estimation of periodic signals using nonlinear ODE's. In Proc IFAC 16th World Congress, 2005.
- Least squares periodic signal modeling using orbits of nonlinear ODE's and fully automated spectral analysis. In Automatica, volume 41, number 5, pp 857-862, 2005.
- Nonlinear Approaches to Periodic Signal Modeling. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 59, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext).
- Decidability and Complexity Results for Timed Automata via Channel Machines. In LNCS, volume 3580, 2005.
- Simulating perfect channels with probabilistic lossy channels. In Information and Computation, volume 197, number 1-2, pp 22-40, 2005.
- Direct and Inverse Methods for Waveguides and Scattering Problems in the Time Domain. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 102, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext).
- Modeling of inhomogeneous waveguides using hybrid methods. 2005.
- Waveguide Truncation Using UPML in the Finite-Element Time-Domain Method. Technical report / Department of Information Technology, Uppsala University nr 2005-026, 2005. (External link).
- Numerical Methods for Aerodynamic Shape Optimization. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 135, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext).
- An Auction Mechanism for Polynomial-time Execution with Combinatorial Constraints. In Proc. 7th International Conference on E-Commerce Technology, pp 17-24, IEEE, Piscataway, NJ, 2005. (DOI).
- Balanced Binary Search Trees. In Handbook of Data Structures and Applications, p 1392, CRC Press, 2005.
- Searching and Priority Queues in o(log n) Time. In Handbook of Data Structures and Applications, p 1392, CRC Press, 2005.
- Computing and analysing convex deficiencies to characterise 3D complex objects. In Image and Vision Computing: Discrete Geometry for Computer Imagery, volume 23, number 2, pp 203-211, 2005. (External link).
- Accurate and rapid estimation of adsorption isotherms in liquid chromatography using the inverse method on plateaus. In Journal of Chromatography A, volume 1099, pp 167-174, 2005. (DOI).
- Individual pore segmentation in 3D volumes of fibrous materials. In SSBA Symposium on Image Analysis 2005, 2005.
- Decidability and Complexity Results for Timed Automata via Channel Machines. In Proc. ICALP'05, 32nd Int. Colloquium on Automata, Languages and Programming, 2005.
- From Monotonic Transition Systems to Monotonic Games. In Spring School on Infinite Games and Their Applications, 2005.
- Simulating Perfect Channels with Probabilistic Lossy Channels. In The Journal of Information and Computation, volume 197, number 1-2, pp 22-40, 2005.
- Simulation-Based Iteration of Tree Transducers. In Proc. TACAS'05, 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2005.
- Verification of Parameterized Timed Systems. In FORMATS'05, International Conference on Formal ModUppsala, Sweden, 2005 modelling and Analysis of Timed Systems, 2005.
- Verification of Probabilistic Systems with Faulty Communication. In The Journal of Information and Computation, 2005.
- Verifying Infinite Markov Chains with a Finite Attractor or the Global Coarseness Property. In http://doi.ieeecomputersociety.org/10.1109/LICS.2005.54, 2005. (External link).
- A Fully Abstract Encoding of the pi-Calculus with Data Terms. In Proceedings of ICALP 2005, volume 3580 of Lecture notes in computer science, pp 1202-1213, Springer, Berlin, 2005. (DOI, External link).
- USE AND USEFULNESS OF HCI METHODS: RESULTS FROM AN EXPLORATORY STUDY AMONG NORDIC HCI PRACTITIONERS. In People and Computers XIX: The Bigger Picture, 2005. (External link).
- Connected Minimal Acceleration Trigonometric Curves. In SIGRAD 2005 The Annual SIGRAD Conference Special Theme – Mobile Graphics November 23-24, 2005 Lund, Sweden, 2005. (External link).
- Minimal Acceleration Hermite Curves. In Game Programming Gems 5, pp 225-231, Charles River Media, Hingham, Massachusetts, 2005.
- The tree constraint. In Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Second International Conference, CPAIOR 2005, Proceedings, pp 64-78, 2005. (External link).
- The Re-Design of a PDA-based System for Supporting People with Parkinson’s Disease. In People and Computers XVIII — Design for Life: Proceedings of HCI 2004, pp 181-196, Springer London, 2005. (DOI).
- Computerized Cell Image Processing in Healthcare. In Proceedings of Healthcomm2005, pp 11-17, 2005. (External link).
- Efficient and Flexible Characterization of Data Locality through Native Execution Sampling. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 101, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext).
- Fast Data-Locality Profiling of Native Execution. In ACM SIGMETRICS Performance Evaluation Review, volume 33, number 1, pp 169-180, 2005. (DOI).
- Insights to Angluin's Learning. In Electr. Notes on Theoret. Comput. Sci., volume 118, pp 3-18, 2005.
- Insights to Angluin's Learning. In Electronical Notes in Theoretical Computer Science, volume 118, pp 3-18, 2005. (DOI).
- Model Checking. In Model-Based Testing of Reactive Systems: Advanced Lectures, volume 3472 of Lecture Notes in Computer Sciences: Programming and Software Engineering, pp 557-603, Springer, Berlin / Heidelberg, 2005.
- Model-based Testing of Reactive Systems: 19 Model Checking. In , pp 557-603, Springer Berlin / Heidelberg, 2005. (DOI, External link).
- On the Correspondence Between Conformance Testing and Regular Inference. In FASE 2005, pp 175-189, 2005.
- Learning computer systems in a distributed project course: The what, why, how and where. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 62, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext).
- Study of the Effects of Non-Traditional Examinatin Methods in Engineering Education Programmes. Myndigheten för nätverk och samarbete inom högre utbildning, Stockholm, Sweden, 2005.
- What do our students strive for?: Insights from a distributed, project-based course in computer systems. In Proc. 5th Finnish/Baltic Sea Conference on Computer Science Education: Koli Calling, pp 65-72, Turku Centre for Computer Science, Finland, 2005. (Proceedings).
- Combinatorial Optimization for Infinite Games on Graphs. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 3, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext, cover).
- Robust optimal multilevel preconditioners for non-conforming finite element systems. In Numerical Linear Algebra with Applications, volume 12, pp 495-514, 2005. (DOI).
- Specifying and Generating Test Cases Using Observer Automata. In Proceeding of the 4th International Workshop on Formal Approaches to Testing of Software (FATES'04), LNCS 3395, Springer, pp 125-139, 2005.
- A new evolutionary algorithm for image segmentation. In Applications of evolutionary computing, volume 3449 of Lecture notes in computer science, pp 264-273, 2005. (DOI).
- A Fine Balance: Addressing Usability and Users’ Needs in the Development of IT Systems for the Workplace. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 95, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext, cover).
- An Approximation of the Maximal Inscribed Convex Set of a Digital Obj. In In F. Roli and S. Vitulano, editors, Proceedings of 13th International Conference on Image Analysis and Processing (ICIAP'05), pp 438-445, 2005.
- Centre for Image Analysis Annual Report 2004. Centrum för bildanalys, 2005. (External link).
- Digital distance transforms in 2D, 3D, and 4D. In Handbook of Pattern Recognition and Computer Vision, 3rd Edition, pp 157-176, World Scientific, Singapore, 2005.
- Discrete Skeletons from Distance Transforms in 2D and 3D. CBA Internal Report nr 34, 2005.
- Kedjekod - ett sätt att beskriva former i digitala bilder. In Problemlösning är # 1, pp 38-42, Liber, Stockholm, 2005.
- Design in Telemedicine: Development and Implementation of Usable Computer Systems. Ph.D. thesis, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 5, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext, cover).
- Preconditioners Based on Fundamental Solutions. Technical report / Department of Information Technology, Uppsala University nr 2005-001, 2005. (External link).
- Preconditioners based on fundamental solutions. In BIT Numerical Mathematics, volume 45, pp 481-494, 2005. (DOI).
- Power saving in wireless ad hoc networks without synchronization. In 5th Scandinavian Workshop on Wireless Ad Hoc Networks (ADHOC'05), 2005.
- Model-Based Testing of Reactive Systems: Advanced Lectures. Volume 3472 of Lecture Notes in Computer Science, Springer Verlag, 2005.
- Model-Based Testing of Reactive Systems, Advanced Lectures: outcome of a research seminar. Volume 3472 of Lecture Notes in Computer Science, Springer Verlag, 2005.
- Nonlinear Identification of a Solar Heating System. Technical reports nr 2005-008, Dept. of Information Technology, 2005. (External link).
- Nonlinear Identification of an Anaerobic Digestion Process. Technical Reports nr 2005-007, Dept. of Information Technology, 2005. (External link).
- Nonlinear identification of a solar heating system. In Proceedings of the 2005 IEEE International Conference on Control Application, pp 1491-1497, 2005.
- Nonlinear identification of an anaerobic digestion process. In Proceedings of the 2005 IEEE International Conference on Control Applications, pp 137-142, 2005.
- High order accurate solution of the incompressible Navier-Stokes equations. In Journal of Computational Physics, volume 203, pp 49-71, 2005. (DOI).
- Splitting methods for high order solution of the incompressible Navier-Stokes equations in 3D. In International Journal for Numerical Methods in Fluids, volume 47, pp 1157-1163, 2005. (DOI).
- A consistent stabilized formulation for a nonsymmetric saddle-point problem. Technical report / Department of Information Technology, Uppsala University nr 2005-030, 2005. (External link).
- Algebraic preconditioning versus direct solvers for dense linear systems as arising in crack propagation problems. In Communications in Numerical Methods in Engineering, volume 21, pp 73-81, 2005. (DOI).
- Numerical simulations of glacial rebound using preconditioned iterative solution methods. In Applications of Mathematics, volume 50, pp 183-201, 2005. (DOI).
- Robust preconditioned iterative solution methods for large-scale nonsymmetric problems. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2005-006, Uppsala University, 2005. (fulltext).
- SaveCCM: An Analysable Component Model for Real-Time Systems. In Proceedings of International Workshop on Formal Aspects of Component Software, 2005.
- A Flexible Model for Tree-Sructured Multi-Commodity Markets. In CEC 2005: Seventh IEEE International Conference on E-Commerce Technology, pp 50-58, 2005.
- Better Grid Integration of Distributed Generation Using Supply - Demand Matching. 2005. (External link).
- IP Quality of Service Support for Soft Real-Time Applications. In Fourth International Workshop on Real-time Networks, 2005. (External link).
- Shape signaturs of fuzzy star-shaped sets based on distance from the centroid. In Pattern Recognition Letters, volume 26, number 6, pp 735-746, Elsevier, 2005. (DOI).
- Automatic Tracking of Neural Stem Cells. In WDIC 2005: Workshop Proceedings, pp 61-66, 2005.
- Managing cross-cultural differences in an open ended group project course. In IEEE Frontiers in education conference, pp T4D22-23, 2005.
- Widening the horizon using the OEIGP. In HCI International, Las Vegas, 2005.
- Janus: an architecture for flexible access to sensor networks. In DIN '05: Proceedings of the 1st ACM workshop on Dynamic interconnection of networks, pp 48-52, 2005. (DOI).
- Janus: an architecture for flexible access to sensor networks. In Proceedings of the 1st ACM workshop on Dynamic interconnection of networks, pp 48 - 52, 2005.
- Stationary behavior of an anti-windup scheme for recursive parameter estimation under lack of excitation. In in IFAC World Congress, 2005.
- Comparing student software designs using semantic categorization. In Proc. 5th Finnish/Baltic Sea Conference on Computer Science Education: Koli Calling, pp 57-64, Turku Centre for Computer Science, Finland, 2005.
- Novice Java Programmers' Conceptions of "Object" and "Class", and Variation Theory. In SIGCSE Bulletin inroads, volume 37, number 3, pp 89-93, 2005. (DOI).
- What Does It Take to Learn 'Programming Thinking'?. In Proc. 1st International Computing Education Research Workshop, pp 135-142, ACM Press, New York, 2005. (DOI).
- On the modeling of small geometric features in computational electromagnetics. In Multiscale Methods in Science and Engineering, volume 44 of Lecture Notes in Computational Science and Engineering, pp 133-148, Springer-Verlag, Berlin, 2005. (DOI).
- Identification of linear systems with errors in variables using separable nonlinear least squares. In Proc of 16:th IFAC World Congress, 2005.
- Modeling and Control of Bilinear Systems: Application to the Activated Sludge Process. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 65, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext).
- Suboptimal control for the bilinear quadratic regulator problem: Application to the activated sludge process. In IEEE Transactions on Control Systems Technology, volume 13, number 1, pp 162-168, 2005.
- Developing Embedded Networked Products using the Simics Full-System Simulator. In Proc. 16th IEEE International Symposium on Personal Indoor and Mobile Radio Communications: (PIMRC 2005), Berlin, Germany September 2005, 2005.
- Guidelines for a curriculum on embedded software and systems: The ARTIST Education Group. In ACM Transactions on Embedded Computing Systems (TECS), volume 4, number 3, pp 587-611, 2005.
- Computing the moments of high dimensional solutions of the master equation. Technical report / Department of Information Technology, Uppsala University nr 2005-020, 2005. (External link).
- Multiscale Methods in Science and Engineering. Volume 44 of Lecture Notes in Computational Science and Engineering, Springer-Verlag, Berlin, 2005.
- Verification and generation of geographical data using domain theory. In TRain Workshop at the 3rd IEEE International Conference on Software Engineering and Formal Methods (SEFM’05), 2005, 2005. (fulltext:postprint).
- Autonomy method: Acquiring skills for ethichal analysis of computerisation in car driving. In ETHICOMP 2005: Looking back to the future, pp CD-ROM, 2005.
- Clustered Worst-Case Execution-Time Calculation. In IEEE Transactions on Computers, volume 54, number 9, 2005.
- Gas jet impinging on liquid surface: Cavity shape modelling and video based estimation. In Proceedings of the 16th IFAC World Congress, 2005.
- Gas jet impinging on liquid surface: Cavity shape modelling and video-based estimation. In in IFAC World Congress, 2005.
- Parameter and state estimation using audio and video signals. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2005-009, Uppsala University, 2005. (fulltext).
- Stationary behaviour of an anti-windup scheme for recursive parameter estimation under lack of excitation. In Proceedings of the 16th IFAC World Congress, 2005.
- Windup properties of recursive parameter estimation algorithms in acoustic echo cancellation. In , volume 38:1 of IFAC-PapersOnLine, pp 113-118, 2005. (DOI).
- Enabling limited traffic scheduling in asynchronous ad hoc networks. In 3rd Swedish National Computer Networking Workshop (SNCNW 2005), 2005.
- Modelling Fusion Calculus using HD-Automata. Technical report / Department of Information Technology, Uppsala University nr 2005-038, 2005.
- Modelling and Minimising the Fusion Calculus using HD-automata. In Proceedings of CALCO 2005, 2005. (DOI, External link).
- Amos II Release 8 User's Manual. 2005. (External link).
- Framework for Querying Distributed Objects Managed by a Grid Infrastructure. In Data Management in Grids: First VLDB Workshop, DMG 2005, Trondheim, Norway, September 2-3, 2005, Revised Selected Papers, 2005. (DOI, External link).
- An augmented-reality approach to co-located visual exploration of indoor climate data in real rooms.. In Proceedings of the 10th International Conference on Indoor Air Quality and Climate: Indoor Air, 2005.
- Simple 3D glyphs for Spatial Multivariate Data. In IEEE Symposium on Information Visualization: InfoVis 05, p 244, 2005.
- Adsorption Isotherm Parameter Estimation in Nonlinear Liquid Chromatography. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 96, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext).
- Centerline-based colon segmentation for CT colonography. In Medical physics (Lancaster), volume 32, pp 2665-2672, 2005. (DOI).
- Clustering of Objects in 3D Electron Tomography Reconstructions of Protein Solutions Based on Shape Measurements. In Pattern Recognition and Image Analysis: Third International Conference on Advances in Pattern Recognition, ICAPR 2005, Bath, UK, August 2005, Proceedings, Part II, p 809, 2005. (DOI, External link).
- An Indirection Architecture for the Internet. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 128, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext, cover).
- Inference of Timed Transition Systems. In Proceedings of the 6th International Workshop on Verification of Infinite-State Systems (INFINITY), 2005.
- User-Centered Design and the Offshoring Model. In CSI Communication, volume 29, number 1, pp 14-18, 2005.
- Microwave imaging via adaptive beamforming methods for breast cancer detection. In Progress in Electromagnetics Research Symposium, 2005.
- Time compact high order difference methods for wave propagation, 2D. In Journal of Scientific Computing, volume 25, pp 195-211, 2005. (DOI).
- Bit-level Binaries and Generalized Comprehensions in Erlang. In Proceedings of the Fourth ACM SIGPLAN Erlang Workshop, pp 1-8, 2005.
- Multi-node computer system employing multiple memory response states. 2005.
- Multi-node computer system where active devices selectively initiate certain transactions using remote-type address packets. 2005.
- Multi-node system in which home memory subsystem stores global to local address translation information for replicating nodes. 2005.
- Parallella program ger paradigmskifte. In Elektroniktidningen, number 13, 2005.
- Applications of Coupling Analysis on Bioreactor Models. In Proceedings of 16th IFAC World Congress, 2005.
- Using an Extended Kalman Filter for Rigid Body Pose Estimation. In Journal of Biomechanical Engineering, volume 127, number 3, pp 475-483, 2005.
- Camera-spectrometer for instantaneous multi- and hyperspectral imaging. In 5th European Conference on Precision Agriculture, p 1008, 2005.
- Camera-spectrometer for multi- and hyperspectral imaging. In Swedish Society for Automated Image Analysis Symposium - SSBA 2005, pp 45-48, 2005.
- Hyperspectral Crop Reflectance Data for characterising and estimating Fungal Disease Severity in Wheat. In Biosystems Engineering, volume 91, number 1, pp 9-20, 2005.
- Hyperspectral Crop Reflectance Data for characterising and estimating Fungal Disease Severity in Wheat. In Biosystems Engineering, volume 91, number 1, pp 9-20, 2005. (DOI, External link).
- Hyperspectral Image Generation, Processing and Analysis. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 82, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext, summary, cover).
- Shading by Quaternion Interpolation. In WSCG2005, pp 53-56, 2005. (External link).
- Exploring optimal solution to hardware/software partitioning for synchronous model. In Formal Aspects of Computing, volume 17, number 4, pp 587-611, 2005.
- Laplace's equation and the Dirichlet-Neumann map: a new mode for Mikhlin's method. In Journal of Computational Physics, volume 202, pp 391-410, 2005. (DOI).
- Towards markerless analysis of human motion. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2005-011, Uppsala University, 2005. (fulltext).
- UppDMC: A Distributed Model Checker for Fragments of the mu-Calculus.. In PDMD 2004: Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, pp 91-105, 2005.
- Easy-to-use object selection by color space projections and watershed segmentation. In Image Analysis and Processing: ICIAP 2005 13th International Conference, Cagliari, Italy, September 6-8, 2005. Proceedings, volume 3617 of Lecture notes in computer science, pp 269-276, 2005. (DOI).
- Accuracy analysis of bias-eliminating least squares estimates for identification of errors in variables systems. Technical Report nr 2005-021, Department of Information Technology, Uppsala, 2005. (External link).
- On two methods for identifying dynamic errors-in-variables systems. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2005-007, Uppsala University, 2005. (fulltext).
- Field performance of Pinus contorta trees propagated vegetatively via adventitious buds. In Scandinavian Journal of Forest Research, volume 20, number 4, pp 318-321, 2005. (DOI, External link).
- Customizable parallel execution of scientific stream queries. In 31st International Conference on Very Large Data Bases, 2005. (External link).
- Scalable Scientific Stream Query Processing. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 66, Acta Universitatis Upsaliensis, Uppsala, 2005.
- Actin or reacting?: A cognitive work analysis approach to the train driver task. In Rail Human Factors: Supporting the Integrated Railway, pp 40-49, Aldershot, UK: Ashgate Publishing Ltd., 2005.
- Using parallel computing and grid systems for genetic mapping of multifactorial traits. Technical report / Department of Information Technology, Uppsala University nr 2005-036, 2005. (External link).
- Efficient IT support in care for the elderly: Experiences from the VIHO project. Technical Report series from the Department of Information Technology nr 2005-032, Uppsala universitet, Uppsala, 2005. (External link).
- Usability in IT Systems for Mobile Work. In Mobile Virtual Work – A new Paradigm?, pp 177-202, 2005.
- Usability in Mobile IT systems. Technical Report series from the Department of Information Technology nr 2005-029, Uppsala universitet, Uppsala, 2005. (External link).
- Usable IT systems for mobile work. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2005-008, Uppsala University, 2005. (fulltext).
- Finite State Machines. In Model-Based Testing of Reactive Systems: Advanced Lectures, pp 611-614, Springer, 2005.
- Computer assisted second language learning. In Open and Distance Education and Education Technology, volume 1, number 2, pp 74-97, 2005.
- Exploring Processor Design Options for Java Based Middleware. In Proceedings of the 2005 International Conference on Parallel Processing (ICPP-05), 2005.
- Memory System Design for Chip-Multiprocessors. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 134, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext, cover).
- Approaches to P2P Applications Development. In Seventh International Workshop on Protocols for High-Speed Networks (PfHSN 2002), 2005. (DOI, External link).
- Computers for ethical competence. In ETHICOMP 2005: Looking back to the future, pp CD-ROM, 2005.
- Kan vi lära oss hantera moraliska problem?. In Etik i medborgarnas tjänst: En antologi om förvaltningsetik, pp 43-54, Statens kvalitets- och kompetensråd, Stockholm, 2005.
- Reachability Relations and Sampled Semantics of Timed Systems. FIMU-RS nr 2005-09, Faculty of Informatics, Masaryk University Brno, Czechia, 2005. (External link).
- Improvement of fault detection method for nonlinear black-box systems based on multi-form quasi-ARMAX modeling. In Proc. 16th IFAC World Congress, 2005.
- Time reversal and zero forcing for WLAN applications. In The Wireless Personal Multimedia Communications Conf. WPMC 05, Aalborg, Denmark, 2005.
- Time reversal and zero-forcing equalization for fixed wireless access channels. In 39th ASILOMAR Conference on Signals, Systems and Computers, Pacific Grove, CA, 2005.
- The Complexity of Model Checking Higher Order Fixpoint Logic. In Mathematical Foundations of Computer Science 2005: 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings, 2005. (DOI).
- Measuring crop status using multivariate analysis of hyperspectral field reflectance with. In 5th European Conference on Precision Agriculture: Precision Agriculture ‘05, p 1008, 2005.
- Measuring crop status using multivariate analysis of hyperspectral field reflectance with application on disease severity and amount of plant density. In Proceedings of 5th European Conference on Precision Agriculture, volume Precision Agriculture ’05, pp 217-225, 2005.
- The Cramer-Rao bound for estimation of continuous-time ARX parameters from irregularly sampled data. In Proc IFAC 16th World Congress, 2005.
- Theoretical and computational aspects of multivariate interpolation with increasingly flat radial basis functions. In Computers and Mathematics with Applications, volume 49, pp 103-130, 2005. (DOI).
- Adaptive equalization for frequency-selective channels of unknown length. In IEEE Transactions on Vehicular Technology, volume 54, number 2, pp 568-579, 2005.
- Functional programming languages for verification tools: a comparison of Standard ML and Haskell. In International Journal on Software Tools for Technology Transfer, volume 7, number 2, pp 184-194, 2005.
- Doubly constrained robust Capon beamformer. U.S. Patent, 2005.
- Surface Area Estimation of Digitized 3D Objects using Weighted Local Configurations. In Image and Vision Computing, volume 23, number 2, pp 111-122, 2005. (DOI, External link).
- Surface Volume Estimation of Digitized Hyperplanes Using Weighted Local Configurations. In Proceedings of Discrete Geometry for Computer Imagery, pp 252-262, 2005. (DOI, External link).
- Efficient algorithms for multi-dimensional global optimization in genetic mapping of complex traits. Technical report / Department of Information Technology, Uppsala University nr 2005-035, 2005. (External link).
- Efficient evaluation of the residual sum of squares for quantitative trait locus models in the case of complete marker genotype information. Technical report / Department of Information Technology, Uppsala University nr 2005-033, 2005. (External link).
- Numerical Algorithms for Mapping of Multiple Quantitative Trait Loci in Experimental Populations. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 133, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext).
- High performance generative programming with a Fortran 95 application. 5th Workshop on Parallel/High-Performance Object-Oriented Scientific Computing, Glasgow, Scotland, 2005.
- Delayed effects on plasma concentration of testosterone and testicular morphology by intramuscular low-dose di(2-ethylhexyl)phthalate or oestradiol benzoate in the prepubertal boar. In Theriogenology, volume 64, number 5, pp 1170-1184, 2005. (DOI).
- Efficiently Compiling a Functional Language on AMD64: The HiPE Experience. In Proceedings of the Seventh ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming, pp 176-186, 2005.
- Experimental Evaluation of Three Ad Hoc Routing Protocols. 2005.
- Implementation and Experimental Evaluation of Wireless Ad hoc Routing Protocols. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 17, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext).
- affinity-on-next-touch: Increasing the Performance of an Industrial PDE Solver on a cc-NUMA System. In Proc. 19th ACM International Conference on Supercomputing, pp 387-392, ACM Press, New York, 2005. (DOI).
- Dimensional reduction of the Fokker-Planck equation for stochastic chemical reactions. Technical report / Department of Information Technology, Uppsala University nr 2005-023, 2005. (External link).
- Using boundary conditions for estimation of complex modulus from flexural wave experiments. In IEEE Transactions on Control Systems Technology, volume 13, number 6, pp 1093-1099, 2005.
- Model Checking Parameterized Timed Systems. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 61, Institutionen för informationsteknologi, Uppsala, 2005. (fulltext).
- Wireless Communication in Orienteering. 2005. (External link).
- People and Computers XIX: The Bigger Picture. Springer, 2005. (External link).
- Dynamic breast MRI visualised through colour mapping. In Proceedings SSBA 2005, pp 9-12, 2005.
- Visualisation of the pattern of contrast enhancement in dynamic breast MRI. In WDIC 2005: Workshop Proceedings, 2005.
- A Unifying Model of Variables and Names. In Proceedings of FoSSaCS 2005, 2005. (DOI).
- HD-Automata for Open Bisimulation. Technical report / Department of Information Technology, Uppsala University nr 2005-037, 2005. (External link).
- A new, fast and semi-automated size determination method (SASDM) for studying multicellular tumor spheroids. In Cancer Cell International, number 5, p 32, 2005. (DOI).
- Load balancing by changing the graph connectivity on heterogeneous clusters. In Advances in Grid Computing – EGC 2005, volume 3470 of Lecture Notes in Computer Science, pp 1040-1047, Springer-Verlag, Berlin, 2005. (DOI).
- Developing and testing distributed CAN-based real-time control-systems using a single PC. In Proc. 10th International CAN Conference, CAN in Automation: Roma, Italy, March 2005, 2005.
- Strictly stable high order difference approximations for computational aeroacoustics. In Comptes rendus. Mecanique, volume 333, pp 699-705, 2005. (DOI).
- Towards High Order Numerical Simulation of Aeolian Tones. In Proceedings in Applied Mathematics and Mechanics: PAMM, volume 5, number 1, pp 473-474, 2005. (DOI).
- Modeling and control of a viscoelastic piezolaminated beam. In Proc. IFAC 16th World Congress, 2005.
- Modeling and control of vibration in mechanical structures. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2005-005, Uppsala University, 2005. (fulltext).
- Regular Model Checking. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 60, Acta Universitatis Upsaliensis, Uppsala, 2005.
- Multipole solution of electromagnetic scattering problems with many, parameter dependent incident waves. In Multiscale Methods in Science and Engineering, volume 44 of Lecture Notes in Computational Science and Engineering, pp 195-203, Springer-Verlag, Berlin, 2005. (DOI).
- Rapid solution of parameter-dependent linear systems for electromagnetic problems in the frequency domain. In IEEE Transactions on Antennas and Propagation, volume 53, pp 777-784, 2005. (DOI).
- A Testbed and Methodology for Experimental Evaluation of Mobile Ad hoc Networks. In Proceedings of the First International Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities (TRIDENTCOM), 2005.
- A Testbed and Methodology for Experimental Evaluation of Wireless Mobile Ad hoc Networks. In Proceedings of The First International Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities (TRIDENTCOM), IEEE Computer Society, IEEE Computer Society, 2005.
- Interaction between TCP and UDP flows in Wireless Multi-hop Ad hoc Networks. In Proceedings of the 5th Scandinavian Workshop on Wireless Ad-hoc Networks (Adhoc'05), 2005. (External link).
- Mythbusters: Whatever You Thought About MANET Routing, Think Again.... Uppsala University, 2005. (External link).
- A stable and efficient hybrid method for aeroacoustic sound generation and propagation. In Comptes rendus. Mecanique, volume 333, pp 713-718, 2005. (DOI).
- Well-posed boundary conditions for the Navier-Stokes equations. In SIAM Journal on Numerical Analysis, volume 43, pp 1231-1255, 2005. (DOI).
- Ubiquitous Service Access through Adapted User Interfaces on Multiple Devices. In Journal of Personal and Ubiquitous Computing, volume 9, number 3, pp 123-133, 2005.
- Discrete Applied Mathematics, 147(2-3):147-361: Special issue on Discrete Geometry for Computer Imagery. 2005.
- Image and Vision Computing 23(2):87-269: Special issue on Discrete Geometry for Computer Imagery. 2005.
- Skeletonization in 3D Discrete Binary Images. In Handbook of Pattern Recognition and Computer Vision, 3rd edition, pp 137-156, World Scientific, Singapore, 2005.
- UPPMAX Progress Report. Uppsala University, 2005.
- Region-based supine-prone correspondence for the reduction of false-positive CAD polyp candidates in CT colonography. In Academic Radiology, volume 12, pp 695-707, 2005. (DOI).
- Virtual endoscopic visualization of the colon by shape-scale signatures. In IEEE transactions on information technology in biomedicine, volume 9, pp 120-131, 2005. (DOI).
- Active Vibration Control of Multibody Systems: Application to Automotive Design. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 59, Institutionen för informationsteknologi, Uppsala, 2005. (fulltext).
- Disturbance Observer-Based Automotive Engine Vibration Isolation Dealing With Non-linear Dynamics and Transient Excitation. In Technical Report, Department of Information Technology, Uppsala University, Number 2005-009, 2005.
- Structure Flexibility Impacts on Robust Active Vibration Isolation Using Mixed Sensitivity Optimisation. In Technical Report, Department of Information Technology, Uppsala University, Number 2005-003, January, 2005.
- A Participatory Process Supporting Design of Future Work. Technical Report series from the Department of Information Technology nr 2005-018, 2005. (External link).
- Participatory design with train drivers - a process analysis. In Interacting with computers, volume 17, number 2, pp 147-166, 2005. (DOI).
- Databasteknik. Studentlitteratur, 2005.
- Constructing a Core Literature for Computing Education Research. In ACM SIGCSE Bulletin, volume 37, number 4, pp 152-161, 2005. (External link).
- Visualizations of symbols in a horizontal multiple viewer 3D display environment. In IEEE Proceedings of the 9th International Conference on Information Visualization, pp 357-362, 2005.
- Visualizations of Symbols in a Horizontal Multiple Viewer 3D Display Environment. In IV '05: Proceedings of the Ninth International Conference on Information Visualisation, pp 357-362, 2005.
- Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala Sweden, September 2005, Proceedings. Volume 3829 of Lecture Notes in Computer Science, Springer-Verlag, 2005.
- Formal Modeling and Analysis of Timed Systems, Third International Conference. Volume 3829 of Lecture Notes in Computer Science, Springer Verlag, 2005.
- Nordic Journal of Computing: Selected Papers of the Sixteenth Nordic Workshop on Programming Theory, October 6-8, 2004. Publishing Accociation Nordic Journal of Computing, Helsinki, 2005.
- Nordic Journal of Computing. Publishing Accociation Nordic Journal of Computing, Helsinki, 2005.
- Option pricing using radial basis functions. In Proc. ECCOMAS Thematic Conference on Meshless Methods, pp C24.1-6, Departamento de Matemática, Instituto Superior Técnico, Lisboa, Portugal, 2005.
- Design and Demonstration of Policy-Based Management in a Multi-Hop Ad Hoc Network Testbed. In International Journal of Ad Hoc Networks, volume 3, number 3, 2005. (External link).
- Digital image processing for multiplexing of single molecule detection. In Medicinteknikdagarna: Stockholm/Södertälje September 27-28, 2005, 2005.
- Seeded watersheds for combined segmentation and tracking. In Image Analysis and Processing – ICIAP 2005, volume 3617/2005 of Lecture Notes in Computer Science, pp 336-343, Springer Berlin / Heidelberg, 2005. (DOI).
- Model-Based Testing - A Glossary. In Model-Based Testing of Reactive Systems,: Advanced Lectures, pp 607-609, Springer, 2005.
- Software Techniques for Distributed Shared Memory. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 67, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext).
- LearnLib: a library for automata learning and experimentation. In Proceedings of the 10th international workshop on Formal methods for industrial critical systems, p 10, 2005. (DOI, External link).
- A Dynamic MPI-OpenMP Model for Structured Adaptive Mesh Refinement. In Parallel Processing Letters, volume 15, pp 37-47, 2005.
- Noise correlation in PET, CT, SPECT and PET/CT data evaluated using autocorrelation function: a phantom study on data, reconstructed using FBP and OSEM. In BMC Medical Imaging, volume 5, number 5, 2005.
- Noise correlation in PET, CT, SPECT and PET/CT data evaluated using autocorrelation function: a phantom study on data, reconstructed using FBP and OSEM.. In Bio Medical Central (BMC): Medical Imaging, volume 5, number 5, 2005. (DOI, External link).
- Non-isotropic noise correlation in PET data reconstructed by FBP but not by OSEM demonstrated using auto-correlation function. In Bio Medical Central (BMC): Medical Imaging, volume 5, number 3, 2005. (DOI).
- Non-isotropic noise correlation in PET data reconstructed by FBP but not by OSEM demonstrated using auto-correlation function. In BMC Medical Imaging, volume 5, number 3, 2005.
- Novel Approaches for Application of Principal Component Analysis on Dynamic PET Images for Improvement of Image Quality and Clinical Diagnosis. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 114, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext, cover).
- Report on the Workshop on Wrapper Techniques for Legacy Data Systems. In SIGMOD Record, volume 34, number 3, pp 85-86, 2005.
- Interactions between TCP, UDP and Routing Protocols in Wireless Multi-hop Ad hoc Networks. In Proceedings of the 1st IEEE ICPS Workshop on Multi-hop Ad hoc Networks: from theory to reality (REALMAN 2005), 2005. (External link).
- Gaussian maximum-likelihood channel estimation with short training sequences. In IEEE Transactions on Wireless Communication, volume 4, pp 2945-2955, 2005.
- On optimal sensor locations for nonparametric identification of viscoelastic materials. Technical Report series from the Department of Information Technology nr 2005-006, 2005. (External link).
- Optimal sensor locations for nonparametric identification of viscoelastic materials. In Proc. IFAC 16th World Congress, 2005.
- Bit-level binaries and generalized comprehensions in Erlang. In Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, 2005.
- Efficiently Compiling a Functional Language on AMD64: The HiPE Experience. In PPDP 2005: 7th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, 2005.
- Experience from Developing the Dialyzer: A Static Analysis Tool Detecting Defects in Erlang Applications. In Proceedings of ACM SIGPLAN Workshop on the Evaluation of Software Defect Detection Tools, 2005.
- Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang. ACM 2005, Tallinn, Estonia, 2005.
- TypEr: A Type Annotator of Erlang Code. In Proceedings of the Fourth ACM SIGPLAN Erlang Workshop, pp 17-25, 2005.
- An integrating linearization method for Hammerstein models. In Automatica, volume 41, number 10, pp 1825-1828, 2005.
- Control of Nitrogen Removal in Activated Sludge Processes. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 64, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext).
- Cost-Efficient Operation of a Denitrifying Activated Sludge Process - An Initial Study. Technical reports from the Department of Information Technology nr 2005-010, 2005.
- Interaction analysis and control structure selection in a wastewater treatment plant model. In IEEE Transactions on Control Systems Technology, volume 13, number 6, pp 955-964, 2005. (DOI).
- Homing and Synchronizing Sequences. In Model-Based Testing of Reactive Systems, pp 5-33, Springer Verlag, 2005.
- Frequency-Selective Analysis of Multichannel Magnetic Resonance Spectroscopy Data. In Proceedings of the 27th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2005.
- Spectral analysis of multichannel MRS data. In Journal of Magnetic Resonance, volume 175, number 1, pp 79-91, 2005. (External link).
- Sub-Band Cramer-Rao Bounds for Frequency-Selective Spectral Analysis. In Proceedings of the 39th Asilomar Conference on Signals, Systems, and Computers, pp 1439-1442, 2005.
- Discrete 3D tools applied to 2D grey-level images. In Image Analysis and Processing - ICIAP 2005: 13th International Conference, pp 229-236, 2005.
- An introduction to human-centered software engineering: Integrating usability in the development process. In Human-centered software engineering: Integrating usability in the software development lifecycle, pp 3-14, Springer, 2005. (External link).
- Human-Centered Software Engineering: Integrating Usability in the Software Development Lifecycle. Springer, 2005. (External link).
- Real-time visualization of animated trees. In Visual Comput., number 21, pp 397-405, 2005.
- Optimal Bayesian RAKE receiver for sparse channels. In Conference Record of the 39th Asilomar Conference on Signals, Systems, and Computers, 2005.
- Sparse matrix storage revisited. In Computing Frontiers: 2005, pp 230-235, ACM Press, New York, 2005. (DOI).
- Medial grey-level based representation for proteins in volume images. In Pattern Recognition and Image Analysis: Second Iberian Conference (IbPRIA 2005), Proceedings, Part II, volume 3523 of Lecture notes in computer science, pp 421-428, 2005. (External link).
- Segmentation of individual pores in 3D paper images. In Nordic Pulp & Paper Research Journal, volume 20, number 3, pp 316-319, 2005.
- Shape based identification of proteins in volume images. In Image Analysis: 14th Scandinavian Conference on Image Analysis, SCIA 2005, pp 253-262, 2005.
- Fokker-Planck approximation of the master equation in molecular biology. Technical report / Department of Information Technology, Uppsala University nr 2005-044, 2005. (External link).
- Numerical solution of the Fokker–Planck approximation of the chemical master equation. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2005-010, Uppsala University, 2005. (fulltext).
- A Brief Review on Benno Artman's "Euclid - The Creation of Mathematics". Intern rapport, CBA nr 36, Centre for Image Analysis, Uppsala, 2005.
- Estimation of moments of digitized objects with fuzzy borders. In Proc. of 13th International Conference on Image Analysis and Processing: Cagliari, Italy, Lecture Notes in Computer Science, pp 188-195, Springer, 2005. (DOI).
- Measurements of digitized objects with fuzzy borders in 2D and 3D. In Image and Vision Computing, volume 23, number 2, pp 123-132, 2005. (DOI).
- Review of scientific papers on fuzzy shape analysis. Intern rapport, CBA nr 32, Centre for Image Analysis, Uppsala, 2005.
- BUILDING USABILITY IN INDIA: REFLECTIONS FROM THE INDO EUROPEAN SYSTEMS USABILITY PARTNERSHIP. In People and Computers XIX: The Bigger Picture, 2005. (External link).
- New Algorithms for Solving Simple Stochastic Games. In Proceedings of the Workshop on Games in Design and Verification (GDV 2004), 2005. (DOI).
- Skewed Caches from a Low-Power Perspective. In Proceedings of Computing Frontiers, Ischia, Italy, May 2005, 2005.
- A new type of parameter estimation algorithm for missing data problems. In Statistics and Probability Letters, volume 75, pp 219-229, 2005.
- Extended derivations of MUSIC in the presence of steering vector errors. In IEEE Trans Signal Process, volume 53, pp 1209-1211, 2005.
- On MIMO channel capacity: an intuitive discussion. In IEEE Signal Processing Mag, pp 83-84, 2005.
- On nonexistence of the maximum likelihood estimate in blind multichannel identification. In IEEE Signal Processing Mag., pp 99-101, 2005.
- Parameter estimation with missing data via equalization-maximization. In ICASSP 2005, the 30th International Conference on Acoustics, Speech and Signal Processing, Philadelphia, PA, 2005.
- SPECTRAL ANALYSIS OF SIGNALS. J Wiley&Sons, 2005.
- The heuristic, GLRT, and MAP detectors for double differential modulation are identical. In IEEE Trans Info Theory, volume 51, pp 1860-1865, 2005.
- A Classification of Centres of Maximal Balls in Z^3. 2005.
- Distance Transforms for Three-Dimensional Grids with Non-Cubic Voxels. In Computer Vision and Image Understanding, volume 100, number 3, pp 294-311, 2005. (External link).
- Resolution Pyramids on the FCC and BCC Grids. In Proceedings of Discrete Geometry for Computer Imagery, pp 68-78, 2005.
- The Euclidean Distance Transform Applied to the FCC and BCC Grids. In Pattern Recognition and Image Analysis, Proceedings of Second Iberian Conference, IbPRIA 2005: volume 1, pp 243-250, 2005.
- The face-centered cubic grid and the body-centered cubic grid: a literature survey. Internrapport, Centrum för Bildanalys nr 35, 2005.
- Navier-Stokes equations for low Mach number flows solved by boundary summation. 2005.
- Numerical Computations with Fundamental SolutionsNumeriska beräkningar med fundamentallösningar. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 45, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext).
- High-Performance Longest Prefix Matching supporting High-Speed Incremental Updates and Guaranteed Compression. In Proceedings of IEEE Infocom 2005, 2005.
- An Accuracy Evaluation of Unstructured Node-Centred Finite Volume Methods. NIA Report nr 2005-04, National Institute of Aerospace, Hampton, VA, 2005.
- Stable Artificial Dissipation Operators for Finite Volume Schemes on Unstructured Grids. NIA Report nr 2005-05, National Institute of Aerospace, Hampton, VA, 2005.
- Steady-State Computations Using Summation-by-Parts Operators. In Journal of Scientific Computing, volume 24, pp 79-95, 2005. (DOI).
- Accuracy analsyis of the Frisch estimates for identifying errors-in-variables systems. In Proc. 44th IEEE CDC/European Control Conference, 2005.
- Convergence of bias-eliminating least squares methods for errors-in-variables identification. In Proc. 44th IEEE CDC/European Control Conference, 2005.
- Convergence properties of bias-eliminating algorithms for errors-in-variables identification. In International Journal of Adaptive Control and Signal Processing, volume 19, pp 703-722, 2005.
- Identification of dynamic errors-in-variables systems with periodic data. In Proc. IFAC 16th World Congress, 2005.
- Periodic signal analysis by maximum likelihood modeling of orbits of nonlinear ODEs. In Automatica, volume 41, number 5, pp 793-805, 2005. (DOI).
- Students designing software: a multi-national, multi-institutional study. In Informatics in Education. An International Journal, volume 4, pp 143-162, 2005.
- Lessons from Experimental MANET Research. In Ad hoc networks, volume 3, number 2, pp 221-233, 2005. (DOI).
- The Design and Implementation of an Architecture for Flexible Access to Sensor Networks. 2005. (External link).
- Compositional derivation of symmetries for constraint satisfaction. In Abstraction, Reformulation and Approximation: 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings, pp 234-247, 2005. (DOI).
- A haptic interaction technique for volume images based on gradient diffusion. In World Haptics Conference, pp 336-341, 2005.
- A haptic interaction technique for volume images based on gradient diffusion. In Proceedings of WorldHaptics, pp 336-341, 2005.
- Haptic volume rendering based on gradient vector flow. In Proceedings of SSBA (Swedish Society for Automated Image Analysis) Symposium on Image Analysis, Malmö, Sweden, pp 97-100, 2005.
- Proceedings of the REALWSN'05: Workshop on Real-World Wireless Sensor Networks. Technical Report T2005:09, SICS - Swedish Institute of Computer Science, 2005. (External link).
- A Subexponential Algorithm for a Subclass of P-Matrix Generalized Linear Complementarity Problems. DIMACS Technical Report nr 2005-20, Center for Discrete Mathematics and Theoretical Computer Science, Rutgers University, NJ, USA, 2005.
- Combinatorial Structure and Randomized Subexponential Algorithms for Infinite Games. In Theoretical Computer Science, number 349(3), pp 347-360, 2005.
- LP-Polytopes for Mean Payoff Games. RUTCOR Research Report RRR nr 34-2005, RUTCOR, Rutgers Center of Operations Research, 2005.
- Linear Complementarity Algorithms for Mean Payoff Games. DIMACS Technical Report nr 2005-05, Center for Discrete Mathematics and Theoretical Computer Science, Rutgers University, NJ, USA, 2005.
- Vasa: A Simulator Infrastructure with Adjustable Fidelity. In In Proceedings of the 17th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2005), Phoenix, Arizona, USA, November 2005., 2005. (External link).
- Vasa: A Simulator Infrastructure with Adjustable Fidelity. In Proceedings of the International Conference on Parallel and Distibuted Computing and Systems, 2005.
- Vasa: A Simulator Infrastructure with Adjustable Fidelity. In Proceedings of the 17th IASTED International Conference on Parallel and Distributed Computing and Systems, 2005.
- Bildanalys och bildförbättring. In Den osynliga matematiken, pp 114-115, Liber Ab, Stockholm, 2005.
- Adaptive imaging for forward-looking ground penetrating radar. In IEEE Transactions on Aerospace and Electronic Systems, volume 41, pp 922-936, 2005.
- Nonparametric spectral analysis with missing data via the EM algorithm. In Digital Signal Processing, volume 15, pp 191-206, 2005.
- Rank-deficient robust Capon filter bank approach to complex spectral estimation. In IEEE Transactions on Signal Processing, volume 53, pp 2713-2716, 2005.
- SPECTRAL ANALYSIS OF SIGNALS: THE MISSING DATA CASE. Morgan&Claypool Publishers, 2005.
- Two-dimensional nonparametric spectral analysis in the missing data case. In ICASSP 2005, the 30th International Conference on Acoustics, Speech and Signal Processing, Philadelphia, PA, 2005.
- Ad Hoc Routing Protocol Verification Through Broadcast Abstraction. In Formal Techniques for Networked and Distributed Systems – FORTE 2005, volume 3731 of Lecture Notes in Computer Science, pp 128-142, Springer-Verlag, Berlin, 2005. (DOI).
- Ad hoc routing protocol validation. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2005-004, Uppsala University, 2005. (fulltext).
- A second order ODE is sufficient for modelling of many periodic signals. In International Journal of Control, volume 78, number 13, pp 982-996, 2005. (DOI).
- Discussion on: "Subspace-based Identification Algorithms for Hammerstein and Wiener Models". In European Journal of Control, volume 11, number 2, pp 148-149, 2005. (DOI).
- MATLAB software for recursive identification and scaling using a structured nonlinear black-box model: Revision 2. Technical report / Department of Information Technology, Uppsala University nr 2005-022, Uppsala universitet, 2005. (Report in fulltext, fulltext).
- MATLAB software for recursive identification and scaling using a structured nonlinear black-box model: Revision 1. Technical report / Department of Information Technology, Uppsala University nr 2005-002, Uppsala universitet, 2005. (Report in fulltext, fulltext).
- Recursive identification based on nonlinear state space models applied to drum-boiler dynamics with nonlinear output equations. In Proc. American Control Conference: ACC 2005, pp 5066-5072, American Automatic Control Council, 2005. (DOI).
- Scaling of the sampling period in nonlinear system identification. In Proc. American Control Conference: ACC 2005, pp 5058-5065, American Automatic Control Council, 2005. (DOI).
- Efficient memory management for message-passing concurrency, Part I: Single-threaded execution. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2005-001, Uppsala University, 2005. (fulltext).
- Multi-static adaptive microwave imaging for early breast cancer detection. In Conference Record of The Thirty-Ninth Asilomar Conference on Signals, Systems & Computers, volume 2005 of Conference Record - Asilomar Conference on Signals, Systems and Computers, pp 285-289, 2005. (DOI).
- Adaptive Coherence Batching for Trap-Based Memory Architectures. information Technology - Technical reports nr 2005-016, Uppsala Universitet, dept of information technology, 2005. (External link).
- Flexibility Implies Performance. Information Technology - Technical reports nr 2005-013, uppsala universitet, dept of information technology, 2005. (External link).
- Hardware–Software Tradeoffs in Shared-Memory Implementations. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2005-002, Uppsala University, 2005. (fulltext).
- TMA: A Trap-Based Memory Architecture. information Technology - Technical reports nr 2005-015, Uppsala Universitet, dept of information technology, 2005. (External link).
- Fourth order symmetric finite difference schemes for the acoustic wave equation. In BIT Numerical Mathematics, volume 45, pp 627-651, 2005. (DOI).
- Moral stress in IT-based work. In ETHICOMP 2005: Looking back to the future, pp CD-ROM, 2005.
- High-level modelling and local search. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2005-003, Uppsala University, 2005. (fulltext).
- Incremental algorithms for local search from existential second-order logic. In Proceedings of Principles and Practice of Constraint Programming - CP 2005, pp 47-61, 2005. (External link).
- Set variables and local search. In Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Second International Conference, CPAIOR 2005, Proceedings, pp 19-33, 2005. (External link).
- Applications of the generalized Fourier transform in numerical linear algebra. In BIT Numerical Mathematics, volume 45, pp 819-850, 2005. (DOI).
- Mesh generation for symmetrical geometries. In Computational Science and its Applications, volume 3480 of Lecture Notes in Computer Science, pp 657-668, Springer-Verlag, Berlin, 2005. (DOI).
- Sorting out the relationships between pairs of iterators, values, and references. In Generative Programming and Component Engineering, volume 3676 of Lecture Notes in Computer Science, pp 342-356, Springer-Verlag, Berlin, 2005. (DOI).
- Sparse generalized Fourier transforms. Technical report / Department of Information Technology, Uppsala University nr 2005-043, 2005. (External link).
- Colour Correction of Underwater Images Using Spectral Data. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 120, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext, cover).
- Dissolved Organic Matters Impact on Colour. In Image Analysis: 14th Scandinavian Conference, SCIA 2005, pp 1148-1156, 2005.
- Dissolved Organic Matters Impact on Colour Reconstruction in Underwater Images. In Lecture Notes in Computer Science. Proceedings of the 14th Scandinavian Conference on Image Analysis, volume 3540, pp 1148-1156, 2005.
- Pre-Processing of Underwater Images Taken in Shallow Water for Color Reconstruction Purposes. In Proceedings of the 7th IASTED International Conference on Signal and Image Processing, 2005.
- Pre-Processing of Underwater Images Taken in shallow Water for Color Reconstruction Purposes. In IASTED Proceeding (479): IASTED 7th Conference on Signal and Image Processing - 2005, 2005. (External link).