Department of Information Technology

Publications 2001

  1. An adaptive grid point algorithm for harmonic signal modeling,. E. Abd-Elrady. Department of Information Technology nr 2001-018, 2001.
  2. Study of a nonlinear recursive method for harmonic signal modeling. E. Abd-Elrady. In Proc. of The 20th IASTED International Conference on Modeling, Identification and Control, Innsbruck, Austria, Feb. 19-22,, 2001.
  3. Channel Abstractions in Protocol Verification. PA Abdulla and B. Jonsson. In CONCUR'2001, 12th Int. Conf. on Concurrency Theory, 2001.
  4. Effective Lossy Queue Languages.. PA Abdulla, L. Boasson, and A. Bouajjani. In ICALP'2001, 28th Int. Colloquium on Automata, Languages and Programmming., 2001. (External link).
  5. Ensuring completeness of symbolic verification methods for infinite-state systems. PA Abdulla and B. Jonsson. In THEORETICAL COMPUTER SCIENCE, volume 256, number 1-2, pp 145-167, ELSEVIER SCIENCE BV, 2001.
  6. Timed Petri Nets and BQOs. Parosh Aziz Abdulla and Aletta Nylen. In Proc. 22nd Int. Conf. on Application and Theory of Petri Nets 2001, Lecture Notes in Computer Science, pp 53-70, Springer Verlag, 2001.
  7. Using (Timed) Petri Nets for Verification of Parametrized (Timed) Systems. Parosh Aziz Abdulla. In VEPAS'2001, Verification of Parameterized Systems, 2001.
  8. Elimination of leakage and ground-bounce effects in ground-penetrating radar. R. Abrahamsson, E G Larsson, J. Li, J. Habersat, G. Maksymonko, and M. Bradley. In Proceedings of the 11th {IEEE} Signal Processing Workshop on Statistical Signal Processing, Orchid Country Club, Singapore, pp 150-153, 2001.
  9. Sensitivity of two autofocus algorithms to spatially variant phase error. R. Abrahamsson, J. Li, P. Stoica, and G. Thordarson. In Proceedings of the SPIE, Orlando, FL, 2001.
  10. The Role of an Operating Systems Course in the IS Major. Robert Adams and Carl Erickson. In Information Systems Education Conference: (ISECON 2000), 2001.
  11. On context in phenomenographic research on understanding heat and temperate. T. Adawi, A. Berglund, S. Booth, and Å. Ingerman. In EARLI Conference, Fribourg, Switzerland, 2001.
  12. Analysis of CASI Data - A Case Study From the Archipelago of Stockholm, Sweden. P. Ammenberg. In 6th International Conference, Remote Sensing for Marine and Coastal Environments 2000, Charleston, South Caro, p 8 pages, 2001.
  13. Now, Next, and Future. T. Amnell, G. Behrmann, J. Bengtsson, P R D'Argenio, A. David, A. Fehnker, T. Hune, B. Jeannet, K G Larsen, O. Möller, P. Pettersson, C. Weise, and W. Yi. In Modelling and Verification of Parallel Processes (MOVEP'2k), Nantes, France June 19 to 23, 2000. LNCS Tutorial 2067., pp 100-125, 2001.
  14. Tools for Real-Time UML: Formal Verification and Code Synthesis. Tobias Amnell, Alexandre David, Elena Fersman, Oliver Möller, Paul Pettersson, and Wang Yi. In Proceedings of the Workshop on Specification, Implementation and Validation of Object-oriented Embedded Systems, 2001.
  15. Efficient Resource Allocation with Noisy Functions. A. Andersson, P. Carlsson, and F. Ygge. In Algorithm Engineering: 5th international workshop; proceedings/WAE2001; Lecture notes in computer science, pp 91-105, 2001.
  16. Resource Allocation With Noisy Functions. A. Andersson, P. Carlsson, and F. Ygge. 2001.
  17. Dynamic String Searching. Arne Andersson and Mikkel Thorup. In ACM-SIAM symposium on Discrete algorithms, SODA, 2001.
  18. Efficient resource allocation with non-concave objective functions. Arne Andersson and Fredrik Ygge. In Computational Optimization and Applications, volume 20, number 3, pp 281-298, 2001.
  19. Mobile Aware Server Architecture: A distributed proxy architecture for content adaptation. Sebastien Ardon, Per Gunningberg, Björn Landfeldt, Yuri Ismailov, Marius Portmann, and Aruna Seneviratne. In INET 2001 Proceedings, 2001. (External link).
  20. 2D Segmentation and Labelling of Clustered Ring-Shaped Objects. M. Aronsson and G. Borgefors. 2001.
  21. Titta inuti papper -- Looking inside Paper. M. Aronsson and K.-A. Larsson. In Nordisk Papper och Massa, number 2, pp 44-45, 2001.
  22. Beställ användbarhet vid IT-utveckling!. Henrik Artman, S. Holmlid, and Jan Gulliksen. 2001.
  23. A Fractal Approach to Predict Fat Content in Meat Images. L. Ballerini and L. Bocchi. 2001.
  24. A Simple Method to Measure Homogeneity of Fat Distribution in Meat. L. Ballerini. 2001.
  25. A picture of doctoral studies in Italy. L. Ballerini and E. Piazza. In Eurodoc 2001, European Conference of Doctoral Students, Uppsala, Sweden, 2001.
  26. Cervelli in fuga (Brains on the run - Stories of Italian researchers fled abroad). L. Ballerini, L.T. Barone, M. Bianchetti, F. Monforti Ferrario, F. Sacca', and C. Usai. Avverbi, 2001.
  27. Colour Image Analysis Technique for Measuring of Fat in Meat: An Application forthe Meat Industry. L. Ballerini, A. Högberg, K. Lundström, and G. Borgefors. 2001.
  28. Genetic Snakes for Color Image Segmentation. L. Ballerini. 2001.
  29. How Do People Choose Meat?. L. Ballerini and A. Högberg. 2001.
  30. How Do People Choose Meat?. L. Ballerini. In Swedish Society for Automated Image Analysis Symposium - SSAB 2001,ITN, Campus Norrköping, LinköpingUniversity, pp 119-122, 2001.
  31. Image Analysis for the Food Industry: Digital Camera Photographs and Nuclear Magnetic Resonance Images. L. Ballerini. In Electronic Imaging, volume 11, number 2, p 7, 2001.
  32. Theory and Applications of Image Analysis at the Centre for Image Analysis. L. Ballerini and G. Borgefors. In 5th Korea-Germany JointWorkshop on Advanced Medical Image Processing, Seoul, Korea, 2001.
  33. SILK: Scout Paths in the Linux Kernel. Andy Bavier, Thiemo Voigt, Mike Wawrzoniak, Larry Peterson, and Per Gunningberg. DoCS, Department of Information Technology, Uppsala University, 2001.
  34. Adapting Gurvich-Karzanov-Khachiyan's Algorithm for Parity Games: Implementation and Experimentation. E. Beffara and V. Vorobyov. , 2001.
  35. Is Randomized Gurvich-Karzanov-Khachiyan's Algorithm for Parity Games Polynomial?. E. Beffara and S. Vorobyov. , 2001.
  36. Efficient Guiding Towards Cost-Optimality in UPPAAL. G. Behrmann, A. Fehnker, T. Hune, K G Larsen, P. Pettersson, and J. Romijn. In 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'01). Genova, Italy, April 2 to 6, 2001. LNCS 2031, pp 174-188, 2001.
  37. Minimum-Cost Reachability for Priced Timed Automata. G. Behrmann, A. Fehnker, T. Hune, K G Larsen, P. Pettersson, J. Romijn, and F. Vaandrager. In 4th International Workwhop on Hybrid Systems: Computation and Control (HSCC'01). Rome, Italy, March 28 to 30, 2001. LNCS 2034, pp 147-161, 2001.
  38. UPPAAL - Present and Future. Gerd Behrmann, Alexandre David, Kim Larsen, Oliver Möller, Paul Pettersson, and Wang Yi. In Proceedings of the 40th IEEE Conference on Decision and Control, 2001.
  39. A hybrid method for the wave equation. Larisa Beilina, Klas Samuelsson, and Krister Åhlander. Technical report / Department of Information Technology, Uppsala University nr 2001-024, 2001. (External link).
  40. Efficiency of a hybrid method for the wave equation. Larisa Beilina, Klas Samuelsson, and Krister Åhlander. In Finite Element Methods: Three-dimensional problems, volume 15 of GAKUTO Internat. Ser. Math. Sci. Appl., pp 9-21, Gakkotosho, Tokyo, 2001.
  41. Efficient symbolic state exploration of timed systems: Theory and implementation. Johan Bengtsson. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2001-009, Uppsala University, 2001. (fulltext).
  42. Reducing Memory Usage in Symbolic State-Space Exploration for Timed Systems. Johan Bengtsson. , Dept Information Technology, Uppsala University, 2001.
  43. Wireless communication in telemedicine using Bluetooth and IEEE 802.11b. Magnus Berggren. , Dept Information Technology, Uppsala University, 2001.
  44. A phenomenographic view on the socio-cultural activity theory in research concerning university students' learning of computer science in an internationally distributed environment. Anders Berglund. In Psychology of Programming Interest Group 13th Annual Workshop, 2001.
  45. Linear wave dispersion laws in unmagnetized relativistic plasma: Analytical and numerical results. Jan Bergman and Bengt Eliasson. In Physics of Plasmas, volume 8, pp 1482-1492, 2001. (DOI).
  46. Computationally efficient maximum likelihood approach to DOA estimation of a scattered source. O. Besson and P. Stoica. In WIRELESS PERSONAL COMMUNICATIONS, volume 16, number 2, pp 135-148, KLUWER ACADEMIC PUBL, 2001.
  47. Direction finding for a wavefront with imperfect spatial coherence. O. Besson, P. Stoica, and A. Gershman. In ICASSP 2001, the 26th International Conference on Acoustics, Speech and Signal Processing, Salt Lake City, USA, 2001, 2001.
  48. On frequency offset estimation for flat-fading channels. O. Besson and P. Stoica. In IEEE COMMUNICATIONS LETTERS, volume 5, number 10, pp 402-404, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2001.
  49. Simple and accurate direction of arrival estimator in the case of imperfect spatial coherence. O. Besson, P. Stoica, and AB Gershman. In IEEE TRANSACTIONS ON SIGNAL PROCESSING, volume 49, number 4, pp 730-737, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2001.
  50. Firewalls in Linux: Principles and Implementation. Yordanos G Beyene. , Dept Information Technology, Uppsala University, 2001.
  51. Reduced order models for diffusion systems. B. Bhikkaji and T. Söderström. In INTERNATIONAL JOURNAL OF CONTROL, volume 74, number 15, pp 1543-1557, 2001.
  52. Reduced order models for diffusion systems using singular perturbations. B. Bhikkaji and T. Söderström. In ENERGY AND BUILDINGS, volume 33, number 8, pp 769-781, 2001.
  53. Reduced order models for diffusion systems. Bharath Bhikkaji and Torsten Söderström. In International Journal of Control, volume 75, number 15, pp 1543-1557, 2001.
  54. Reduced order models for diffusion systems using singular perturbations. Bharath Bhikkaji and Torsten Söderström. In Energy and Buildings, volume 33, number 8, pp 769-781, 2001.
  55. Extending UNIX System Logging with SHARP. Matt Bing and Carl Erickson. In 14th Systems Administration Conference (LISA 2000): USENIX, 2001.
  56. Experiments with Iterative Improvement Algorithms on Completely Unimodal Hypercubes. H. Björklund, V. Petersson, and S. Vorobyov. , 2001.
  57. A new Education Programme for Master of Science in Engineering: Systems in Technology and Society. Christina Björkman and Jörgen Nissen. In Proceedings for SEFI (Société Européenne pour la Formation des Ingénieurs) Annual Conference 2001, 2001.
  58. Usability and Design Decisions in Software Development. Inger Boivie. , 2001.
  59. Low angle estimation: Models, methods, and bounds. K. Boman and P. Stoica. In DIGITAL SIGNAL PROCESSING, volume 11, number 1, pp 35-79, ACADEMIC PRESS INC, 2001.
  60. Shape and topology preserving multi-valued image pyramids for multi-resolution skeletonization. G. Borgefors, G. Ramella, and di Baja G Sanniti. In PATTERN RECOGNITION LETTERS, volume 22, number 6-7, pp 741-751, 2001.
  61. Hierarchical Decomposition of Multi-Scale Skeletons. G. Borgefors, G. Ramella, and G. Sanniti di Baja. In IEEE Trans. on Pattern Analysis and Machine Intelligence, volume 23, number 11, pp 1296-1312, 2001.
  62. Optimal Local Distances for Distance Transforms in 3D using an ExtendedNeighbourhood. G. Borgefors and S. Svensson. 2001.
  63. Design and usability in telemedicine. Erik Borälv. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2001-001, Uppsala University, 2001. (fulltext).
  64. Convergence Acceleration for Flow Problems. Henrik Brandén. Ph.D. thesis, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 598, Acta Universitatis Upsaliensis, Uppsala, 2001. (fulltext).
  65. Personal service environments: Openness and user control in user-service interaction. Markus Bylund. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2001-008, Uppsala University, 2001. (fulltext).
  66. A simple strategy for controlling the nitrate concentration in an activated sludge process using external carbon flow rate. Bengt Carlsson and RH Milocco. In LATIN AMERICAN APPLIED RESEARCH, volume 31, number 2, pp 115-120, 2001.
  67. Extending Equilibrium Markets. Per Carlsson, Fredrik Ygge, and Arne Andersson. In IEEE Intelligent Systems, volume 16, number 4, pp 18-26, 2001.
  68. Extending Equilibrium Markets. Per Carlsson, Fredrik Ygge, and Arne Andersson. In IEEE Intelligent Systems, volume 16, number 4, pp 18-26, 2001.
  69. Market and resource allocation algorithms with application to energy control. Per Carlsson. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2001-005, Uppsala University, 2001. (fulltext).
  70. An Object-Oriented Multi-Mediator Browser. Kristofer Cassel and Tore Risch. In 2nd International Workshop on User Interfaces to Data Intensive Systems, 2001. (External link).
  71. A cyber-icebreaker for an effective virtual group?. Tony Clear and Mats Daniels. In ACM SIGCSE Bulletin, volume 33, number 3, 2001. (External link).
  72. Practical verification of real-time systems. Alexandre David. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2001-013, Uppsala University, 2001. (fulltext).
  73. Heap Memory Management in Prolog with Tabling: Practice and Experience. Bart Demoen and Konstantinos Sagonas. In Journal of Functional and Logic Programming: Special Issue on Selected Best Papers from PADL 2000, volume 9, pp 1-56, 2001.
  74. On the parameterization of positive real sequences and MA parameter estimation. B. Dumitrescu, I. Tabus, and P. Stoica. In IEEE TRANSACTIONS ON SIGNAL PROCESSING, volume 49, number 11, pp 2630-2639, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2001.
  75. A Comparison of the GEMS Time Domain Solvers. Fredrik Edelvik and Gunnar Ledfelt. In Proc. EMB 01, Electromagnetic Computations: Methods and Applications, pp 59-66, Division of Scientific Computing, Uppsala University, Uppsala, Sweden, 2001.
  76. A parallel, iterative method of moments and physical optics hybrid solver for arbitrary surfaces. Johan Edlund. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2001-010, Uppsala University, 2001. (fulltext).
  77. Control strategies in a JAVA based activated sludge process simulator. M. Ekman, P. Samuelsson, and B. Carlsson. In 1st IWA Conference on ICA, Malmö, pp 51-58, 2001.
  78. Numerical simulation of kinetic effects in ionospheric plasma. Bengt Eliasson. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2001-004, Uppsala University, 2001. (fulltext).
  79. Outflow boundary conditions for the Fourier transformed one-dimensional Vlasov–Poisson system. Bengt Eliasson. In Journal of Scientific Computing, volume 16, pp 1-28, 2001. (DOI).
  80. A Worst-Case Execution-Time Analysis Tool Prototype for Embedded Real-Time Systems. J. Engblom, A. Ermedahl, and F. Stappert. In Proc. of the Workshop on Real-Time Tools (RT-TOOLS 2001) held in conjunction with CONCUR 2001, 2001. (External link).
  81. Getting the Least Out of Your C Compiler. J. Engblom. In Proc. of the Embedded Systems Conference, San Francisco, CMP Media, 2001. (External link).
  82. On Hardware and Hardware Models for Embedded Real-Time Systems. J. Engblom. In Proc. of the IEEE Embedded Real-Time Systems Workshop held in conjunction with the IEEE Real-Time Systems Symposium (RTSS 2001, 2001. (External link).
  83. Validating a Worst-Case Execution Time Analysis Method for an Embedded Processor. J. Engblom, A. Ermedahl, and Stappert Friedhelm. IT Dept Technical Reports, IT Dept, Uppsala, 2001. (External link).
  84. Mobile Teleradiologie: Alle Bilder immer und überall. U. Engelmann, A. Schröter, M. Schwab, T. Schweitzer, and E. Borälv. In Fortschr. Röntgenstr., volume 173, 2001.
  85. Mobile Teleradiology: All Images Everywhere. Engelmann U, Schröter A, Borälv E, Schweitzer T, Meinzer HP. In Proceedings of Computer Assisted Radiology and Surgery 2001, International Congress Series, p 1264, Elsevier, 2001.
  86. Das CHILI-Radiologiekonzept: Alle Bilder immer und überall. Engelmann U, Schröter A, Schwab M, Schweitzer T, Borälv E, Meinzer HP. In Fortschr. Röntgenstr., 2001.
  87. Mobile Teleradiologie mit CHILI. Engelmann U, Schweitzer T, Schröter A, Borälv E, Meinzer HP.. In Telemedizinführer Deutschland Ausgabe 2002, Ober-Mörlen: Medizin-Forum AG, 2001.
  88. Linux in Education: Teaching System Administration with Linux. Carl Erickson and Robert Adams. In Linux Journal, p 20, 2001.
  89. Structure-Keeping Colour Segmentation of Tree Crowns in Aerial Images. M. Erikson. 2001.
  90. Detection of large numbers of antigens using sequential immunofluorescence staining. Fredrik Erlandsson, Carolina Wählby, Ewert Bengtsson, and Anders Zetterberg. In 7th European Society for Analytical Cellular Pathology Congress (ESACP 2001), Caen, France, pp 56-57, 2001.
  91. Efficiency in the adaptive solution of inviscid compressible flow problems. Lars Ferm and Per Lötstedt. In Nonlinear Analysis, volume 47, pp 3467-3478, 2001. (DOI).
  92. Error control in the solution of flow problems. Lars Ferm, Per Lötstedt, and Stefan Söderberg. In Computational Fluid Dynamics Journal, volume 9, number 1, pp 506-514, 2001.
  93. Inductive Programming. P. Flener and D. Partridge. In Automated Software Engineering Journal, volume 8, number 2, pp 131-137, 2001.
  94. Matrix modelling. P. Flener, A. Frisch, B. Hnich, Z. Kiziltan, I. Miguel, and T. Walsh. In Proc. of Formul'01, the CP'01 Workshop on Modelling and Problem Formulation, 2001.
  95. Symmetry in matrix models. P. Flener, AM Frisch, B. Hnich, Z. Kiziltan, I. Miguel, J. Pearson, and T. Walsh. In Proc. of SymCon'01, the First International Workshop on Symmetry in CSPs, pp 41-47, 2001. (External link).
  96. Proceedings of SymCon'01, the First International Workshop on Symmetry in CSPs. Pierre Flener and Justin Pearson (eds). 2001. (External link).
  97. Statistical analysis of hyperspectral data from two Swedish lakes. P. Flink, T. Lindell, and C. Östlund. In Science of the Total Environment, volume 268, number 1-3, pp 155-169, 2001. (DOI).
  98. Mediator-Based Evolutionary design and Meta-Analysis Environments. Jesper Fredriksson, Per Svensson, and Tore Risch. In Journal of Intelligent Information Systems, volume 17, number 2-3, pp 301-322, 2001.
  99. Automatic registration and error detection of multiple slices using landmarks. Hans Frimmel, Lars Egevad, Christer Busch, and Ewert Bengtsson. In Analytical Cellular Pathology, volume 23, pp 159-165, 2001.
  100. The Design Of A Smart Card-Based Home-Help System. Anders Frisk, Göransson Bengt, Torsten Sandbäck, and Vello Thomasson. In Human-Computer Interaction, INTERACT ‘01, 2001.
  101. Interprocess communication utilising special purpose hardware. Johan Furunäs Åkesson. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2001-016, Uppsala University, 2001. (fulltext).
  102. Achieving optimum coded diversity with scalar codes. G. Ganesan and P. Stoica. In IEEE TRANSACTIONS ON INFORMATION THEORY, volume 47, number 5, pp 2078-2080, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2001.
  103. Differential space-time modulation based on amicable orthogonal designs. G. Ganesan and P. Stoica. In 35th ASILOMAR Conference on Signals, Systems and Computers, Pacific Grove, CA, 2001, 2001.
  104. Space-time block codes: A maximum SNR approach. G. Ganesan and P. Stoica. In IEEE TRANSACTIONS ON INFORMATION THEORY, volume 47, number 4, pp 1650-1656, 2001. (External link).
  105. Space-time diversity using orthogonal and amicable orthogonal designs. G. Ganesan and P. Stoica. In WIRELESS PERSONAL COMMUNICATIONS, volume 18, number 2, pp 165-178, KLUWER ACADEMIC PUBL, 2001.
  106. Utilizing space-time diversity for wireless communications. G. Ganesan and P. Stoica. In WIRELESS PERSONAL COMMUNICATIONS, volume 18, number 2, pp 149-163, KLUWER ACADEMIC PUBL, 2001.
  107. The stochastic CRB for array processing in unknown noise fields. A B Gershman, M. Pesavento, P. Stoica, and E G Larsson. In Proceedings of International Conference on Acoustics, Speech and Signal Processing (ICASSP) 2001, pp 2898-2902, 2001.
  108. Direction finding using data-supported optimization. AB Gershman and P. Stoica. In CIRCUITS SYSTEMS AND SIGNAL PROCESSING, volume 20, number 5, pp 541-549, BIRKHAUSER BOSTON INC, 2001.
  109. A User Centred Approach to Object Oriented User Interface Design. J. Gulliksen, B. Göransson, and M. Lif. In Designing Interactive Systems: Object Modelling and User Interface Design, pp 283-312, Addison Wesley Longman, 2001.
  110. Accessibility through Standardisation. J. Gulliksen, C. Lutsch, and S. Harker. In In Proceedings of the 1st international conference on Universal Access of Human-Computer Interfaces, UAHCI 2001, New Orleans, 2001.
  111. Guidelines, Methods and Processes for Accessibility. J. Gulliksen and C. Lutsch. In Special Interest Group to Universal Access of Human-Computer Interfaces, UAHCI 2001, New Orleans, 2001.
  112. HOW TO MAKE USER CENTRED DESIGN USABLE – A INTERACT '99 WORKSHOP. J. Gulliksen, I. Boivie, and A. Lantz. In SIGCHI Bulletin, 2001.
  113. Kvalitetssäkring av IT-stöd för det utvecklande arbetet - Tidigare och pågående forskning inom området. J. Gulliksen, B. Sandblad, Y. Sundblad, and Å. Walldius. , CID 2000, 2001.
  114. Reengineering the System Development Process for User Centred Design. J. Gulliksen and B. Göransson. In Proceedings of INTERACT 2001, IOS Press, 2001.
  115. The ISO Approach to the development of Ergonomics Standards for Accessibility. J. Gulliksen, S. Harker, and J. Steger. In Inclusive design guidelines for HCI, Taylor & Francis Ltd, 2001.
  116. Usability Throughout the Entire Software Development Lifecycle - A Summary of the INTERACT 2001 Workshop. J. Gulliksen and I. Boivie. 2001.
  117. Usability through User Centred Design Processes rather than Product Quality Assessment. J. Gulliksen. In Proceedings of Human Factors in Telecommunications 2001, Bergen, Norway., 2001.
  118. Work environment and computer systems development.. J. Gulliksen and B. Sandblad. In In Proceedings of the HCI International 2001, special session on Integreted design in Practice, New Orleans, 2001.
  119. A User-Centred Approach to Object-Oriented User Interface Design. Jan Gulliksen, Göransson Bengt, and Magnus Lif. In Designing Interactive Systems: Object Modeling and User Interface Design, 2001.
  120. Reengineering the Systems Development Process for User Centred Design. Jan Gulliksen and Göransson Bengt. In Human-Computer Interaction, INTERACT ‘01, pp 359-366, 2001.
  121. Deferred Correction Methods for Initial Value Problems. Bertil Gustafsson and Wendy Kress. In BIT Numerical Mathematics, volume 41, pp 986-995, 2001. (DOI).
  122. High order methods and domain decomposition. Bertil Gustafsson and Lina Hemmingsson-Frändén. In Absorbing Boundaries and Layers, Domain Decomposition Methods: Applications to Large Scale Computers, pp 341-347, Nova Science Publishers, Huntington, NY, 2001.
  123. The Godunov–Ryabenkii condition: The beginning of a new stability theory. Bertil Gustafsson. In Godunov Methods: Theory and Applications, pp 425-443, Kluwer/Plenum, New York, 2001.
  124. ANALYZING EXECUTION-TIME OF OBJECT-ORIENTED PROGRAMS USING ABSTRACT INTERPRETATION. Jan V Gustafsson. 2001.
  125. Usability Design: A framework for designing usable interactive systems in practice. Bengt Göransson. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2001-006, Uppsala University, 2001. (fulltext).
  126. High-performance computers: Yesterday, today, and tomorrow. E. Hagersten. In APPLIED PARALLEL COMPUTING, volume 1947, pp 18-18, SPRINGER-VERLAG BERLIN, 2001.
  127. Cache-less address translation. Erik Hagersten. 2001.
  128. Communication error reporting mechanism in a multiprocessing computer system. Erik Hagersten. 2001.
  129. Communication error reporting mechanism in a multiprocessing computer system. Erik Hagersten. 2001.
  130. Hybrid memory access protocol in a distributed shared memory computer system. Erik Hagersten. 2001.
  131. Multiprocessing system configured to perform efficient block copy operations. Erik Hagersten. 2001.
  132. Multiprocessing system configured to perform efficient block copy operations. Erik Hagersten. 2001.
  133. Multiprocessing system configured to perform efficient block copy operations. Erik Hagersten. 2001.
  134. Multiprocessor computer system employing a mechanism for routing communication traffic through a cluster node having a slice of memory direct. Erik Hagersten. 2001.
  135. Selective address translation in coherent memory replication. Erik Hagersten. 2001.
  136. Shared memory system for symmetric microprocessor systems. Erik Hagersten. 2001.
  137. Shared memory system for symmetric multiprocessor systems. Erik Hagersten. 2001.
  138. Skewed finite hashing function. Erik Hagersten. 2001.
  139. Skewed finite hashing function. Erik Hagersten. 2001.
  140. A statistical analysis of cerebral cortical perfusion changes following carotid endarterectomy. W. Haindl, R. Lundqvist, S. Som, G. Mitchell, and J. Frawley. 2001.
  141. Determination of Water Quality of Lake Erken, Sweden, by using Feature-Vector Based Analysis. H. Hamid Muhammed. In Irish Machine Vision and Image Processing Conference (IMVIP 2001), Maynooth, Ireland, p 261, 2001.
  142. Feature Vector Based Analysis: A Unified Concept for Multivariate Image Analysis. H. Hamid Muhammed. In Irish Machine Vision and Image Processing Conference (IMVIP 2001), Maynooth, Ireland, pp 219-226, 2001.
  143. Using Feature-Vector Based Analysis, based on Principal Component Analysis andIndependent Component Analysis, for Analysing Hyperspectral Images. H. Hamid Muhammed, P. Ammenberg, and E. Bengtsson. In 11th International Conference for Image Analysis and Processing (ICIAP2001), Palermo, Italy, pp 309-315, 2001.
  144. What is Feature­Vector Based Analysis?. H. Hamid Muhammed. In Swedish Society for Automated Image Analysis Symposium - SSAB 2001,ITN, Campus Norrköping, LinköpingUniversity, pp 131-134, 2001.
  145. Feature Vector Based Analysis: A Unified Concept for Multivariate Image Analysis. Hamed Hamid Muhammed. In Proceedings of Irish Machine Vision and Image Processing Conference, pp 219-226, 2001.
  146. Using Feature Vector Based Analysis, based on Principal Component Analysis and Independent Component Analysis, for Analysing Hyperspectral Images. Hamed Hamid Muhammed, Petra Ammenberg, and Ewert Bengtsson. In Proceedings of 11th International Conference for Image Analysis and Processing, pp 309-315, 2001.
  147. Approximated Phong Shading by using the Euler Method. A. Hast, T. Barrera, and E. Bengtsson. 2001.
  148. Improved Shading Performance by Avoiding Vector Normalization. A. Hast, T. Barrera, and E. Bengtsson. In Conference for Promotion of Research in IT at New Universities and at University Colleges in Sweden, pp 73-85, 2001.
  149. Approximated Phong Shading by using the Euler Method. Anders Hast, Tony Barrera, and Ewert Bengtsson. In Eurographics01, pp 43-48, 2001.
  150. Faster Computer Graphics - by Reformulation and Simplification of Mathematical Formulas and Algorithms. Anders Hast, Tony Barrera, and Ewert Bengtsson. In IMAGINE2001, 2001.
  151. Improved Shading Performance by avoiding Vector Normalization. Anders Hast, Tony Barrera, and Ewert Bengtsson. In WSCG01, pp 1-8, 2001.
  152. Performance breakdown of subspace-based methods: prediction and cure. M. Hawkes, A. Nehorai, and P. Stoica. In ICASSP 2001, the 26th International Conference on Acoustics, Speech and Signal Processing, Salt Lake City, USA, 2001, 2001.
  153. A nearly optimal preconditioner for the Navier-Stokes equations. Lina Hemmingsson-Frändén and Andrew Wathen. In Numerical Linear Algebra with Applications, volume 8, pp 229-243, 2001. (DOI).
  154. Pushdown automata, multiset automata, and Petri nets. Y. Hirshfeld and F. Moller. In THEORETICAL COMPUTER SCIENCE, volume 256, number 1-2, pp 3-21, ELSEVIER SCIENCE BV, 2001.
  155. Performance of high-accuracy PDE solvers on a self-optimizing NUMA architecture. Sverker Holmgren and Dan Wallin. In Euro-Par 2001: Parallel Processing, volume 2150 of Lecture Notes in Computer Science, pp 602-610, Springer-Verlag, Berlin, 2001. (DOI).
  156. Optimal reduced-rank estimation and filtering. YB Hua, M. Nikpour, and P. Stoica. In IEEE TRANSACTIONS ON SIGNAL PROCESSING, volume 49, number 3, pp 457-469, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2001.
  157. Combined Visualisation of Functional and Anatomical Brain Images. R. Hult and E. Bengtsson. In Proceedings of 12th Scandinavian Conference on Image Analysis, SCIA 2001, Bergen, Norway, p 84–89, 2001.
  158. Combined Visualisation of Functional and Anatomical Brain Images. R. Hult and E. Bengtsson. 2001.
  159. Grey-Level Morphology Based Segmentation of Cortex. R. Hult. In Swedish Society for Automated Image Analysis Symposium - SSAB 2001,ITN, Campus Norrköping, LinköpingUniversity, pp 151-154, 2001.
  160. Grey-Level Morphology Based Segmentation of T1-MRI of the Human Cortex. R. Hult and E. Bengtsson. 2001.
  161. Grey-level Morphology Based Segmentation of MRI of the Human Cortex. R. Hult. In Proceedings of ICIAP’01 11th International Conference on Image Analysis and Processing, Palermo, Italy, p 578–583, 2001.
  162. Grey-level Morphology Based Segmentation of MRI of the Human Cortex and Applications on Visualisation. Roger Hult. Licentiate thesis, CBA Licentiate Thesis nr 5, Centre for Image Analysis, 2001.
  163. Guided Synthesis of Control Programs Using UPPAAL. Thomas Hune, Kim G Larsen, and Paul Pettersson. In Nordic Journal of Computing ( NJC), volume 8, number 1, pp 43-64, 2001.
  164. Adaptive iteration to steady state of flow problems. Karl Hörnell and Per Lötstedt. Technical report / Department of Information Technology, Uppsala University nr 2001-003, 2001. (External link).
  165. Time step selection for shock problems. Karl Hörnell and Per Lötstedt. In Communications in Numerical Methods in Engineering, volume 17, pp 477-484, 2001. (DOI).
  166. Probabilistic Extensions of Process Algebras. Bengt Jonsson, Kim Larsen, and Wang Yi. In , pp 685-710, ELSEVIER, 2001.
  167. Incremental requirement specification for evolving systems. Jonsson B, Margaria T, Naeser G, Nystrom J, Steffen B. In Nordic Journal of Computing, volume 8, number 1, pp 65-87, 2001.
  168. Incremental Requirement Specification for Evolving Systems. Jonsson B, Margaria T, Naeser G, Nyström J, Steffen B. In Nordic Journal of Computing, volume 8, number 1, pp 65-87, 2001.
  169. An execution semantics for MSC-2000. Padilla G Jonsson B. In Proc. 10th SDL Forum: SDL 2001: Meeting UML, Lecture Notes in Computer Science, Springer Verlag, 2001.
  170. Evaluation of join strategies for distributed mediation. Vanja Josifovski, Timour Katchaounov, and Tore Risch. In Lecture Notes in Computer Science, volume 2151, pp 308-322, 2001.
  171. Join Strategies for Distributed Mediation. Vanja Josifovski, Timour Katchaounov, and Tore Risch. In 5th East-European Conference on Advances in Databases and Information Systems, 2001.
  172. Timestamp-Based Selective Cache Allocation. M. Karlsson and E. Hagersten. In Workshop on Memory Performance Issues, held in conjunction with the 28th International Symposium on Computer Architecture (ISCA28), Göteborg, Sweden, June 2001, 2001.
  173. Automatic license plate detection. Patrick Karlsson. Centre for Image Analysis, Uppsala, 2001.
  174. IT user learning: The role of informal processes. Iordanis Kavathatzopoulos. In New Technologies in Education and in Distance Education, pp 337-345, Atrapos, Athens, 2001.
  175. Knowledge production processes for optimal IT use. Iordanis Kavathatzopoulos. In Systems, social and internationalization design aspects of human-computer interaction, pp 577-581, 2001.
  176. Transparent proxy signalling. B. Knutsson and L. Peterson. In JOURNAL OF COMMUNICATIONS AND NETWORKS, volume 3, number 2, pp 164-174, KOREAN INST COMMUNICATIONS SCIENCES (K I C S), 2001.
  177. Architectures for application transparent proxies: A study of network enhancing software. Björn Knutsson. Ph.D. thesis, DoCS nr 118, Acta Universitatis Upsaliensis, Uppsala, 2001. (fulltext).
  178. Elimination of first order errors in shock calculations. Gunilla Kreiss, Gunilla Efraimsson, and Jan Nordström. In SIAM Journal on Numerical Analysis, volume 38, pp 1986-1998, 2001. (DOI).
  179. Asymptotic behavior of hyperbolic boundary value problems with relaxation term. Wendy Kress. In Hyperbolic Problems: Theory, Numerics, Applications, volume 141 of Internat. Ser. Numer. Math., pp 633-642, Birkhäuser, Basel, Switzerland, 2001.
  180. Boundary conditions and estimates for the linearized Navier-Stokes equations on staggered grids. Wendy Kress and Jonas Nilsson. Technical report / Department of Information Technology, Uppsala University nr 2001-019, 2001. (External link).
  181. Solo diagrams. Cosimo Laneve, Joachim Parrow, and Björn Victor. In Proceedings of TACS 2001, pp 127-144, 2001. (External link).
  182. Measurement and Analysis of Human Motion - An Uppsala Perspective. H. Lanshammar. 2001.
  183. As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata. K G Larsen, G. Behrmann, E. Brinksma, A. Fehnker, T. Hune, P. Pettersson, and J. Romijn. In 13th Conference on Computer Aided Verification, (CAV'01). 2001. LNCS 2102. Paris, France, July 18 to 23, 2001, pp 493-505, 2001.
  184. An algorithm for joint symbol timing and channel estimation for OFDM systems. E G Larsson, G. Liu, J. Li, and G B Giannakis. In IEEE Workshop on Statistical Signal Processing, pp 393-396, 2001.
  185. Demodulation of space-time codes in the presence of interference. E G Larsson, J. Liu, and J. Li. In IEEE Electronics Letters, volume 37, pp 697-698, 2001.
  186. Fast implementation of two-dimensional APES and CAPON spectral estimators. E G Larsson and P. Stoica. In Proceedings of International Conference on Acoustics, Speech and Signal Processing (ICASSP) 2001, pp 3069-3072, 2001.
  187. High-resolution SAR imaging with angular diversity. E G Larsson, G. Liu, P. Stoica, and J. Li. In IEEE Transactions on Aerospace and Electronic Systems, volume 37, pp 1359-1372, 2001.
  188. Joint symbol timing and channel estimation for OFDM based WLANs. E G Larsson, G. Liu, J. Li, and G B Giannakis. In IEEE Communications Letters, volume 5, pp 325-327, 2001.
  189. ML detection and decoding for space-time coding systems. E G Larsson, P. Stoica, and J. Li. In Proceedings of Asilomar Conference on Signals, Systems and Computers, 2001, 2001.
  190. Preamble design considerations for multiple-antenna OFDM based WLANs. E G Larsson and J. Li. In IEEE Signal Processing Letters, volume 8, pp 285-288, 2001.
  191. Removal of surface returns in ground-penetrating radar data. E G Larsson, J. Li, J. Habersat, G. Maksymonko, and M. Bradley. In Proceedings of SPIE Aerosense Conference, 2001.
  192. SAR image construction from gapped phase-history data. E G Larsson, P. Stoica, and J. Li. In IEEE International Conference on Image Processing, ICIP 2001, Thessaloniki, Greece, pp 608-611, 2001.
  193. Spectral estimation of gapped data and SAR imaging with angular diversity. E G Larsson, G. Liu, J. Li, P. Stoica, and R. Williams. In Proceedings of SPIE Aerosense Conference, 2001.
  194. On the Cramer-Rao bound for continuous-time AR parameter estimation with irregular sampling. E K Larsson and E G Larsson. 2001.
  195. Identification of Continuous-Time AR Processes Using Limiting Properties of Sampled Systems. E.K. Larsson and T. Söderström. Report 2001-006, 2001.
  196. High-resolution direction finding: The missing data case. EG Larsson and P. Stoica. In IEEE TRANSACTIONS ON SIGNAL PROCESSING, volume 49, number 5, pp 950-958, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2001.
  197. Reducing the ground-bounce effects for mine detection with a ground-penetrating radar. EG Larsson, R. Abrahamsson, J. Li, K. Gu, M. Bradley, J. Habersat, and G. Maksymonko. In Proceedings of the UCO/Countermine Forum, New Orleans, LA, 2001.
  198. On identification of continuous-time systems and irregular sampling. Erik K. Larsson. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2001-003, Uppsala University, 2001.
  199. Prefix-recognizable graphs and monadic second order logic. Martin Leucker. In Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, February 2001, pp 263-284, Springer, 2001. (External link).
  200. 2-D sinusoidal amplitude estimation with application to 2-D system identification. H. Li, W. Sun, P. Stoica, and J. Li. In ICASSP 2001, the 26th International Conference on coustics, Speech and Signal Processing, Salt Lake City, USA, 2001, 2001.
  201. Moving target feature extraction for airborne high-range resolution phased-array radar. J. Li, GQ Liu, NZ Jiang, and P. Stoica. In IEEE TRANSACTIONS ON SIGNAL PROCESSING, volume 49, number 2, pp 277-289, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2001.
  202. Workspaces Enhance Efficiency - Theories, Concepts and a Case Study. M. Lif, E. Olsson, J. Gulliksen, and B. Sandblad. In Information Technology and People, volume 14, number 3, pp 261-272, MCB University Press, 2001.
  203. Workspaces enhance efficiency: Theories, concepts and a case study. Magnus Lif, Eva Olsson, Jan Gulliksen, and Bengt Sandblad. In Information, Technology & People, volume 14, number 3, pp 261-272, 2001.
  204. Displaying meta-information in context. Mats Lind, Stefan Seipel, and Christer Mattiason. In Behaviour and Information Technology, volume 20, number 6, pp 427-432(6), 2001.
  205. Formal Design and Analysis of a Gear Controller. M. Lindahl, P. Pettersson, and W. Yi. In International Journal of Software Tools for Technology Transfer (STTT, volume 3, number 3, pp 353-368, Springer, 2001.
  206. A Comparison of Methods for Estimation of Intensity Non-Uniformities in 2D and 3D Microscope Images of Fluorescence Stained Cells. Joakim Lindblad and Ewert Bengtsson. In Proceedings of the 12th Scandinavian Conference on Image Analysis (SCIA), pp 264-271, 2001.
  207. A comparison of methods for estimation of intensity nonuniformities in 2D and 3D microscope images of fluorescence stained cells. Joakim Lindblad and Ewert Bengtsson. In In Proceedings of the 12th Scandinavian Conference on Image Analysis (SCIA), Bergen, Norway, pp 264-271, 2001.
  208. Perimeter and Area Estimates for Digitized Objects. Joakim Lindblad. In Swedish Society for Automated Image Analysis Symposium - SSAB 2001, ITN, Campus, pp 113-117, 2001.
  209. Statistical quality control for segmentation of fluorescence labeled cells. Joakim Lindblad, Carolina Wählby, Mikael Vondrus, Ewert Bengtsson, and Lennart Björkesten. In In Proceedings of the 5th Korea-Germany Joint Workshop on Advanced Medical Image Processing, Seoul, Korea, 2001.
  210. Statistical quality control for segmentation of fluorescence labelled cells. Joakim Lindblad, Carolina Wählby, Mikael Vondrus, Ewert Bengtsson, and Lennart Björkesten. In 5th Korea-Germany Joint Workshop on Advanced Medical Image Processing, Seoul, Korea, 2001.
  211. Three-dimensional variational data assimilation for a limited area model, Part II: Observation handling and assimilation experiments. Magnus Lindskog, Nils Gustafsson, Beatriz Navascués, Kristian S. Mogensen, Xiang-Yu Huang, Xiaohua Yang, Ulf Andræ, Loïk Berre, Sigurdur Thorsteinsson, and Jarmo Rantakokko. In Tellus. Series A, Dynamic meteorology and oceanography, volume 53, pp 447-468, 2001. (DOI).
  212. System for a Scalable Distributed Data Structure Having Scalable Availability. Witold Litwin, J.M Menon, and Tore Risch. USA, 2001. (External link).
  213. Dífferential space-code modulation for interference suppression. J. Liu, J. Li, H. Li, and E G Larsson. In IEEE Transactions on Signal Processing, volume 49, pp 1786-1795, 2001.
  214. High-rate differential space-code modulation for interference suppression. J. Liu, E G Larsson, J. Li, and H. Li. In Proceedings of IEEE Signal Processing Workshop on Signal Processing Advances in Wireless Communications, pp 283-286, 2001.
  215. Mixed C<sub>++</sub>/Fortran 90 implementation of parallel flow solvers. Malin Ljungberg and Michael Thuné. In Parallel Computational Fluid Dynamics: Trends and Applications, pp 233-240, Elsevier Science, Amsterdam, The Netherlands, 2001. (DOI).
  216. A Large-scale Testbed for Reproducible Ad hoc Protocol Evaluations. H. Lundgren, D. Lundberg, J. Nielsen, E. Nordström, and C. Tschudin. , Dept Information Technology, Uppsala University, 2001.
  217. Inter-individual SPECT brain scan registration based on a combined intensity and gradient similarity criterion. R. Lundqvist, S. Som, E. Bengtsson, and L. Thurfjell. 2001.
  218. An Evaluative Study of Simulated Annealing Based MRI-SPECT Brain ScanRegistration. R. Lundqvist, L. Barnden, S. Som, E. Bengtsson, and L. Thurfjell. 2001.
  219. Atlas-Based Fusion of Medical Brain Images: Methods and Applications. Roger Lundqvist. Ph.D. thesis, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 673, Acta Universitatis Upsaliensis, Uppsala, 2001. (fulltext).
  220. On the use of flexural wave propagation experiments for identification of complex modulus. K. Mahata, T. Söderström, M. Mossberg, L. Hillström, and S. Mousavi. 2001.
  221. Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001, Genova, Italy, April 2-6, 2001. Tiziana Margaria and Wang Yi (eds). Volume 2031 of Lecture Notes in Computer Science, Springer, 2001.
  222. An image analysis method to measure cross-sectional tracheid dimensions on softwood increment cores. M. Moell and G. Borgefors. In WOOD AND FIBER SCIENCE, volume 33, number 2, pp 200-212, 2001.
  223. Comparison of segmentation methods for digital image analysis of confocal microscope images to measure tracheid cell dimensions. MK Moell and LA Donaldson. In IAWA JOURNAL, volume 22, number 3, pp 267-288, 2001.
  224. Validation of Cycle-Accurate CPU Simulators against Real Hardware. Sven Montan. , Dept Information Technology, Uppsala University, 2001.
  225. Non-parametric identification of viscoelastic materials from wave propagation experiments. M. Mossberg, L. Hillström, and T. Söderström. In AUTOMATICA, volume 37, number 4, pp 511-521, 2001. (External link).
  226. Parametric identification of viscoelastic materials from time and frequency domain data. Magnus Mossberg, Lars Hillström, and Leif Abrahamsson. In Inverse Problems in Engineering, volume 9, pp 645-670, 2001. (DOI).
  227. High Order Difference Method for Low Mach Number Aeroacoustics. Bernhard Müller. In Proc. ECCOMAS CFD Conference 2001, p 20, The Institute of Mathematics and its Applications, Southend-on-Sea, UK, 2001.
  228. High Order Numerical Simulation of Sound Generated by the Kirchhoff Vortex. Bernhard Müller and Helen C. Yee. Technical report / Department of Information Technology, Uppsala University nr 2001-004, 2001. (External link).
  229. Improving the reliability of low Mach number flow computations. Bernhard Müller and Patrick Jenny. In Computational Fluid Dynamics Journal, volume 9, number 1, pp 515-528, 2001.
  230. AMOS­SDDS: A Scalable Distributed Data Manager for Windows Multicomputers. Yakham Ndiaye, Aly Wane Diene, Witold Litwin, and Tore Risch. In 14th International Conference on Parallel and Distributed Computing Systems, 2001. (External link).
  231. A fast multipole method solver for large scale scattering problems. Martin Nilsson. In Proc. EMB 01, Electromagnetic Computations: Methods and Applications, pp 148-155, Division of Scientific Computing, Uppsala University, Uppsala, Sweden, 2001.
  232. Finite volume approximations and strict stability for hyperbolic problems. Jan Nordström and Martin Björck. In Applied Numerical Mathematics, volume 38, pp 237-255, 2001. (DOI).
  233. High-order finite difference methods, multidimensional linear problems, and curvilinear coordinates. Jan Nordström and Mark H. Carpenter. In Journal of Computational Physics, volume 173, pp 149-174, 2001. (DOI).
  234. Model problems and the analysis of boundary procedures in CFD. Jan Nordström. In Absorbing Boundaries and Layers, Domain Decomposition Methods: Applications to Large Scale Computers, pp 109-117, Nova Science Publishers, Huntington, NY, 2001.
  235. Parameterization of state feedback gains for pole assignment. Hans Norlander. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2001-007, Uppsala University, 2001. (fulltext).
  236. What can process industry learn from Nintendo, - and other creators of video games?. Else Nygren. In People in Control. An international conference on Human Interfaces in Control Rooms, Cockpits and Command Centres: Information display and visualisation June 2001. University of Manchester, UK, 2001.
  237. Skeletonization of volumetric vascular images - Distance information utilized for visualization. I. Nystrom and O. Smedby. In , volume 5, number 1, pp 27-41JOURNAL OF COMBINATORIAL OPTIMIZATION, volume 5, number 1, pp 27-41, 2001.
  238. Extracting the process structure of Erlang applications. Jan Nystrom and Bengt Jonsson. In Proc. Erlang Workshop, Firenze, Italy, 2001.
  239. Curve Skeletonization by Junction Detection. I. Nyström, G. Sanniti di Baja, and S. Svensson. In International Workshop on Visual Form (IWVF4), Capri, Italy, pp 229-238, 2001.
  240. Representing Volumetric Vascular Structures Using Curve Skeletons. I. Nyström, G. Sanniti di Baja, and S. Svensson. 2001.
  241. Lokförarens informationsmiljö och ATC. Ett användarperspektiv. E. Olsson, L. Kecklund, M. Ingre, and A. Jansson. , Dept Information Technology, Uppsala University, 2001.
  242. Mapping pathological Tc-99m-d,I-hexamethylpropylene amine oxime uptake in Alzheimer's disease and frontal lobe dementia with SPECT. M. Pagani, D. Salmaso, C. Ramstrom, C. Jonsson, R. Lundqvist, L. Thurfjell, PO Schnell, A. Wagner, H. Jacobsson, and SA Larsson. In DEMENTIA AND GERIATRIC COGNITIVE DISORDERS, volume 12, number 3, pp 177-184, 2001.
  243. An introduction to the pi-calculus. Joachim Parrow. In Handbook of Pocess Algebra, pp 479-543, Elsevier, 2001.
  244. A Dynamic Load Balancing Architecture for PDES using PVM on Clusters. Arnold Pears and N. Thong. In Lecture Notes in Computer Science: Recent Advances in Parallel Virtual Machine and Message Passing Interface, volume 2131, pp 166-173, 2001. (External link).
  245. Student Evaluation in an International Collaborative Project Course. Arnold Pears, Mats Daniels, Anders Berglund, and Carl Erickson. In Proceedings WISE workshop, 2001.
  246. A randomized subexponential algorithm for parity games. V. Petersson and S. Vorobyov. In Nordic Journal of Computing, volume 8, pp 324-345, 2001.
  247. Interior-Point Approach to Parity games. V. Petersson and S. Vorobyov. In Logic in Computer Science 2001, 2001.
  248. Parity games: interior-point approach. V. Petersson and S. Vorobyov. , 2001.
  249. Real-Time Tools. P. Pettersson and S. Yovine. , Uppsala University, Department of Information Technology, 2001.
  250. Sound Emission of Rotor Induced Deformations of Generator Casings. Wolfgang Polifke, Bernhard Müller, and Helen C. Yee. In Proc. 7th AIAA/CEAS Aeroacoustics Conference, volume 2001-2274 of Conference Proceeding Series, AIAA, 2001.
  251. Implementing Low Latency Distributed Software-Based Shared Memory. Zoran Radovic and Erik Hagersten. In Proceedings of the Workshop on Memory Performance Issues (WMPI 2001), held in conjunction with the 28th International Symposium on Computer Architecture (ISCA28), Göteborg, Sweden, June 2001., 2001. (External link).
  252. Removing the Overhead from Software-Based Shared Memory. Zoran Radovic and Erik Hagersten. In Proceedings of Supercomputing 2001, Denver, Colorado, USA, 2001. (External link).
  253. A local refinement algorithm for data partitioning. Jarmo Rantakokko. In Applied Parallel Computing: New Paradigms for HPC in Industry and Academia, volume 1947 of Lecture Notes in Computer Science, pp 140-148, Springer-Verlag, Berlin, 2001. (DOI).
  254. Biomechanics of Slips. M. Redfern, R. Cham, K. Gielo-Perczak, R. Grönqvist, M. Hirvonen, H. Lanshammar, M. Marpet, C. Yi-Chung Pai, and C. Powers. In Ergonomics, volume 44, number 13, pp 1138-1166, 2001.
  255. Distributed Data Integration by Object-Oriented Mediator Servers. Tore Risch and Vanja Josifovski. In Concurrency and Computation: Practice and Experience, volume 13, number 11, 2001. (External link).
  256. Feature Based Merging of Application Specific Regions. A. Rydberg and G. Borgefors. 2001.
  257. Integrated Method for Boundary Delineation of Agricultural Fields in Multispectral Satellite Images. A. Rydberg and G. Borgefors. In EEE Trans. on Geoscience and Remote Sensing, Special Issue on IGARSS'00: Taking the Pulse of the Planet, volume 39, number 11, pp 2514-2520, 2001.
  258. Integrated Multispectral Edge and Line Detection for Feature Specific Segmentation. A. Rydberg and G. Borgefors. 2001.
  259. Using Shape Information to Merge Over-Segmented Agricultural Fields. A. Rydberg. In Swedish Society for Automated Image Analysis Symposium - SSAB 2001,ITN, Campus Norrköping, LinköpingUniversity, pp 127-130, 2001.
  260. The limits of fixed-order computation. K. Sagonas, T. Swift, and DS Warren. In THEORETICAL COMPUTER SCIENCE, volume 254, number 1-2, pp 465-499, ELSEVIER SCIENCE BV, 2001.
  261. Generalized linear precoder and decoder design for MIMO channels using the weighted MMSE criterion. H. Sampath, P. Stoica, and A. Paulraj. In IEEE Transactions Communications, volume 49, pp 2198-2206, 2001.
  262. Feedforward control of the external carbon flow rate in an activated sludge process. P. Samuelsson and B. Carlsson. In WATER SCIENCE AND TECHNOLOGY, volume 43, number 1, pp 115-122, I W A PUBLISHING, 2001.
  263. Control of the aeration volume in an activated sludge process for nutrient removal. P. Samuelsson and B. Carlsson. In Proceedings of the 1st IWA Conference on Instrumentation, Control and Automation, Malmö 3-7 June 2001, pp 43-50, 2001.
  264. A JAVA based simulator of activated sludge processes. Pär Samuelsson, Mats Ekman, and Bengt Carlsson. In MATHEMATICS AND COMPUTERS IN SIMULATION, volume 56, number 4-5, pp 333-346, 2001.
  265. Modelling and control of activated sludge processes with nitrogen removal. Pär Samuelsson. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2001-011, Uppsala University, 2001. (fulltext).
  266. Mobile Teleradiologie auf dem PDA. Schröter A, Schweitzer T, Borälv E, Meinzer HP.. In In Telemed 2001. Tagungsband zur 6. Fortbildungsveranstaltung und Arbeitstagung. 9.-10. Nov. 2001 in Berlin, Berlin: Institut für Informatik, 2001.
  267. Weighted Distance Transforms in Rectangular Grids. I.-M. Sintorn and G. Borgefors. 2001.
  268. Storage Allocation for Embedded Processors. Jan Sjödin and Carl von Platen. In Compilers, Architectures and Tools for Embedded Systems; CASES 2001, pp 15-23, 2001.
  269. Efficient Longest Executable Path Search for Programs with Complex Flows and Pipeline Effects. F. Stappert, A. Ermedahl, and J. Engblom. IT Dept Technical Reports, IT Dept, Uppsala, 2001. (External link).
  270. Efficient Longest Executable Path Search for Programs with Complex Flows and Pipeline Effects.. F. Stappert, A. Ermedahl, and J. Engblom. In Proceedings of the 4th International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES 2001), ACM Press, 2001. (External link).
  271. A comparison of partitioning schemes for blockwise parallel SAMR algorithms. Johan Steensland, Stefan Söderberg, and Michael Thuné. In Applied Parallel Computing: New Paradigms for HPC in Industry and Academia, volume 1947 of Lecture Notes in Computer Science, pp 160-169, Springer-Verlag, Berlin, 2001. (DOI).
  272. Domain-based partitioning for parallel SAMR applications. Johan Steensland. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2001-002, Uppsala University, 2001.
  273. Dynamic structured grid hierarchy partitioners using inverse space-filling curves. Johan Steensland. Technical report / Department of Information Technology, Uppsala University nr 2001-002, 2001. (External link).
  274. User-Centred Design of a Train Driver Display. Robert Stjernström. , Dept Information Technology, Uppsala University, 2001.
  275. Maximum-SNR Space-Time Designs for MIMO Channels. O. Stoica and G. Ganesan. 2001.
  276. Comments on Linearization Method for Finding Cramer-Rao Bounds in Signal Processing. P. Stoica and E G Larsson. In IEEE Transactions on Signal Processing, volume IEEE Transactions on Signal Processing, pp 3168-3169, 2001.
  277. Direction-of-arrival estimation of an amplitude-distorted wavefront. P. Stoica, O. Besson, and AB Gershman. In IEEE TRANSACTIONS ON SIGNAL PROCESSING, volume 49, number 2, pp 269-276, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2001.
  278. Estimating optimal weights for instrumental variable methods. P. Stoica and M. Jansson. In DIGITAL SIGNAL PROCESSING, volume 11, number 3, pp 252-268, ACADEMIC PRESS INC, 2001.
  279. Linear regression constrained to a ball. P. Stoica and G. Ganesan. In DIGITAL SIGNAL PROCESSING, volume 11, number 1, pp 80-90, ACADEMIC PRESS INC, 2001.
  280. Nonparametric NMR spectroscopy. P. Stoica and T. Sundin. In JOURNAL OF MAGNETIC RESONANCE, volume 152, number 1, pp 57-69, ACADEMIC PRESS INC, 2001.
  281. Nonparametric spectral analysis of gapped data via an adaptive filtering approach. P. Stoica, GQ Liu, J. Li, and EG Larsson. In CIRCUITS SYSTEMS AND SIGNAL PROCESSING, volume 20, number 5, pp 485-496, BIRKHAUSER BOSTON INC, 2001.
  282. Parameter estimation problems with singular information matrices. P. Stoica and TL Marzetta. In IEEE TRANSACTIONS ON SIGNAL PROCESSING, volume 49, number 1, pp 87-90, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2001.
  283. Space-time block coding for channels with inter-symbol interference. P. Stoica and E. Lindskog. In 35th ASILOMAR Conference on Signals, Systems and Computers, Pacific Grove, CA, 2001, 2001.
  284. The stochastic CRB for array processing: A textbook derivation. P. Stoica, EG Larsson, and AB Gershman. In IEEE SIGNAL PROCESSING LETTERS, volume 8, number 5, pp 148-150, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2001.
  285. Plume Detection in Airborne CASI Data by Forward and Inverse Multispectral Modeling. N. Strömbeck, M. Liljeberg, and P. Ammenberg. In 6th International Conference, Remote Sensing for Marine and Coastal Environments 2000, Charleston, South Carolina, p 8 pages, 2001.
  286. Spectral analysis and magnetic resonance spectroscopy. Tomas Sundin. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 29, Acta Universitatis Upsaliensis, Uppsala, 2001.
  287. Using distributed database queries and composable mediators to support requirements analysis. Sutinen K., Katchaounov T., Malmqvist J.. In Proceedings of INC0SE'2001, 2001. (External link).
  288. A database generator for human brain imaging. R P Svensson, G. Lindeberg, T. Risch, T. Baumann, P. Dehmel, A. Fredriksson, J. Halldorson, H. Forsberg, L. Young, and L K. Zilles. In TRENDS in Neurosciences, volume 24, number 10, 2001. (External link).
  289. A Tool for Decomposing 3D Discrete Objects. S. Svensson and G. Sanniti di Baja. 2001.
  290. Some Measurements of Fibres in Volume Images of Paper using MedialRepresentations Detected on Distance Transform. S. Svensson and M. Aronsson. 2001.
  291. Nonlinear techniques for Mode C climb/descent rate estimation in ATC systems. Egils Sviestins and Torbjörn Wigren. In IEEE Transactions on Control Systems Technology, volume 9, number 1, pp 163-174, 2001. (DOI).
  292. On coordinate transformations for summation-by-parts operators. Magnus Svärd. Technical report / Department of Information Technology, Uppsala University nr 2001-015, 2001. (External link).
  293. Exploiting arrays with multiple invariances using MUSIC and MODE. AL Swindlehurst, P. Stoica, and M. Jansson. In IEEE TRANSACTIONS ON SIGNAL PROCESSING, volume 49, number 11, pp 2511-2521, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2001.
  294. A parallel block-based PDE solver with space-time adaptivity. Stefan Söderberg. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2001-015, Uppsala University, 2001. (fulltext).
  295. An evaluation of algorithms for computing the covariance function of a multivariable ARMA process. T. Söderström, M. Sebek, J. Jezek, V. Kucera, and D. Henrion. In European Control Conference, ECC 01, Porto, Portugal, September 04-07, 2001, 2001.
  296. Perspectives on errors-in-variables estimation for dynamic systems. T. Söderström, U. Soverini, and K. Mahata. In 3rd International Workshop on TLS and Errors-in-Variables Modelling, Leuven, Belgium, August 27-29, 2001, 2001.
  297. Perspectives on errors-in-variables estimation for dynamic systems. T. Söderström, U. Soverini, and K. Mahata. Department of Information Technology, 2001.
  298. Object-oriented modeling of parallel PDE solvers. Michael Thuné, Krister Åhlander, Malin Ljungberg, Markus Nordén, Kurt Otto, and Jarmo Rantakokko. In The Architecture of Scientific Software, pp 159-174, Kluwer Academic Publishers, Norwell, MA, 2001.
  299. Optimal parameter values for a parallel structured adaptive mesh refinement algorithm. Michael Thuné and Stefan Söderberg. In Applied Parallel Computing: New Paradigms for HPC in Industry and Academia, volume 1947 of Lecture Notes in Computer Science, pp 177-186, Springer-Verlag, Berlin, 2001. (DOI).
  300. MR spectroscopy quantitation: a review of time-domain methods. L. Vanhamme, T. Sundin, Hecke P Van, and Huffel S Van. In NMR IN BIOMEDICINE, volume 14, number 4, pp 233-246, JOHN WILEY & SONS LTD, 2001.
  301. Termination Proofs for Logic Programs with Tabling. Sofie Verbaeten, Konstantinos Sagonas, and Danny De Schreye. In ACM Transactions on Computational Logic, volume 2, number 1, pp 57-92, 2001.
  302. Dealing with Memory-Intensive Web Requests. Thiemo Voigt and Per Gunningberg. 2001.
  303. Kernel-based Control of Persistent Web Server Connections. Thiemo Voigt and Per Gunningberg. In ACM Performance Review, volume 29, number 2, 2001. (DOI).
  304. A New Approach Towards Microvessel Quantification. M. Vondrus, K. Wester, C. Busch, E. Bengtsson, and P.-U. Malmström. In 14th International Congress ofCytology, Amsterdam, The Netherlands, p 8 pages, 2001.
  305. Contributions to Computer Aided Image Analysis in Medical Microscopy. Mikael Vondrus. Licentiate thesis, CBA Licentiate Thesis nr 6, Centre for Image Analysis, 2001.
  306. Discrete element models of particle flows. Richard Wait. In Mathematical Modelling and Analysis, volume 6, pp 156-164, 2001.
  307. Target-type probability combining algorithms for multisensor tracking. Torbjörn Wigren. In Signal Processing, Sensor Fusion, and Target Recognition X, volume 4380 of Proc. SPIE, pp 46-62, Bellingham, WA, 2001. (DOI).
  308. Adaptive ground bounce removal. R. Wu, A. Clement, J. Li, E G Larsson, M. Bradley, J. Habersat, and G. Maksymonko. In IEEE Electronics Letters, volume 37, pp 1250-1252, 2001.
  309. Analysis of cells using image data from sequential immunofluorescence staining experiments. Carolina Wählby, Fredrik Erlandsson, Joakim Lindblad, Anders Zetterberg, and Ewert Bengtsson. In 5th Korea-Germany Joint Workshop on Advanced Medical Image Processing, Seoul, Korea, 2001.
  310. Multi-dimensional image analysis of sequential immunofluorescence staining. Carolina Wählby, Fredrik Erlandsson, Anders Zetterberg, and Ewert Bengtsson. In 7th European Society for Analytical Cellular Pathology Congress (ESACP 2001), Caen, France, p 61, 2001.
  311. Multiple tissue antigen analysis by sequential immunofluorescence staining and multi-dimensional image analysis. Carolina Wählby, Fredrik Erlandsson, Karl Nyberg, Joakim Lindblad, Anders Zetterberg, and Ewert Bengtsson. In Proceedings of the 12th Scandinavian Conference on Image Analysis (SCIA), p 25–32, 2001.
  312. Multiple tissue antigen analysis by sequential immunofluorescence staining and multi-dimensional image analysis. Carolina Wählby, Fredrik Erlandsson, Karl Nyberg, Joakim Lindblad, Anders Zetterberg, and Ewert Bengtsson. In Proceedings of SCIA-01 (Scandinavian Conference on Image Analysis), pp 25-31, 2001.
  313. Sequential immunofluorescence staining and image analysis for detetion of large numbers of antigens in individual cell nuclei. Carolina Wählby, Fredrik Erlandsson, Ewert Bengtsson, and Anders Zetterberg. In Cytometry, volume 47, pp 32-41, 2001.
  314. Fourth order symmetric finite difference schemes for the wave equation. Abraham Zemui. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2001-014, Uppsala University, 2001. (fulltext).
  315. Arbetsmiljö och IT i ett Användarperspektiv. C. Åborg and J. Gulliksen. In Användarperspektiv - Människa, Teknik, Organisation, Närings- och teknikutvecklingsverket (NUTEK), 2001.
  316. Systemutveckling och arbetsmiljö: Att förebygga hälso- och arbetsmiljöproblem vid datorstött arbete genom bättre systemutveckling. Carl Åborg, Bengt Sandblad, Jan Gulliksen, and Iordanis Kavathatzopoulos. In Arbete, Människa, Miljö & Nordisk Ergonomi, volume 1, number 14-18, pp 14-18, 2001.
  317. Echo cancellation in mono and stereo using the conjugate gradient method. P. Åhgren and E G Larsson. In IEEE/EURASIP International Workshop on Acoustic Echo and Noise Control, 2001.
  318. Teleconferencing, system identification and array processing. Per Åhgren. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2001-012, Uppsala University, 2001. (fulltext).
  319. On the role of mathematical abstractions for scientific computing. Krister Åhlander, Magne Haveraaen, and Hans Z. Munthe-Kaas. In The Architecture of Scientific Software, pp 145-158, Kluwer Academic Publishers, Norwell, MA, 2001.
  320. Mapping of the water quality of Lake Erken, Sweden, from Imaging Spectrometry and Landsat Thematic Mapper. C. Östlund, P. Flink, N. Strömbeck, D. Pierson, and T. Lindell. In Science of the Total Environment, volume 268, number 1-3, pp 139-154, 2001. (DOI).

Updated  2009-12-17 17:05:07 by Björn Victor.