Skip to main content
Department of Information Technology

Refereed publications from the IT research programs 2009

Automatic Control (Reglerteknik)

  1. Sampled Data Errors in Variables Systems.. Juan Carlos Aguero, Graham Goodwin, Torsten Söderström, and Juan Yuz. In SYSID 2009, IFAC 15th Symposium on System Identification, Saint-Malo, France, July 6-8, 2009., 2009.
  2. Scenario-based EM identification for FIR systems having quantized output data. Juan C. Agüero, Boris I. Godoy, Graham C. Goodwin, and Torbjörn Wigren. In Proc. 15th IFAC Symposium on System Identification, pp 66-71, International Federation of Automatic Control, 2009.
  3. Three-degree of freedom adaptive power control for CDMA cellular systems. Juan C. Agüero, Graham C. Goodwin, Katrina Lau, Meng Wang, Eduardo I. Silva, and Torbjörn Wigren. In Proc. 28th Global Telecommunications Conference, pp 2793-2798, IEEE Communications Society, 2009. (DOI).
  4. A simple model for the identification of drug effects. Hugo Alonso, Teresa Mendonça, João M. Lemos, and Torbjörn Wigren. In Proc. 6th International Symposium on Intelligent Signal Processing, pp 269-273, IEEE, Piscataway, NJ, 2009. (DOI).
  5. An IQML type algorithm for AR parameter estimation from noisy covariance sequences. Prabhu Babu, Peter Stoica, and Thomas L. Marzetta. In Proc. 17th European Signal Processing Conference, pp 1022-1026, European Association for Signal Processing, 2009.
  6. Skin T1 Mapping at 1.5T, 3T, and 7T. Joëlle K. Barral, Nikola Stikov, Erik Gudmundson, Peter Stoica, and Dwight G. Nishimura. In Proceedings of the ISMRM 2009, Honolulu, Hawaii, USA, 2009.
  7. An optimal prior knowledge-based DOA estimation method. Guillaume Bouleux, Peter Stoica, and Rémy Boyer. In Proc. 17th European Signal Processing Conference, pp 869-873, European Association for Signal Processing, 2009.
  8. Une méthode optimale pour l'estimation des directions d'arrivées basée sur des connaissances a priori. Guillaume Bouleux, Peter Stoica, and Rémy Boyer. In Proc. XXII Colloque GRETSI, p 4, 2009. (fulltext).
  9. Mathematical model of non-basal testosterone regulation in the male by pulse modulated feedback. Alexander Churilov, Alexander Medvedev, and Alexander Shepelyavyi. In Automatica, volume 45, number 1, pp 78-85, 2009. (DOI).
  10. Doppler spectrogram analysis of human gait via iterative adaptive approach. Lin Du, Jian Li, Peter Stoica, Hao Ling, and Shobha S. Ram. In Electronics Letters, volume 45, number 3, pp 186-189, 2009. (DOI).
  11. Review of user parameter-free robust adaptive beamforming algorithms. Lin Du, Tarik Yardibi, Jian Li, and Peter Stoica. In Digital signal processing (Print), volume 19, number 4, pp 567-582, 2009. (DOI).
  12. Temporal coordination of the sit-to-walk task in subjects with stroke and in controls. Gunilla Elmgren Frykberg, Anna Cristina Åberg, Kjartan Halvorsen, Jörgen Borg, and Helga Hirschfeld. In Archives of Physical Medicine and Rehabilitation, volume 90, number 6, pp 1009-1017, 2009. (DOI).
  13. Model-based Slopping Warning in the LD Steel Converter Process. Magnus Evestedt and Alexander Medvedev. In Journal of Process Control, volume 19, number 6, pp 1000-1010, Elsevier, 2009. (DOI).
  14. Detection and Classification of Liquid Explosives Using NMR. Erik Gudmundson, Andreas Jakobsson, Iain J. F. Poplett, and John A. S. Smith. In Proceedings of the 2009 IEEE International Conference on Acoustics, Speech, and Signal Processing: April 19 - 24, 2009, Taipei, Taiwan, pp 3053-3056, 2009. (DOI).
  15. NQR-Based Explosives Detection: An Overview. Erik Gudmundson, Andreas Jakobsson, and Peter Stoica. In Proceedings of the 9th International Symposium on Signals, Circuits and Systems, Iasi, Romania, July 9-10, 2009, 2009.
  16. Spectral Estimation of Damped Sinusoids in the Case of Irregularly Sampled Data. Erik Gudmundson, Jun Ling, Peter Stoica, Jian Li, and Andreas Jakobsson. In Proceedings of the 9th International Symposium on Signals, Circuits and Systems, Iasi, Romania, July 9-10, 2009, 2009.
  17. A new input/output pairing strategy based on linear quadratic Gaussian control. Björn Halvarsson, Bengt Carlsson, and Torsten Wik. In Proc. International Conference on Control and Automation: ICCA 2009, pp 978-982, IEEE, Piscataway, NJ, 2009. (DOI).
  18. Construction of unimodular sequence sets for periodic correlations. Hao He, Duc Vu, Peter Stoica, and Jian Li. In Proc. 43rd Asilomar Conference on Signals, Systems and Computers, pp 136-140, IEEE, Piscataway, NJ, 2009. (DOI).
  19. Designing unimodular sequence sets with good correlations—including an application to MIMO radar. Hao He, Peter Stoica, and Jian Li. In IEEE Transactions on Signal Processing, volume 57, number 11, pp 4391-4405, 2009. (DOI).
  20. Spectral Analysis of Non-Uniformly Sampled Data: A New Approach Versus the Periodogram. Hao He, Jian Li, and Peter Stoica. In IEEE Digital Signal Processing Workshop, Marco Island, FL, USA, 2009, pp 375-380, 2009. (DOI).
  21. Unimodular sequence design for good autocorrelation properties. Hao He, Peter Stoica, and Jian Li. In Proceedings of the 2009 IEEE International Conference on Acoustics, Speech, and Signal Processing: April 19 - 24, 2009, Taipei, Taiwan, 2009.
  22. Unimodular sequence sets with good correlations for MIMO radar. Hao He, Peter Stoica, and Jian Li. In IEEE Radar Conference, Pasadena, CA, USA, 2009, 2009.
  23. Relations between bias-eliminating least squares, the Frisch scheme and extended compensated least squares methods for identifying errors-in-variables systems. Mei Hong and Torsten Söderström. In Automatica, volume 45, number 1, pp 277-282, 2009. (DOI).
  24. Iterative Space-Time Adaptive Processing. Jian Li, Xumin Zhu, Peter Stoica, and M. Rangaswamy. In IEEE Digital Signal Processing Workshop, Marco Island, FL, USA, 2009, pp 440-445, 2009. (DOI).
  25. MIMO Radar: Diversity means superiority. Jian Li and Peter Stoica. In MIMO Radar Signal Processing, pp 1-64, John Wiley & Sons, Hoboken, NJ, 2009.
  26. MIMO Radar Signal Processing. Jian Li and Peter Stoica (eds). John Wiley & Sons, Hoboken, NJ, 2009.
  27. Elementwise decoupling and convergence of the Riccati equation in the SG algorithm. Alexander Medvedev and Magnus Evestedt. In Automatica, volume 45, number 6, pp 1524-1529, 2009. (DOI).
  28. Continuous-time errors-in-variables system identification through covariance matching without input signal modeling. Magnus Mossberg and Torsten Söderström. In 2009 American Control Conference, St. Louis, Missouri, USA, June 10-12, 2009., 2009.
  29. Separation of waves governed by the one-dimensional wave equation: a stochastic systems approach. Peter Nauclér and Torsten Söderström. In Mechanical systems and signal processing, volume 23, number 3, pp 823-844, 2009. (DOI).
  30. Least conservative support and tolerance tubes. Kristiaan Pelckmans, Jos De Brabanter, Johan A. K. Suykens, and Bart De Moor. In IEEE Transactions on Information Theory, volume 55, number 8, pp 3799-3806, 2009. (DOI).
  31. Correlation matching approach for spectrum sensing in open spectrum communications. Ana I. Pérez-Neira, Miguel Angel Lagunas, Miguel Angel Rojas, and Peter Stoica. In IEEE Transactions on Signal Processing, volume 57, number 12, pp 4823-4836, 2009. (DOI).
  32. Validation of wave propagation modles used in nonparametric identification of viscoelastic materials. Agnes Rensfelt and Torsten Söderström. In SYSID 2009, IFAC 15th Symposium on System Identification, Saint-Malo, France, July 6-8, 2009., 2009.
  33. MIMO radar angle-range-doppler imaging. William Roberts, Jian Li, Peter Stoica, Tarik Yardibi, and F. Sadjadi. In IEEE Radar Conference, Pasadena, CA, USA, 2009, 2009.
  34. AECID fingerprinting positioning performance. Liang Shi and Torbjörn Wigren. In Proc. 28th Global Telecommunications Conference, pp 2767-2772, IEEE Communications Society, 2009. (DOI).
  35. Linear-Quadratic Optimal Time-varying Observers with Time-varying Guaranteed Convergence Rate. Mikael Stocks and Alexander Medvedev. In IET Control Theory and Applications, volume 3, number 2, pp 181-188, 2009. (DOI).
  36. Missing data recovery via a nonparametric iterative adaptive approach. Peter Stoica, Jian Li, Jun Ling, and Yubo Cheng. In Proceedings of the 2009 IEEE International Conference on Acoustics, Speech, and Signal Processing: April 19 - 24, 2009, Taipei, Taiwan, 2009.
  37. Missing data recovery via a nonparametric iterative adaptive approach. Peter Stoica, Jian Li, and Jun Ling. In IEEE Signal Processing Letters, volume 16, number 4, pp 241-244, 2009. (DOI).
  38. New algorithms for designing unimodular sequences with good correlation properties. Peter Stoica, Hao He, and Jian Li. In IEEE Transactions on Signal Processing, volume 57, number 4, pp 1415-1425, 2009. (DOI).
  39. On designing sequences with impulse-like periodic correlation. Peter Stoica, Hao He, and Jian Li. In IEEE Signal Processing Letters, volume 16, number 8, pp 703-706, 2009. (DOI).
  40. On maximum likelihood estimation in factor analysis: an algebraic derivation. Peter Stoica and Magnus Jansson. In Signal Processing, volume 89, number 6, pp 1260-1262, 2009. (DOI).
  41. Spectral analysis of nonuniformly sampled data: a new approach versus the periodogram. Peter Stoica, Jian Li, and Hao He. In IEEE Transactions on Signal Processing, volume 57, number 3, pp 843-858, 2009. (DOI).
  42. A covariance matching approach for identifying errors-in-variables systems. Torsten Söderström, Magnus Mossberg, and Mei Hong. In Automatica, volume 45, number 9, pp 2018-2031, 2009. (DOI).
  43. Identifying errors-in-variables systems by using a covariance matching approach. Torsten Söderström, Magnus Mossberg, and Mei Hong. In SYSID 2009, IFAC 15th Symposium on System Identification, Saint-Malo, France, July 6-8, 2009, 2009.
  44. Sampling approximations for continuous-time identification. Torsten Söderström. In SYSID 2009, IFAC 15th Symposium on System Identification, Saint-Malo, France, July 6-8, 2009., 2009.
  45. Probing waveform synthesis and receive filter design for active sensing systems. Xing Tan, Hao He, William Roberts, Ming Xue, Duc Vu, Jian Li, and Peter Stoica. In SPIE Defense, Security and Sensing Conference, Orlando, FL, USA, 2009, 2009. (DOI).
  46. Range-Doppler imaging via a train of probing pulses. Xing Tan, William Roberts, Jian Li, and Peter Stoica. In IEEE Transactions on Signal Processing, volume 57, number 3, pp 1084-1097, 2009. (DOI).
  47. On estimation of cascade systems with common dynamics. Bo Wahlberg, Peter Stoica, and Prabhu Babu. In 15th IFAC Symposium on System Identification, Saint-Malo, France, 2009, 2009.
  48. Optimized search window alignment for A-GPS. Torbjörn Wigren and Torgny Palenius. In IEEE Transactions on Vehicular Technology, volume 58, number 8, pp 4670-4675, 2009. (DOI).
  49. RTT positioning in WCDMA. Torbjörn Wigren and Jenni Wennervirta. In Proc. 5th International Conference on Wireless and Mobile Communications, pp 303-308, IEEE Computer Society, 2009. (DOI).
  50. Soft uplink load estimation in WCDMA. Torbjörn Wigren. In IEEE Transactions on Vehicular Technology, volume 58, number 2, pp 760-772, 2009. (DOI).
  51. ASEO: a method for the simultaneous estimation of single-trial event-related potentials and ongoing brain activities. L. Xu, Peter Stoica, Jian Li, S. Bressler, X. Shao, and M. Ding. In IEEE Transactions on Biomedical Engineering, volume 56, number 1, pp 111-121, 2009. (DOI).
  52. MIMO radar angle-doppler imaging via iterative space-time adaptive approach. Ming Xue, Xumin Zhu, Jian Li, Duc Vu, and Peter Stoica. In 4th IEEE International Waveform Diversity and Design Conference, Orlando, FL, USA, 2009, 2009.
  53. On MIMO radar transmission schemes for ground moving target indication. Ming Xue, Duc Vu, Luzhou Xu, Jian Li, and Peter Stoica. In Proc. 43rd Asilomar Conference on Signals, Systems and Computers, pp 1171-1175, IEEE, Piscataway, NJ, 2009. (DOI).

Numerical Analysis (Numerisk analys)

  1. Accurate and stable calculations involving shocks using a new hybrid scheme. Qaisar Abbas, Edwin van der Weide, and Jan Nordström. In Proc. 19th AIAA CFD Conference, volume 2009-3985 of Conference Proceeding Series, AIAA, 2009.
  2. Equivalent operator preconditioning for elliptic problems. Owe Axelsson and János Karátson. In Numerical Algorithms, volume 50, pp 297-380, 2009. (DOI).
  3. Preconditioning of boundary value problems using elementwise Schur complements. Owe Axelsson, Radim Blaheta, and Maya Neytcheva. In SIAM Journal on Matrix Analysis and Applications, volume 31, pp 767-789, 2009. (DOI).
  4. The local Green's function method in singularly perturbed convection-diffusion problems. Owe Axelsson, Evgeny Glushkov, and Natalya Glushkova. In Mathematics of Computation, volume 78, number 265, pp 153-170, 2009. (DOI).
  5. A discontinuous Galerkin extension of the vertex-centered edge-based finite volume method. Martin Berggren, Sven-Erik Ekström, and Jan Nordström. In Communications in Computational Physics, volume 5, pp 456-468, 2009.
  6. Students' understanding of the concept of interface in a situated context. Jonas Boustedt. In Computer Science Education, volume 19, pp 15-36, 2009. (DOI).
  7. Analytical solutions for a single blade in vertical axis turbine motion in two dimensions. Paul Deglaire, Stefan Engblom, Olov Ågren, and Hans Bernhoff. In European journal of mechanics. B, Fluids, volume 28, pp 506-520, 2009. (DOI).
  8. Analysis of stretched grids as buffer zones in aero-acoustic simulations. Gunilla Efraimsson and Gunilla Kreiss. In Proc. 15th AIAA/CEAS Aeroacoustics Conference, volume 2009-3113 of Conference Proceeding Series, AIAA, 2009.
  9. Boundary values and finite difference methods for the single factor term structure equation. Erik Ekström, Per Lötstedt, and Johan Tysk. In Applied Mathematical Finance, volume 16, pp 253-259, 2009. (DOI).
  10. The influence of weak and strong solid wall boundary conditions on the convergence to steady-state of the Navier-Stokes equations. Peter Eliasson, Sofia Eriksson, and Jan Nordström. In Proc. 19th AIAA CFD Conference, volume 2009-3551 of Conference Proceeding Series, AIAA, 2009.
  11. Galerkin spectral method applied to the chemical master equation. Stefan Engblom. In Communications in Computational Physics, volume 5, pp 871-896, 2009.
  12. Parallel in time simulation of multiscale stochastic chemical kinetics. Stefan Engblom. In Multiscale Modeling & simulation, volume 8, pp 46-68, 2009. (DOI).
  13. Simulation of stochastic reaction-diffusion processes on unstructured meshes. Stefan Engblom, Lars Ferm, Andreas Hellander, and Per Lötstedt. In SIAM Journal on Scientific Computing, volume 31, pp 1774-1797, 2009. (DOI).
  14. Spectral approximation of solutions to the chemical master equation. Stefan Engblom. In Journal of Computational and Applied Mathematics, volume 229, pp 208-221, 2009. (DOI).
  15. Multiscale Modeling and Simulation in Science. Björn Engquist, Per Lötstedt, and Olof Runborg (eds). Volume 66 of Lecture Notes in Computational Science and Engineering, Springer-Verlag, Berlin, 2009.
  16. Analysis of mesh and boundary effects on the accuracy of node-centered finite volume schemes. Sofia Eriksson and Jan Nordström. In Proc. 19th AIAA CFD Conference, volume 2009-3651 of Conference Proceeding Series, AIAA, 2009.
  17. Analysis of the order of accuracy for node-centered finite volume schemes. Sofia Eriksson and Jan Nordström. In Applied Numerical Mathematics, volume 59, pp 2659-2676, 2009. (DOI).
  18. Nonparametric density estimation for randomly perturbed elliptic problems I: Computational methods, a posteriori analysis, and adaptive error control. Donald Estep, Axel Målqvist, and Simon Tavener. In SIAM Journal on Scientific Computing, volume 31, pp 2935-2959, 2009. (DOI).
  19. Nonparametric density estimation for randomly perturbed elliptic problems II: Applications and adaptive modeling. Donald Estep, Axel Målqvist, and Simon Tavener. In International Journal for Numerical Methods in Engineering, volume 80, pp 846-867, 2009. (DOI).
  20. Adaptive solution of the master equation in low dimensions. Lars Ferm and Per Lötstedt. In Applied Numerical Mathematics, volume 59, pp 187-204, 2009. (DOI).
  21. Investigation of acceleration effects on missile aerodynamics using computational fluid dynamics. Igle M. A. Gledhill, Karl Forsberg, Peter Eliasson, Jeffrey Baloyi, and Jan Nordström. In Aerospace Science and Technology, volume 13, pp 197-203, 2009. (DOI).
  22. Adaptive stochastic hybrid simulation of biochemical reaction-diffusion models. Andreas Hellander, Lars Ferm, and Per Lötstedt. In Proc. 3rd International Conference on Foundations of Systems Biology in Engineering, p 4, The Systems Biology Institute, 2009. (Preprint).
  23. A mixed adaptive variational multiscale method with applications in oil reservoir simulation. Mats G. Larson and Axel Målqvist. In Mathematical Models and Methods in Applied Sciences, volume 19, pp 1017-1042, 2009. (DOI).
  24. An adaptive variational multiscale method for convection-diffusion problems. Mats G. Larson and Axel Målqvist. In Communications in Numerical Methods in Engineering, volume 25, pp 65-79, 2009. (DOI).
  25. Implicit-explicit Runge-Kutta methods for stiff combustion problems. Erik Lindblad, Damir M. Valiev, Bernhard Müller, Jarmo Rantakokko, Per Lötstedt, and Michael A. Liberman. In Shock Waves: Volume 1, pp 299-304, Springer-Verlag, Berlin, 2009. (DOI).
  26. A highly accurate adaptive finite difference solver for the Black–Scholes equation. Gunilla Linde, Jonas Persson, and Lina von Sydow. In International Journal of Computer Mathematics, volume 86, pp 2104-2121, 2009. (DOI).
  27. Measurements and numerical modelling of orifice flow in microchannels. Jens Lindström, Johan Bejhed, and Jan Nordström. In Proc. 41st AIAA Thermophysics Conference, volume 2009-4098 of Conference Proceeding Series, AIAA, 2009.
  28. Stable Boundary Treatment for the Wave Equation on Second-Order Form. Ken Mattsson, Frank Ham, and Gianluca Iaccarino. In Journal of Scientific Computing, volume 41, pp 366-383, 2009. (DOI).
  29. Liminal spaces and learning computing. Robert McCartney, Jonas Boustedt, Anna Eckerdal, Jan Erik Moström, Kate Sanders, Lynda Thomas, and Carol Zander. In European Journal of Engineering Education, volume 34, pp 383-391, 2009. (DOI).
  30. Computer Science Student Transformations: Changes and Causes. Jan Erik Moström, Jonas Boustedt, Anna Eckerdal, Robert McCartney, Kate Sanders, Lynda Thomas, and Carol Zander. In SIGCSE Bulletin inroads, volume 41, number 3, pp 181-185, 2009. (DOI).
  31. Strictly stable high order difference methods for the compressible Euler and Navier-Stokes equations. Bernhard Müller. In Computational Fluid Dynamics: 2006, pp 125-130, Springer-Verlag, Berlin, 2009. (DOI).
  32. A hybrid method for unsteady inviscid fluid flow. Jan Nordström, Frank Ham, Mohammad Shoeybi, Edwin van der Weide, Magnus Svärd, Ken Mattsson, Gianluca Iaccarino, and Jing Gong. In Computers & Fluids, volume 38, pp 875-882, 2009. (DOI).
  33. A stable and conservative high order multi-block method for the compressible Navier-Stokes equations. Jan Nordström, Jing Gong, Edwin van der Weide, and Magnus Svärd. In Journal of Computational Physics, volume 228, pp 9020-9035, 2009. (DOI).
  34. Shock and vortex calculations using a very high order accurate Euler and Navier-Stokes solver. Jan Nordström, Sofia Eriksson, Craig Law, and Jing Gong. In Journal of Mechanics and MEMS, volume 1, number 1, pp 19-26, 2009.
  35. Boundary procedures for the time-dependent stochastic Burgers' equation. Per Pettersson, Gianluca Iaccarino, and Jan Nordström. In Proc. 19th AIAA CFD Conference, volume 2009-3550 of Conference Proceeding Series, AIAA, 2009.
  36. Numerical analysis of the Burgers' equation in the presence of uncertainty. Per Pettersson, Gianluca Iaccarino, and Jan Nordström. In Journal of Computational Physics, volume 228, pp 8394-8412, 2009. (DOI).
  37. Fokker-Planck approximation of the master equation in molecular biology. Paul Sjöberg, Per Lötstedt, and Johan Elf. In Computing and Visualization in Science, volume 12, pp 37-50, 2009. (DOI).
  38. Variation theory applied to students' conceptions of computer programming. Michael Thuné and Anna Eckerdal. In European Journal of Engineering Education, volume 34, pp 339-347, 2009. (DOI).
  39. Megapixel topology optimization on a graphics processing unit. Eddie Wadbro and Martin Berggren. In SIAM Review, volume 51, pp 707-721, 2009. (DOI).
  40. A conservative level set method for contact line dynamics. Sara Zahedi, Katarina Gustavsson, and Gunilla Kreiss. In Journal of Computational Physics, volume 228, pp 6361-6375, 2009. (DOI).
  41. Student Transformations: Are they computer scientists yet?. Carol Zander, Jonas Boustedt, Robert McCartney, Jan Erik Moström, Kate Sanders, and Lynda Thomas. In Proc. 5th International Computing Education Research Workshop, pp 129-140, ACM Press, New York, 2009. (DOI).

Computational Science (Tillämpad beräkningsvetenskap)

  1. A grid portal for genetic analysis of complex traits. Mahen Jayawardena, Salman Toor, and Sverker Holmgren. In Proc. 32nd International Convention on Information and Communication Technology, Electronics and Microelectronics: Volume I, pp 281-284, MIPRO, Rijeka, Croatia, 2009.
  2. Software Issues in Computational Science and Engineering. Hans Petter Langtangen and Michael Thuné (eds). Volume 4:4 of International Journal of Computational Science and Engineering, 2009.
  3. Naturally Occurring Data as Research Instrument: Analyzing examination responses to study the novice programmer. Raymond Lister, Tony Clear, Simon, Dennis J. Bouvier, Paul Carter, Anna Eckerdal, Jana Jacková, Mike Lopez, Robert McCartney, Phil Robbins, Otto Seppälä, and Errol Thompson. In SIGCSE Bulletin inroads, volume 41, number 4, pp 156-173, 2009. (DOI).
  4. Liminal spaces and learning computing. Robert McCartney, Jonas Boustedt, Anna Eckerdal, Jan Erik Moström, Kate Sanders, Lynda Thomas, and Carol Zander. In European Journal of Engineering Education, volume 34, pp 383-391, 2009. (DOI).
  5. New algorithms for evaluating the log-likelihood function derivatives in the AI-REML method. Kateryna Mishchenko and Maya Neytcheva. In Communications in statistics. Simulation and computation, volume 38, pp 1348-1364, 2009. (DOI).
  6. Computer Science Student Transformations: Changes and Causes. Jan Erik Moström, Jonas Boustedt, Anna Eckerdal, Robert McCartney, Kate Sanders, Lynda Thomas, and Carol Zander. In SIGCSE Bulletin inroads, volume 41, number 3, pp 181-185, 2009. (DOI).
  7. cnF2freq: Efficient determination of genotype and haplotype probabilities in outbred populations using Markov models. Carl Nettelblad, Sverker Holmgren, Lucy Crooks, and Örjan Carlborg. In Bioinformatics and Computational Biology, volume 5462 of Lecture Notes in Computer Science, pp 307-319, Springer-Verlag, Berlin, 2009. (DOI).
  8. Parallel Structured Adaptive Mesh Refinement. Jarmo Rantakokko and Michael Thuné. In Parallel Computing: Numerics, Applications, and Trends, pp 147-173, Springer-Verlag, London, 2009. (DOI).
  9. Variation theory applied to students' conceptions of computer programming. Michael Thuné and Anna Eckerdal. In European Journal of Engineering Education, volume 34, pp 339-347, 2009. (DOI).
  10. Reconsidering algorithms for iterative solvers in the multicore era. Dan Wallin, Henrik Löf, Erik Hagersten, and Sverker Holmgren. In International Journal of Computational Science and Engineering, volume 4, pp 270-282, 2009. (DOI).
  11. A meta-model describing the development process of mobile learning. Anna Wingkvist and Morgan Ericsson. In Advances in Web Based Learning – ICWL 2009, volume 5686 of Lecture Notes in Computer Science, pp 454-463, Springer-Verlag, Berlin, 2009. (DOI).
  12. Current practice in mobile learning: A survey of research method and purpose. Anna Wingkvist and Morgan Ericsson. In Proc. 8th World Conference on Mobile and Contextual Learning, pp 103-111, University of Central Florida, Orlando, FL, 2009.
  13. Sharing experience from three initiatives in mobile learning: Lessons learned. Anna Wingkvist and Morgan Ericsson. In Proc. 17th International Conference on Computers in Education, pp 613-617, Asia-Pacific Society for Computers in Education, Jhongli City, Taiwan, 2009.
  14. Thinking ahead in mobile learning projects: A survey on risk assessment. Anna Wingkvist and Morgan Ericsson. In Proc. 8th International Conference on Perspectives in Business Informatics Research, pp 57-66, Kristianstad Academic Press, Sweden, 2009.

Computer Systems (Datorteknik)

  1. Approximated parameterized verification of infinite-state processes with global conditions. Aziz Abdulla, Giorgio Delzanno, and Ahmed Rezine. In Formal methods in system design, volume 34, number 2, pp 126-156, 2009. (DOI).
  2. Monotonic Abstraction: on Efficient Verification of Parameterized Systems. Aziz Abdulla, Giorgio Delzanno, Ben Henda, and Ahmed Rezine. In International Journal of Foundations of Computer Science, volume 20, number 5, pp 779-801, 2009. (DOI).
  3. A uniform (bi-)simulation-based framework for reducing tree automata. Parosh Aziz Abdulla, Lukás Holík, Lisa Kaati, and Tomás Vojnar. In Electronical Notes in Theoretical Computer Science, volume 251, pp 27-48, 2009. (DOI).
  4. Composed bisimulation for tree automata. Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, and Tomás Vojnar. In International Journal of Foundations of Computer Science, volume 20, number 4, pp 685-700, 2009. (DOI).
  5. Universality of R-automata with value copying. Parosh Aziz Abdulla, Pavel Krcal, and Wang Yi. In Electronical Notes in Theoretical Computer Science, volume 239, pp 131-141, 2009. (DOI).
  6. Learning computer science: Perceptions, actions and roles. Anders Berglund, Anna Eckerdal, Arnold Pears, Philip East, Päivi Kinnunen, Lauri Malmi, Robert McCartney, Jan Erik Moström, Laurie Murphy, Mark Ratcliffe, Carsten Schulte, Beth Simon, Ioanna Stamouli, and Lynda Thomas. In European Journal of Engineering Education, volume 34, pp 327-338, 2009. (DOI).
  7. Introducing an external mentor in an international open ended group project. Åsa Cajander, Tony Clear, and Mats Daniels. In Proc. 39th ASEE/IEEE Frontiers in Education Conference, pp T2D-1-6, IEEE, Piscataway, NJ, 2009. (DOI).
  8. Students analyzing their collaboration in an international open ended group project. Åsa Cajander, Tony Clear, Mats Daniels, Joel Edlund, Per Hamrin, Cary Laxer, and Martin Persson. In Proc. 39th ASEE/IEEE Frontiers in Education Conference, pp M1D-1-6, IEEE, Piscataway, NJ, 2009. (DOI).
  9. A global software project: Developing a tablet PC capture platform for explanograms. Tony Clear, Jacqueline Whalley, Jonathan Hill, Yong Liu, Arnold Pears, and Beryl Plimmer. In Proc. 8th International Conference on Computing Education Research: Koli Calling, volume 2009-004 of Technical report / Department of Information Technology, Uppsala University, pp 41-50, 2009. (Proceedings).
  10. Reflections on trustworthiness in phenomenographic research: Recognising purpose, context and change in the process of research. Brandon I. Collier-Reed, Åke Ingerman, and Anders Berglund. In Education as Change, volume 13, number 2, pp 339-355, 2009. (DOI, fulltext:postprint).
  11. Managing cross layer information in OMNeT++ simulations. Laura Marie Feeney. 6th Swedish National Computer Networking Workshop (SNCNW'09), Uppsala, May 4-5, 2009, 2009. (fulltext).
  12. Dynamic structural symmetry breaking for constraint satisfaction problems. Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck, and Magnus Ågren. In Constraints, volume 14, number 4, pp 506-538, 2009. (DOI).
  13. Solving necklace constraint problems. Pierre Flener and Justin Pearson. In Journal of Algorithms, volume 64, number 2-3, pp 61-73, 2009. (DOI).
  14. Static and dynamic structural symmetry breaking. Pierre Flener, Justin Pearson, and Meinolf Sellmann. In Annals of Mathematics and Artificial Intelligence, volume 57, number 1, pp 37-57, 2009. (DOI).
  15. Cache-aware scheduling and analysis for multicores. Nan Guan, Martin Stigge, Wang Yi, and Ge Yu. In Proc. 9th ACM International Conference on Embedded Software, pp 245-254, ACM Press, New York, 2009. (DOI).
  16. Improving scalability of model-checking for minimizing buffer requirements of synchronous dataflow graphs. Nan Guan, Zonghua Gu, Wang Yi, and Ge Yu. In Proc. 14th Asia and South Pacific Design Automation Conference, pp 715-720, IEEE, Piscataway, NJ, 2009. (DOI).
  17. New Response Time Bounds for Fixed Priority Multiprocessor Scheduling. Nan Guan, Martin Stigge, Wang Yi, and Ge Yu. In Proc. Real-Time Systems Symposium: RTSS 2009, pp 387-397, IEEE, Piscataway, NJ, 2009. (DOI).
  18. Dynamic demand-capacity balancing for air traffic management using constraint-based local search: First results. Farshid Hassani Bijarbooneh, Pierre Flener, and Justin Pearson. In Proc. 6th International Workshop on Local Search Techniques in Constraint Satisfaction, volume 5 of Electronic Proceedings in Theoretical Computer Science, pp 27-40, 2009. (DOI).
  19. Toward an <em>automaton</em> constraint for local search. Jun He, Pierre Flener, and Justin Pearson. In Proc. 6th International Workshop on Local Search Techniques in Constraint Satisfaction, volume 5 of Electronic Proceedings in Theoretical Computer Science, pp 13-25, 2009. (DOI).
  20. CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. Valérie Issarny, Bernhard Steffen, Bengt Jonsson, Gordon Blair, Paul Grace, Marta Kwiatkowska, Radu Calinescu, Paola Inverardi, Massimo Tivoli, Antonia Bertolino, and Antonino Sabetta. In Proc. 14th International Conference on Engineering of Complex Computer Systems, pp 154-161, IEEE, Piscataway, NJ, 2009. (DOI).
  21. Evolution of an international collaborative student project. Cary Laxer, Mats Daniels, Åsa Cajander, and Michael Wollowski. In Australian Computer Science Communications, volume 31, number 5, pp 111-118, 2009. (External link).
  22. WCET Analysis of the ?C/OS-II Real-Time Kernel. Mingsong Lv, Nan Guan, Yi Zhang, Rui Chen, Qingxu Deng, Ge Yu, and Wang Yi. In Proc. 12th International Conference on Computational Science and Engineering: Vol. 2, pp 270-276, IEEE, Piscataway, NJ, 2009. (DOI).
  23. Helping students debug concurrent programs. Jan Lönnberg, Lauri Malmi, and Anders Berglund. In Koli Calling: Proc. 8th International Conference on Computing Education Research, volume 2009-004 of Technical report / Department of Information Technology, Uppsala University, pp 76-79, 2009. (Proceedings).
  24. How students develop concurrent programs. Jan Lönnberg, Anders Berglund, and Lauri Malmi. In Australian Computer Science Communications, volume 31, number 5, pp 129-138, 2009. (External link).
  25. Constrained optimisation over massive databases. Toni Mancini, Pierre Flener, Amir Hossein Monshi, and Justin Pearson. In Proc. 16th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, volume 589 of CEUR Workshop Proceedings, p 16, Italian Association for Artificial Intelligence, 2009. (Proceedings).
  26. Protecting Receiver Privacy in Routing for Wireless Sensor Networks. Edith Ngai and Brittle Tsoi. In Mobile and Wireless Network Security: MWNS 2009, pp 63-74, Shaker Verlag, Aachen, Germany, 2009.
  27. An adaptive delay-minimized route design for wireless sensor–actuator networks. Edith C.-H. Ngai, Jiangchuan Liu, and Michael R. Lyu. In IEEE Transactions on Vehicular Technology, volume 58, number 9, pp 5083-5094, 2009. (DOI).
  28. Information-Aware Traffic Reduction for Wireless Sensor Networks. Edith C.-H. Ngai, Erol Gelenbe, and Gregory Humber. In Proc. 34th Conference on Local Computer Networks, pp 451-458, IEEE, Piscataway, NJ, 2009. (DOI).
  29. On Providing Location Privacy for Mobile Sinks in Wireless Sensor Networks. Edith C.-H. Ngai and Ioana Rodhe. In Proc. 12th ACM International Conference on Modeling, Analysis, and Simulation of Wireless and Mobile Systems, pp 116-123, ACM Press, New York, 2009. (DOI).
  30. On Providing Sink Anonymity for Sensor Networks. Edith C.-H. Ngai. In Proc. 5th International Wireless Communications and Mobile Computing Conference, pp 269-273, ACM Press, New York, 2009. (DOI).
  31. Search-Based Picture Sharing With Mobile Phones: Demo. Erik Nordström, Christian Rohner, Fredrik Bjurefors, and Daniel Aldman. In ACM MobiHoc, New Orleans, 2009.
  32. Using Search to Enhance Picture Sharing with Mobile Phones: Demo. Erik Nordström, Daniel Aldman, Fredrik Bjurefors, and Christian Rohner. In ACM MobiSys, ACM, Krakow, 2009.
  33. Proc. 8th International Conference on Computing Education Research: Koli Calling. Arnold Pears and Lauri Malmi (eds). Volume 2009-004 of Technical report / Department of Information Technology, Uppsala University, 2009. (External link).
  34. Values and Objectives in Computing Education Research. Arnold Pears and Lauri Malmi. In ACM Transactions on Computing Education, volume 9, number 3, pp 15:1-6, 2009. (DOI, fulltext:postprint).
  35. Sensei-UU: a flexible testbed for heterogeneous wireless sensor networks. Olof Rensfelt, Frederik Hermans, Christofer Ferm, Lars-Åke Larzon, and Per Gunningberg. In Testbeds and Research Infrastructures for the Development of Networks Communities and Workshops, 2009. TridentCom 2009. 5th International Conference on, pp 1-2, 2009. (DOI).
  36. A study of the message complexity for integrity preserving aggregation schemes used in wireless sensor networks. Ioana Rodhe and Christian Rohner. 6th Swedish National Computer Networking Workshop, Uppsala, Sweden, 2009.
  37. Reconsidering algorithms for iterative solvers in the multicore era. Dan Wallin, Henrik Löf, Erik Hagersten, and Sverker Holmgren. In International Journal of Computational Science and Engineering, volume 4, pp 270-282, 2009. (DOI).
  38. Bridges and problem solving: Swedish engineering students' conceptions of engineering in 2007. Mattias Wiggberg and Peter Dalenius. In Proc. 1st International Conference on Computer Supported Education: Volume 2, pp 5-12, Institute for Systems and Technologies of Information, Control and Communication, 2009.
  39. Modeling and analysis of thread-pools in an industrial communication platform. Frank S. de Boer, Immo Grabe, Mohammad Mahdi Jaghoori, Andries Stam, and Wang Yi. In Formal Methods and Software Engineering, volume 5885 of Lecture Notes in Computer Science, pp 367-386, Springer-Verlag, Berlin, 2009. (DOI).
  40. Revisiting constraint-directed search. Magnus Ågren, Pierre Flener, and Justin Pearson. In Information and Computation, volume 207, number 3, pp 438-457, 2009. (DOI).

Computing Science (Datalogi)

  1. Formalising the ?-calculus using nominal logic. Jesper Bengtson and Joachim Parrow. In Logical Methods in Computer Science, volume 5, number 2, pp 16:1-36, 2009. (DOI, fulltext).
  2. Psi-calculi: Mobile processes, nominal data, and logic. Jesper Bengtson, Magnus Johansson, Joachim Parrow, and Björn Victor. In Proc. 24th Annual IEEE Symposium on Logic in Computer Science, pp 39-48, IEEE, Piscataway, NJ, 2009. (DOI).
  3. Psi-calculi in Isabelle. Jesper Bengtson and Joachim Parrow. In Theorem Proving in Higher Order Logics, volume 5674 of Lecture Notes in Computer Science, pp 99-114, Springer-Verlag, Berlin, 2009. (DOI).
  4. Dynamic structural symmetry breaking for constraint satisfaction problems. Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck, and Magnus Ågren. In Constraints, volume 14, number 4, pp 506-538, 2009. (DOI).
  5. Solving necklace constraint problems. Pierre Flener and Justin Pearson. In Journal of Algorithms, volume 64, number 2-3, pp 61-73, 2009. (DOI).
  6. Static and dynamic structural symmetry breaking. Pierre Flener, Justin Pearson, and Meinolf Sellmann. In Annals of Mathematics and Artificial Intelligence, volume 57, number 1, pp 37-57, 2009. (DOI).
  7. Optimization and Execution of Complex Scientific Queries over Uncorrelated Experimental Data. Ruslan Fomkin and Tore Risch. In Scientific and Statistical Database Management, volume 5566 of Lecture Notes in Computer Science, pp 320-338, Springer-Verlag, Berlin, 2009. (DOI, fulltext).
  8. Mining long, sharable patterns in trajectories of moving objects. Gyözö Gidófalvi and Torben Bach Pedersen. In Geoinformatica, volume 13, number 1, pp 27-55, 2009. (DOI).
  9. Dynamic demand-capacity balancing for air traffic management using constraint-based local search: First results. Farshid Hassani Bijarbooneh, Pierre Flener, and Justin Pearson. In Proc. 6th International Workshop on Local Search Techniques in Constraint Satisfaction, volume 5 of Electronic Proceedings in Theoretical Computer Science, pp 27-40, 2009. (DOI).
  10. Toward an <em>automaton</em> constraint for local search. Jun He, Pierre Flener, and Justin Pearson. In Proc. 6th International Workshop on Local Search Techniques in Constraint Satisfaction, volume 5 of Electronic Proceedings in Theoretical Computer Science, pp 13-25, 2009. (DOI).
  11. Relaying Controller Area Network Frames over Wireless Internetworks for Automotive Testing Applications. Mathias Johanson, Lennart Karlsson, and Tore Risch. In Proc. 4th International Conference on Systems and Networks Communications, pp 1-5, IEEE, Piscataway, NJ, 2009. (DOI).
  12. Constrained optimisation over massive databases. Toni Mancini, Pierre Flener, Amir Hossein Monshi, and Justin Pearson. In Proc. 16th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, volume 589 of CEUR Workshop Proceedings, p 16, Italian Association for Artificial Intelligence, 2009. (Proceedings).
  13. Adaptive Parallelization of Queries over Dependent Web Service Calls. Manivasakan Sabesan and Tore Risch. In Proc. 25th International Conference on Data Engineering, pp 1725-1732, IEEE, Piscataway, NJ, 2009. (DOI).
  14. Web Service Query Service. Manivasakan Sabesan and Tore Risch. In Proc. 11th International Conference on Information Integration and Web-based Applications and Services: iiWAS2009, volume 260 of books@ocg.at, pp 692-697, ACM Press, New York, 2009.
  15. Automatic refactoring of Erlang programs. Konstantinos Sagonas and Thanassis Avgerinos. In Proc. 11th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, pp 13-23, ACM Press, New York, 2009. (DOI).
  16. Revisiting constraint-directed search. Magnus Ågren, Pierre Flener, and Justin Pearson. In Information and Computation, volume 207, number 3, pp 438-457, 2009. (DOI).

Human-Computer Interaction (Människa-datorinteraktion)

  1. Introducing an external mentor in an international open ended group project. Åsa Cajander, Tony Clear, and Mats Daniels. In Proc. 39th ASEE/IEEE Frontiers in Education Conference, pp T2D-1-6, IEEE, Piscataway, NJ, 2009. (DOI).
  2. Students analyzing their collaboration in an international open ended group project. Åsa Cajander, Tony Clear, Mats Daniels, Joel Edlund, Per Hamrin, Cary Laxer, and Martin Persson. In Proc. 39th ASEE/IEEE Frontiers in Education Conference, pp M1D-1-6, IEEE, Piscataway, NJ, 2009. (DOI).
  3. The social embedding of management control in knowledge-intensive firms. Mats Edenius and Alexander Styhre. In Journal of Human Resource Costing & Accounting, volume 13, number 1, pp 9-28, 2009. (DOI).
  4. Hello World!: Experiencing usability methods without usability expertise. Elina Eriksson, Åsa Cajander, and Jan Gulliksen. In Human-Computer Interaction – INTERACT 2009: Part II, volume 5727 of Lecture Notes in Computer Science, pp 550-565, Springer Berlin/Heidelberg, 2009. (DOI).
  5. Human-Computer Interaction – INTERACT 2009: Part I. Tom Gross, Jan Gulliksen, Paula Kotzé, Lars Oestreicher, Philippe Palanque, Raquel Oliveira Prates, and Marco Winckler (eds). Volume 5726 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 2009.
  6. Human-Computer Interaction – INTERACT 2009: Part II. Tom Gross, Jan Gulliksen, Paula Kotzé, Lars Oestreicher, Philippe Palanque, Raquel Oliveira Prates, and Marco Winckler (eds). Volume 5727 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 2009.
  7. User-Centred Systems Design as Organizational Change: A Longitudinal Action Research Project to Improve Usability and the Computerized Work Environment in a Public Authority. Jan Gulliksen, Åsa Cajander, Bengt Sandblad, Elina Eriksson, and Iordanis Kavathatzopoulos. In International Journal of Technology and Human Interaction, volume 5, number 3, pp 13-53, 2009. (DOI).
  8. Computer supported ethical decision making. Iordanis Kavathatzopoulos and Mikael Laaksoharju. In 23rd European Conference on Operational Research, pp 193-193, Bonn, 2009. (Book of abstracts).
  9. Ethical usability of IT systems: How to consider relevant factors and how to find solutions. Iordanis Kavathatzopoulos and Mikael Laaksoharju. In Proceedings of the Fifth Asia-Pacific Computing and Philosophy Conference, Tokyo University, Tokyo, 2009. (External link).
  10. Logos for ethics. Iordanis Kavathatzopoulos. In Pathos for ethics: Leadership, excellence and the quest for sustainable future, Proceedings of 22nd European Business Ethics Network Annual Conference, 10-12 September 2009, Athens, 22nd EBEN A.C., Athens, 2009.
  11. Methods and tools for ethical usability. Iordanis Kavathatzopoulos, Agata Kostrzewa, and Mikael Laaksoharju. In Human-Computer Interaction – INTERACT 2009, volume 5727 of Lecture Notes in Computer Science, pp 946-947, Springer-Verlag, Berlin, 2009. (DOI).
  12. Designing for Complex Innovations in Health Care: Design Theory and Realist Evaluation Combined. Christina Keller, Klas Gäre, Mats Edenius, and Staffan Lindblad. In Proc. 4th International Conference on Design Science Research in Information Systems and Technology, pp 3:1-11, ACM Press, New York, 2009. (DOI).
  13. Enhancing ethical competence in organizations: How to process moral knowledge. Agata Kostrzewa, Mikael Laaksoharju, and Iordanis Kavathatzopoulos. In European Business Ethics Network Research Conference 2009, pp 60-61, Ben-Gurion University of the Negev, Beer-Sheva, Israel, 2009.
  14. Modelling complex ethical decision problems with operations research. Pierre Kunsch, Iordanis Kavathatzopoulos, and Felix Rauschmayer. In Omega: The International Journal of Management Science, volume 37, number 6, pp 1100-1108, 2009. (DOI).
  15. Computerized support for ethical analysis. Mikael Laaksoharju and Iordanis Kavathatzopoulos. In Computer ethics: Philosophical Enquiry, pp 425-437, Ionian University, Corfu, Greece, 2009.
  16. Evolution of an international collaborative student project. Cary Laxer, Mats Daniels, Åsa Cajander, and Michael Wollowski. In Australian Computer Science Communications, volume 31, number 5, pp 111-118, 2009. (External link).
  17. Why good practice of OR is not enough: Ethical challenges for the OR practitioner. Felix Rauschmayer, Iordanis Kavathatzopoulos, Pierre Kunsch, and Marc Le Menestrel. In Omega: The International Journal of Management Science, volume 37, number 6, pp 1089-1099, 2009. (DOI).
  18. User certification of workplace software: Assessing both artefact and usage. Åke Walldius, Yngve Sundblad, Lars Bengtsson, Bengt Sandblad, and Jan Gulliksen. In Behavior and Information Technology, volume 28, number 2, pp 101-120, 2009. (DOI).

Updated  2016-04-11 10:16:41 by Kurt Otto.