Hoppa till huvudinnehållet
Institutionen för informationsteknologi

Publikationer 2000

  1. On error bounds of finite difference approximations to partial differential equations: Temporal behavior and rate of convergence. Saul Abarbanel, Adi Ditkowski och Bertil Gustafsson. Technical report / Department of Information Technology, Uppsala University nr 2000-024, 2000. (fulltext).
  2. On error bounds of finite difference approximations to partial differential equations: Temporal behavior and rate of convergence. Saul Abarbanel, Adi Ditkowski och Bertil Gustafsson. I Journal of Scientific Computing, volym 15, pp 79-116, 2000. (DOI).
  3. Convergence of the RPEM as applied to harmonic signal modeling. Emad Abd-Elrady. Technical report / Department of Information Technology, Uppsala University nr 2000-027, 2000. (fulltext).
  4. Symbolic Reachability Analysis Based on SAT Solvers. P.A Abdulla, P. Bjesse och N. Een. I Proc. TACAS'00, 6th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, 2000. (Extern länk).
  5. Algorithmic analysis of programs with well quasi-ordered domains. PA Abdulla, K. Cerans, B. Jonsson och YK Tsay. I INFORMATION AND COMPUTATION, volym 160, nummer 1-2, pp 109-127, 2000. (Extern länk).
  6. BQOs and Timed Petri Nets. Parosh Aziz Abdulla och Aletta Nylén. Technical report / Department of Information Technology, Uppsala University nr 2000-21, Department of Information Technology, Uppsala University, 2000. (fulltext).
  7. Better is Better than Well: On Efficient Verification of Infinite-State Systems. Parosh Aziz Abdulla och Aletta Nylen. I Proc. LICS' 00, 16th IEEE Int. Symp. on Logic in Computer Science, 2000. (Extern länk).
  8. Unfoldings of Unbounded Petri Nets. Parosh Aziz Abdulla, Purushothaman Iyer och Aletta Nylen. I Proc. 12tn Int. Conf. on Computer Aided Verification, Lecture Notes in Computer Science, pp 495-507, Springer Verlag, 2000.
  9. Inverse Electromagnetic Scattering Using the Finite-Difference Time-Domain Method. Erik Abenius, Bo Strand och Stephane Alestra. I Proc. Millennium Conference on Antennas and Propagation, p 4, ESA Publications, Noordwijk, The Netherlands, 2000.
  10. EXPRESS'00: 7th International Workshop on Expressiveness in Concurrency. Luca Aceto och Björn Victor (red). Volym 39 av Electronic Notes in Theoretical Computer Science, Elsevier, 2000. (DOI, Extern länk).
  11. Teaching Operating Systems and Networking to Information Systems Majors. Robert Adams och Carl Erickson. I Special Interest Group of Computer Science Eduction (SIGCSE), 2000.
  12. High-resolution frequency analysis with small data record. P. Ahgren och P. Stoica. I ELECTRONICS LETTERS, volym 36, nummer 20, pp 1745-1747, IEE-INST ELEC ENG, 2000.
  13. Proceedings ASE 2000. The Fifteenth IEEE International Conference on Automated Software Engineering, 2000. Perry Alexander och Pierre Flener (red). IEEE Computer Society Press, 2000.
  14. Analysis of CASI data - A case study from the archipelago of Stockholm, Sweden. P. Ammenberg. I 6th International Conference, Remote Sensing for Marine and CoastalEnvironments, Charleston, South Carolina, USA, 2000.
  15. A Real Time Animator for Hybrid Systems. Tobias Amnell och David Alexandre. 2000.
  16. Integer Programming for Combinatorial Auction Winner Determination.. Arne Andersson, Mattias Tenhunen och Fredrik Ygge. I Proc. of the Fourth International Conference on Multiagent Systems (ICMAS-00), 2000.
  17. Resource Allocation With Noisy Functions. Arne Andersson, Per Carlsson och Fredrik Ygge. Technical report / Department of Information Technology, Uppsala University nr 2000-017, Department of Information Technology, Uppsala University, 2000. (fulltext).
  18. Tight bounds for searching a sorted array of strings. Arne Andersson, T. Hagerup, J. Hastad och O. Petersson. I SIAM journal on computing (Print), volym 30, nummer 5, pp 1552-1578, 2000. (DOI, Extern länk).
  19. Tight(er) Worst-case Bounds on Dynamic Searching and Priority Queues.. Arne Andersson och Mikkel Thorup. I IEEE Symposium on Theory of Computing (STOC), 2000.
  20. Comparison of two different approaches for paper volume assembly. M. Aronsson och A. Fayyazi. I Symposium on Image Analysis - SSAB 2000, pp 57-60, 2000.
  21. Detection and quantification of foveal avascular zone alterations in diabetic retinopathy. L. Ballerini. I 1st Int. Workshop on Computer Assisted Fundus Image Analysis (CAFIA), 2000.
  22. Determination of fat content in NMR images of meat. L. Ballerini. 2000.
  23. Determination of fat contents in NMR images of meat: preliminary results. L. Ballerini. I Symposium on Image Analysis - SSAB 2000, pp 79-82, 2000.
  24. Testing MRI and image analysis techniques for fat quantification in meat science. L. Ballerini, A. Högberg, G. Borgefors, A.-C. Bylund, A. Lindgård, K. Lundström, O. Rakotonirainy och B. Soussi. 2000.
  25. Reflection principles in computational logic. J. Barklund och P. Dell'Acqua. I JOURNAL OF LOGIC AND COMPUTATION, volym 10, nummer 6, pp 743-786, OXFORD UNIV PRESS, 2000.
  26. Validation of fully automatic brain SPET to MR co-registration. L. Barnden, R. Kwiatek, Y. Lau, B. Hutton, L. Thurfjell, K. Pile och C. Rowe. I EUROPEAN JOURNAL OF NUCLEAR MEDICINE, volym 27, nummer 2, pp 147-154, 2000.
  27. The technical development in the ICT-field. E. Bengtsson. I IT at school between vision and practice - a research overview, pp 39-55, 2000.
  28. How do individual portable computers effect students learning?. Anders Berglund och Mats Daniels. I IEEE Frontiers in education conference, Kansas City, pp S3D7-S3D10, 2000. (Extern länk).
  29. Approximate maximum likelihood estimators for array processing in multiplicative noise environments. O. Besson, F. Vincent, P. Stoica och AB Gershman. I IEEE TRANSACTIONS ON SIGNAL PROCESSING, volym 48, nummer 9, pp 2506-2518, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2000.
  30. Decoupled estimation of DOA and angular spread for a spatially distributed source. O. Besson och P. Stoica. I IEEE TRANSACTIONS ON SIGNAL PROCESSING, volym 48, nummer 7, pp 1872-1882, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2000.
  31. Model reduction for diffusion systems. Bharath Bhikkaji. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2000-011, Uppsala University, 2000.
  32. Reduced order models for diffusion systems using singular perturbations. Bharath Bhikkaji och Torsten Söderström. Technical report / Department of Information Technology, Uppsala University nr 2000-028, 2000. (fulltext).
  33. Impact of the Ethernet capture effect on bandwidth measurements. Mats Björkman och Bob Melander. I NETWORKING 2000, volym 1815, pp 156-167, 2000.
  34. TEMADAG – ITERATIV UTVECKLING OCH PROJEKTSTYRNING. I. Boivie, J. Gulliksen och A. Lantz. Technical report TRITA-NA-D0010, CID-105, 2000. (Extern länk).
  35. Low-angle estimation: Models, methods and bounds. Katarina Boman. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2000-001, Uppsala University, 2000. (fulltext).
  36. Simplification of 3D skeletons using distance information. G. Borgefors, I. Nyström, G. Sanniti di Baja och S. Svensson. 2000.
  37. Some weighted distance transforms in four dimensions. G. Borgefors. 2000.
  38. Mobile Teleradiologie: Anwendungsszenarien und Benutzeranforderungen.. Erik Borälv, Andre Schröter, K. Bernauer, M. Schwab, C. Söllig, JL Lopez, A. Pappa, MR Bahner, R. Loose och HP Meinzer. I Telemedizinführer Deutschland. Ausgabe 2001., pp 327-331, 2000.
  39. Requirements for a new Generation of Personal Digital Assistants intended for medical Use. Erik Borälv, Uwe Engelmann, Andre Schröter, M. Schwab och HP Meinzer. 2000. (Extern länk).
  40. Regular Model Checking. A. Bouajjani, B. Jonsson, M. Nilsson och T. Touili. I Proc. 12th Int. Conf. on Computer Aided Verification, 2000. (Extern länk).
  41. Individual tree-based timber volume assessment using high spatial resolution laserscanning data. T. Brandtberg. I Symposium on Image Analysis - SSAB 2000, pp 83-86, 2000.
  42. Convergence acceleration for the steady state Euler equations. Henrik Brandén och Sverker Holmgren. Technical report / Department of Information Technology, Uppsala University nr 2000-035, 2000. (fulltext).
  43. Numerical boundary conditions for ODE. Henrik Brandén. Technical report / Department of Information Technology, Uppsala University nr 2000-026, 2000. (fulltext).
  44. Preconditioners Based on Fundamental Solutions. Henrik Brandén och Per Sundqvist. Technical report / Department of Information Technology, Uppsala University nr 2000-032, Department of Information Technology, Uppsala University, 2000. (Revised version 2005-001, fulltext).
  45. Teknik som kan minska kollektivtrafikresenärernas oro: KFB Rapport 2000:34. G. Bryding, M. Börjesson, T. Engström, P. Eklund, Mats Haglund, Anders Jansson, L. Mattsson, J. Rudolf, Bengt Sandblad och Lars Åberg. KFB Rapport nr 2000: 34, 2000.
  46. Reinforcement learning for admission control and routing. Jakob Carlström. Doktorsavhandling, DoCS nr 116, Acta Universitatis Upsaliensis, Uppsala, 2000.
  47. Asymptotic performance of optimal gain-and-phase estimators of sensor arrays. Q. Cheng, YB Hua och P. Stoica. 2000.
  48. Using groupware for international collaborative learning. Tony Clear och Mats Daniels. I IEEE Frontiers in education conference, Kansas City, pp F1C18-F1C23, 2000. (Extern länk).
  49. Multi-Level Project Work; a Study in Collaboration. Mats Daniels och Lars Asplund. I IEEE Frontiers in Education conference, pp F4C11-F4C13, 2000. (Extern länk).
  50. Teaching inter-institutional courses: Sharing challenges and resources. Mats Daniels, Dianne Hagen, Anders Berglund, Annegret Gold, Mary Last, Tony Clear, Erkki Sutinen och Bruce Klein. I ACM SIGCS Bulletin, pp 178-179, 2000.
  51. Using a Real-Life Setting to Combine Social and Technical Skills. Mats Daniels, Anders Jansson, Iordanis Kavathatzopoulos och Marian Petre. I IEEE Frontiers in Education conference, Frontiers in Education, pp F4C6-F4C9, 2000. (DOI, fulltext:print).
  52. Decidability and complexity of simultaneous rigid E-unification with one variable and related results. A. Degtyarev, Y. Gurevich, P. Narendran, M. Veanes och A. Voronkov. I THEORETICAL COMPUTER SCIENCE, volym 243, nummer 1-2, pp 167-184, ELSEVIER SCIENCE BV, 2000.
  53. CHAT: the copy-hybrid approach to tabling. B. Demoen och K. Sagonas. I FUTURE GENERATION COMPUTER SYSTEMS, volym 16, nummer 7, pp 809-830, ELSEVIER SCIENCE BV, 2000.
  54. Heap garbage collection in XSB: Practice and experience. B. Demoen och K. Sagonas. I PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, volym 1753, pp 93-108, SPRINGER-VERLAG BERLIN, 2000.
  55. Explicit Hybrid Time Domain Solver for the Maxwell Equations in 3D. Fredrik Edelvik och Gunnar Ledfelt. I Journal of Scientific Computing, volym 15, pp 61-78, 2000. (DOI).
  56. Finite volume solvers for the Maxwell equations in time domain. Fredrik Edelvik. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2000-005, Uppsala University, 2000. (fulltext).
  57. Hybrid FV-FD Solver for the Maxwell Equations. Fredrik Edelvik, Ulf Andersson och Gunnar Ledfelt. I Proc. Millennium Conference on Antennas and Propagation, p 4, ESA Publications, Noordwijk, The Netherlands, 2000.
  58. An investigation of hybrid techniques for scattering problems on disjunct geometries. Johan Edlund, Stefan Hagdahl och Bo Strand. I Proc. Millennium Conference on Antennas and Propagation, p 4, ESA Publications, Noordwijk, The Netherlands, 2000.
  59. On efficient implementation of the Capon algorithm. T. Ekman, A. Jakobsson och P. Stoica. I EUSIPCO 2000, Tampere, Finland, 2000.
  60. Amos II Java Interfaces. Dan Elin och Tore Risch. 2000. (Extern länk).
  61. A detailed analysis of cyclin a accumulation at the G(1)/S border in normal and transformed cells. F. Erlandsson, C. Linnman, S. Ekholm, E. Bengtsson och A. Zetterberg. I EXPERIMENTAL CELL RESEARCH, volym 259, nummer 1, pp 86-95, 2000.
  62. A Detailed Analysis of Cyclin A Accumulation at the G1/S Border in Normal and Transformed Cells. Fredrik Erlandsson, Carolina Linnman-Wählby, Susanna Ekholm, Ewert Bengtsson och Anders Zetterberg. I Experimental Cell Research, volym 259, pp 86-95, 2000.
  63. A detailed analysis of cyclin A accumulation at the G1/S border in normal and transformed cells.. Fredrik Erlandsson, Carolina Wählby (nee Linnman), Susanna Ekholm, Ewert Bengtsson och Anders Zetterberg. I Experimental Cell Research, volym 256, pp 86-95, 2000. (Extern länk).
  64. Adaptive error control for steady state solutions of inviscid flow. Lars Ferm och Per Lötstedt. Technical report / Department of Information Technology, Uppsala University nr 2000-003, 2000. (fulltext).
  65. On numerical errors in the boundary conditions of the Euler equations. Lars Ferm och Per Lötstedt. Technical report / Department of Information Technology, Uppsala University nr 2000-007, 2000. (fulltext).
  66. Measurement and modelling of radiance reflectance in Garda lake. S. Ferrantini, C. Giardino, Don C Pierson, Niklas Strömbeck och E. Zilioli. I EOS/SPIE Europto, Remote Sensing Symposium, 2000.
  67. Abstraction of Communication Channels in Promela: A Case Study. Elena Fersman och Bengt Jonsson. 2000.
  68. Arkitekturprinciper för informationsöverlägsenhet i framtidens ledningssystem. Per-Olof Fjällström, G. Neider, M. Persson, Tore Risch och Per Svensson. Försvarets forskningsinstitut, 2000. (Extern länk).
  69. Radar views the forest in a new light. J. Fransson och F. Walter. I Fakta Skog, SLU, nummer 8, pp 1-4, 2000.
  70. Estimation of forest parameters using CARABAS-II VHF SAR data. J.E.S. Fransson, F. Walter och L.M.H. Ulander. I IEEE Trans. on Geoscience and Remote Sensing, volym 38, nummer 2, pp 720-727, 2000.
  71. Mapping of forest stand parameters using VHF SAR data. J.E.S. Fransson, A. Gustavsson, L.M.H. Ulander och F. Walter. 2000.
  72. Towards an operational use of VHF SAR data for forest mapping and forest management. J.E.S. Fransson, A. Gustavsson, L.M.H. Ulander och F. Walter. 2000.
  73. HOS-based orthogonal subspace algorithm for causal ARMA system identification. G. Ganesan och KVS Hari. I SIGNAL PROCESSING, volym 80, nummer 3, pp 535-542, ELSEVIER SCIENCE BV, 2000.
  74. Generalized quadratic minimization and blind multichannel deconvolution. A. Gorokhov och P. Stoica. I IEEE TRANSACTIONS ON SIGNAL PROCESSING, volym 48, nummer 1, pp 201-213, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2000.
  75. On the Direct Fourier Method for Computer Tomography. David Gottlieb, Bertil Gustafsson och Patrik Forssén. I IEEE Transactions on Medical Imaging, volym 19, pp 223-232, 2000. (DOI).
  76. DESIGN PATTERNS VERSUS STYLE GUIDES – RE-INVENTING THE WHEEL?. J. Gulliksen, I. Boivie och B. Göransson. I IFIP 13.2 Workshop on Patterns in Human Computer Interaction, London,, 2000.
  77. HOW TO MAKE USER CENTRED DESIGN USABLE. J. Gulliksen, A. Lantz och I. Boivie. TRITA-NA-D0006, CID-72, 2000. (Extern länk).
  78. TEMADAG PÅ CID OM ANVÄNDARCENTRERAD DESIGN OCH PROTOTYPING. J. Gulliksen, B. Göransson, R. Whitehand, T. Binder, I. Boivie och A. Lantz. Technical report TRITA-NA-D0004, CID-70, 2000. (Extern länk).
  79. DESIGN VERSUS DESIGN – FROM THE SHAPING OF PRODUCT TO THE CREATION OF USER EXPERIENCES. Jan Gulliksen, Ann Lantz, Kerstin Severinsson-Eklundh och Lars Oestreicher (red). 2000.
  80. Datakommunikation. Per Gunningberg. I Professorsinstallation 2000, Uppsala Universitet, 2000. (Extern länk).
  81. Boundary Conditions and Estimates for the Steady Stokes Equations on Staggered Grids. Bertil Gustafsson och Jonas Nilsson. I Journal of Scientific Computing, volym 15, pp 29-59, 2000. (DOI).
  82. Implicit high-order difference methods and domain decomposition for hyperbolic problems. Bertil Gustafsson och Lina Hemmingsson-Frändén. I Applied Numerical Mathematics, volym 33, pp 493-500, 2000. (DOI).
  83. Analyzing execution-time of object-oriented programs using abstract interpretation. Jan Gustafsson. Doktorsavhandling, DoCS nr 115, Acta Universitatis Upsaliensis, Uppsala, 2000.
  84. Directory-based, shared-memory, scaleable multiprocessor computer system having deadlock-free transaction flow sans flow control protocol. Erik Hagersten. 2000.
  85. Hybrid queue and backoff computer resource lock featuring different spin speeds corresponding to multiple-states. Erik Hagersten. 2000.
  86. Method for increasing the speed of data processing in a computer system. Erik Hagersten. 2000.
  87. Supporting timing analysis by automatic bounding of loop iterations. C. Healy, M. Sjodin, V. Rustagi, D. Whalley och Engelen R Van. I REAL-TIME SYSTEMS, volym 18, nummer 2-3, pp 129-156, KLUWER ACADEMIC PUBL, 2000. (Extern länk).
  88. Identification of complex modulus from measured strains on an axially impacted bar using least squares. L. Hillstrom, M. Mossberg och B. Lundberg. I JOURNAL OF SOUND AND VIBRATION, volym 230, nummer 3, pp 689-707, 2000.
  89. A meta-heuristic for subset decision problems. Brahim Hnich, Zeynep Kiziltan och Pierre Flener. I Proc. of the 2000 ERCIM/CompuLog Workshop on Constraint Programming, 2000.
  90. Convergence acceleration for the linearized Navier-Stokes equations using semicirculant approximations. Sverker Holmgren, Henrik Brandén och Erik Sterner. I SIAM Journal on Scientific Computing, volym 21, pp 1524-1550, 2000. (DOI).
  91. A scheme for unifying optimization and constraint satisfaction methods. J. Hooker, G. Ottosson, ES Thorsteinsson och HJ Kim. I KNOWLEDGE ENGINEERING REVIEW, volym 15, nummer 1, pp 11-30, CAMBRIDGE UNIV PRESS, 2000.
  92. A novel method for quantitative fat analysis in meat by in vivo Magnetic Resonance Imaging. A. Högberg, L. Ballerini, B. Soussi, A. Lindgård, O. Rakotonirainy, G. Borgefors, K. Lundström och A.-C. Bylund. I 46th International Conference on Meat Science and Technology, Buenos Aires, Argentina, pp 372-373, 2000.
  93. A novel method for quantitative fat analysis in meat by in vivo Magnetic Resonance Imaging. A. Högberg, L. Ballerini, B. Soussi, A. Lindgård, O. Rakotonirainy, G. Borgefors, K. Lundström och A.-C. Bylund. I Livsmedel 2000, Nationella livsmedelsforskardaga, Uppsala, Sweden, 2000.
  94. Numerical approaches to optimal control of a model equation for shear flow instabilities. Markus Högberg och Martin Berggren. I Flow Turbulence and Combustion, volym 65, pp 299-320, 2000. (DOI).
  95. Time step selection for shock problems. Karl Hörnell och Per Lötstedt. Technical report / Department of Information Technology, Uppsala University nr 2000-020, 2000. (fulltext).
  96. Ställa en gåta?. Amelie Hössjer. I Upsala Nya Tidning, nummer 13/11 2000, 2000.
  97. Combining Capon and APES for estimation of spectral lines. A. Jakobsson och P. Stoica. I CIRCUITS SYSTEMS AND SIGNAL PROCESSING, volym 19, nummer 2, pp 159-169, BIRKHAUSER BOSTON INC, 2000.
  98. Computationally efficient two-dimensional capon spectrum analysis. A. Jakobsson, SL Marple och P. Stoica. I IEEE TRANSACTIONS ON SIGNAL PROCESSING, volym 48, nummer 9, pp 2651-2661, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2000.
  99. On efficient implementation of the 2-D Capon algorithm. A. Jakobsson, T. Ekman och P. Stoica. I IEEE International Conference on Acoustics, Speech and Signal Processing, Istanbul, Turkiet, 2000.
  100. Att köra tåg: Lokförarens arbete ur ett systemperspektiv. Anders Jansson, Eva Olsson och Lena Kecklund. Technical report / Department of Information Technology, Uppsala University nr 2000-031, 2000. (fulltext).
  101. Profile-guided optimization across process boundaries .. Erik Johansson och Sven-Olof Nyström. I ACM SIGPLAN Workshop on Dynamic and Adaptive Compilation (Dynamo'00). Jan 18, 2000, 2000.
  102. Transitive closures of regular relations for verifying infinite-state systems. B. Jonsson och M. Nilsson. I TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, volym 1785, pp 220-234, SPRINGER-VERLAG BERLIN, 2000.
  103. Reproducibility and repeatability of 99Tcm-HMPAr CBF SPET in normal subjectsat rest using brain atlas matching. C. Jonsson, M. Pagani, L. Johansson, L. Thurfjell, H. Jacobsson och S.A. Larsson. I Nuclear Medicine Communications, volym 21, nummer 1, pp 9-18, 2000.
  104. Amplitude and frequency analysis of force plate data in sitting children with and without MMC. A. Karlsson, S. Norrlin, HC Silander, Margareta Dahl och H. Lanshammar. I CLINICAL BIOMECHANICS, volym 15, nummer 7, pp 541-545, 2000.
  105. Correlations between force plate measures for assessment of balance. A. Karlsson och G. Frykberg. I CLINICAL BIOMECHANICS, volym 15, nummer 5, pp 365-369, ELSEVIER SCI LTD, 2000.
  106. Computing the Cramer-Rao lower bound for noisy input output systems. E. Karlsson, P. Stoica och T. Söderström. I Signal Processing, volym 37, nummer 4, pp 511-521, 2000.
  107. Distributed View Expansion in Composable Mediators. Timour Katchaounov, Vanja Josifovski och Tore Risch. Research report - University of Uppsala, Department of Information Science, Division of Computer Science, 2000:2, Uppsala: Uppsala University Press, 2000. (Extern länk).
  108. Distributed View Expansion in Object-Oriented Mediators. Timour Katchaounov, Vanja Josifovski och Tore Risch. I Fifth IFCIS International Conference on Cooperative Information Systems, Eilat, Israel, 2000. (Extern länk).
  109. Autonomi och etisk kompetensutveckling: Utbildnings- och utvärderingsverktyg för personer och organisationer. Iordanis Kavathatzopoulos. Arktéon, Uppsala, 2000.
  110. Ethical Competence Questionnaire-Political & Ethical Autonomy Questionnaire-Working Life and Business. Iordanis Kavathatzopoulos. I Commissioned reviews of 250 psychological tests, pp 827-831, The Edwin Mellen Press, Lewiston, NY, 2000.
  111. Ethical competence and confidence for IT users and designers. Iordanis Kavathatzopoulos. I Ethics in the age of information technology, volym 7 av CTE, pp 301-309, Linköpings universitet, Linköping, 2000.
  112. Railway safety and the train driver information environment. Lena Kecklund, Michael Ingre, Göran Kecklund, Marie Söderström, Torbjörn Åkerstedt, Erik Lindberg, Anders Jansson, Eva Olsson, Bengt Sandblad och Per Almqvist. I Computers in Railways VII, pp 1047-1056, WIT Press, Southampton, 2000.
  113. Teaching inter-institutional courses: sharing challenges and resources. Bruce Klein, Mats Daniels, Dianne Hagan, Anders Berglund, Annegret Goold, Mary Last, Tony Clear och Erkki Sutinen. I ACM SIGCSE Bulletin, volym 32, nummer 3, pp 178-179, 2000.
  114. Use of database technology for coupled discrete-finite element simulations of multibody systems. P. Komodromos och K. Orsborn. I Finite Element Techniques and Developments, 2000.
  115. Identification of continuous AR processes from unevenly sampled data. E K Larsson och T. Söderström. I Reglermöte 2000 (National Conference on Control), 2000.
  116. Approaches for Identifying Continuous-Time AR Processes from Unevenly Sampled Data. E.K. Larsson och T. Söderström. I Proceedings of IFAC SYSID 2000, 2000.
  117. A parallel domain decomposition method for the Helmholtz equation. Elisabeth Larsson och Sverker Holmgren. Technical report / Department of Information Technology, Uppsala University nr 2000-006, 2000. (fulltext).
  118. Domain Decomposition and Preconditioned Iterative Methods for the Helmholtz Equation. Elisabeth Larsson. Doktorsavhandling, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 523, Acta Universitatis Upsaliensis, Uppsala, 2000.
  119. Efficient implementation of model-checkers for networks of timed automata. Fredrik Larsson. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2000-003, Uppsala University, 2000. (fulltext).
  120. On memory-block traversal problems in model-checking timed systems. Fredrik Larsson, Paul Pettersson och Wang Yi. I Tools and Algorithms for the Construction and Analysis of Systems, pp 127-141, 2000.
  121. Applying configuration management techniques to component-based systems. Magnus Larsson. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2000-007, Uppsala University, 2000. (fulltext).
  122. An International Student/Faculty Collaboration: The Runestone Project. Mary Last, Vicki Almstrum, Mats Daniels, Carl Erickson och Bruce Klein. I ACM SIGCSE Bulletin: Inroads, 2000.
  123. Computationally efficient parameter estimation for harmonic sinusoidal signals. H. Li, P. Stoica och J. Li. I SIGNAL PROCESSING, volym 80, nummer 9, pp 1937-1944, ELSEVIER SCIENCE BV, 2000.
  124. Object-Oriented Mediator Queries to XML Data. H. Lin, T. Risch och T. Katchaounov. I Proc. 1st Intl. Conf. on Web Information Systems Engineering, 2000. (Extern länk).
  125. Object-Oriented Mediator Queries to XML Data. Hui Lin, Tore Risch och Timour Katchaounov. I The International Workshop on World Wide Web Semantics (WebSem 2000), 2000. (Extern länk).
  126. A Complete Axiomatisation for Timed Automata. Huimin Lin och Wang Yi. Technical report / Department of Information Technology, Uppsala University nr 2000-025, Department of Information Technology, Uppsala University, 2000. (fulltext).
  127. A complete axiomatisation for timed automata. Huimin Lin och Wang Yi. I FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science, pp 277-289, 2000.
  128. Histogram thresholding using kernel density estimates. Joakim Lindblad. I In Proceedings of the Swedish Society for Automated Image Analysis (SSAB) Symposium on Image Analysis, Halmstad, Sweden, pp 41-44, 2000.
  129. Histogram thresholding using kernel density estimates. Joakim Lindblad. I Symposium on Image Analysis - SSAB 2000, pp 41-44, 2000.
  130. Measurement and simulation based techniques for real-time systems analysis. Markus Lindgren. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2000-010, Uppsala University, 2000. (fulltext).
  131. A novel method for quantitative fat analysis in meat by in vivo MRI. A. Lindgård, O. Rakotonirainy, A. Högberg, L. Ballerini, K. Lundström, G. Borgefors, A.-C. Bylund och B. Soussi. I 17th Annual Meeting of the European Society for Magnetic Resonance in Medicine and Biology, Paris, France, 2000.
  132. Color vision based road estimation for automotive safety systems. Andreas Lingvall, Mattias Björkman och Torbjörn Wigren. I Proc. 7th, World Congress on Intelligent Transport Systems (ITS), 2000.
  133. Method and System for Data Recovery Using a Distributed and Scalable Data Structure. Witold Litwin, J.M Menon och Tore Risch. USA, 2000. (Extern länk).
  134. Distributed computing and safety critical systems in Ada. Kristina Lundqvist. Doktorsavhandling, DoCS nr 114, Acta Universitatis Upsaliensis, Uppsala, 2000.
  135. Development of a computer program for volume estimation of arteriovenous malformations from biplane DSA images. R. Lundqvist, M. Soderman, K. Ericson, E. Bengtsson och L. Thurfjell. I MEDICAL IMAGE COMPUTING AND COMPUTER-ASSISTED INTERVENTION - MICCAI 2000, volym 1935, pp 746-755, 2000.
  136. Convergence analysis of iterative methods by pseudodifference operators. Per Lötstedt. I Journal of Computational and Applied Mathematics, volym 115, pp 397-417, 2000. (DOI).
  137. Implicit solution of hyperbolic equations with space-time adaptivity. Per Lötstedt, Stefan Söderberg, Alison Ramage och Lina Hemmingsson-Frändén. Technical report / Department of Information Technology, Uppsala University nr 2000-023, 2000. (fulltext).
  138. Intuitionistic logic and implicit definability. L. Maksimova. I ANNALS OF PURE AND APPLIED LOGIC, volym 105, nummer 1-3, pp 83-102, ELSEVIER SCIENCE BV, 2000.
  139. Vector ARMA estimation: A reliable subspace approach. J. Mari, P. Stoica och T. McKelvey. I IEEE TRANSACTIONS ON SIGNAL PROCESSING, volym 48, nummer 7, pp 2092-2104, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2000.
  140. Identification of viscoelastic materials. M. Mossberg, L. Hillström och T. Söderström. I 12th IFAC Symposium on System Identification, 2000.
  141. Identification of viscoelastic materials. M. Mossberg, L. Hillström och T. Söderström. I Reglermöte 2000 (National Conference on Control), 2000.
  142. Identification of viscoelastic materials and continuous-time stochastic systems. Magnus Mossberg. Doktorsavhandling, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 548, Acta Universitatis Upsaliensis, Uppsala, 2000.
  143. A comparison of rapid automatic global thresholding methods for wood images. M. Moëll och L. Donaldsson. I Symposium on Image Analysis - SSAB 2000, pp 49-52, 2000.
  144. A flexible framework for detection of feature interactions in telecommunication systems. Gustaf Naeser. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2000-006, Uppsala University, 2000. (fulltext).
  145. Scalable Distributed Datastructures for High-Performance Databases. Yakham Ndiaye, Aly Wane Diene, Witold Litwin och Tore Risch. I Proc. 3rd Workshop on Distributed Data and Structures (WDAS'2000), 2000. (Extern länk).
  146. Initial-Boundary-Value Problems for the Stokes and Navier–Stokes Equations on Staggered Grids. Jonas Nilsson. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 26, Acta Universitatis Upsaliensis, Uppsala, 2000.
  147. Regular model checking. Marcus Nilsson. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2000-008, Uppsala University, 2000. (fulltext).
  148. A fast multipole accelerated block quasi minimum residual method for solving scattering from perfectly conducting bodies. Martin Nilsson. I Proc, volym 2000:4 av Antennas and Propagation Society International Symposium, pp 1848-1851, IEEE, 2000. (DOI).
  149. Some Applications of Remote Sensing for Monitoring of Environment and Agriculture. J. Nisell. Licentiatavhandling, CBA Licentiate Thesis nr 4, Centre for Image Analysis, 2000.
  150. Disposition av intranätets förstasida.: En undersökning av förändringen av 100 intranäts förstasidor under 1 år.. Else Nygren. Uppdragsrapport E Nygren, 2000.
  151. Effektiv presentation för intranät-tillämpningar: Projektredogörelse. Else Nygren. Rådet för Arbetslivsforskning 2000, 2000.
  152. KEMAB Intranät.: Utvärdering av prototyp 2 daterad 991010. Else Nygren. Uppdragsrapport E Nygren, 2000.
  153. Telia Intranät Analys av användartester: Form och navigation. Else Nygren. 2000.
  154. Analysis of Magnetic Resonance Angiography Images Using Skeletonization and Distance Transforms. I. Nyström och Ö. Smedby. I , 2000.
  155. A formalisation of the ITU-T Intelligent Network standard. Jan Nyström. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2000-009, Uppsala University, 2000. (fulltext).
  156. Säkerhetssamtal. Nuläge och förändringsbehov. Eva Olsson, Bengt Sandblad och Lena Kecklund. Technical report / Department of Information Technology, Uppsala University nr 2000-033, Department of Information Technology, Uppsala University, 2000. (fulltext).
  157. The vertical ground reaction force for analysis of balance?. A. Onell. I GAIT & POSTURE, volym 12, nummer 1, pp 7-13, ELSEVIER SCI IRELAND LTD, 2000.
  158. Integration of Constraint Programming and Integer Programming for Combinatorial Optimization. Greger Ottosson. Doktorsavhandling, Uppsala theses in computing science nr 33, Acta Universitatis Upsaliensis, Uppsala, 2000.
  159. Trios in Concert. Joachim Parrow. I Proof, Language and Interaction, Essays in Honor of Robin Milner, pp 621-637, MIT Press, 2000.
  160. A staged tag scheme for Erlang. Mikael Pettersson. Technical report / Department of Information Technology, Uppsala University nr 2000-029, Department of Information Technology, Uppsala University, 2000. (fulltext).
  161. An integrated decomposition and partitioning approach for irregular block-structured applications. Jarmo Rantakokko. I Parallel and Distributed Processing, volym 1800 av Lecture Notes in Computer Science, pp 485-496, Springer-Verlag, Berlin, 2000. (DOI).
  162. Partitioning strategies for structured multiblock grids. Jarmo Rantakokko. I Parallel Computing, volym 26, pp 1661-1680, 2000. (DOI).
  163. Modeling and parameter estimation of the diffusion equation. Susanne Remle. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2000-002, Uppsala University, 2000. (fulltext).
  164. IT i skolan mellan vision och praktik  : en forskningsöversikt. Ulla Riis, Ewert Bengtsson, Fahlén Lennart, Jens Pedersen och Joakim Samuelsson (red). Skolverkets monografiserie, Skolverket, Stockholm, 2000.
  165. ALisp User's Guide. Tore Risch. 2000. (Extern länk).
  166. Amos II External Interfaces. Tore Risch. 2000. (Extern länk).
  167. Optimizing Code Size through Procedural Abstraction. Johan Runeson, Sven-Olof Nyström och Jan Sjödin. Technical report / Department of Information Technology, Uppsala University nr 2000-022, Department of Information Technology, Uppsala University, 2000. (fulltext).
  168. Integrated method for boundary delineation of agricultural fields in multispectralsatellite images. A. Rydberg. I Int. Geoscience and Remote Sensing Symposium (IGARSS 2000), Honolulu, Hawaii, pp 1678-1680, 2000.
  169. An abstract machine for efficiently computing queries to well-founded models. K. Sagonas, T. Swift och DS Warren. I JOURNAL OF LOGIC PROGRAMMING, volym 45, nummer 1-3, pp 1-41, ELSEVIER SCIENCE INC, 2000.
  170. Time studies as a tool for (computer science) education research. Anna Sandström och Mats Daniels. I ACM Australasian computing education conference, Melbourne, 2000. (Extern länk).
  171. Classification of two-voxel thick surfaces: a first approach. G. Sanniti di Baja och S. Svensson. CBA Internal report No. 19, Centre for Image Analysis, 2000.
  172. Detecting centres of maximal geodesic discs on the distance transform of surfaces in 3D images. G. Sanniti di Baja och S. Svensson. 2000.
  173. Editing 3D binary images using distance transform. G. Sanniti di Baja och S. Svensson. 2000.
  174. Surface skeletons detected on the D6 distance transform. G. Sanniti di Baja och S. Svensson. I Joint Workshop on Syntactical and Structural Pattern Recognition (SSPR2000) and Statistical Pattern Recognition (SPR 2000), pp 387-396, 2000.
  175. Numerical solution of the reduced Navier-Stokes equations for internal incompressible flows. Martin Scholtysik, Bernhard Müller och Torstein K. Fanneløp. I AIAA Journal, volym 38, pp 1603-1614, 2000.
  176. Algorithmic Information Theory and Kolmogorov Complexity. Alexander Shen. Technical report / Department of Information Technology, Uppsala University nr 2000-034, Department of Information Technology, Uppsala University, and Independent University of Moscow, Russia, 2000. (fulltext).
  177. Predictable high-speed communications for distributed real-time systems. Mikael Sjödin. Doktorsavhandling, DoCS nr 117, Acta Universitatis Upsaliensis, Uppsala, 2000.
  178. The Reconstruction of the Digital Hyperbola Segment from Its Code. Natasa Sladoje. I International Conference on Discrete Geometry for Computer Imagery, volym 1953 av Lecture Notes in Computer Science, pp 159-170, Springer Berlin/Heidelberg, Berlin, Heidelberg, 2000. (DOI).
  179. Identification methods of dynamic systems in presence of input noise. U. Soverini och T. Söderström. I 12th IFAC Symposium on System Identification, 2000.
  180. Characterization of domain-based partitioners for parallel SAMR applications. Johan Steensland, Michael Thuné, Sumir Chandra och Manish Parashar. I Proc. Parallel and Distributed Computing and Systems: 2000, pp 425-430, ACTA Press, Calgary, Canada, 2000.
  181. Adaptive filter-bank approach to restoration and spectral analysis of gapped data. P. Stoica, EG Larsson och J. Li. I ASTRONOMICAL JOURNAL, volym 120, nummer 4, pp 2163-2173, UNIV CHICAGO PRESS, 2000.
  182. Amplitude estimation of sinusoidal signals: Survey, new results, and an application. P. Stoica, HB Li och J. Li. I IEEE TRANSACTIONS ON SIGNAL PROCESSING, volym 48, nummer 2, pp 338-352, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2000.
  183. Analysis of mussel growth data. P. Stoica, EG Larsson och J. Sorelius. I HYDROBIOLOGIA, volym 438, nummer 1-3, pp 245-249, 2000.
  184. Exact ML estimation of spectroscopic parameters. P. Stoica och T. Sundin. I JOURNAL OF MAGNETIC RESONANCE, volym 145, nummer 1, pp 108-114, ACADEMIC PRESS INC, 2000.
  185. MA estimation in polynomial time. P. Stoica, T. McKelvey och J. Mari. I IEEE TRANSACTIONS ON SIGNAL PROCESSING, volym 48, nummer 7, pp 1999-2012, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2000.
  186. MIMO system identification: State-space and subspace approximations versus transfer function and instrumental variables. P. Stoica och M. Jansson. I IEEE TRANSACTIONS ON SIGNAL PROCESSING, volym 48, nummer 11, pp 3087-3099, IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2000.
  187. Maximum likelihood DOA estimation for constant-modulus signal. P. Stoica och O. Besson. I ELECTRONICS LETTERS, volym 36, nummer 9, pp 849-851, IEE-INST ELEC ENG, 2000.
  188. On a Parameter Estimation Algorithm for MA Time Series. Petre Stoica och Girish Ganesan. Technical report / Department of Information Technology, Uppsala University nr 2000-15, Department of Information Technology, Uppsala University, 2000. (fulltext).
  189. Detecting a D6 surface skeleton by iterative thinning. S. Svensson. I Symposium on Image Analysis - SSAB 2000, pp 37-40, 2000.
  190. Optimal recursive state estimation with quantized measurements. Egils Sviestins och Torbjörn Wigren. I IEEE Transactions on Automatic Control, volym 45, nummer 4, pp 762-767, 2000. (DOI).
  191. Comments on adaptive IIR filtering with monic normalization. T. Söderström. I IEEE TRANSACTIONS ON SIGNAL PROCESSING, volym 48, nummer 3, pp 892-894, 2000.
  192. Parameter estimation and model approximation for diffusion models. T. Söderström och S. Remle. I 12th IFAC Symposium on System Identification, 2000.
  193. Parameter estimation and model approximation for diffusion models. T. Söderström och S. Remle. I Reglermöte 2000 (National Conference on Control), 2000.
  194. Performance evaluation of methods for identifying continuous-time autoregressive processes. T. Söderström och M. Mossberg. I AUTOMATICA, volym 36, nummer 1, pp 53-59, 2000.
  195. Reduced order models for diffusion systems via collocation methods. T. Söderström och B. Bhikkaji. I Proc IFAC 12th Symposium on System Identification, 2000.
  196. Reduced order models for diffusion systems via collocation methods. T. Söderström och B. Bhikkaji. I Reglermöte 2000 (National Conference on Control), 2000.
  197. Reduced order models for diffusion systems. Torsten Söderström och Bharath Bhikkaji. Technical report / Department of Information Technology, Uppsala University nr 2000-019, 2000. (fulltext).
  198. Reduced order models for diffusion systems via Collocation methods. Torsten Söderström och Bharath Bhikkaji. I Proc of 12th IFAC Symposium on System Identification, Santa Barbara, CA, USA, June, 2000.
  199. Reduced order models for diffusion systems via collocation methods. Torsten Söderström och Bharath Bhikkaji. Technical report / Department of Information Technology, Uppsala University nr 2000-018, 2000. (fulltext).
  200. Term-modal logic and quantifier-free dynamic assignment logic. Lars Thalmann. Doktorsavhandling, Uppsala theses in computing science nr 34, Acta Universitatis Upsaliensis, Uppsala, 2000. (fulltext).
  201. Improved efficiency for MRI-SPET registration based on mutual information. L. Thurfjell, YH Lau, JLR Andersson och BF Hutton. I EUROPEAN JOURNAL OF NUCLEAR MEDICINE, volym 27, nummer 7, pp 847-856, 2000.
  202. Registration of neuroimaging data: Implementation and clinical applications. L. Thurfjell, M. Pagani, JLR Andersson, C. Jonsson, R. Lundqvist och A. Wagner. I JOURNAL OF NEUROIMAGING, volym 10, nummer 1, pp 39-46, 2000.
  203. Counting and evaluating size distribution of holes in cheese using x-ray images. Xavier Tizon och Carolina Wählby (née Linnman). CBA Internal report No. 21, Centre for Image Analysis, 2000.
  204. An Object-Relational Model for Musical Data. Eva Toller och Tore Risch. Technical Report 2000:3, Dept. Information Science, Uppsala University,, 2000. (Extern länk).
  205. Header Hopping and Packet Mixers. Christain Tschudin. I The 9th IEEE International Conference on Computer Communications and Networks, 2000. (Extern länk).
  206. Active Routing for Ad-hoc Networks. Christian Tschudin, Henrik Gulbrandsen och Henrik Lundgren. I IEEE Communications Magazine: Special issue on Active and Programmable Networks, nummer April, 2000. (Extern länk).
  207. Active Routing for Ad-hoc Networks. Christian Tschudin, Henrik Lundgren och Henrik Gulbrandsen. I IEEE Communications Magazine, volym 38, nummer 4, 2000.
  208. Global artificial boundary conditions for computation of external flows with jets. Semyon Tsynkov, Saul Abarbanel, Jan Nordström, Victor Ryaben'kii och Veer Vatsa. I AIAA Journal, volym 38, pp 2014-2022, 2000.
  209. Retrieval of stem volume in coniferous forest from VHF-band SAR. L.M.H. Ulander, J. Askne, J. Fransson, A. Gustavsson, T. LeToan, T.J.-M Martinez, P. Melon, G. Smith och F. Walter. 2000.
  210. Frequency-selective quantification of biomedical magnetic resonance spectroscopy data. L. Vanhamme, T. Sundin, Hecke P Van, Huffel S Van och R. Pintelon. I JOURNAL OF MAGNETIC RESONANCE, volym 143, nummer 1, pp 1-16, ACADEMIC PRESS INC, 2000.
  211. Better Decision Algorithms for Parity Games and the Mu-Calculus Model Checking. Sergei Vorobyov. Technical report / Department of Information Technology, Uppsala University nr 2000-14, Department of Information Technology, Uppsala University, 2000. (fulltext).
  212. A formal approach to analysis of software architectures for real-time systems. Anders Wall. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2000-004, Uppsala University, 2000. (fulltext).
  213. Synthetic Aperture Radar. F. Walter. CBA Internal report No. 18, Centre for Image Analysis, 2000.
  214. Cultured human fibroblasts in agarose gel as a multi-functional control for immunohistochemistry. Standardization of Ki67 (MIBI) assessment in routinely processed urinary bladder carcinoma tissue. K. Wester, AC Andersson, F. Ranefall, E. Bengtsson, PU Malmstrom och C. Busch. I JOURNAL OF PATHOLOGY, volym 190, nummer 4, pp 503-511, 2000.
  215. Paraffin section storage and immunohistochemistry - Effects of time, temperature, fixation, and retrieval protocol with emphasis on p53 protein and MIB1 antigen. K. Wester, E. Wahlund, C. Sundstrom, P. Ranefall, E. Bengtsson, PJ Russell, KT Ow, PU Malmstrom och C. Busch. I APPLIED IMMUNOHISTOCHEMISTRY & MOLECULAR MORPHOLOGY, volym 8, nummer 1, pp 61-70, 2000.
  216. Cultured human fibroblasts in agarose gel as a multi-functional control for immunohistochemistry: Standardization Of Ki67 (MIB1) assessment in routinely processed urinary bladder carcinoma tissue. Kenneth Wester, Ann-Catrin Andersson, Petter Ranefall, Evert Bengtsson, Per-Uno Malmström och Christer Busch. I Journal of Pathology, volym 190, nummer 4, pp 503-11, 2000. (DOI, Extern länk).
  217. Analysis of a low-complexity change detection scheme. Torbjörn Wigren, Susanne Remle och Bo Wahlberg. I International journal of adaptive control and signal processing (Print), volym 14, nummer 5, pp 481-503, 2000. (DOI).
  218. Tags for High Performance Active Networks. Tilamn Wolf, Dan Decaspar och Christian Tschudin. I The Third IEEE Conference on Open Architectures and Network Programming: OpenARCH 2000, 2000. (Extern länk).
  219. Automatic cytoplasm segmentation of fluorescence labelled cells. Carolina Wählby (née Linnman), Joakim Lindblad, Mikael Vondrus, Torsten Jarkrans, Ewert Bengtsson och Lennart Björkesten. I Symposium on Image Analysis - SSAB 2000, pp 29-32, 2000.
  220. Efficiency of Characterizing Ellipses and Ellipsoids by Discrete Moments. Jovisa Zunic och Nataša Sladoje. I IEEE Transactions on Pattern Analysis and Machine Intelligence, volym 22, nummer 4, pp 407-414, 2000. (DOI).
  221. Identifiering av människokroppens balanssystem. A. Önell, T. Söderström, K. Halvorsen och H. Lanshammar. I Reglermöte 2000 (National Conference on Control), 2000.

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