Institutionen för informationsteknologi
Institutionen för informationsteknologi
Uppsala universitetInformationsteknologiForskningPublikationer
This page in English
Lyssna

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

Uppdaterad  2009-12-17 17:04:34 av Björn Victor.