Publikationer 2002
- An adaptive grid point algorithm for harmonic signal modeling. I Proc. of The 15th IFAC World Congress on Automatic Control, Barcelona, Spain, July 21-26,, 2002.
- An adaptive grid point algorithm for harmonic signal modeling. I Preprint of Reglermöte, Linköping, Sweden, May 29-30., 2002.
- Harmonic signal modeling based on the Wiener model structure. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2002-003, Uppsala University, 2002. (fulltext).
- Regular Model Checking made Simple and Efficient. I CONCUR 2002: Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings, pp 116-130, 2002.
- Regular Tree Model Checking. I CAV 2002, 14th Int. Conf. on Computer Aided Verification., pp 555-568, 2002.
- Verification of Probabilistic Systems with Faulty Communication. Technical report / Department of Information Technology, Uppsala University nr 2002-038, Department of Information Technology, Uppsala University, 2002. (fulltext).
- Hybrid time domain solvers for the Maxwell equations in 2D. I International Journal for Numerical Methods in Engineering, volym 53, pp 2185-2199, 2002. (DOI).
- On context in phenomenographic research on understanding heat and temperate. I EARLI, Bi-annual Symposium, Fribourg, Switzerland, 2002. (Extern länk).
- Bio-optical Modelling Combined with Remote Sensing to Assess Water Quality. I International Journal of Remote Sensing, volym 23, nummer 8, pp 1621-1638, 2002. (DOI).
- Automated change detection of bleached coral reef areas. I Proceedings of 7th International Conference, Remote Sensing for Marine and Coastal Environments, 2002.
- Code Synthesis for Timed Automata. I Nordic Journal of Computing, volym 9, nummer 4, pp 269-300, 2002.
- TIMES: A Tool for Modelling and Implementation of Embedded Systems. I Tools and Algorithms for the Construction and Analysis of Systems: TACAS 2002, volym 2280 av Lecture Notes in Computer Science, pp 460-464, Springer-Verlag, Berlin, 2002. (DOI).
- Resource Allocation With Wobbly Functions. I Computational Optimization and Applications, volym 23, nummer 2, pp 171-200, 2002.
- Resource Allocation with Wobbly Functions. I Computational Optimization and Applications, volym 23, nummer 2, pp 171-200, 2002.
- Curvature Measurements for fibres in 3D Images of Paper. I Proceedings SSAB'02 Symposium on Image Analysis, pp 165-168, 2002.
- Estimating Fibre Twist and Aspect Ratios in 3D Voxel Volumes. I International Conference on Pattern Recognition (ICPR'02), 2002.
- Slice-based Digital Volume Assembly of a Small Paper Sample. I Nordic Pulp and Paper Research Journal, volym 17, nummer 1, 2002.
- Ring Shaped Object Detector for Non-Isotropic 2D Images Using Optimized Distance Transform Weights. 2002.
- Caching in Multi-unit combinatorial auctions. I International Joint Conference on Autonomous Agents & Multiagent systems, 2002. (Extern länk).
- A Segmentation Technique to Determine Fat Content in NMR Images of Beef Meat. I IEEE Transactions on Nuclear Science, volym 49, nummer 1, pp 195-199, 2002.
- Determination of Pores in Pig Meat Images. I International Conference on Computer Vision and Graphics, Zakopane, Poland, pp 70-78, 2002.
- Determination of holes in pig meat images. I Proceedings SSAB'02 Symposium on Image Analysis, pp 53-56, 2002.
- The future of Italian doctors. I Eurodoc 2002, European Conference of Doctoral Students, Girona, Spain, 2002.
- Segmentation of liver images by texture and genetic snakes. 2002.
- Intranätboken: från elektronisk anslagstavla till dagligt arbetsverktyg. Liber Stockholm, 2002. (Extern länk).
- Surface Construction with Near Least Square Acceleration based on Vertex Normals on Triangular Meshes. I Sigrad, pp 43-48, 2002.
- Surface Construction with Near Least Square Acceleration based on Vertex Normals on Triangular Meshes. I Proceedings from Sigrad 2002, pp 17-22, 2002.
- New UPPAAL Architecture. I Workshop on Real-Time Tools, 2002.
- UPPAAL Implementation Secrets. I International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems, p 3, 2002.
- Automated Analysis of an Audio Control Protocol Using UPPAAL. I Journal of Logic and Algebraic Programming, volym 52-53, pp 163-181, 2002. (Extern länk).
- Clocks, DBMs and States in Timed Systems. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 39, Acta Universitatis Upsaliensis, Uppsala, 2002.
- Reachability Analysis for Timed Automata with Constraints over Clock Differences.. Technical Report, Uppsala University, 2002.
- SIP: Performance Tuning through Source Code Interdependence. I Proceedings of the 8th International Euro-Par Conference, 2002.
- The Plenoscope Concept and Image Formation. I Proceedings of SSAB 2002, pp 75-78, 2002.
- Are you guys really concerned about the grades?. I Proceedings of ISCRAT2002, 2002. (Extern länk).
- How do students understand network protocols?: A phenomenographic study. Technical report / Department of Information Technology, Uppsala University nr 2002-006, 2002. (fulltext).
- Learning computer systems in a distributed course: Problematizing content and context.. I Proceedings of the European Association for Research on Learning and Instruction, SIG 10, Current Issues in Phenomenography, 2002. (Extern länk).
- On the understanding of computer network protocols. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2002-002, Uppsala University, 2002. (fulltext).
- Understanding Network Protocols.: A Phenomenographic study. I Proceedings of the second annual Finnish/Baltic Sea conference on computer science education, pp 70-75, 2002.
- Understanding Network Protocols. A Phenomenographic study: Invited seminar at the 2nd Annual Finnish/Baltic Sea Conference on Computer Science Education. Koli, Joensuu, Finland, 2002.
- Channel and frequency offsets estimation in MIMO time-selective channels. I 2nd IEEE Sensor Array and Multichannel Signal Processing Workshop, Rosslyn ,USA, 2002.
- Direction finding in the presence of an intermittent interference. I IEEE Trans Signal Processing, volym 50, pp 1554-1564, 2002.
- Data-aided frequency offset estimation in frequency selective channels: training sequence selection.. I ICASSP 2002, the 27th International Conference on Acoustics, Speech and Signal Processing, Orlando, USA, 2002.
- Bias and variance of the parameter estimates for a one dimensional diffusion system. I Proc 15th IFAC World Congress, 2002.
- Recursive algorithm for estimating parameters in a one dimensional heat diffusion system. I Reglermöte 2002 (National Conference on Control), 2002.
- Bias and variance of parameter estimates of a one-dimensional heat diffusion system. I Proc of 15th IFAC Congress, Barcelona, Spain, July, 2002.
- Recursive algorithm for estimating parameters in a one-dimensional heat diffusion system. I Proc of Reglermöte, Linköping, Sweden, 2002.
- A Discrete Subexponential Algorithm for Parity Games. Technical report / Department of Information Technology, Uppsala University nr 2002-026, 2002. (fulltext).
- An Experimental Study of Algorithms for Completely Unimodal Optimization. Technical report / Department of Information Technology, Uppsala University nr 2002-030, 2002. (fulltext).
- Memoryless Determinacy of Parity Games: A Simple Proof. Technical Report 2002-033 nr 2002-033, Dept of Information Technology, Uppsala University, Uppsala, 2002. (To appear in: Theoretical Computer Science)
- Memoryless Determinacy of Parity and Mean Payoff Games: A Simple Proof. Technical report / Department of Information Technology, Uppsala University nr 2002-033, Department of Information Technology, Uppsala University, 2002. (fulltext).
- Optimization on Completely Unimodal Hypercubes. Technical report / Department of Information Technology, Uppsala University nr 2002-018, 2002. (fulltext).
- Two Adversary Lower Bounds for Parity Games. Technical report / Department of Information Technology, Uppsala University nr 2002-008, 2002. (fulltext).
- Uniform estimate of the constant in the strengthened CBS inequality for anisotropic non-conforming FEM systems. Technical report / Department of Information Technology, Uppsala University nr 2002-039, 2002. (fulltext).
- Health Problems in Computer-supported Work - a Usability Matter?. I Proceedings of HCI Conference 2002. People and Computers, 2002.
- Fuzzy border distance transforms and their use in 2D skeletonization. 2002.
- Automated analysis of dynamic web services. Technical report / Department of Information Technology, Uppsala University nr 2002-010, 2002. (fulltext).
- Individual Tree-based Species Classification in High Spatial Resolution Aerial Images of Forests using Fuzzy Sets. I Fuzzy Sets and Systems, volym 132, nummer 3, pp 371-387, 2002.
- A Compact Higher Order Finite Difference Method for the Incompressible Navier-Stokes Equations. I Journal of Scientific Computing, volym 17, pp 551-560, 2002. (DOI).
- Shape optimization of an acoustic horn. Technical report / Department of Information Technology, Uppsala University nr 2002-019, 2002. (fulltext).
- Control of an activatedsludge process with nutrient removal - A benchmark study. I Water, Science and Technology, volym 45, nummer 4-5, pp 135-142, 2002.
- Worst-Case Execution Time Analysis of Disable Interrupt Regions in a Commercial Real-Time Operating System. I RT TOOLS 2002,: Proc. 2nd Workshop on Real-Time Tools, Copenhagen, Denmar, August 2002, 2002.
- Communication Tests of Electronic Power Markets through Power Line Communication. 2002. (Extern länk).
- Hierarchical module namespaces in Erlang.. I Proceedings of the ACM SIGPLAN Erlang Workshop, Pittsburgh, Pennsylvania, 2002. (Extern länk).
- Eliminating queues from RT UML model representations. I FTRTFT 2002: Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002, Proceedings., pp 375-394, 2002.
- Distributed Teaching with Local Control. I IEEE Frontiers in Education conference, p T4E12, 2002. (Extern länk).
- Open Ended Group Projects, Motivating Students and Preparing them for the. I IEEE Conference on Software Engineering Education & Training, 2002. (Extern länk).
- A Tool Architecture for the Next Generation of Uppaal. I Formal Methods at the Crossroads. From Panacea to Foundational Support, pp 352-366, Springer, 2002.
- Formal Verification of UML Statecharts with Real-Time Extensions. I Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, pp 218-232, 2002.
- A New Technique for Accurate and Stable Modeling of Arbitrarily Oriented Thin Wires in the FDTD Method. Technical report / Department of Information Technology, Uppsala University nr 2002-016, 2002. (fulltext).
- A comparison of time-domain hybrid solvers for complex scattering problems. I International journal of numerical modelling, volym 15, pp 475-487, 2002. (DOI).
- An Unconditionally Stable Subcell Model for Arbitrarily Oriented Thin Wires in the FETD Method. Technical report / Department of Information Technology, Uppsala University nr 2002-007, 2002. (fulltext).
- Hybrid Solvers for the Maxwell Equations in Time-Domain. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 40, Acta Universitatis Upsaliensis, Uppsala, 2002. (fulltext).
- Adaptive Control of the External Carbon Flow Rate in an Activated Sludge Process. I Proc of Reglermöte (National meeting on Control), 2002.
- Adaptive control of the external carbon flow rate in an activated sludge process. I 1st World Water Congress of the IWA, Melbourne, 2002.
- Domain decomposition of the Padé scheme and pseudo-spectral method, used in Vlasov simulations. Technical report / Department of Information Technology, Uppsala University nr 2002-029, 2002. (fulltext).
- Numerical Vlasov–Maxwell Modelling of Space Plasma. Doktorsavhandling, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 758, Acta Universitatis Upsaliensis, Uppsala, 2002. (fulltext).
- Numerical modelling of the two-dimensional Vlasov–Maxwell system. Technical report / Department of Information Technology, Uppsala University nr 2002-028, 2002. (fulltext).
- Outflow boundary conditions for the Fourier transformed two-dimensional Vlasov equation. I Journal of Computational Physics, volym 181, pp 98-125, 2002. (DOI).
- Processor Pipelines and Static Worst-Case Execution Time Analysis. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 36, Acta Universitatis Upsaliensis, Uppsala, 2002. (fulltext).
- Processor Pipelines and Their Properties for Static WCET Analysis.. I EMSOFT 2002: Embedded Software, Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002, Proceedings., pp 334-348, 2002. (Extern länk).
- Teleradiologie on a Personal Digital Assistant. I Mobile Computing in Medicine, pp 73-80, 2002.
- Ubiquitous radiology: The scalable CHILI architecture on stationary and mobile devices. I Proceedings of the 20th EuroPACS annual meeting, pp 113-116, 2002.
- Colour segmentation of individual tree crowns in aerial images. I Proceedings SSAB'02, pp 177-180, 2002.
- FME 2002: Formal Methods - Getting IT Right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002. Proceedings. Volym 2391 av Lecture Notes in Computer Science, Springer-Verlag, Berlin Heidelberg, 2002.
- A Unified Flow Information Language for WCET Analysis. I WCET Workshop, Wien, June 18, 2002., 2002.
- A QoS aware power save protocol for wireless ad hoc networks. I 1st Mediterranean Workshop on Ad Hoc Networks(Med-Hoc Net 2002), 2002.
- Demonstration Abstract: Spontaneous networking for secure collaborative applications in an infrastructureless environment.: International Conference on Pervasive Computing (Pervasive 2002). 2002.
- Spontnet: Experiences in configuring and securing small ad hoc networks. I 5th International Workshop on Networked Applicances(IWNA5), 2002.
- Accurate and stable grid interfaces for finite volume methods. Technical report / Department of Information Technology, Uppsala University nr 2002-012, 2002. (fulltext).
- Adaptive error control for steady state solutions of inviscid flow. I SIAM Journal on Scientific Computing, volym 23, pp 1777-1798, 2002. (DOI).
- Anisotropic grid adaptation for Navier-Stokes' equations. Technical report / Department of Information Technology, Uppsala University nr 2002-023, 2002. (fulltext).
- On numerical errors in the boundary conditions of the Euler equations. I Applied Mathematics and Computation, volym 128, pp 129-140, 2002. (DOI).
- Schedulability Analysis with Two Clocks. Technical Report, 2002.
- Achievements and prospects of program synthesis. I Computational Logic: Logic Programming and Beyond;Computational Logic: Logic Programming and Beyond; Essays in Honour of Robert A. Kowalski, pp 310-346, Springer-Verlag, 2002.
- Breaking all the symmetries in matrix models: Results, conjectures, and directions. I Proceedings of SymCon'02, the Second International Workshop on Symmetry in CSPs, 2002. (Extern länk).
- Breaking row and column symmetries in matrix models. I Principles and Practice of Constraint Programming – CP 2002, volym 2470 av Lecture Notes in Computer Science, pp 462-476, Springer-Verlag, Berlin, 2002. (DOI).
- Matrix modelling: Exploiting common patterns in constraint programming. I Proceedings of the International Workshop on Reformulating CSPs, 2002. (Extern länk).
- Proceedings of SymCon'02, the Second International Workshop on Symmetry in CSPs. 2002. (Extern länk).
- Program synthesis for combinatorial optimisation problems: Position statement. I Working Notes of the AAAI'02 Spring Symposium on the State of the Art and Future Trends of Logic-based Program Synthesis, 2002.
- Diagonally weighted orthogonal space-time block codes. I 36th ASILOMAR Conference on Signals, Systems and Computers, Pacific Grove, CA, 2002.
- Differential detection based on space-time block codes. I Wireless Personal Comm, volym 21, pp 163-180, 2002.
- Differential modulation using space-time block codes. I IEEE Sign Process Lett, volym 9, pp 57-60, 2002.
- Designing Space-Time Codes Using Orthogonal Designs. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 41, Acta Universitatis Upsaliensis, Uppsala, 2002.
- Stochastic Cramer-Rao bound for direction estimation in unknown noise fields. I IEE Proc Radar Sonar Navig, volym 149, pp 2-8, 2002.
- LUNAR: ligthweight Underlay Network Ad-hoc Routing. Technical Report, Uppsala University, 2002.
- Combining Wavelets with Finite Differences: Consistency Analysis. Technical report / Department of Information Technology, Uppsala University nr 2002-001, 2002. (fulltext).
- USABILITY THROUGHOUT THE ENTIRE SOFTWARE DEVELOPMENT LIFECYCLE – A INTERACT 2001 WORKSHOP. I SIGCHI Bulletin, 2002.
- Användarcentrerad systemdesign. Studentlitteratur, 2002. (Extern länk).
- Deferred correction in space and time. I Journal of Scientific Computing, volym 17, pp 541-550, 2002. (DOI).
- Fourth order methods for the Stokes and Navier-Stokes equations on staggered grids. I Frontiers of Computational Fluid Dynamics: 2002, pp 165-179, World Scientific Publishing, River Edge, NJ, 2002.
- Native Code Compilation of Erlang's Bit Syntax. I Proceedings of the ACM SIGPLAN Erlang Workshop, Pittsburgh, Pennsylvania, pp 6-15, 2002.
- Hierarchical SMP computer System. 2002.
- Hybrid memory access protocol in a distributed shared memory computer system. 2002.
- Methods and apparatus for a directory-less memory access protocol in a distributed shared memory computer system. 2002.
- Selective address translation in coherent memory replication. 2002.
- Skewed finite hashing function. 2002.
- Model-based Methods in Motion Capture. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 42, Acta Universitatis Upsaliensis, Uppsala, 2002.
- Unsupervised Hyperspectral Image Segmentation Using a New Class of Neuro-Fuzzy Systems Based on Weighted Incremental Neural Networks. I 31st Applied Imagery Pattern Recognition Worshop (AIPR 2002), Washington DC, USA, 2002.
- Unsupervised Image Segmentation Using New Neuro-Fuzzy Systems. I Swedish Society for Automated Image Analysis Symposium - Proceedings of SSAB 2002, pp 83-87, 2002.
- Using Weighted Fixed Neural Networks for Unsupervised Fuzzy Clustering. I International Journal of Neural Systems (IJNS), volym 12, nummer 6, pp 425-434, 2002. (Extern länk).
- Using Weighted Fixed Neural Networks for Unsupervised Fuzzy Clustering. I International Journal of Neural Systems, volym 12, nummer 6, pp 425-434, 2002.
- Using Hyperspectral Reflectance Data for Discrimination Between Healthyand Diseased Plants, and Determination of Damage-Level in Diseased Plants. I 31st Applied Imagery Pattern Recognition Worshop (AIPR 2002), Washington DC, USA., 2002.
- Improved Bump Mapping by using Quadratic Vector Interpolation. I Eurographics02, 2002.
- Improved Fundamental Algorithms for Fast Computer Graphics. Licentiatavhandling, , Centre for Image Analysis, 2002.
- Reconstruction Filters for Bump Mapping. I WSCG02, pp 9-12, 2002.
- Reconstruction Filters for Bump Mapping. I Proceedings from Promote IT 2002, pp 244-256, 2002.
- Improved Bump Mapping by using Quadratic Vector Interpolation. 2002.
- Performance of PDE solvers on a self-optimizing NUMA architecture. I Parallel Algorithms and Applications, volym 17, pp 285-299, 2002. (DOI).
- Nuclear egress of human Cytomegalovirus capsids by budding through thenuclear membrane,. I Proc. Int. Conf. on Electron Microscopy, Durban, South Africa, 2002., 2002.
- Determination of holes and cracks in meat with image analysis. I 48th International Congress of Meat Science and Technology, Rome, Italy, 25-30 August 2002, pp 336-337, 2002.
- Tripeptide Interference with Human Immunodeficiency Virus Type 1 Morphogenesis. I Antimicrobial Agents and Chemotherapy, volym 46, nummer 11, pp 3597-3605, 2002.
- "To do" gets more attention than "to understand": Pupil’s use of ICT in some Swedish classrooms. I Proceedings for European Conference on Educational Research in Lisbon, 11-12 September 2002, 2002.
- Array signal processing for QR. I 36th ASILOMAR Conference on Signals, Systems and Computers, Pacific Grove, CA, 2002., 2002.
- A System for Information Management in Simulation of Manufacturing Processes. I Proceedings for European Conference on Educational Research in Lisbon, 11-12 September 2002, 2002.
- Heap Architectures for Concurrent Languages using Message Passing. I Proceedings of ISMM'2002: ACM SIGPLAN International Symposium on Memory Management, pp 88-99, 2002.
- Linear Scan Register Allocation in a High-Performance Erlang Compiler.. I # Practical Aspects of Declarative Languages: Proceedings of the PADL 2002 Symposium, Portland, Oregon., pp 299-317, 2002. (Extern länk).
- Numerical solution of the linearized Euler equations using high order finite difference operators with the summation by parts property. Technical report / Department of Information Technology, Uppsala University nr 2002-034, 2002. (fulltext).
- Differentiated security in wireless networks. Information technology, Uppsala University, 2002. (Extern länk).
- Testing preorders for probabilistic processes can be characterized by simulations. I Theoretical Computer Science, volym 282, nummer 1, pp 33-51, 2002.
- Query Decomposition for a Distributed Object-Oriented Mediator System. I Distributed and Parallel Databases J., volym 11, nummer 3, pp 307-336, 2002. (Extern länk).
- Cross correlation functions <em>C<sub>nm</sub></em>(<em>E</em>) via Lanczos algorithms without diagonalization. I Journal of Chemical Physics, volym 117, pp 9116-9123, 2002. (DOI).
- A simple and possibly efficient approach to Automatic License Plate Recognition. I Proceedings SSAB'02: Symposium on Image Analysis, p 185, 2002.
- Query Processing in Self-Profiling Composable Peer-to-Peer Mediator Databases. I EDBT Workshops 2002, nummer 2490, pp 627-637, 2002. (Extern länk).
- Object-Oriented Mediator Queries to Internet Search Engines. I Advances in Object-Oriented Information Systems, 2002. (Extern länk).
- Object-oriented mediator queries to internet search engines. I Lecture Notes in Computer Science, volym 2426, pp 176-186, 2002.
- Ethical competence training for individuals and organizations. I Moral Leadership in Action: Building and Sustaining Moral Competence in European Organizations, pp 293-303, Edward Elgar Publishing, Cheltenham UK, 2002.
- Individual learning and organizational change for ethical competence in the use of information technology tools. I The transformation of organisations in the information age: Social and ethical implications, pp 383-390, 2002.
- A Comparison of Neuro-Fuzzy and Traditional Image Segmentation Methods for Automated Detection of Buildings in Aerial Photos. I Proceedings of PCV'02: PHOTOGRAMMETRIC COMPUTER VISION 2002, 2002.
- A Comparison of Neuro-Fuzzy and Traditional Image Segmentation Methods for Automated Detection of Buildings in Aerial Photos. I Proceedings of PCV'02: PHOTOGRAMMETRIC COMPUTER VISION 2002, 2002.
- Completing CAD Data Queries for Visualization. I International Database Engineering and Applications Symposium (IDEAS 2002), Edmonton, Canada, 2002. (Extern länk).
- Deferred Correction Methods for Initial Boundary Value Problems. I Journal of Scientific Computing, volym 17, pp 241-251, 2002. (DOI).
- Decision support in the train dispatching process. I Computers in railways VIII, pp 1085-1095, 2002.
- Accessing distributed proxy configurations. AU, WO, US, 2002. (Extern länk).
- Creating distributed proxy configurations. AU, WO, US, GB, DE, 2002. (Extern länk).
- Amplitude spectrum estimation for two-dimensional gapped data. I IEEE Trans Signal Processing, volym 50, pp 1343-1354, 2002.
- Fast implementation of two-dimensional APES and CAPON spectral estimators. I Multidimensional Systems and Signal Processing, volym 13, pp 35-53, 2002.
- On a decoupled approach to adaptive signal separation using an antenna array. I IEEE Trans Vehicular Technology, volym 51, pp 1681-1685, 2002.
- On maximum-likelihood detection and decoding for space-time coding systems. I IEEE Trans Signal Processing, vol 50, 937-944, 2002., volym 50, pp 937-944, 2002.
- Space-time block coding for frequency-selective channels. I ICASSP 2002, the 27th International Conference on Acoustics, Speech and Signal Processing, Orlando, USA, 2002.
- Spectral estimation via adaptive filterbank methods: a unified analysis and a new algorithm. I Signal Processing, volym 82, pp 1991-2001, 2002.
- Continuous-time AR parameter estimation by using properties of sampled systems. I Proc. 15th IFAC World Congress, Barcelona, Spain, 2002.
- Continuous-time AR parameter estimation by using properties of sampled systems. I Reglermöte 2002 (National Conference on Control), 2002.
- The Cramér-Rao Bound for Continuous-Time Autoregressive Parameter Estimation with Irregular Sampling. I Circuits Systems Signal Processing, volym 21, nummer 6, pp 581-601, 2002.
- Identification of Continuous-Time AR Processes from Unevenly Sampled Data. I Automatica, volym 38, nummer 4, pp 709-718, 2002.
- On the performance of orthogonal space-time block coding with quantized feedback. I IEEE Communications Lett, volym 6, pp 487-489, 2002.
- Learning from students: Continous improvement in international collaboration. I ACM SIGCSE Bulletin, volym 34, nummer 3, 2002. (Extern länk).
- Dynamic Message Sequence Charts. I FSTTCS 2002: Foundations of Software Technology and Theoretical Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings., pp 253-264, 2002.
- Two-dimensional sinusoidal amplitude estimation with application to two-dimensional system identification. I Circ Syst Sign Process, volym 21, pp 369-397, 2002.
- Two-dimensional system identification using amplitude estimation. I IEEE Sign Process Lett., volym 9, pp 61-63, 2002.
- Adaptive data mediation over XML data. I Journal of Applied System Studies (JASS), volym 3, nummer 2, 2002. (Extern länk).
- Axiomatising timed automata. I Acta Informatica, volym 38, nummer 4, pp 277-305, 2002.
- The Illusion of Perceived metric Structure. I Proceedings of InfoVis 2002, IEEE Symposium on Information Visualization, pp 51-56, 2002.
- Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment.. I Proceedings of the 14th International Workshop on the Implementation of Functional Languages (IFL 2002). Madrid, Spain, September 2002. LNCS., 2002. (Extern länk).
- Development of Algorithms for Digital Image Cytometry. Doktorsavhandling, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 789, Acta Universitatis Upsaliensis, Uppsala, 2002. (fulltext).
- Surface area estimation of digitized 3D objects using local computations. I Proceedings of Discrete Geometry for Computer Imagery (DGCI2002), pp 267-278, 2002.
- Mapping of coral bottoms from different high resolution satellite images. I Proc. 29th International Symposium on Remote Sensing of Environment, p 4, 2002.
- Methods and application of interactive 3D computer graphics in antropology: Technical Report 2002-002, Dept of Information Technology. Technical Report nr 2002-002, 2002.
- An Architecture for a Scalable Distributed DBS: Application to SQL Server 2000. I 2nd Intl. Workshop on Cooperative Internet Computing (CIC 2002), Hong Kong, 2002. (Extern länk).
- LH*g: A High-Availability Scalable Distributed Data Structure through Record Grouping. I IEEE Trnasactions on Knowledge and Data Engineering, volym 14, nummer 4, pp 923-927, 2002.
- Efficient algorithms for quantitative trait loci mapping problems. I Journal of Computational Biology, volym 9, pp 793-804, 2002. (DOI).
- Efficient kernel algorithms for QTL mapping problems. Technical report / Department of Information Technology, Uppsala University nr 2002-005, 2002. (fulltext).
- Ad hoc Protocol Evaluation and Experiences of Real World Ad Hoc Networking. Informationsteknologi, Uppsala Universitet, 2002.
- A Large-scale Testbed for Reproducible Ad hoc Protocol Evaluations. I Proceedings of the 3rd annual IEEE Wireless Communications and Networking Conference, 2002. WCNC2002., volym 1 av IEEE Wireless Communications and Networking, pp 412-418, 2002. (DOI).
- Coping with Communication Gray Zones in IEEE 802.11b based Ad hoc Networks. I In Proceedings of The Fifth ACM International Workshop On Wireless Mobile Multimedia (WoWMoM), 2002.
- Coping with Communication Gray Zones in IEEE 802.11b based Ad hoc Networks. Technical report / Department of Information Technology, Uppsala University nr 2002-022, Department of Information Technology, Uppsala University, 2002. (fulltext).
- Coping with Communication Gray Zones in IEEE 802.11b based Ad hoc Networks. I Proceedings of the 5th ACM international workshop on Wireless mobile multimedi, 2002.
- Implementation and real-world evaluation of routing protocols for wireless ad hoc networks. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2002-008, Uppsala University, 2002. (fulltext).
- The Gray Zone Problem in IEEE 802.11b based Ad hoc Networks. I ACM SIGMOBILE Mobile Computing and Communications Review, volym 6, nummer 3, pp 104-105, 2002.
- A minimum residual interpolation method for linear equations with multiple right hand sides. Technical report / Department of Information Technology, Uppsala University nr 2002-041, 2002. (fulltext).
- Implicit solution of hyperbolic equations with space-time adaptivity. I BIT Numerical Mathematics, volym 42, pp 134-158, 2002. (DOI).
- Integration of Multibody System Analysis Information based on Database Technology. I Proceedings of the Third International Conference on Engineering Computational Technology (ECT2002), 2002.
- Identification of complex elastic modulus from flexural wave experiments. I Proc 3rd International Conference on Identification in Engineering Systems, 2002.
- Identification of dynamic errors-in-variables model using prefiltered data. I Proc. 15th IFAC World Congress, Barcelona, Spain, 2002.
- Identification of dynamic errors-in-variables models. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2002-005, Uppsala University, 2002. (fulltext).
- On Enabling the WAM with Region Support. I Proceedings of the International Conference on Logic Programming, pp 163-178, 2002.
- Accuracy Requirements for Steady and Transient Aerodynamics. Technical report / Department of Information Technology, Uppsala University nr 2002-035, 2002. (fulltext).
- Stable and accurate artificial dissipation. Technical report / Department of Information Technology, Uppsala University nr 2002-003, 2002. (fulltext).
- First-Come-First-Served Packet Dispersion and Implications for. 2002.
- Regression-Based Available Bandwidth Measurements. I Proc of the 2002 International Symposium on Performance Evaluation of Computer and Telecommunications, 2002.
- Trace-Driven Network Path Emulation. Technical report / Department of Information Technology, Uppsala University nr 2002-037, Uppsala University, 2002. (fulltext).
- The asymptotic Cramer-Rao bound for 2-D superimposed exponential signals. I Multidimensional Systems and Sign Process, volym 13, pp 317-331, 2002.
- Higher order finite difference methods for wave propagation problems. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2002-001, Uppsala University, 2002. (fulltext).
- Load balancing in scientific computing on clusters. I Proc. Int. Workshop on Grid and Cooperative Computing, pp 281-288, Publishing House of Electronics Industry, Beijing, China, 2002.
- On using mobile agents for load balancing in high performance computing. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2002-006, Uppsala University, 2002. (fulltext).
- Control Errors in CFD!. Technical report / Department of Information Technology, Uppsala University nr 2002-036, 2002. (fulltext).
- Entropy Splitting for High Order Numerical Simulation of Vortex Sound at Low Mach Numbers. I Journal of Scientific Computing, volym 17, pp 181-190, 2002. (DOI).
- High order numerical simulation of sound generated by the Kirchhoff vortex. I Computing and Visualization in Science, volym 4, pp 197-204, 2002. (DOI).
- EDUTELLA: A P2P Networking Infrastructure Based on RDF. 11th International World Wide Web Conference, Honolulu, HI, 2002.
- Iterative solution of Maxwell's equations in frequency domain. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2002-004, Uppsala University, 2002. (fulltext).
- "Säg IT –det räcker": Att utveckla skolan med några lysande IT-projekt: Utvärdering av KK-stiftelsens satsning på större skolutvecklingsprojekt: Att utveckla skolan med några lysande IT-projekt: Utvärdering av KK-stiftelsens satsning på större skolutvecklingsprojekt. Stockholm: Stiftelsen för kunskaps- och kompetensutveckling, 2002. (Extern länk).
- On estimation of errors caused by non-linear undermodelling in system identification. I International Journal of Control, volym 75, nummer 14, pp 1100-1113, 2002. (DOI).
- OpenMP versus MPI for PDE Solvers Based on Regular Sparse Numerical Operators. Technical report / Department of Information Technology, Uppsala University nr 2002-027, Department of Information Technology, Uppsala University, 2002. (fulltext).
- OpenMP versus MPI for PDE solvers based on regular sparse numerical operators. I Computational Science – ICCS 2002, volym 2331 av Lecture Notes in Computer Science, pp 681-690, Springer-Verlag, Berlin, 2002.
- A Numerical Method for Acoustic Waves in Horns. I Acta Acoustica united with Acustica, volym 88, pp 576-586, 2002.
- Force measurements of postural sway and raptid arm lift in seated children with and without MMC. I Clinical Biomechanics, volym 17, nummer 3, pp 197-202, 2002. (DOI).
- Area of and volume enclosed by digital and triangulated surfaces. I Medical Imaging 2002: Visualization, Image-Guided Procedures, and Display, pp 669-680, 2002.
- Extracting the Process Structure of Erlang Applications. I Erlang Workshop, Firenze, Sept. 2, 2002.
- Computational Database Technology for Component Mode Synthesis. I Proceedings of the Sixth International Conference on Computational Structures Technology (CST2002), 2002.
- Safer Navigation at Sea using Augmented Reality. I People and Computers XVI - Memorable Yet Invisible: Proceedings of HCI, vol 2, pp 154-157, 2002.
- Safer navigation at sea using augmented reality. I Proceedings of HCI'02, People and Computers, Vol. 2, pp 154-157, Springer, London, 2002.
- The Windscreen Used as a Display for Navigation Information, An Introductory Study: Technical Report 2002-017, Dept. of Information Technology. Technical Report 2002-017 nr 2002-017, 2002.
- Safer Navigation at Sea using Augmented Reality. I People and Computers XVI - Memorable Yet Invisible, pp 154-157, 2002.
- Describing computer science education research: An academic process view. I SCS 2002, Western multiconference, San Antonio, pp 99-104, 2002. (Extern länk).
- The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation.. I Proceedings of the 6th International Symposium on Functional and Logic Programming, Aizu, Japan, September 2002. Springer, pp 228-244, 2002.
- Workshop on Real-Time Tools. 2002.
- Efficient Synchronization for Non-Uniform Communication Architectures. I Proceedings of Supercomputing 2002, Baltimore, Maryland, USA, 2002. (Extern länk).
- RH Lock: A Scalable Hierarchical Spin Lock. I Proceedings of the 2nd Annual Workshop on Memory Performance Issues (WMPI 2002), held in conjunction with the 29th International Symposium on Computer Architecture (ISCA29), Anchorage, Alaska, USA, 2002. (Extern länk).
- Parallelization of an unstructured finite volume solver for the Maxwell equations. I Parallel Computing: Advances and Current Issues, pp 213-221, Imperial College Press, London, 2002.
- High-performance GRID Database Manager for Scientific Data. I Workshop on Distributed Data & Structures - WDAS-2002, Paris, France, 2002. (Extern länk).
- Research in Information and Communication Technology in Norwegian Universities and Colleges - A review. The Research Counsil of Norway,, 2002. (Extern länk).
- Generalizing Chaitin's Algorithm: Graph-Coloring Register Allocation for Irregular Architectures. Technical Report, May 2002., 2002.
- Extraction of agricultural field boundaries from remotly sensed images. I , 2002.
- Control of the aeration volume in an activated sludge process for nitrogen removal. I Water Science and Technology, volym 45, nummer 4-5, pp 45-52, 2002.
- New control strategies and user interfaces for train traffic control. I Computers in railways VIII, 2002.
- On the Cramer-Rao bound for model-based spectral analysis. I IEEE Sign Process Lett, volym 9, pp 68-71, 2002.
- A new shape descriptor for surfaces in 3D images. I Pattern Recognition Letters, volym 23, nummer 6, pp 703-711, 2002.
- Linear precoders and decoders designs for MIMO frequency selective channels.. I ICASSP 2002, the 27th International Conference on Acoustics, Speech and Signal Processing, Orlando, USA, 2002.
- Optimal designs for space-time linear precoders and decoders.. I IEEE Trans Signal Processing, volym 50, pp 1051-1064, 2002.
- Distributed Rendering in Heterogenous Display Environments - A Functional Framework Design and Performance Assessment. I Proceedings Annual SIGRAD Conf. 2002, pp 23-28, 2002.
- Magnetic Resonance Signal Processing. Uppsala University School of Engineering, Uppsala, 2002.
- Go for both types of cache locality!. I Proc, volym 2002:2 av HPC Asia, pp 500-503, Tata McGraw-Hill, New Delhi, India, 2002.
- Anticipative grid design in point-mass approach to nonlinear state estimation. I IEEE Transactions on Automatic Control, volym 47, nummer 4, pp 699-702, 2002. (DOI).
- Automatic identification and classification of Cytomegalovirus capsids in electron micrographs. I Proc. Medicintekniska konferensen, Huddinge, Stockholm, 8-9 oktober, 2002., 2002.
- Description, Segmentation and Classification of Human Cytomegalovirus Capsids. I Proceedings SSAB'02 Symposium on Image Analysis, pp 21-24, 2002.
- Weighted distance transforms for images using elongated voxel grids. 2002.
- A report on 10th Summer School on Image Processing. CBA Internal Report, 2002.
- Reviews on Scientific Papers on Application of Fuzzy Set Theory in Image Segmentation. CBA Internal Report, 2002.
- An application-centric characterization of domain-based SFC partitioners for parallel SAMR. I IEEE Transactions on Parallel and Distributed Systems, volym 13, pp 1275-1289, 2002. (DOI).
- Efficient Partitioning of Dynamic Structured Grid Hierarchies. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 44, Acta Universitatis Upsaliensis, Uppsala, 2002.
- Efficient Implementation of Concurrent Programming Languages. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 43, Acta Universitatis Upsaliensis, Uppsala, 2002. (fulltext).
- On Reducing Interprocess Communication Overhead in Concurrent Programs.. I Proceedings of the ACM SIGPLAN Erlang Workshop, Pittsburgh, Pennsylvania, pp 58-63, 2002.
- Exact initialization of the recursive least-squares algorithm. I Int J Adaptive Contr Sign Process, volym 16, pp 219-230, 2002.
- On the hierarchical least-squares algorithm. I IEEE Comm Lett, volym 6, pp 153-155, 2002.
- Robust Capon beamforming. I 36th ASILOMAR Conference on Signals, Systems and Computers, Pacific Grove, CA, 2002.
- Space-time block codes: trained, blind and semi-blind detection. I ICASSP 2002: the 27th International Conference on Acoustics, Speech and Signal Processing, Orlando, USA, 2002.
- Space-time block coding for channels with intersymbol interference. I Digital Signal Processing, volym 12, pp 616-627, 2002.
- Space-time block coding for wireless communications: survey, new results and open problems. I ICASSP 2002, the 27th International Conference on Acoustics, Speech and Signal Processing, Orlando, USA, 2002.
- Trained space-time block decoding for flat fading channels with frequency offsets. I 11th European Signal Processing Conference , EUSIPCO 2002, Toulouse, France, 2002.
- Maximum-SNR spatial-temporal formatting designs for MIMO channels. I IEEE Trans Signal Processing, volym 50, pp 3036-3042, 2002.
- Analysis of a semi-Toeplitz preconditioner for a convection-diffusion problem. Technical report / Department of Information Technology, Uppsala University nr 2002-014, 2002. (fulltext).
- Semi-Toeplitz preconditioning for linearized boundary layer problems. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2002-007, Uppsala University, 2002. (fulltext).
- Curve skeletonization of surface-like objects in 3D images guided by voxel classification. I Pattern Recognition Letters, volym 23, nummer 12, pp 1419-1426, 2002. (DOI).
- Digital Distance Transforms in 3D Images Using Information from Neighbourhoods up to 5×5×5. I Computer Vision and Image Understanding, volym 88, nummer 1, pp 24-53, 2002. (DOI, Extern länk).
- Distance transforms in 3D using four different weights. I Pattern Recognition Letters, volym 23, nummer 12, pp 1407-1418, 2002.
- Surface Skeletonization of 3D Objects having a Fuzzy Border. I Proceedings SSAB'02 Symposium on Image Analysis, pp 157-160, 2002.
- Using distance transforms to decompose 3D discrete objects. I Image and Vision Computing, volym 20, nummer 8, p 529, 2002.
- Using grey-level and distance information for medial surfacerepresentation of volume images. 2002.
- An evaluation of algorithms for computing the covariance function of a multivariable ARMA process. I European Journal of Control, volym 8, nummer 4, pp 315-325, 2002.
- Discrete-time Stochastic Systems - Estimation and Control. Springer-Verlag, London, UK, 2002.
- Identification of dynamic errors-in-variables model using a frequency domain Frisch scheme. I Proc. 15th IFAC World Congress, Barcelona, Spain, 2002.
- Identification of dynamic errors-in-variables model using a frequency domain Frisch scheme. I Reglermöte 2002 (National Conference on Control), 2002.
- Instrumental variable methods for system identification. I Circuits, systems, and signal processing, volym 21, nummer 1, pp 1-9, 2002. (DOI).
- Model validation and model structure determination. I Circuits, Systems and Signal Processing (special tutorial issue on System Identification), volym 21, nummer 1, pp 83-90, 2002.
- On instrumental variable and total least squares approaches for identification of noisy systems. I International Journal of Control, volym 75, nummer 6, pp 381-389, 2002.
- Perspectives on errors-in-variables estimation for dynamic systems. I Signal Processing, volym 82, nummer 8, pp 1139-1154, 2002.
- System identification techniques for estimating material functions. I Reglermöte 2002 (National Conference on Control), 2002.
- System identification techniques for estimating material functions from wave propagation experiments. I Inverse Problems in Engineering, volym 10, nummer 5, pp 413-439, 2002. (Extern länk).
- Using system identification for estimating material functions from wave propagation experiments. Invited keynote address. I Proc. of 3rd International Conference on Identification in Engineering Systems, Swansea, Wales, 2002.
- Why are errors-in-variables problems often tricky?. Technical report / Department of Information Technology, Uppsala University nr 2002-040, 2002. (fulltext).
- Concurrent Grayscale Connectedness: Application to Arteries-Veins Separation in Magnetic Resonance Angiography. I Proceedings of SSAB 2002, pp 37-40, 2002.
- Segmentation with gray-scale connectedness can separate arteries and veins in MRA. I Journal of Magnetic Resonance Imaging, volym 15, nummer 4, pp 438-445, 2002. (Extern länk).
- Network Pointers. I SIGCOMM Communications Review, volym 33, nummer 1, 2002. (Extern länk).
- Segment Order Preserving and Generational Garbage Collection for Prolog. I In Practical Aspects of Declarative Languages: Proceedings of the PADL 2002 Symposium: 2257, pp 299-317, 2002.
- Adaptive Resource-based Web Server Admission Control. I 7th IEEE Symposium on Computers and Communication, 2002. (DOI).
- Architectures for Service Differentiation in Overloaded Internet Servers. Doktorsavhandling, DoCS nr 119, SICS dissertation series nr 30, Institutionen för informationsteknologi, Uppsala, 2002. (fulltext).
- Handling Multiple Bottlenecks in Web Servers Using Adaptive Inbound Controls. I Seventh International Workshop on Protocols for High-Speed Networks (PfHSN 2002), 2002.
- AE-equational theory of context unification is undecidable. I Theoretical Computer Science, volym 275, pp 463-479, 2002.
- The undecidability of the first-order theories of one step rewriting in linear canonical systems. I Information and Computation, volym 175, pp 182-213, 2002.
- Feedforward-feedback control of an activated sludge process - A simulation study. I 1st World Water Congress of the International Water Association (IWA), Melbourne 7-11 April 2002, 2002.
- Exploring Alternative Memory Architectures for Erlang: Implementation and Performance Evaluation. Uppsala Unviversity, 2002.
- Increasing resolution and forecast length with a parallel ocean model. I Operational Oceanography: Implementation at the European and Regional Scales, volym 66 av Elsevier Oceanography Series, pp 77-85, Elsevier Science, Amsterdam, The Netherlands, 2002.
- Algorithms for cytoplasm segmentation of fluorescence labeled cells. I Analytical Cellular Pathology, volym 24, nummer 2-3, pp 101-111, 2002.
- Sequential immunofluorescence staining and image analysis for detection of large numbers of antigens in individual cell nuclei. I Cytometry, volym 47, nummer 1, pp 32-41, 2002. (Extern länk).
- Swedish Universities Prepare Students for Entry into Industry. Computer Craphics,Newsletter of ACM SIGGAPH no 36(2), 2002.
- How does IT feel @ work? And how to make IT better: Computer use, stress and health in office work. Doktorsavhandling, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 768, Acta Universitatis Upsaliensis, Uppsala, 2002. (fulltext).
- What´s ergonomics got to do with IT?. I Humans in a complex environment, pp 853-857, Linköping university, 2002.
- Einstein summation for multidimensional arrays. I Computers and Mathematics with Applications, volym 44, pp 1007-1017, 2002. (DOI).
- On object-oriented frameworks and coordinate free formulations of PDEs. I Engineering with Computers, volym 18, pp 286-294, 2002. (DOI).
- On software support for finite difference schemes based on index notation. I Computational Science – ICCS 2002, volym 2331 av Lecture Notes in Computer Science, pp 711-718, Springer-Verlag, Berlin, 2002.