Department of Information Technology

Publications 1999

  1. On the existence of network invariants for verifying parameterized systems. Parosh Abdulla and Bengt Jonsson. In Correct System Design: Recent Insights and Advances, pp 180-197, Springer-Verlag, Berlin, 1999.
  2. Handling Global Conditions in Parameterized System Verification. Parosh Aziz Abdulla, Ahmed Bouajjani, Bengt Jonnson, and Marcus Nilsson. In Proc. 11th Int. Conf. on Computer Aided Verification, volume 1633 of Lecture Notes in Computer Science, pp 134-145, Springer Verlag, Berlin, 1999. (DOI).
  3. Symbolic verification of lossy channel systems: Application to the bounded retransmission protocol. Parosh Aziz Abdulla, A. Annichini, and A. Bouajjani. In Tools and Algorithms for the Construction and Analysis of Systems: Proceddings of TACAS'99, volume 1579 of Lecture Notes in Computer Science, pp 208-222, 1999. (DOI).
  4. Fusion trees can be implemented with AC0 instructions.. Arne Andersson, Peter Bro Miltersen, and Mikkel Thorup. In Theoretical Computer Science, volume 205, pp 337-344, 1999.
  5. General balanced trees. Arne Andersson. In Journal of Algorithms, volume 30, pp 1-28, 1999.
  6. Integer Programming for Automated Auctions. Arne Andersson, Mattias Tenhunen, and Fredrik Ygge. Technical reports, Department of Information Technology, Uppsala University, Dept of Information Technology, Uppsala University, 1999. (External link).
  7. Measure-based performance evaluation. Arne Andersson, Paul Davidsson, and Johan Linden. In Pattern Recognition Letters, volume 28, 1999.
  8. Suffix trees on words. Arne Andersson, N. Jesper Larsson, and Kurt Swanson. In Algorithmica, volume 23, 1999.
  9. A multivariate approach to registration of dissimilar tomographic images. JLR Andersson and Lennart Thurfjell. In European Journal of Nuclear Medicine, volume 26, number 7, pp 718-733, SPRINGER VERLAG, 1999. (DOI).
  10. Optimal disturbances and bypass transition in boundary layers. Paul Andersson, Martin Berggren, and Dan S. Henningson. In Physics of fluids, volume 11, pp 134-150, 1999. (DOI).
  11. The Ravenscar Profile and Implementation Issues. Lars Asplund, Bob Johnson, and Kristina Lundqvist. In Procedings if the 9th International Real-Time Ada Workshop, Ada Letters, pp 12-14, ACM Press, 1999.
  12. Fifty years of attempts to automate screening for cervical cancer. Ewert Bengtsson. In Medical imaging technology, volume 17, number 3, pp 203-210, Japanese Society of Medical Imaging Technology, 1999.
  13. L'analyse informatisée des plaies: une nouvelle méthode d'évaluation objective de la cicatrisation. Ewert Bengtsson, Nils Engström, Lars Hellgren, and Jan Vincent. In Journal des Plaies et Cicatrisations, volume 16, pp 31-34, Societe Francaise et Francophone des Plaies et Cicatrisations, 1999.
  14. The volume discharge approach to geometric conservation. Martin Berggren. In Computational Methods for Fluid-Structure Interaction, pp 133-141, Tapir Publishers, Trondheim, Norway, 1999.
  15. Model-based control for a fine coal injection plant. W. Birk, A. Johansson, and A. Medvedev. In IEEE Control Systems Magazine, volume 19, number 1, pp 33-43, 1999. (External link).
  16. Computing skeletons in three dimensions. Gunilla Borgefors, Ingela Nyström, and Baja Gabriella Sanniti Di. In Pattern Recognition, volume 32, number 7, pp 1225-1236, PERGAMON-ELSEVIER SCIENCE LTD, 1999. (DOI).
  17. Convergence acceleration for flow problems using semicirculant approximations. Henrik Brandén. Licentiate thesis, Scientific Report nr 214, Dept. of Scientific Computing, Uppsala University, 1999.
  18. Convergence acceleration for hyperbolic systems using semicirculant approximations. Henrik Brandén and Sverker Holmgren. In Journal of Scientific Computing, volume 14, pp 357-393, 1999. (DOI).
  19. Algorithms for time delay estimation using a low complexity exhaustive search. Catharina Carlemalm, Susanne Halvarsson, Torbjörn Wigren, and Bo Wahlberg. In IEEE Transactions on Automatic Control, volume 44, number 5, pp 1031-1037, 1999. (DOI).
  20. Reinforcement Learning for Control of Self-Similar Call Traffic in Broadband Networks. Carlström, Jakob and Nordström, Ernst. In Teletraffic Engineering in a Competitive World, pp 571-580, Elsevier Science B.V., 1999.
  21. A stable and conservative interface treatment of arbitrary spatial accuracy. Mark H. Carpenter, Jan Nordström, and David Gottlieb. In Journal of Computational Physics, volume 148, pp 341-365, 1999. (DOI).
  22. EXPRESS'99: 6th International Workshop on Expressiveness in Concurrency. Ilaria Castellani and Björn Victor (eds). Volume 27 of Electronic Notes in Theoretical Computer Science, Elsevier Science BV, Amsterdam, 1999. (External link).
  23. Closure functions and width 1 problems. V. Dalmau and J. Pearson. 1999.
  24. Evaluating a joint international project in disjunct courses. Mats Daniels and Sally Fincher. In SEFI Workshop, delft, Holland, 1999. (External link).
  25. Full Scale Industrial Project Work. Mats Daniels and Lars Asplund. In IEEE Frontiers in Education conference, pp 11b2-7, 1999. (External link).
  26. IT in Society: a Multi-Disciplinary Course. Mats Daniels and Marian Petre. In IEEE Frontiers in Education conference, USA, pp 13a1-21, 1999. (External link).
  27. Reflections on International Projects in the Undergraduate CS Education. Mats Daniels, Anders Berglund, and Marian Petre. In Computer Science Education, volume 9, number 3, pp 256-267, 1999. (External link).
  28. Runestone, an International Student Collaboration Project,. Mats Daniels. 1999.
  29. Some thoughts on international projects in the undergraduate education. Mats Daniels, Anders Berglund, and Marian Petre. In EpCOS WS, U.K., 1999. (External link).
  30. A nondeterministic polynomial-time unification algorithm for bags, sets and trees. E. Dantsin and A. Voronkov. In FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, volume 1578, pp 180-196, SPRINGER-VERLAG BERLIN, 1999.
  31. CAT: the Copying Approach to Tabling. Bart Demoen and Konstantinos Sagonas. In Journal of Functional and Logic Programming: Special Issue on Selected Best Papers from PLILP/ALP'98, volume 1999, number 2, pp 1-38, 1999.
  32. Analysis of a finite volume solver for Maxwell's equations. Fredrik Edelvik. In Finite Volumes for Complex Applications II: Problems and Perspectives, pp 141-148, Hermes Science Publications, Paris, 1999.
  33. Towards a Mathematical Foundation for Design Patterns. Amnon H. Eden, Yoram Hirshfeld, and Amiram Yehudai. IT Technical Report 1999-004, Dept. of Information Technology, Uppsala University, 1999. (External link).
  34. Biopsy protocol stability in a three-dimensional model of prostate cancer: Changes in cancer yield after adjustment of biopsy positions. Lars Egevad, Hans Frimmel, Stefan Mattson, Ewert Bengtsson, and Christer Busch. In Urology, volume 54, pp 862-868, 1999. (DOI).
  35. Three-dimensional computer reconstruction of prostate cancer from radical prostatectomy specimens: Evaluation of the model by core biopsy simulation. Lars Egevad, Hans Frimmel, Mona Norberg, Stefan Mattson, Ingrid Carlbom, Ewert Bengtsson, and Christer Busch. In Urology, volume 53, pp 192-198, 1999. (DOI).
  36. Embedded Code != Desktop Code. Why SpecInt95 Should Not Be Used to Benchmark Embedded Systems Tools. J. Engblom. In Poster, SNART '99, 1999. (External link).
  37. Static Properties of Commercial Embedded Real-Time Programs, and Their Implication for Worst-Case Execution Time Analysis. J. Engblom. In Proceedings of the 5th IEEE Real-Time Technology and Applications Symposium (RTAS '99), IEEE Computer Society Press, 1999. (External link).
  38. Towards Industry-Strength Worst-Case Execution Time Analysis. J. Engblom, A. Ermedahl, M. Sjödin, J. Gustafsson, and H. Hansson. ASTEC Technical Report 99/02, 1999. (External link).
  39. Why SpecInt95 Should Not Be Used to Benchmark Embedded Systems Tools. J. Engblom. In Proceedings of the ACM SIGPLAN 1999 Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES '99), ACM Press, 1999. (External link).
  40. Continuous-time AR process parameter estimation in presence of additive white noise. H. Fan, T. Söderström, and Y. Zou. In IEEE Transactions on Signal Processing, volume 47, number 12, pp 3392-3398, 1999.
  41. Estimation of continuous-time AR process parameters from discrete-time data. H. Fan, T. Söderström, M. Mossberg, B. Carlsson, and Y. Zou. In IEEE Transactions on Signal Processing, volume 47, number 5, pp 1232-1244, 1999.
  42. Blockwise adaptive grids with multigrid acceleration for compressible flow. Lars Ferm and Per Lötstedt. In AIAA Journal, volume 37, pp 121-123, 1999.
  43. Towards schema-guided compilation of set constraint programs. Pierre Flener, Brahim Hnich, and Zeynep Kiziltan. In Proc. of DPS'99, pp 59-66, 1999.
  44. Aspects of the Chain of Processing and the Application of Multi- and Hyperspectral Data from Lakes. Peter Flink. Licentiate thesis, , Centre for Image Analysis, 1999.
  45. Modeling prostate cancer distributions. Hans Frimmel, Lars Egevad, Ewert Bengtsson, and Christer Busch. In Urology, volume 54, pp 1028-1034, 1999. (DOI).
  46. Positioning Biopsy Needles in the Prostate Gland Using 3D Computer Modelling. Hans Frimmel. Ph.D. thesis, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 465, Acta Universitatis Upsaliensis, Uppsala, 1999.
  47. Blind multiuser MMSE detector for CDMA signals in ISI channels. D. Gesbert, J. Sorelius, P. Stoica, and A. Paulraj. In IEEE COMMUNICATIONS LETTERS, volume 3, number 8, pp 233-235, 1999.
  48. HOW TO MAKE USER CENTRED DESIGN USABLE. J. Gulliksen, A. Lantz, and I. Boivie. In Human-Computer Interaction INTERACT ’99, 1999.
  49. USER CENTERED DESIGN – PROBLEMS AND POSSIBILITIES. J. Gulliksen, A. Lantz, and I. Boivie. In SIGCHI Bulletin, volume 31, number 2, pp 25-35, 1999.
  50. USER ORIENTATION IN PRACTICE – PROBLEMS AND POSSIBILITIES. J. Gulliksen, A. Lantz, and I. Boivie. Technical report TRITA-NA-D9813, CID-40, 1999. (External link).
  51. BRINGING IN THE SOCIAL PERSPECTIVE: USER CENTRED DESIGN.. J. Gulliksen. In Proceedings of the 8th International Conference on Human-Computer Interaction, HCI International '99, 1999.
  52. KAN EN STANDARD VARA TILL NÅGON HJÄLP I DESIGNARBETE?. J. Gulliksen and T. Berns. In Designjournalen, volume 6, number 1, Stockholm: Svensk Industridesign, 1999.
  53. HCI Education in Sweden. Jan Gulliksen and Lars Oestreicher. In SIGCHI Bulletin, volume 4, number 2, pp 3-7, ACM SiGCHI, 1999.
  54. A fast domain decomposition high order Poisson solver. Bertil Gustafsson and Lina Hemmingsson-Frändén. In Journal of Scientific Computing, volume 14, pp 223-243, 1999. (DOI).
  55. Boundary conditions and estimates for the steady Stokes equations on staggered grids. Bertil Gustafsson and Jonas Nilsson. Technical report / Department of Information Technology, Uppsala University nr 1999-015, 1999. (External link).
  56. The Godunov–Ryabenkii condition: The beginning of a new stability theory. Bertil Gustafsson. Technical report / Department of Information Technology, Uppsala University nr 1999-014, 1999. (External link).
  57. Formalizing the Intent of Design Patterns. An Approach Towards a Solution to theIndexing Problem. Andreas Gustavsson and Mattias Ersson. IT Technical Report 1999-006, Dept. of Information Technology, Uppsala University, 1999. (External link).
  58. WildFire: A Scalable Path for SMPs. Erik Hagersten and Michael Koster. In Proc. Fifth Int. Symp. on High-Performance Computer Architecture, pp 172-181, 1999. (DOI, External link).
  59. Scanning the DSM Technology. Greg Papadopoulos Hagersten Erik. In Proceedings of the IEEE, volume 30, number 12, IEEE, 1999. (External link).
  60. Solving hyperbolic PDEs using interpolating wavelets. Mats Holmström. In SIAM Journal on Scientific Computing, volume 21, pp 405-420, 1999. (DOI).
  61. Segmentation of the Brain in MRI Using Grey Level Morphology and Propagation of Information. R. Hult, E. Bengtsson, and L. Thurfjell. In Proceedings of 11th Scandinavian Conference on Image Analysis, SCIA’99, Kangerlussuaq, Greenland, p 367–373, 1999.
  62. Segmentation of the Brain in MRI Using Grey Level Morphology and Propagation of Information. Roger Hult, Ewert Bengtsson, and Lennart Thurfjell. In Proceedings of SCIA'99, pp 367-373, Pattern Recognition Society of Denmark, Lyngby, 1999.
  63. Runge–Kutta Time Step Selection for Flow Problems. Karl Hörnell. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 16, Acta Universitatis Upsaliensis, Uppsala, 1999.
  64. Model-based and matched-filterbank signal analysis. Andreas Jakobsson. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 22, Acta Universitatis Upsaliensis, Uppsala, 1999.
  65. Two-Dimensional Capon Spectrum Analysis. Andreas Jakobsson, Marple, S. Lawrence, Jr., and Petre Stoica. IT Technical Report 1999-007, Dept. of Information Technology, Uppsala University, 1999. (External link).
  66. Goal achievement and mental models in everyday decision making. Anders Jansson. In Judgment and Decision Making: Neo-Brunswikian and Process-Tracing Approaches, pp 23-43, Lawrence Erlbaum Associates, Mahwah, NJ, 1999.
  67. Trafiksäkerhet och informationsmiljö i tågförarsystemet. Litteraturöversikt och olycksfallsanalyser. Anders Jansson, Erik Lindberg, and Eva Olsson. IT Technical Report 1999-005, Dept. of Information Technology, Uppsala University, 1999. (External link).
  68. Convergence acceleration for computing steady-state compressible flow at low Mach numbers. Patrick Jenny and Bernhard Müller. In Computers & Fluids, volume 28, pp 951-972, 1999. (DOI).
  69. Evaluation of HiPE, an Erlang Native Code Compiler. Erik Johansson, Sven-Olof Nyström, Christer Jonsson, and Thomas Lindgren. ASTEC report 99/03, 1999. (External link).
  70. HiPE: High-Performance Erlang. Erik Johansson, Sven-Olof Nyström, Mikael Pettersson, and Konstantinos Sagonas. ASTEC report 99/04, 1999. (External link).
  71. Fully Abstract Characterization of Probabilistic May Testin. Bengt Jonsson and Yi Wang. 1999.
  72. Proving Refinement Using Transduction. Bengt Jonsson, Amir Pnueli, and Camilla Rump. In Distributed Computing, volume 12, number 2/3, pp 129-150, 1999.
  73. Comparison of Amos II with other Data Integration Projects. Vanja Josifovski and Tore Risch. 1999. (External link).
  74. Distributed Mediation using a Light-Weight OODBMS. Vanja Josifovski and Tore Risch. In 1st ECOOP Workshop on Object-Oriented Databases, 1999. (External link).
  75. Functional Query Optimization over Object-Oriented Views for Data Integration. Vanja Josifovski and Tore Risch. In Journal of Intelligent Information Systems (JIIS), volume 12, number 2-3, 1999. (External link).
  76. Integrating Heterogeneous Overlapping Databases through Object-Oriented Transformations. Vanja Josifovski and Tore Risch. In Proc. 25th Intl. Conf. On Very Large Databases, 1999. (External link).
  77. Optimizing queries in distributed and composable mediators. Vanja Josifovski, Timour Katchaounov, and Tore Risch. In Proceedings of the Fourth IFCIS International Conference on Cooperative Information Systems, CoopIS'99, pp 291-302, 1999.
  78. Optimizing queries in distributed and composable mediators. Vanja Josifovski, Timour Katchaounov, and Tore Risch. In Proc. 4th Conference on Cooperative Information Systems, CoopIS'99, 1999. (External link).
  79. Assessing and training ethical competence as a psychological ability in business organisations. Iordanis Kavathatzopoulos. In Building moral competence: in organisations, in business schools, in public sector institutions, Norwegian School of Management, Sandvika, Norway, 1999.
  80. Education and ethical competence in information technology design. Iordanis Kavathatzopoulos. 1999.
  81. Informal learning in IT-use: Cognitive support as an operational strategy. Iordanis Kavathatzopoulos and Jan Gulliksen. In Human Centered Processes, pp 29-35, ENST Bretagne and Centre Universitaire, Brest, 1999.
  82. The study of moral thought as a psychological phenomenon. Iordanis Kavathatzopoulos. In Psychology in the focus of human and social sciencies, pp 61-68, Kastaniotis, Athens, 1999.
  83. Verification of Infinite-State Systems: Decision Problems and Efficient Algorithms. Mats Kindahl. Ph.D. thesis, DoCS nr 110, Department of Computer Systems, Uppsala University, 1999.
  84. Classification of SPECT scans of AD and FLD based on intensity and gradient information. Vassili Kovalev, Lennart Thurfjell, Roger Lundqvist, and M. Pagani. In Medical Image Understanding and Analysis 99, p 4, 1999.
  85. Convergence acceleration for the Euler equations using a parallel semi-Toeplitz preconditioner. Andreas Kähäri and Samuel Sundberg. In Euro-Par'99: Parallel Processing, volume 1685 of Lecture Notes in Computer Science, pp 1124-1127, Springer-Verlag, Berlin, 1999. (DOI).
  86. Solos in Concert. Cosimo Laneve and Björn Victor. In Proceedings of ICALP'99, 1999. (External link).
  87. A domain decomposition method for the Helmholtz equation in a multilayer domain. Elisabeth Larsson. In SIAM Journal on Scientific Computing, volume 20, pp 1713-1731, 1999. (DOI).
  88. On Sensor Array Signal Processing with Incomplete Data. Erik G. Larsson and Petre Stoica. Technical reports, Department of Information Technology, Uppsala University, Dept of Information Technology, Uppsala University, 1999. (External link).
  89. Steadfast logic programs. Kung-Kiu Lau, Mario Ornaghi, and Sten-Åke Tärnlund. In The journal of logic programming, volume 38, number 3, pp 259-294, 1999. (DOI).
  90. A Proof System for Timed Automata. Huimin Lin and Wang Yi. Technical reports, Department of Information Technology, Uppsala University, Dept of Information Technology, Uppsala University, 1999. (External link).
  91. Coastal Zone Mapping of Jamaica for Planning and Management. Tommy Lindell. In Pecora 14 Land Satellite Information III, p 4, ASPRS, Denver, 1999.
  92. Manual for Monitoring European Lakes using Remote Sensing Techniques. Tommy Lindell, Don Pierson, and G. Premazzi. Joint Research Centre, Ispra, Italy, 1999.
  93. Design Issues for Scalable Availability LH* Schemes with Record Grouping. Witold Litwin, Jim Menon, Tore Risch, and Thomas Schwarz. In DIMACS Workshop on Distributed Data and Structures (WDAS'99), 1999. (External link).
  94. A Formal Model of a Run-Time Kernel for Ravenscar. K. Lundqvist and L. Asplund. In Procedings Sixth International Conference on Real-Time Computing Systems and Applications, IEEE Computer Society, pp 504-507, 1999. (External link).
  95. A Formal Model of a Ravenscar-Compliant Run-Time Kernel and Application Code. Kristina Lundqvist and Lars Asplund. IT Technical Report 1999-002, Dept. of Information Technology, Uppsala University, 1999. (External link).
  96. A Formal Model of the Ada Ravenscar Tasking Profile; Delay Until. Kristina Lundqvist and Lars Asplund. In Proceedings ACM SIGAda Annual International Conference, ACM Press, 1999. (External link).
  97. A formal model of the Ada Ravenscar Tasking Profile: Protected objects. Kristina Lundqvist, Lars Asplund, and Stephen Michell. In Reliable Software Technologies - Ada-Europe '99, pp 12-25, 1999.
  98. Classification of Functional Patterns in SPECT Brain Scans Based on Partial Least Squares Analysis. Roger Lundqvist, Ewert Bengtsson, H. Jacobsson, C. Jonsson, S. Larsson, M. Pagani, M. Wägner, and Lennart Thurfjell. In Proceedings of SCIA'99, pp 375-381, Pattern Recognition Society of Denmark, Lyngby, 1999.
  99. Parallel solution of hyperbolic PDEs with space-time adaptivity. Per Lötstedt and Stefan Söderberg. In Finite Volumes for Complex Applications II: Problems and Perspectives, pp 769-776, Hermes Science Publications, Paris, 1999.
  100. Extendable, Dispatchable Task Communication Mechanisms. Steven Michell and Kristina Lundqvist. In Procedings if the 9th International Real-Time Ada Workshop, Ada Letters, pp 54-59, ACM Press, 1999.
  101. Type Domains for Abstract Interpretation: A critical study. Per Mildner. Ph.D. thesis, Uppsala theses in computing science nr 31, Uppsala universitet, 1999.
  102. System identification by approximating the differentiation operator - accuracy analysis and results. M. Mossberg and T. Söderström. In European Control Conference: ECC '99, 1999.
  103. Call Admission Control and Routing for Integrated CBR/VBR and ABR Services: A Markov Decision Approach. Nordström, Ernst and Carlström, Jakob. In Proceedings of IEEE ATM Workshop '99, pp 71-76, The Institute of Electronics, Information and Communication Engineers, Japan, 1999.
  104. Boundary and interface conditions for high-order finite-difference methods applied to the Euler and Navier-Stokes equations. Jan Nordström and Mark H. Carpenter. In Journal of Computational Physics, volume 148, pp 621-645, 1999. (DOI).
  105. The fringe region technique and the Fourier method used in the direct numerical simulation of spatially evolving viscous flows. Jan Nordström, Niklas Nordin, and Dan Henningson. In SIAM Journal on Scientific Computing, volume 20, pp 1365-1393, 1999. (DOI).
  106. The Evolution of Process Graphics.. Else Nygren. In People in Control. An international conference on Human Interfaces in Control Rooms, Cockpits and Command Centres, 21-23 June 1999. University of Bath, UK., 1999.
  107. A Corporate Style Guide that Includes Domain Knowledge. Eva Olsson and Jan Gulliksen. In International Journal of Human-Computer Interaction, volume 11, number 4, pp 317-338, 1999.
  108. A Corporate Style Guide that Includes Domain Knowledge. Eva Olsson and Jan Gulliksen. In International Journal of Human-Computer Interaction, volume 11, number 4, pp 317-338, 1999. (External link).
  109. Accessing Finite Element Results Through an Extensible Query Language. K. Orsborn. In Proc. 7th Intl. Conf. on Civil and Structural Engineering (CC99), 1999. (External link).
  110. A unifying framework for preconditioners based on fast transforms. Kurt Otto. Scientific Report nr 187, Dept. of Scientific Computing, Uppsala University, 1999. (External link).
  111. Iterative solution of the Helmholtz equation by a fourth-order method. Kurt Otto. In suppl, volume 40:1 of Bollettino di Geofisica Teorica ed Applicata, pp 104-105, OGS, Trieste, Italy, 1999.
  112. Iterative solution of the Helmholtz equation by a second-order method. Kurt Otto and Elisabeth Larsson. In SIAM Journal on Matrix Analysis and Applications, volume 21, pp 209-229, 1999. (DOI).
  113. Mapping pathological rCBF in Alzheimer disease and Frontal Lobe Dementia using a standardised brain atlas. M. Pagani, H. Jacobsson, D. Salmaso, C. Ramström, C. Jonsson, PO Schnell, Lennart Thurfjell, Roger Lundqvist, A. Wägner, and SA Larsson. In European association nuclear medicine congress, Barcelona 9th-13th October 1999, SPRINGER VERLAG, 1999.
  114. Modelling and Verification of Real-Time Systems Using Timed Automata: Theory and Practice. Paul Pettersson. Ph.D. thesis, DoCS nr 101, Department of Computer Systems, Uppsala University, 1999.
  115. Monitoring Complex Rule Conditions. Tore Risch and Martin Sköld. In Active Rules in Database Systems, Springer-Verlag, 1999. (External link).
  116. On the cancellation problem in calculating compressible low Mach number flows. Jörn Sesterhenn, Bernhard Müller, and Hans Thomann. In Journal of Computational Physics, volume 151, pp 597-615, 1999. (DOI).
  117. Analysing Multimedia Traffic in Real-Time ATM Networks. Sjödin, Mikael, Hansson, Hans. In Real-Time Technology and Applications Symposium; RTAS'99, 1999. (External link).
  118. Subspace-Based Parameter Estimation Problems in Signal Processing. Joakim Sorelius. Ph.D. thesis, , Department of Information Technology, Uppsala University, 1999.
  119. Subspace-based parameter estimation of symmetric noncausal autoregressive signals from noisy measurements. P. Stoica and J. Sorelius. In IEEE TRANSACTIONS ON SIGNAL PROCESSING, volume 47, number 2, pp 321-331, 1999.
  120. Dominant pattern extraction from 3-D kinematic data. V. Stokes, H. Lanshammar, and A. Thorstensson. In IEEE TRANSACTIONS ON BIOMEDICAL ENGINEERING, volume 46, number 1, pp 100-106, 1999.
  121. Simulations of acoustic wave phenomena using high-order finite difference approximations. Bo Strand. In SIAM Journal on Scientific Computing, volume 20, pp 1585-1604, 1999. (DOI).
  122. Fully Reversible Skeletonization for Volume Images Based on Anchor-Points from the D26 Distance Transform. Stina Svensson, Ingela Nyström, and Gunilla Borgefors. In Proceedings of SCIA'99, pp 601-608, Pattern Recognition Society of Denmark, Lyngby, 1999.
  123. On reversible skeletonization using anchor-points from distance transforms. Stina Svensson, Gunilla Borgefors, and Ingela Nyström. In Journal of Visual Communication and Image Representation, volume 10, number 4, pp 379-397, ACADEMIC PRESS INC, 1999. (DOI).
  124. Comments on "On a least-squares-based algorithm for identification of stochastic linear systems". T. Söderström, WX Zheng, and P. Stoica. In IEEE TRANSACTIONS ON SIGNAL PROCESSING, volume 47, number 5, pp 1395-1396, 1999.
  125. Comments on 'Identification of closed-loop systems via least-squares method'. T. Söderström. In International Journal of Adaptive Control and Signal Processing, volume 13, number 1, pp 37-41, 1999.
  126. Feedforward, correlated disturbances and identification. T. Söderström. In Automatica, volume 35, number 9, pp 1565-1571, 1999.
  127. On the Cramer-Rao lower bound for estimating continuous-time autoregressive parameters. T. Söderström. In Proc 14th IFAC World Congress, 1999.
  128. Parameter Estimation for Diffusion Models. T. Söderström and S. Halvarsson. IT Technical Report 1999-003, Dept. of Information Technology, Uppsala University, 1999. (External link).
  129. Perturbation results for singular values. T. Söderström. Department of Information Technology nr 1999-001, 1999.
  130. Fusion of Multimodality Brain Images. Lennart Thurfjell, G. Lindahl, and Roger Lundqvist. In Proceedings of SCIA'99, pp 359-366, Pattern Recognition Society of Denmark, Lyngby, 1999.
  131. Using an Extensible Object-Oriented Query Language in a Multibody System Analysis. Tisell, C., Orsborn,K.. In Proc. 7th Intl. Conf. on Civil and Structural Engineering (CC99), 1999. (External link).
  132. A self-deploying election service for active networks. CF Tschudin. In COORDINATION LANGUAGES AND MODELS, volume 1594, pp 183-195, SPRINGER-VERLAG BERLIN, 1999.
  133. An Active Networks Overlay Network (ANON). Christian Tschudin. In Proceedings of the First International Working Conference on Active Networks (IWAN 99), 1999.
  134. Secure Internet Programming. Christian Tschudin. In Apoptosis - the Programmed Death of Distributed Services, pp 253-260, Springer LNCS, 1999. (External link).
  135. Modular termination proofs for Prolog with tabling. Sofie Verbaeten, Konstantinos Sagonas, and Danny De Schreye. In Principles and Practice of Declarative Programming, pp 342-359, 1999. (DOI).
  136. Proceedings of the 11th Nordic Workshop on Programming Theory. Björn Victor and Wang Yi (eds). IT Technical Reports, Dept. of Information Technology, Uppsala university, 1999. (External link).
  137. Filter bank methods for hyperbolic PDEs. Johan Waldén. In SIAM Journal on Numerical Analysis, volume 36, pp 1183-1233, 1999. (DOI).
  138. Filter banks, ?-cycles and hyperbolic PDE. Johan Waldén. In Numerical Treatment of Multiscale Problems, volume 70 of Notes Numer. Fluid Mech., pp 168-179, Vieweg, Braunschweig, Germany, 1999.
  139. On the approximation of singular source terms in differential equations. Johan Waldén. In Numerical Methods for Partial Differential Equations, volume 15, pp 503-520, 1999. (DOI).
  140. A 3D Deformable Surface Model to Segment the Brain in MR Images. Felix Wehrmann, Ewert Bengtsson, and Lennart Thurfjell. In Proceedings of SCIA'99, pp 289-294, Pattern Recognition Society of Denmark, Lyngby, 1999.
  141. Automatic quantification of microvessel density in urinary bladder carcinoma. Kenneth Wester, Petter Ranefall, Ewert Bengtsson, Christer Busch, and Per-Uno Malmström. In British Journal of Cancer, volume 81, number 8, pp 1363-1370, CHURCHILL LIVINGSTONE, 1999. (DOI).
  142. Compensation of the RLS algorithm for output nonlinearities. Torbjörn Wigren and Anders E. Nordsjö. In IEEE Transactions on Automatic Control, volume 44, number 10, pp 1913-1918, 1999. (DOI).
  143. Algorithms for cytoplasm segmentation of fluorescence labeled cells grown in micro-fabricated structures. Carolina Wählby (nee Linnman), Joakim Lindblad, Mikael Vondrus, Ewert Bengtsson, and Lennart Björkesten. In Amersham Pharmacia Biotech Uppsala R&D day, December 2, 1999., 1999.
  144. Detection of fluorescent foci and evaluation of spatial relationships in 3D-fluorescence microscopy images of mammalian cells. Carolina Wählby (nee Linnman), Ewert Bengtsson, Susanna Ekholm-Jensen, and Anders Zetterberg,. In Analytical Cellular Pathology, Proceedings of 6th ESACP Congress in Heidelberg, April 7-11: Also in proceedings, SSAB Symposium on Image Analysis, March 9-10, 1999, Gothenburg, p. 57-60., pp 36-37, 1999.
  145. he HomeBots System and Field Tests: A Multi-Commodity Market for Predictive Load Management. Fredrik Ygge, Hans Akkermans, Arne Andersson, Marko Krejic, and Erik Bortjes. In Fourth International Conference and Exhibiti on on The Practical Application of Intelligent Agents and Multi-Agents (PAAM99), 1999.
  146. An Object-Oriented Framework for PDE Solvers. Krister Åhlander. Ph.D. thesis, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 423, Acta Universitatis Upsaliensis, Uppsala, 1999.
  147. Quantifying human balance: Analysis of force plate data. Annica Önell. Ph.D. thesis, Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 494, Acta Universitatis Upsaliensis, Uppsala, 1999.
  148. Analysis of Imaging Spectrometer Data with Lake Environment Applications. Catherine Östlund. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 17, Acta Universitatis Upsaliensis, Uppsala, 1999.

Updated  2009-12-17 17:03:18 by Björn Victor.