Publikationer 2005
- Bias analysis in LS estimation of periodic signals using nonlinear ODE's. I Proc IFAC 16th World Congress, 2005.
- Least squares periodic signal modeling using orbits of nonlinear ODE's and fully automated spectral analysis. I Automatica, volym 41, nummer 5, pp 857-862, 2005.
- Nonlinear Approaches to Periodic Signal Modeling. Doktorsavhandling, 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. I LNCS, volym 3580, 2005.
- Simulating perfect channels with probabilistic lossy channels. I Information and Computation, volym 197, nummer 1-2, pp 22-40, 2005.
- Direct and Inverse Methods for Waveguides and Scattering Problems in the Time Domain. Doktorsavhandling, 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. (Extern länk).
- Numerical Methods for Aerodynamic Shape Optimization. Doktorsavhandling, 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. I Proc. 7th International Conference on E-Commerce Technology, pp 17-24, IEEE, Piscataway, NJ, 2005. (DOI).
- Balanced Binary Search Trees. I Handbook of Data Structures and Applications, p 1392, CRC Press, 2005.
- Searching and Priority Queues in o(log n) Time. I Handbook of Data Structures and Applications, p 1392, CRC Press, 2005.
- Computing and analysing convex deficiencies to characterise 3D complex objects. I Image and Vision Computing: Discrete Geometry for Computer Imagery, volym 23, nummer 2, pp 203-211, 2005. (Extern länk).
- Accurate and rapid estimation of adsorption isotherms in liquid chromatography using the inverse method on plateaus. I Journal of Chromatography A, volym 1099, pp 167-174, 2005. (DOI).
- Individual pore segmentation in 3D volumes of fibrous materials. I SSBA Symposium on Image Analysis 2005, 2005.
- Decidability and Complexity Results for Timed Automata via Channel Machines. I Proc. ICALP'05, 32nd Int. Colloquium on Automata, Languages and Programming, 2005.
- From Monotonic Transition Systems to Monotonic Games. I Spring School on Infinite Games and Their Applications, 2005.
- Simulating Perfect Channels with Probabilistic Lossy Channels. I The Journal of Information and Computation, volym 197, nummer 1-2, pp 22-40, 2005.
- Simulation-Based Iteration of Tree Transducers. I Proc. TACAS'05, 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2005.
- Verification of Parameterized Timed Systems. I FORMATS'05, International Conference on Formal ModUppsala, Sweden, 2005 modelling and Analysis of Timed Systems, 2005.
- Verification of Probabilistic Systems with Faulty Communication. I The Journal of Information and Computation, 2005.
- Verifying Infinite Markov Chains with a Finite Attractor or the Global Coarseness Property. I http://doi.ieeecomputersociety.org/10.1109/LICS.2005.54, 2005. (Extern länk).
- A Fully Abstract Encoding of the pi-Calculus with Data Terms. I Proceedings of ICALP 2005, volym 3580 av Lecture notes in computer science, pp 1202-1213, Springer, Berlin, 2005. (DOI, Extern länk).
- USE AND USEFULNESS OF HCI METHODS: RESULTS FROM AN EXPLORATORY STUDY AMONG NORDIC HCI PRACTITIONERS. I People and Computers XIX: The Bigger Picture, 2005. (Extern länk).
- Connected Minimal Acceleration Trigonometric Curves. I SIGRAD 2005 The Annual SIGRAD Conference Special Theme – Mobile Graphics November 23-24, 2005 Lund, Sweden, 2005. (Extern länk).
- Minimal Acceleration Hermite Curves. I Game Programming Gems 5, pp 225-231, Charles River Media, Hingham, Massachusetts, 2005.
- The tree constraint. I Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Second International Conference, CPAIOR 2005, Proceedings, pp 64-78, 2005. (Extern länk).
- The Re-Design of a PDA-based System for Supporting People with Parkinson’s Disease. I People and Computers XVIII — Design for Life: Proceedings of HCI 2004, pp 181-196, Springer London, 2005. (DOI).
- Computerized Cell Image Processing in Healthcare. I Proceedings of Healthcomm2005, pp 11-17, 2005. (Extern länk).
- Efficient and Flexible Characterization of Data Locality through Native Execution Sampling. Doktorsavhandling, 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. I ACM SIGMETRICS Performance Evaluation Review, volym 33, nummer 1, pp 169-180, 2005. (DOI).
- Insights to Angluin's Learning. I Electr. Notes on Theoret. Comput. Sci., volym 118, pp 3-18, 2005.
- Insights to Angluin's Learning. I Electronical Notes in Theoretical Computer Science, volym 118, pp 3-18, 2005. (DOI).
- Model Checking. I Model-Based Testing of Reactive Systems: Advanced Lectures, volym 3472 av 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. I , pp 557-603, Springer Berlin / Heidelberg, 2005. (DOI, Extern länk).
- On the Correspondence Between Conformance Testing and Regular Inference. I FASE 2005, pp 175-189, 2005.
- Learning computer systems in a distributed project course: The what, why, how and where. Doktorsavhandling, 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. I 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. Doktorsavhandling, 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. I Numerical Linear Algebra with Applications, volym 12, pp 495-514, 2005. (DOI).
- Specifying and Generating Test Cases Using Observer Automata. I 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. I Applications of evolutionary computing, volym 3449 av 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. Doktorsavhandling, 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. I 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. (Extern länk).
- Digital distance transforms in 2D, 3D, and 4D. I 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. I Problemlösning är # 1, pp 38-42, Liber, Stockholm, 2005.
- Design in Telemedicine: Development and Implementation of Usable Computer Systems. Doktorsavhandling, 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. (Extern länk).
- Preconditioners based on fundamental solutions. I BIT Numerical Mathematics, volym 45, pp 481-494, 2005. (DOI).
- Power saving in wireless ad hoc networks without synchronization. I 5th Scandinavian Workshop on Wireless Ad Hoc Networks (ADHOC'05), 2005.
- Model-Based Testing of Reactive Systems: Advanced Lectures. Volym 3472 av Lecture Notes in Computer Science, Springer Verlag, 2005.
- Model-Based Testing of Reactive Systems, Advanced Lectures: outcome of a research seminar. Volym 3472 av 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. (Extern länk).
- Nonlinear Identification of an Anaerobic Digestion Process. Technical Reports nr 2005-007, Dept. of Information Technology, 2005. (Extern länk).
- Nonlinear identification of a solar heating system. I Proceedings of the 2005 IEEE International Conference on Control Application, pp 1491-1497, 2005.
- Nonlinear identification of an anaerobic digestion process. I Proceedings of the 2005 IEEE International Conference on Control Applications, pp 137-142, 2005.
- High order accurate solution of the incompressible Navier-Stokes equations. I Journal of Computational Physics, volym 203, pp 49-71, 2005. (DOI).
- Splitting methods for high order solution of the incompressible Navier-Stokes equations in 3D. I International Journal for Numerical Methods in Fluids, volym 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. (Extern länk).
- Algebraic preconditioning versus direct solvers for dense linear systems as arising in crack propagation problems. I Communications in Numerical Methods in Engineering, volym 21, pp 73-81, 2005. (DOI).
- Numerical simulations of glacial rebound using preconditioned iterative solution methods. I Applications of Mathematics, volym 50, pp 183-201, 2005. (DOI).
- Robust preconditioned iterative solution methods for large-scale nonsymmetric problems. Licentiatavhandling, 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. I Proceedings of International Workshop on Formal Aspects of Component Software, 2005.
- A Flexible Model for Tree-Sructured Multi-Commodity Markets. I 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. (Extern länk).
- IP Quality of Service Support for Soft Real-Time Applications. I Fourth International Workshop on Real-time Networks, 2005. (Extern länk).
- Shape signaturs of fuzzy star-shaped sets based on distance from the centroid. I Pattern Recognition Letters, volym 26, nummer 6, pp 735-746, Elsevier, 2005. (DOI).
- Automatic Tracking of Neural Stem Cells. I WDIC 2005: Workshop Proceedings, pp 61-66, 2005.
- Managing cross-cultural differences in an open ended group project course. I IEEE Frontiers in education conference, pp T4D22-23, 2005.
- Widening the horizon using the OEIGP. I HCI International, Las Vegas, 2005.
- Janus: an architecture for flexible access to sensor networks. I 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. I 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. I in IFAC World Congress, 2005.
- Comparing student software designs using semantic categorization. I 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. I SIGCSE Bulletin inroads, volym 37, nummer 3, pp 89-93, 2005. (DOI).
- What Does It Take to Learn 'Programming Thinking'?. I 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. I Multiscale Methods in Science and Engineering, volym 44 av 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. I Proc of 16:th IFAC World Congress, 2005.
- Modeling and Control of Bilinear Systems: Application to the Activated Sludge Process. Doktorsavhandling, 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. I IEEE Transactions on Control Systems Technology, volym 13, nummer 1, pp 162-168, 2005.
- Developing Embedded Networked Products using the Simics Full-System Simulator. I 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. I ACM Transactions on Embedded Computing Systems (TECS), volym 4, nummer 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. (Extern länk).
- Multiscale Methods in Science and Engineering. Volym 44 av Lecture Notes in Computational Science and Engineering, Springer-Verlag, Berlin, 2005.
- Verification and generation of geographical data using domain theory. I 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. I ETHICOMP 2005: Looking back to the future, pp CD-ROM, 2005.
- Clustered Worst-Case Execution-Time Calculation. I IEEE Transactions on Computers, volym 54, nummer 9, 2005.
- Gas jet impinging on liquid surface: Cavity shape modelling and video based estimation. I Proceedings of the 16th IFAC World Congress, 2005.
- Gas jet impinging on liquid surface: Cavity shape modelling and video-based estimation. I in IFAC World Congress, 2005.
- Parameter and state estimation using audio and video signals. Licentiatavhandling, 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. I Proceedings of the 16th IFAC World Congress, 2005.
- Windup properties of recursive parameter estimation algorithms in acoustic echo cancellation. I , volym 38:1 av IFAC-PapersOnLine, pp 113-118, 2005. (DOI).
- Enabling limited traffic scheduling in asynchronous ad hoc networks. I 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. I Proceedings of CALCO 2005, 2005. (DOI, Extern länk).
- Amos II Release 8 User's Manual. 2005. (Extern länk).
- Framework for Querying Distributed Objects Managed by a Grid Infrastructure. I Data Management in Grids: First VLDB Workshop, DMG 2005, Trondheim, Norway, September 2-3, 2005, Revised Selected Papers, 2005. (DOI, Extern länk).
- An augmented-reality approach to co-located visual exploration of indoor climate data in real rooms.. I Proceedings of the 10th International Conference on Indoor Air Quality and Climate: Indoor Air, 2005.
- Simple 3D glyphs for Spatial Multivariate Data. I IEEE Symposium on Information Visualization: InfoVis 05, p 244, 2005.
- Adsorption Isotherm Parameter Estimation in Nonlinear Liquid Chromatography. Doktorsavhandling, 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. I Medical physics (Lancaster), volym 32, pp 2665-2672, 2005. (DOI).
- Clustering of Objects in 3D Electron Tomography Reconstructions of Protein Solutions Based on Shape Measurements. I 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, Extern länk).
- An Indirection Architecture for the Internet. Doktorsavhandling, 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. I Proceedings of the 6th International Workshop on Verification of Infinite-State Systems (INFINITY), 2005.
- User-Centered Design and the Offshoring Model. I CSI Communication, volym 29, nummer 1, pp 14-18, 2005.
- Microwave imaging via adaptive beamforming methods for breast cancer detection. I Progress in Electromagnetics Research Symposium, 2005.
- Time compact high order difference methods for wave propagation, 2D. I Journal of Scientific Computing, volym 25, pp 195-211, 2005. (DOI).
- Bit-level Binaries and Generalized Comprehensions in Erlang. I 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. I Elektroniktidningen, nummer 13, 2005.
- Applications of Coupling Analysis on Bioreactor Models. I Proceedings of 16th IFAC World Congress, 2005.
- Using an Extended Kalman Filter for Rigid Body Pose Estimation. I Journal of Biomechanical Engineering, volym 127, nummer 3, pp 475-483, 2005.
- Camera-spectrometer for instantaneous multi- and hyperspectral imaging. I 5th European Conference on Precision Agriculture, p 1008, 2005.
- Camera-spectrometer for multi- and hyperspectral imaging. I 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. I Biosystems Engineering, volym 91, nummer 1, pp 9-20, 2005.
- Hyperspectral Crop Reflectance Data for characterising and estimating Fungal Disease Severity in Wheat. I Biosystems Engineering, volym 91, nummer 1, pp 9-20, 2005. (DOI, Extern länk).
- Hyperspectral Image Generation, Processing and Analysis. Doktorsavhandling, 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. I WSCG2005, pp 53-56, 2005. (Extern länk).
- Exploring optimal solution to hardware/software partitioning for synchronous model. I Formal Aspects of Computing, volym 17, nummer 4, pp 587-611, 2005.
- Laplace's equation and the Dirichlet-Neumann map: a new mode for Mikhlin's method. I Journal of Computational Physics, volym 202, pp 391-410, 2005. (DOI).
- Towards markerless analysis of human motion. Licentiatavhandling, 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.. I 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. I Image Analysis and Processing: ICIAP 2005 13th International Conference, Cagliari, Italy, September 6-8, 2005. Proceedings, volym 3617 av 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. (Extern länk).
- On two methods for identifying dynamic errors-in-variables systems. Licentiatavhandling, 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. I Scandinavian Journal of Forest Research, volym 20, nummer 4, pp 318-321, 2005. (DOI, Extern länk).
- Customizable parallel execution of scientific stream queries. I 31st International Conference on Very Large Data Bases, 2005. (Extern länk).
- Scalable Scientific Stream Query Processing. Doktorsavhandling, 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. I 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. (Extern länk).
- 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. (Extern länk).
- Usability in IT Systems for Mobile Work. I 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. (Extern länk).
- Usable IT systems for mobile work. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2005-008, Uppsala University, 2005. (fulltext).
- Finite State Machines. I Model-Based Testing of Reactive Systems: Advanced Lectures, pp 611-614, Springer, 2005.
- Computer assisted second language learning. I Open and Distance Education and Education Technology, volym 1, nummer 2, pp 74-97, 2005.
- Exploring Processor Design Options for Java Based Middleware. I Proceedings of the 2005 International Conference on Parallel Processing (ICPP-05), 2005.
- Memory System Design for Chip-Multiprocessors. Doktorsavhandling, 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. I Seventh International Workshop on Protocols for High-Speed Networks (PfHSN 2002), 2005. (DOI, Extern länk).
- Computers for ethical competence. I ETHICOMP 2005: Looking back to the future, pp CD-ROM, 2005.
- Kan vi lära oss hantera moraliska problem?. I 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. (Extern länk).
- Improvement of fault detection method for nonlinear black-box systems based on multi-form quasi-ARMAX modeling. I Proc. 16th IFAC World Congress, 2005.
- Time reversal and zero forcing for WLAN applications. I The Wireless Personal Multimedia Communications Conf. WPMC 05, Aalborg, Denmark, 2005.
- Time reversal and zero-forcing equalization for fixed wireless access channels. I 39th ASILOMAR Conference on Signals, Systems and Computers, Pacific Grove, CA, 2005.
- The Complexity of Model Checking Higher Order Fixpoint Logic. I 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. I 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. I Proceedings of 5th European Conference on Precision Agriculture, volym Precision Agriculture ’05, pp 217-225, 2005.
- The Cramer-Rao bound for estimation of continuous-time ARX parameters from irregularly sampled data. I Proc IFAC 16th World Congress, 2005.
- Theoretical and computational aspects of multivariate interpolation with increasingly flat radial basis functions. I Computers and Mathematics with Applications, volym 49, pp 103-130, 2005. (DOI).
- Adaptive equalization for frequency-selective channels of unknown length. I IEEE Transactions on Vehicular Technology, volym 54, nummer 2, pp 568-579, 2005.
- Functional programming languages for verification tools: a comparison of Standard ML and Haskell. I International Journal on Software Tools for Technology Transfer, volym 7, nummer 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. I Image and Vision Computing, volym 23, nummer 2, pp 111-122, 2005. (DOI, Extern länk).
- Surface Volume Estimation of Digitized Hyperplanes Using Weighted Local Configurations. I Proceedings of Discrete Geometry for Computer Imagery, pp 252-262, 2005. (DOI, Extern länk).
- 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. (Extern länk).
- 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. (Extern länk).
- Numerical Algorithms for Mapping of Multiple Quantitative Trait Loci in Experimental Populations. Doktorsavhandling, 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. I Theriogenology, volym 64, nummer 5, pp 1170-1184, 2005. (DOI).
- Efficiently Compiling a Functional Language on AMD64: The HiPE Experience. I 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. Doktorsavhandling, 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. I 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. (Extern länk).
- Using boundary conditions for estimation of complex modulus from flexural wave experiments. I IEEE Transactions on Control Systems Technology, volym 13, nummer 6, pp 1093-1099, 2005.
- Model Checking Parameterized Timed Systems. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 61, Institutionen för informationsteknologi, Uppsala, 2005. (fulltext).
- Wireless Communication in Orienteering. 2005. (Extern länk).
- People and Computers XIX: The Bigger Picture. Springer, 2005. (Extern länk).
- Dynamic breast MRI visualised through colour mapping. I Proceedings SSBA 2005, pp 9-12, 2005.
- Visualisation of the pattern of contrast enhancement in dynamic breast MRI. I WDIC 2005: Workshop Proceedings, 2005.
- A Unifying Model of Variables and Names. I Proceedings of FoSSaCS 2005, 2005. (DOI).
- HD-Automata for Open Bisimulation. Technical report / Department of Information Technology, Uppsala University nr 2005-037, 2005. (Extern länk).
- A new, fast and semi-automated size determination method (SASDM) for studying multicellular tumor spheroids. I Cancer Cell International, nummer 5, p 32, 2005. (DOI).
- Load balancing by changing the graph connectivity on heterogeneous clusters. I Advances in Grid Computing – EGC 2005, volym 3470 av 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. I Proc. 10th International CAN Conference, CAN in Automation: Roma, Italy, March 2005, 2005.
- Strictly stable high order difference approximations for computational aeroacoustics. I Comptes rendus. Mecanique, volym 333, pp 699-705, 2005. (DOI).
- Towards High Order Numerical Simulation of Aeolian Tones. I Proceedings in Applied Mathematics and Mechanics: PAMM, volym 5, nummer 1, pp 473-474, 2005. (DOI).
- Modeling and control of a viscoelastic piezolaminated beam. I Proc. IFAC 16th World Congress, 2005.
- Modeling and control of vibration in mechanical structures. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2005-005, Uppsala University, 2005. (fulltext).
- Regular Model Checking. Doktorsavhandling, 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. I Multiscale Methods in Science and Engineering, volym 44 av 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. I IEEE Transactions on Antennas and Propagation, volym 53, pp 777-784, 2005. (DOI).
- A Testbed and Methodology for Experimental Evaluation of Mobile Ad hoc Networks. I 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. I 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. I Proceedings of the 5th Scandinavian Workshop on Wireless Ad-hoc Networks (Adhoc'05), 2005. (Extern länk).
- Mythbusters: Whatever You Thought About MANET Routing, Think Again.... Uppsala University, 2005. (Extern länk).
- A stable and efficient hybrid method for aeroacoustic sound generation and propagation. I Comptes rendus. Mecanique, volym 333, pp 713-718, 2005. (DOI).
- Well-posed boundary conditions for the Navier-Stokes equations. I SIAM Journal on Numerical Analysis, volym 43, pp 1231-1255, 2005. (DOI).
- Ubiquitous Service Access through Adapted User Interfaces on Multiple Devices. I Journal of Personal and Ubiquitous Computing, volym 9, nummer 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. I 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. I Academic Radiology, volym 12, pp 695-707, 2005. (DOI).
- Virtual endoscopic visualization of the colon by shape-scale signatures. I IEEE transactions on information technology in biomedicine, volym 9, pp 120-131, 2005. (DOI).
- Active Vibration Control of Multibody Systems: Application to Automotive Design. Doktorsavhandling, 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. I Technical Report, Department of Information Technology, Uppsala University, Number 2005-009, 2005.
- Structure Flexibility Impacts on Robust Active Vibration Isolation Using Mixed Sensitivity Optimisation. I 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. (Extern länk).
- Participatory design with train drivers - a process analysis. I Interacting with computers, volym 17, nummer 2, pp 147-166, 2005. (DOI).
- Databasteknik. Studentlitteratur, 2005.
- Constructing a Core Literature for Computing Education Research. I ACM SIGCSE Bulletin, volym 37, nummer 4, pp 152-161, 2005. (Extern länk).
- Visualizations of symbols in a horizontal multiple viewer 3D display environment. I 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. I 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. Volym 3829 av Lecture Notes in Computer Science, Springer-Verlag, 2005.
- Formal Modeling and Analysis of Timed Systems, Third International Conference. Volym 3829 av 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. I 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. I International Journal of Ad Hoc Networks, volym 3, nummer 3, 2005. (Extern länk).
- Digital image processing for multiplexing of single molecule detection. I Medicinteknikdagarna: Stockholm/Södertälje September 27-28, 2005, 2005.
- Seeded watersheds for combined segmentation and tracking. I Image Analysis and Processing – ICIAP 2005, volym 3617/2005 av Lecture Notes in Computer Science, pp 336-343, Springer Berlin / Heidelberg, 2005. (DOI).
- Model-Based Testing - A Glossary. I Model-Based Testing of Reactive Systems,: Advanced Lectures, pp 607-609, Springer, 2005.
- Software Techniques for Distributed Shared Memory. Doktorsavhandling, 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. I Proceedings of the 10th international workshop on Formal methods for industrial critical systems, p 10, 2005. (DOI, Extern länk).
- A Dynamic MPI-OpenMP Model for Structured Adaptive Mesh Refinement. I Parallel Processing Letters, volym 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. I BMC Medical Imaging, volym 5, nummer 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.. I Bio Medical Central (BMC): Medical Imaging, volym 5, nummer 5, 2005. (DOI, Extern länk).
- Non-isotropic noise correlation in PET data reconstructed by FBP but not by OSEM demonstrated using auto-correlation function. I Bio Medical Central (BMC): Medical Imaging, volym 5, nummer 3, 2005. (DOI).
- Non-isotropic noise correlation in PET data reconstructed by FBP but not by OSEM demonstrated using auto-correlation function. I BMC Medical Imaging, volym 5, nummer 3, 2005.
- Novel Approaches for Application of Principal Component Analysis on Dynamic PET Images for Improvement of Image Quality and Clinical Diagnosis. Doktorsavhandling, 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. I SIGMOD Record, volym 34, nummer 3, pp 85-86, 2005.
- Interactions between TCP, UDP and Routing Protocols in Wireless Multi-hop Ad hoc Networks. I Proceedings of the 1st IEEE ICPS Workshop on Multi-hop Ad hoc Networks: from theory to reality (REALMAN 2005), 2005. (Extern länk).
- Gaussian maximum-likelihood channel estimation with short training sequences. I IEEE Transactions on Wireless Communication, volym 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. (Extern länk).
- Optimal sensor locations for nonparametric identification of viscoelastic materials. I Proc. IFAC 16th World Congress, 2005.
- Bit-level binaries and generalized comprehensions in Erlang. I Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, 2005.
- Efficiently Compiling a Functional Language on AMD64: The HiPE Experience. I 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. I 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. I Proceedings of the Fourth ACM SIGPLAN Erlang Workshop, pp 17-25, 2005.
- An integrating linearization method for Hammerstein models. I Automatica, volym 41, nummer 10, pp 1825-1828, 2005.
- Control of Nitrogen Removal in Activated Sludge Processes. Doktorsavhandling, 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. I IEEE Transactions on Control Systems Technology, volym 13, nummer 6, pp 955-964, 2005. (DOI).
- Homing and Synchronizing Sequences. I Model-Based Testing of Reactive Systems, pp 5-33, Springer Verlag, 2005.
- Frequency-Selective Analysis of Multichannel Magnetic Resonance Spectroscopy Data. I Proceedings of the 27th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2005.
- Spectral analysis of multichannel MRS data. I Journal of Magnetic Resonance, volym 175, nummer 1, pp 79-91, 2005. (Extern länk).
- Sub-Band Cramer-Rao Bounds for Frequency-Selective Spectral Analysis. I Proceedings of the 39th Asilomar Conference on Signals, Systems, and Computers, pp 1439-1442, 2005.
- Discrete 3D tools applied to 2D grey-level images. I 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. I Human-centered software engineering: Integrating usability in the software development lifecycle, pp 3-14, Springer, 2005. (Extern länk).
- Human-Centered Software Engineering: Integrating Usability in the Software Development Lifecycle. Springer, 2005. (Extern länk).
- Real-time visualization of animated trees. I Visual Comput., nummer 21, pp 397-405, 2005.
- Optimal Bayesian RAKE receiver for sparse channels. I Conference Record of the 39th Asilomar Conference on Signals, Systems, and Computers, 2005.
- Sparse matrix storage revisited. I Computing Frontiers: 2005, pp 230-235, ACM Press, New York, 2005. (DOI).
- Medial grey-level based representation for proteins in volume images. I Pattern Recognition and Image Analysis: Second Iberian Conference (IbPRIA 2005), Proceedings, Part II, volym 3523 av Lecture notes in computer science, pp 421-428, 2005. (Extern länk).
- Segmentation of individual pores in 3D paper images. I Nordic Pulp & Paper Research Journal, volym 20, nummer 3, pp 316-319, 2005.
- Shape based identification of proteins in volume images. I 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. (Extern länk).
- Numerical solution of the Fokker–Planck approximation of the chemical master equation. Licentiatavhandling, 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. I 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. I Image and Vision Computing, volym 23, nummer 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. I People and Computers XIX: The Bigger Picture, 2005. (Extern länk).
- New Algorithms for Solving Simple Stochastic Games. I Proceedings of the Workshop on Games in Design and Verification (GDV 2004), 2005. (DOI).
- Skewed Caches from a Low-Power Perspective. I Proceedings of Computing Frontiers, Ischia, Italy, May 2005, 2005.
- A new type of parameter estimation algorithm for missing data problems. I Statistics and Probability Letters, volym 75, pp 219-229, 2005.
- Extended derivations of MUSIC in the presence of steering vector errors. I IEEE Trans Signal Process, volym 53, pp 1209-1211, 2005.
- On MIMO channel capacity: an intuitive discussion. I IEEE Signal Processing Mag, pp 83-84, 2005.
- On nonexistence of the maximum likelihood estimate in blind multichannel identification. I IEEE Signal Processing Mag., pp 99-101, 2005.
- Parameter estimation with missing data via equalization-maximization. I 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. I IEEE Trans Info Theory, volym 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. I Computer Vision and Image Understanding, volym 100, nummer 3, pp 294-311, 2005. (Extern länk).
- Resolution Pyramids on the FCC and BCC Grids. I Proceedings of Discrete Geometry for Computer Imagery, pp 68-78, 2005.
- The Euclidean Distance Transform Applied to the FCC and BCC Grids. I 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. Doktorsavhandling, 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. I 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. I Journal of Scientific Computing, volym 24, pp 79-95, 2005. (DOI).
- Accuracy analsyis of the Frisch estimates for identifying errors-in-variables systems. I Proc. 44th IEEE CDC/European Control Conference, 2005.
- Convergence of bias-eliminating least squares methods for errors-in-variables identification. I Proc. 44th IEEE CDC/European Control Conference, 2005.
- Convergence properties of bias-eliminating algorithms for errors-in-variables identification. I International Journal of Adaptive Control and Signal Processing, volym 19, pp 703-722, 2005.
- Identification of dynamic errors-in-variables systems with periodic data. I Proc. IFAC 16th World Congress, 2005.
- Periodic signal analysis by maximum likelihood modeling of orbits of nonlinear ODEs. I Automatica, volym 41, nummer 5, pp 793-805, 2005. (DOI).
- Students designing software: a multi-national, multi-institutional study. I Informatics in Education. An International Journal, volym 4, pp 143-162, 2005.
- Lessons from Experimental MANET Research. I Ad hoc networks, volym 3, nummer 2, pp 221-233, 2005. (DOI).
- The Design and Implementation of an Architecture for Flexible Access to Sensor Networks. 2005. (Extern länk).
- Compositional derivation of symmetries for constraint satisfaction. I 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. I World Haptics Conference, pp 336-341, 2005.
- A haptic interaction technique for volume images based on gradient diffusion. I Proceedings of WorldHaptics, pp 336-341, 2005.
- Haptic volume rendering based on gradient vector flow. I 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. (Extern länk).
- 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. I Theoretical Computer Science, nummer 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. I In Proceedings of the 17th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2005), Phoenix, Arizona, USA, November 2005., 2005. (Extern länk).
- Vasa: A Simulator Infrastructure with Adjustable Fidelity. I Proceedings of the International Conference on Parallel and Distibuted Computing and Systems, 2005.
- Vasa: A Simulator Infrastructure with Adjustable Fidelity. I Proceedings of the 17th IASTED International Conference on Parallel and Distributed Computing and Systems, 2005.
- Bildanalys och bildförbättring. I Den osynliga matematiken, pp 114-115, Liber Ab, Stockholm, 2005.
- Adaptive imaging for forward-looking ground penetrating radar. I IEEE Transactions on Aerospace and Electronic Systems, volym 41, pp 922-936, 2005.
- Nonparametric spectral analysis with missing data via the EM algorithm. I Digital Signal Processing, volym 15, pp 191-206, 2005.
- Rank-deficient robust Capon filter bank approach to complex spectral estimation. I IEEE Transactions on Signal Processing, volym 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. I ICASSP 2005, the 30th International Conference on Acoustics, Speech and Signal Processing, Philadelphia, PA, 2005.
- Ad Hoc Routing Protocol Verification Through Broadcast Abstraction. I Formal Techniques for Networked and Distributed Systems – FORTE 2005, volym 3731 av Lecture Notes in Computer Science, pp 128-142, Springer-Verlag, Berlin, 2005. (DOI).
- Ad hoc routing protocol validation. Licentiatavhandling, 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. I International Journal of Control, volym 78, nummer 13, pp 982-996, 2005. (DOI).
- Discussion on: "Subspace-based Identification Algorithms for Hammerstein and Wiener Models". I European Journal of Control, volym 11, nummer 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. I Proc. American Control Conference: ACC 2005, pp 5066-5072, American Automatic Control Council, 2005. (DOI).
- Scaling of the sampling period in nonlinear system identification. I 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. Licentiatavhandling, 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. I Conference Record of The Thirty-Ninth Asilomar Conference on Signals, Systems & Computers, volym 2005 av 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. (Extern länk).
- Flexibility Implies Performance. Information Technology - Technical reports nr 2005-013, uppsala universitet, dept of information technology, 2005. (Extern länk).
- Hardware–Software Tradeoffs in Shared-Memory Implementations. Licentiatavhandling, 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. (Extern länk).
- Fourth order symmetric finite difference schemes for the acoustic wave equation. I BIT Numerical Mathematics, volym 45, pp 627-651, 2005. (DOI).
- Moral stress in IT-based work. I ETHICOMP 2005: Looking back to the future, pp CD-ROM, 2005.
- High-level modelling and local search. Licentiatavhandling, 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. I Proceedings of Principles and Practice of Constraint Programming - CP 2005, pp 47-61, 2005. (Extern länk).
- Set variables and local search. I Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Second International Conference, CPAIOR 2005, Proceedings, pp 19-33, 2005. (Extern länk).
- Applications of the generalized Fourier transform in numerical linear algebra. I BIT Numerical Mathematics, volym 45, pp 819-850, 2005. (DOI).
- Mesh generation for symmetrical geometries. I Computational Science and its Applications, volym 3480 av Lecture Notes in Computer Science, pp 657-668, Springer-Verlag, Berlin, 2005. (DOI).
- Sorting out the relationships between pairs of iterators, values, and references. I Generative Programming and Component Engineering, volym 3676 av 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. (Extern länk).
- Colour Correction of Underwater Images Using Spectral Data. Doktorsavhandling, 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. I Image Analysis: 14th Scandinavian Conference, SCIA 2005, pp 1148-1156, 2005.
- Dissolved Organic Matters Impact on Colour Reconstruction in Underwater Images. I Lecture Notes in Computer Science. Proceedings of the 14th Scandinavian Conference on Image Analysis, volym 3540, pp 1148-1156, 2005.
- Pre-Processing of Underwater Images Taken in Shallow Water for Color Reconstruction Purposes. I 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. I IASTED Proceeding (479): IASTED 7th Conference on Signal and Image Processing - 2005, 2005. (Extern länk).