Skip to main content
Department of Information Technology

Refereed publications from the IT research programs 2010

Automatic Control (Reglerteknik)

Chapters in book

  1. NARX identification of Hammerstein systems using least-squares support vector machines. Ivan Goethals, Kristiaan Pelckmans, Tillmann Falck, Johan A. K. Suykens, and Bart De Moor. In Block-oriented Nonlinear System Identification, volume 404 of Lecture Notes in Control and Information Sciences, pp 241-258, Springer-Verlag, Berlin, 2010. (DOI).

Articles in journal

  1. A robust sliding mode controller with internal model for closed-loop artificial pancreas. Amjad Abu-Rmileh, Winston Garcia-Gabin, and Darine Zambrano. In Medical and Biological Engineering and Computing, volume 48, number 12, pp 1191-1201, 2010. (DOI).
  2. Internal model sliding mode control approach for glucose regulation in type 1 diabetes. Amjad Abu-Rmileh, Winston Garcia-Gabin, and Darine Zambrano. In Biomedical Signal Processing and Control, volume 5, number 2, pp 94-102, 2010. (DOI).
  3. Analysis of radial velocity data by a novel adaptive approach. Prabhu Babu, Peter Stoica, Jian Li, Zhaofu Chen, and Jian Ge. In Astronomical Journal, volume 139, number 2, pp 783-793, 2010. (DOI).
  4. Comments on "Iterative Estimation of Sinusoidal Signal Parameters". Prabhu Babu and Peter Stoica. In IEEE Signal Processing Letters, volume 17, number 12, pp 1022-1023, 2010. (DOI).
  5. Linear Systems, Sparse Solutions, and Sudoku. Prabhu Babu, Kristiaan Pelckmans, Peter Stoica, and Jian Li. In IEEE Signal Processing Letters, volume 17, number 1, pp 40-42, 2010. (DOI).
  6. Spectral analysis of nonuniformly sampled data — a review. Prabhu Babu and Peter Stoica. In Digital signal processing (Print), volume 20, number 2, pp 359-378, 2010. (DOI).
  7. A Robust Methodology for In Vivo <em>T</em><sub>1</sub> Mapping. Joëlle K. Barral, Erik Gudmundson, Nikola Stikov, Maryam Etezadi-Amoli, Peter Stoica, and Dwight G. Nishimura. In Magnetic Resonance in Medicine, volume 64, number 4, pp 1057-1067, 2010. (DOI).
  8. Black-box identification of solar collector dynamics with variant time delay. Linda Brus and Darine Zambrano. In Control Engineering Practice, volume 18, number 10, pp 1133-1146, 2010. (DOI).
  9. Feedforward model predictive control of a non-linear solar collector plant with varying delays. Linda Brus, Torbjörn Wigren, and Darine Zambrano. In IET Control Theory and Applications, volume 4, number 8, pp 1421-1435, 2010. (DOI).
  10. Covariance-based approaches to aeroacoustic noise source analysis. Lin Du, Luzhou Xu, Jian Li, Bin Guo, Peter Stoica, Chris Bahr, and Louis N. Cattafesta. In Journal of the Acoustical Society of America, volume 128, number 5, pp 2877-2887, 2010. (DOI).
  11. Fully automatic computation of diagonal loading levels for robust adaptive beamforming. Lin Du, Jian Li, and Peter Stoica. In IEEE Transactions on Aerospace and Electronic Systems, volume 46, number 1, pp 449-458, 2010. (DOI).
  12. Spectral Estimation of Irregularly Sampled Exponentially Decaying Signals with Applications to RF Spectroscopy. Erik Gudmundson, Peter Stoica, Jian Li, Andreas Jakobsson, Michael D. Rowe, John A. S. Smith, and Jun Ling. In Journal of magnetic resonance, volume 203, number 1, pp 167-176, 2010. (DOI).
  13. Comments on "The equations of motion for a standing human reveal three mechanisms for balance" (A. Hof, Vol. 40, pp. 451–457). Kjartan Halvorsen. In Journal of Biomechanics, volume 43, number 16, pp 3244-3247, 2010. (DOI).
  14. On aperiodic correlation bounds. Hao He, Peter Stoica, and Jian Li. In IEEE Signal Processing Letters, volume 17, number 3, pp 253-256, 2010. (DOI).
  15. High resolution angle-Doppler imaging for MTI radar. Jian Li, Xumin Zhu, Peter Stoica, and Muralidhar Rangaswamy. In IEEE Transactions on Aerospace and Electronic Systems, volume 46, number 3, pp 1544-1556, 2010. (DOI).
  16. The phased array is the maximum SNR active array. Jian Li and Peter Stoica. In IEEE signal processing magazine (Print), volume 27, number 2, pp 143-144, 2010. (DOI).
  17. Covert underwater acoustic communications. Jun Ling, Hao He, Jian Li, William Roberts, and Peter Stoica. In Journal of the Acoustical Society of America, volume 128, number 5, pp 2898-2909, 2010. (DOI).
  18. Directional sensitivity of continuous least-squares state estimators. Alexander Medvedev and Hannu T. Toivonen. In Systems & control letters (Print), volume 59, number 9, pp 571-577, 2010. (DOI).
  19. Unbalance estimation using linear and nonlinear regression. Peter Nauclér and Torsten Söderström. In Automatica, volume 46, number 11, pp 1752-1761, 2010. (DOI).
  20. Structure testing of wave propagation models used in identification of viscoelastic materials. Agnes Rensfelt and Torsten Söderström. In Automatica, volume 46, number 4, pp 728-734, 2010. (DOI).
  21. Iterative adaptive approaches to MIMO radar imaging. William Roberts, Peter Stoica, Jian Li, Tarik Yardibi, and Firooz A. Sadjadi. In IEEE Journal of Selected Topics in Signal Processing, volume 4, number 1, pp 5-20, 2010. (DOI).
  22. Probing Waveform Synthesis and Receiver Filter Design. William Roberts, Hao He, Jian Li, and Peter Stoica. In IEEE signal processing magazine (Print), volume 27, number 4, pp 99-112, 2010. (DOI).
  23. Algebraic Derivation of Elfving Theorem on Optimal Experiment Design and Some Connections With Sparse Estimation. Peter Stoica and Prabhu Babu. In IEEE Signal Processing Letters, volume 17, number 8, pp 743-745, 2010. (DOI).
  24. Sequence sets with optimal integrated periodic correlation level. Peter Stoica, Hao He, and Jian Li. In IEEE Signal Processing Letters, volume 17, number 1, pp 63-66, 2010. (DOI).
  25. Primal and dual model representations in kernel-based learning. Johan A. K. Suykens, Carlos Alzate, and Kristiaan Pelckmans. In Statistics Surveys, volume 4, pp 148-183, 2010. (DOI).
  26. Accuracy analysis of time domain maximum likelihood method and sample maximum likelihood method for errors-in-variables and output error identification. Torsten Söderström, Mei Hong, Johan Schoukens, and Rik Pintelon. In Automatica, volume 46, number 4, pp 721-727, 2010. (DOI).
  27. Elite golfers' kinematic sequence in full-swing and partial-swing shots. Fredrik Tinmark, John Hellström, Kjartan Halvorsen, and Alf Thorstensson. In Sports Biomechanics, volume 9, number 4, pp 236-244, 2010. (DOI).
  28. Additive survival least-squares support vector machines. Vanya Van Belle, Kristiaan Pelckmans, Johan A. K. Suykens, and Sabine Van Huffel. In Statistics in Medicine, volume 29, number 2, pp 296-308, 2010. (DOI).
  29. New square-root factorization of inverse Toeplitz matrices. Bo Wahlberg and Peter Stoica. In IEEE Signal Processing Letters, volume 17, number 2, pp 137-140, 2010. (DOI).
  30. RTT positioning field performance. Jenni Wennervirta and Torbjörn Wigren. In IEEE Transactions on Vehicular Technology, volume 59, number 7, pp 3656-3661, 2010. (DOI).
  31. Recursive noise floor estimation in WCDMA. Torbjörn Wigren. In IEEE Transactions on Vehicular Technology, volume 59, number 5, pp 2615-2620, 2010. (DOI).
  32. A covariance fitting approach for correlated acoustic source mapping. Tarik Yardibi, Jian Li, Peter Stoica, Nikolas S. Zawodny, and Louis N. Cattafesta. In Journal of the Acoustical Society of America, volume 127, number 5, pp 2920-2931, 2010. (DOI).
  33. Source Localization and Sensing: A nonparametric iterative adaptive approach based on weighted least squares. Tarik Yardibi, Jian Li, Peter Stoica, Ming Xue, and Arthur B. Baggeroer. In IEEE Transactions on Aerospace and Electronic Systems, volume 46, number 1, pp 425-443, 2010. (DOI).
  34. Application of a transition graph-based predictive algorithm to a solar air conditioning plant. Darine Zambrano, Winston Garcia-Gabin, and Eduardo F. Camacho. In IEEE Transactions on Control Systems Technology, volume 18, number 5, pp 1162-1171, 2010. (DOI).
  35. Medio-lateral stability of sit-to-walk performance in older individuals with and without fear of falling. Anna Cristina Åberg, Gunilla Elmgren Frykberg, and Kjartan Halvorsen. In Gait & Posture, volume 31, number 4, pp 438-443, 2010. (DOI).

Conference papers

  1. Contributions to the initialization of online identification algorithms for anæsthesia: the NeuroMuscular Blockade case study. Juliana Almeida, Margarida Martins da Silva, Torbjörn Wigren, and Teresa Mendonça. In Proc. 18th Mediterranean Conference on Control and Automation, pp 1341-1346, IEEE, Piscataway, NJ, 2010. (DOI).
  2. Modeling radial velocity signals for exoplanet search applications. Prabhu Babu, Peter Stoica, and Jian Li. In The 7th International Conference on Informatics in Control, Automation and Robotics, Madeira, Portugal, 2010.
  3. Dynamic models with quantized output for modeling patient response to pharmacotherapy. Marcus Björk, Alexander Medvedev, and Peter Stoica. In Proc. International Conference on Control Applications: CCA 2010, pp 1029-1034, IEEE, Piscataway, NJ, 2010. (DOI).
  4. Resource efficient operation of a class of wastewater treatment processes. Bengt Carlsson. In Proc. 2nd IWA Water and Energy Conference, pp 96-97, International Water Association, 2010.
  5. An iterative adaptive approach for blood velocity estimation using ultrasound. Erik Gudmundson, Andreas Jakobsson, J. Jensen, and Peter Stoica. In The 18th European Signal Processing Conference, Aalborg, Denmark, 2010.
  6. Waveform design with stopband and correlation constraints for cognitive radar. Hao He, Peter Stoica, and Jian Li. In The 2nd International Workshop on Cognitive Information Processing, Elba, Italy, 2010.
  7. Wideband MIMO waveform design for transmit beampattern synthesis. Hao He, Peter Stoica, and Jian Li. In The 5th IEEE Waveform Diversity and Design Conference, Niagara Falls, Canada, 2010.
  8. Mathematical modeling and grey-box identification of the human smooth pursuit mechanism. Daniel Jansson, Alexander Medvedev, Peter Stoica, and Hans W. Axelson. In Proc. International Conference on Control Applications: CCA 2010, pp 1023-1028, IEEE, Piscataway, NJ, 2010. (DOI).
  9. Iterative adaptive approach for wide-band active sonar array processing. Jian Li, Zhaofu Chen, Peter Stoica, and K. Lo. In IEEE Oceans 2010 Conference, Sydney, Australia, 2010.
  10. Merging PK/PD information in a minimally parameterized model of the NeuroMuscular Blockade. Margarida Martins da Silva, Juliana Almeida, Torbjörn Wigren, and Teresa Mendonça. In Proc. 32nd International Conference of the IEEE Engineering in Medicine and Biology Society, pp 4602-4605, IEEE, Piscataway, NJ, 2010. (DOI).
  11. Online nonlinear identification of the effect of drugs in anæsthesia using a minimal parameterization and BIS measurements. Margarida Martins da Silva, Teresa Mendonça, and Torbjörn Wigren. In Proc. American Control Conference: ACC 2010, pp 4379-4384, American Automatic Control Council, 2010.
  12. Sub-optimal networked system identificationbased on covariance functions. Magnus Mossberg, Yasir Irshad, and Torsten Söderström. In NecSys '10, 2nd IFAC Workshop on Distributed Estimationand Control in Networked Systems, 2010.
  13. Efficient adaptive filtering for smooth linear FIR models. Kristiaan Pelckmans, Toon van Waterschoot, and Johan A. K. Suykens. In Proc. 18th European Signal Processing Conference, pp 2136-2140, European Association for Signal Processing, 2010. (fulltext).
  14. On the identification of monotone Wiener systems. Kristiaan Pelckmans. In Proc. 49th Conference on Decision and Control, pp 7208-7213, IEEE, Piscataway, NJ, 2010. (DOI).
  15. Speedup and tracking accuracy evaluation of parallel particle filter algorithms implemented on a multicore architecture. Olov Rosén, Alexander Medvedev, and Mats Ekman. In Proc. International Conference on Control Applications: CCA 2010, pp 440-445, IEEE, Piscataway, NJ, 2010. (DOI).
  16. Improved non-parametric sparse recovery with data matched penalties. Marco Signoretto, Kristiaan Pelckmans, Lieven De Lathauwer, and Johan A. K. Suykens. In Proc. 2nd International Workshop on Cognitive Information Processing, pp 46-51, IEEE, Piscataway, NJ, 2010. (DOI).
  17. A new method for moving-average parameter estimation. Peter Stoica, Lin Du, Jian Li, and Tryphon Georgiou. In Proc. 44th Asilomar Conference on Signals, Systems and Computers, pp 1817-1820, IEEE, Piscataway, NJ, 2010. (DOI).
  18. Asymptotic accuracy of covariance function based errors-in-variables system parameter estimates. Torsten Söderström and Magnus Mossberg. In Proc. 49th Conference on Decision and Control, pp 328-333, IEEE, Piscataway, NJ, 2010. (DOI).
  19. Errors-in-variables identification using a generalized instrumental variable estimation method. Torsten Söderström. In Proc. 49th Conference on Decision and Control, pp 322-327, IEEE, Piscataway, NJ, 2010. (DOI).
  20. System identification for the errors-in-variables problem. Torsten Söderström. In UKACC International Conference on CONTROL 2010, 2010.
  21. A new sparse sensing approach for MIMO radar imaging. Xing Tan, William Roberts, Jian Li, and Peter Stoica. In The 8th European Conference on Synthetic Aperture Radar, Aachen, Germany, 2010.
  22. Efficient sparse Bayesian learning via Gibbs sampling. Xing Tan, Jian Li, and Peter Stoica. In the 35th International Conference on Acoustics, Speech and Signal Processing, Dallas, USA, 2010.
  23. Recursive prediction error identification and scaling of non-linear systems with midpoint numerical integration. Soma Tayamon and Torbjörn Wigren. In 2010  American Control Conference: ACC 2010, Proceedings of the American Control Conference, pp 4510-4515, 2010.
  24. On the use of a clinical kernel in survival analysis. Vanya Van Belle, Kristiaan Pelckmans, Johan A. K. Suykens, and Sabine Van Huffel. In Proc. 18th European Symposium on Artificial Neural Networks, pp 451-456, d-side publications, Evere, Belgium, 2010.
  25. On optimal input signal design for frequency response estimation. Bo Wahlberg, Hakan Hjalmarsson, and Peter Stoica. In The 49th IEEE Conference on Decision and Control, Atlanta, USA, 2010.
  26. Emergency call delivery standards impair cellular positioning accuracy. Torbjörn Wigren, Michael Anderson, and Ari Kangas. In Proc. International Conference on Communications: ICC 2010, pp 4655-4660, IEEE, Piscataway, NJ, 2010. (DOI).
  27. MIMO radar sparse angle-Doppler imaging for ground moving target indication. Ming Xue, William Roberts, Jian Li, Xing Tan, and Peter Stoica. In IEEE International Radar Conference, Washington DC, USA, 2010.
  28. A regional Swedish consortium for research and education: Demand-driven research within wastewater and sludge management. Linda Åmand and Bengt Carlsson. In Proc. 2nd IWA Water and Energy Conference, pp 100-101, International Water Association, 2010.
  29. Learning control applied to continuous wastewater treatment systems: an initial study. Linda Åmand and Bengt Carlsson. In Proc. 2nd IWA Water and Energy Conference, pp 98-99, International Water Association, 2010.

Numerical Analysis (Numerisk analys)

Chapters in book

  1. Agglomeration multigrid for the vertex-centered dual discontinuous Galerkin method. Sven-Erik Ekström and Martin Berggren. In ADIGMA — A European Initiative on the Development of Adaptive Higher-Order Variational Methods for Aerospace Applications, volume 113 of Notes on Numerical Fluid Mechanics and Multidisciplinary Design, pp 301-308, Springer-Verlag, Berlin, 2010. (DOI).
  2. Incorporating a discontinuous Galerkin method into the existing vertex-centered edge-based finite volume solver Edge. Sven-Erik Ekström and Martin Berggren. In ADIGMA — A European Initiative on the Development of Adaptive Higher-Order Variational Methods for Aerospace Applications, volume 113 of Notes on Numerical Fluid Mechanics and Multidisciplinary Design, pp 39-52, Springer-Verlag, Berlin, 2010. (DOI).
  3. Threshold Concepts in Computer Science: an ongoing empirical investigation. Lynda Thomas, Jonas Boustedt, Anna Eckerdal, Robert McCartney, Jan Erik Moström, Kate Sanders, and Carol Zander. In Threshold Concepts and Transformational Learning, pp 241-258, Sense Publishers, Rotterdam, The Netherlands, 2010.

Articles in journal

  1. Weak versus strong no-slip boundary conditions for the Navier-Stokes equations. Qaisar Abbas and Jan Nordström. In Engineering Applications of Computational Fluid Mechanics, volume 4, pp 29-38, 2010.
  2. Condition number analysis for various forms of block matrix preconditioners. Owe Axelsson and János Karátson. In Electronic Transactions on Numerical Analysis, volume 36, pp 168-194, 2010.
  3. Robust AMLI methods for parabolic Crouzeix–Raviart FEM systems. Petia Boyanova, Svetozar Margenov, and Maya Neytcheva. In Journal of Computational and Applied Mathematics, volume 235, pp 380-390, 2010. (DOI).
  4. A note on radial basis function interpolant limits. Martin D. Buhmann, Slawomir Dinew, and Elisabeth Larsson. In IMA Journal of Numerical Analysis, volume 30, pp 543-554, 2010. (DOI).
  5. Revisiting and Extending Interface Penalties for Multidomain Summation-by-Parts Operators. Mark H. Carpenter, Jan Nordström, and David Gottlieb. In Journal of Scientific Computing, volume 45, pp 118-150, 2010. (DOI).
  6. An adaptive algorithm for simulation of stochastic reaction-diffusion processes. Lars Ferm, Andreas Hellander, and Per Lötstedt. In Journal of Computational Physics, volume 229, pp 343-360, 2010. (DOI).
  7. Rotational transport on a sphere: Local node refinement with radial basis functions. Natasha Flyer and Erik Lehto. In Journal of Computational Physics, volume 229, pp 1954-1969, 2010. (DOI).
  8. A novel method for solving multiscale elliptic problems with randomly perturbed data. Victor Ginting, Axel Målqvist, and Michael Presho. In Multiscale Modeling & simulation, volume 8, pp 977-996, 2010. (DOI).
  9. An algebraic variational multiscale–multigrid method for large eddy simulation of turbulent flow. Volker Gravemeier, Michael W. Gee, Martin Kronbichler, and Wolfgang A. Wall. In Computer Methods in Applied Mechanics and Engineering, volume 199, pp 853-864, 2010. (DOI).
  10. Costs and constraints from time-delayed feedback in small gene regulatory motifs. Andreas Grönlund, Per Lötstedt, and Johan Elf. In Proceedings of the National Academy of Sciences of the United States of America, volume 107, pp 8171-8176, 2010. (DOI).
  11. Incorporating active transport of cellular cargo in stochastic mesoscopic models of living cells. Andreas Hellander and Per Lötstedt. In Multiscale Modeling & simulation, volume 8, pp 1691-1714, 2010. (DOI).
  12. Convergence analysis of finite element approximations of the Joule heating problem in three spatial dimensions. Michael J. Holst, Mats G. Larson, Axel Målqvist, and Robert Söderlund. In BIT Numerical Mathematics, volume 50, pp 781-795, 2010. (DOI).
  13. Magnetohydrodynamic flow of a Sisko fluid in annular pipe: A numerical study. Masood Khan, Qaisar Abbas, and Kenneth Duru. In International Journal for Numerical Methods in Fluids, volume 62, pp 1169-1180, 2010. (DOI).
  14. A stable and high-order accurate conjugate heat transfer problem. Jens Lindström and Jan Nordström. In Journal of Computational Physics, volume 229, pp 5440-5456, 2010. (DOI).
  15. Stable and accurate interpolation operators for high-order multiblock finite difference methods. Ken Mattsson and Mark H. Carpenter. In SIAM Journal on Scientific Computing, volume 32, pp 2298-2320, 2010. (DOI).
  16. Stable and accurate second-order formulation of the shifted wave equation. Ken Mattsson and Florencia Parisi. In Communications in Computational Physics, volume 7, pp 103-137, 2010. (DOI).
  17. A perfectly matched layer applied to a reactive scattering problem. Anna Nissen, Hans O. Karlsson, and Gunilla Kreiss. In Journal of Chemical Physics, volume 133, pp 054306:1-11, 2010. (DOI).
  18. Fluid structure interaction problems: the necessity of a well posed, stable and accurate formulation. Jan Nordström and Sofia Eriksson. In Communications in Computational Physics, volume 8, pp 1111-1138, 2010. (DOI).
  19. A hybrid scheme for bore design optimization of a brass instrument. Daniel Noreland, Rajitha Udawalpola, and Martin Berggren. In Journal of the Acoustical Society of America, volume 128, pp 1391-1400, 2010. (DOI).
  20. Pricing American options using a space-time adaptive finite difference method. Jonas Persson and Lina von Sydow. In Mathematics and Computers in Simulation, volume 80, pp 1922-1935, 2010. (DOI).
  21. Boundary procedures for the time-dependent Burgers' equation under uncertainty. Per Pettersson, Jan Nordström, and Gianluca Iaccarino. In Acta Mathematica Scientia, volume 30, pp 539-550, 2010. (DOI).
  22. Density estimation of two-phase flow with multiscale and randomly perturbed data. Michael Presho, Axel Målqvist, and Victor Ginting. In Advances in Water Resources, volume 33, pp 1130-1141, 2010. (DOI).
  23. A computational study of vortex-airfoil interaction using high-order finite difference methods. Magnus Svärd, Johan Lundberg, and Jan Nordström. In Computers & Fluids, volume 39, pp 1267-1274, 2010. (DOI).
  24. High contrast microwave tomography using topology optimization techniques. Eddie Wadbro and Martin Berggren. In Journal of Computational and Applied Mathematics, volume 234, pp 1773-1780, 2010. (DOI).
  25. Microwave tomographic imaging as a sequence of topology optimization problems. Eddie Wadbro. In Optimization and Engineering, volume 11, pp 597-610, 2010. (DOI).
  26. Shape and topology optimization of an acoustic horn-lens combination. Eddie Wadbro, Rajitha Udawalpola, and Martin Berggren. In Journal of Computational and Applied Mathematics, volume 234, pp 1781-1787, 2010. (DOI).
  27. Direct numerical simulations of localized disturbances in pipe Poiseuille flow. Per-Olov Åsén, Gunilla Kreiss, and Dietmar Rempfer. In Computers & Fluids, volume 39, pp 926-935, 2010. (DOI).

Conference proceedings (ed)

  1. Numerical Mathematics and Advanced Applications: 2009. Gunilla Kreiss, Per Lötstedt, Axel Målqvist, and Maya Neytcheva (eds). Springer-Verlag, Berlin, 2010.

Conference papers

  1. Energy stability of the MUSCL scheme. Qaisar Abbas, Edwin van der Weide, and Jan Nordström. In Numerical Mathematics and Advanced Applications: 2009, pp 61-68, Springer-Verlag, Berlin, 2010. (DOI).
  2. An additive matrix preconditioning method with application for domain decomposition and two-level matrix partitionings. Owe Axelsson. In Large-Scale Scientific Computing, volume 5910 of Lecture Notes in Computer Science, pp 76-83, Springer-Verlag, Berlin, 2010. (DOI).
  3. Stable perfectly matched layers for the Schrödinger equations. Kenneth Duru and Gunilla Kreiss. In Numerical Mathematics and Advanced Applications: 2009, pp 287-295, Springer-Verlag, Berlin, 2010. (DOI).
  4. Simulations of acoustic waves in a turbo-fan engine air intake. Gunilla Efraimsson, Nicolas Forsberg, and Jan Nordström. In Proc. 16th AIAA/CEAS Aeroacoustics Conference, volume 2010-3999 of Conference Proceeding Series, AIAA, 2010.
  5. Generic finite element programming for massively parallel flow simulations. Timo Heister, Martin Kronbichler, and Wolfgang Bangerth. In Proc. ECCOMAS CFD Conference 2010, p 10, Tech. Univ. Lisbon, Portugal, 2010.
  6. Massively parallel finite element programming. Timo Heister, Martin Kronbichler, and Wolfgang Bangerth. In Recent Advances in the Message Passing Interface, volume 6305 of Lecture Notes in Computer Science, pp 122-131, Springer-Verlag, Berlin, 2010. (DOI).
  7. Numerical methods for uncertainty propagation in high speed flows. Gianluca Iaccarino, Per Pettersson, Jan Nordström, and Jeroen Witteveen. In Proc. ECCOMAS CFD Conference 2010, p 11, Tech. Univ. Lisbon, Portugal, 2010.
  8. Error control for simulations of a dissociative quantum system. Katharina Kormann and Anna Nissen. In Numerical Mathematics and Advanced Applications: 2009, pp 523-531, Springer-Verlag, Berlin, 2010. (DOI).
  9. The Effect of Reynolds Number in High Order Accurate Calculations with Shock Diffraction. Craig Law, Qaisar Abbas, Jan Nordström, and Beric W. Skews. In Proc. 7th South African Conference on Computational and Applied Mechanics, pp 416-423, South African Association for Theoretical and Applied Mechanics, 2010. (fulltext:postprint).
  10. A stable and high order interface procedure for conjugate heat transfer problems. Jens Lindström and Jan Nordström. In Numerical Mathematics and Advanced Applications: 2009, pp 599-607, Springer-Verlag, Berlin, 2010. (DOI).
  11. Element-by-element Schur complement approximations for general nonsymmetric matrices of two-by-two block form. Maya Neytcheva, Minh Do-Quang, and Xin He. In Large-Scale Scientific Computing, volume 5910 of Lecture Notes in Computer Science, pp 108-115, Springer-Verlag, Berlin, 2010. (DOI).
  12. Efficiency of shock capturing schemes for Burgers' equation with boundary uncertainty. Per Pettersson, Qaisar Abbas, Gianluca Iaccarino, and Jan Nordström. In Numerical Mathematics and Advanced Applications: 2009, pp 737-745, Springer-Verlag, Berlin, 2010. (DOI).

Computational Science (Tillämpad beräkningsvetenskap)

Chapters in book

  1. Threshold Concepts in Computer Science: an ongoing empirical investigation. Lynda Thomas, Jonas Boustedt, Anna Eckerdal, Robert McCartney, Jan Erik Moström, Kate Sanders, and Carol Zander. In Threshold Concepts and Transformational Learning, pp 241-258, Sense Publishers, Rotterdam, The Netherlands, 2010.

Articles in journal

  1. The next-generation ARC middleware. Owen Appleton, David Cameron, Jozef Cernák, Péter Dóbé, Mattias Ellert, Thomas Frågåt, Michael Grønager, Daniel Johansson, Johan Jönemo, Josva Kleist, Marek Kocan, Aleksandr Konstantinov, Balázs Kónya, Iván Márton, Bjarte Mohn, Steffen Möller, Henning Müller, Zsombor Nagy, Jon K. Nilsen, Farid Ould-Saada, Katarina Pajchel, Weizhong Qiang, Alexander Read, Peter Rosendahl, Gábor Röczei, Martin Savko, Martin Skou Andersen, Oxana Smirnova, Péter Stefán, Ferenc Szalai, Adrian Taga, Salman Z. Toor, Anders Wäänänen, and Xin Zhou. In Annales des télécommunications, volume 65, pp 771-776, 2010. (DOI).
  2. CellMC: a multiplatform model compiler for the Cell Broadband Engine and x86. Emmet Caulfield and Andreas Hellander. In Bioinformatics, volume 26, pp 426-428, 2010. (DOI).
  3. A Fourier-coefficient based solution of an optimal control problem in quantum chemistry. Katharina Kormann, Sverker Holmgren, and Hans O. Karlsson. In Journal of Optimization Theory and Applications, volume 147, pp 491-506, 2010. (DOI).
  4. Efficient algorithms for multidimensional global optimization in genetic mapping of complex traits. Kajsa Ljungberg, Kateryna Mishchenko, and Sverker Holmgren. In Advances and Applications in Bioinformatics and Chemistry, volume 3, pp 75-88, 2010. (DOI).
  5. Assessing a multiple QTL search using the variance component model. Kateryna Mishchenko, Lars Rönnegård, Sverker Holmgren, and Volodymyr Mishchenko. In Computational biology and chemistry (Print), volume 34, pp 34-41, 2010. (DOI).

Conference proceedings (ed)

  1. Numerical Mathematics and Advanced Applications: 2009. Gunilla Kreiss, Per Lötstedt, Axel Målqvist, and Maya Neytcheva (eds). Springer-Verlag, Berlin, 2010.

Conference papers

  1. An implementation framework for solving high-dimensional PDEs on massively parallel computers. Magnus Gustafsson and Sverker Holmgren. In Numerical Mathematics and Advanced Applications: 2009, pp 417-424, Springer-Verlag, Berlin, 2010. (DOI).
  2. A Grid-Enabled Problem Solving Environment for QTL Analysis in R. Mahen Jayawardena, Carl Nettelblad, Salman Toor, Per-Olov Östberg, Erik Elmroth, and Sverker Holmgren. In Proc. 2nd International Conference on Bioinformatics and Computational Biology, pp 202-209, ISCA, Cary, NC, 2010.
  3. Error control for simulations of a dissociative quantum system. Katharina Kormann and Anna Nissen. In Numerical Mathematics and Advanced Applications: 2009, pp 523-531, Springer-Verlag, Berlin, 2010. (DOI).
  4. Computing students learning computing informally. Robert McCartney, Anna Eckerdal, Jan Erik Moström, Kate Sanders, Lynda Thomas, and Carol Zander. In Proc. 10th International Conference on Computing Education Research: Koli Calling, pp 43-48, ACM Press, New York, 2010. (DOI).
  5. Chelonia — a self-healing storage cloud. Jon K. Nilsen, Salman Toor, Zsombor Nagy, and Bjarte Mohn. In Proc. 9th Cracow Grid Workshop, pp 5-12, ACC Cyfronet AGH, Kraków, Poland, 2010.
  6. Harnessing Surprise: Tales from students' transformational biographies. Lynda Thomas, Carol Zander, and Anna Eckerdal. In Proc. 41st ACM Technical Symposium on Computer Science Education, pp 300-304, ACM Press, New York, 2010. (DOI).
  7. An efficient task-based approach for solving the <em>n</em>-body problem on multicore architectures. Martin Tillenius and Elisabeth Larsson. PARA 2010: State of the Art in Scientific and Parallel Computing, University of Iceland, Reykjavík, 2010. (fulltext:postprint).
  8. Analysis and visualization of information quality of technical documentation. Anna Wingkvist, Welf Löwe, Morgan Ericsson, and Rüdiger Lincke. In Proc. 4th European Conference on Information Management and Evaluation, pp 388-396, Academic Conferences, Reading, UK, 2010.
  9. Information quality testing. Anna Wingkvist, Morgan Ericsson, Welf Löwe, and Rüdiger Lincke. In Perspectives in Business Informatics Research, volume 64 of Lecture Notes in Business Information Processing, pp 14-26, Springer-Verlag, Berlin, 2010. (DOI).

Computer Systems (Datorteknik)

Chapters in book

  1. Efficient cache modeling with sparse data. Erik Hagersten, David Eklöv, and David Black-Schaffer. In Processor and System-on-Chip Simulation, pp 193-209, Springer, New York, 2010. (DOI).

Articles in journal

  1. Sampled semantics of timed automata. Parosh Aziz Abdulla, Pavel Krcal, and Wang Yi. In Logical Methods in Computer Science, volume 6, number 3, pp 14:1-37, 2010. (DOI).
  2. Well (and better) quasi-ordered transition systems. Parosh Aziz Abdulla. In Bulletin of Symbolic Logic, volume 16, number 4, pp 457-515, 2010.
  3. Introductory programming and the didactic triangle. Anders Berglund and Raymond Lister. In Australian Computer Science Communications, volume 32, number 2, pp 35-44, 2010. (External link).
  4. Constructive controversy as a way to create "true collaboration" in an open ended group project setting. Mats Daniels and Åsa Cajander. In Australian Computer Science Communications, volume 32, number 2, pp 73-78, 2010. (External link).
  5. Engineering Education Research in Practice: Evolving use of open ended group projects as a pedagogical strategy for developing skills in global collaboration. Mats Daniels, Åsa Cajander, Arnold Pears, and Tony Clear. In International journal of engineering education, volume 26, number 4, pp 795-806, 2010.
  6. The contribution of open ended group projects to international student collaborations. Mats Daniels. In ACM Inroads, volume 1, number 3, pp 79-84, 2010. (DOI).
  7. Adaptive random re-routing for differentiated QoS in sensor networks. Erol Gelenbe and Edith Ngai. In Computer journal, volume 53, number 7, pp 1052-1061, 2010. (DOI).
  8. Learning of event-recording automata. Olga Grinchtein, Bengt Jonsson, and Martin Leucker. In Theoretical Computer Science, volume 411, number 47, pp 4029-4054, 2010. (DOI).
  9. SARC coherence: Scaling directory cache coherence in performance and power. Stefanos Kaxiras and Georgios Keramidas. In IEEE Micro, volume 30, number 5, pp 54-65, 2010. (DOI).
  10. Static worst-case execution time analysis of the ?C/OS-II real-time kernel. Mingsong Lv, Nan Guan, Qingxu Deng, Ge Yu, and Wang Yi. In Frontiers of Computer Science in China, volume 4, number 1, pp 17-27, 2010. (DOI).
  11. A delay-aware reliable event reporting framework for wireless sensor–actuator networks. Edith Ngai, Yangfan Zhou, Michael R. Lyu, and Jiangchuan Liu. In Ad hoc networks, volume 8, number 7, pp 694-707, 2010. (DOI).
  12. Does Quality Assurance Enhance the Quality of Computing Education?. Arnold Pears. In Australian Computer Science Communications, volume 32, number 2, pp 9-14, 2010. (External link, fulltext).
  13. Should we care about global intercultural collaboration?. Arnold Pears. In ACM Inroads, volume 1, number 3, pp 4-7, 2010. (DOI).
  14. Holistic approach to learning and teaching introductory object-oriented programming. Neena Thota. In Computer Science Education, volume 20, number 2, pp 103-127, 2010. (DOI).
  15. Verifying parallel programs with dynamic communication structures. Tayssir Touili and Mohamed Faouzi Atig. In Theoretical Computer Science, volume 411, pp 3460-3468, 2010. (DOI).

Conference proceedings (ed)

  1. Proc. 10th International Workshop on Symmetry in Constraint Satisfaction Problems. Pierre Flener and Justin Pearson (eds). Department of Information Technology, Uppsala University, Uppsala, Sweden, 2010. (Proceedings).
  2. Proc. 9th International Workshop on Constraint Modelling and Reformulation. Toni Mancini and Justin Pearson (eds). Department of Information Technology, Uppsala University, Uppsala, Sweden, 2010. (Programme).

Conference papers

  1. Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction. Fides Aarts, Bengt Jonsson, and Johan Uijen. In Testing Software and Systems: ICTSS 2010, volume 6435 of Lecture Notes in Computer Science, pp 188-204, Springer-Verlag, Berlin, 2010. (DOI).
  2. Analyzing the security in the GSM radio network using attack jungles. Parosh Aziz Abdulla, Jonathan Cederberg, and Lisa Kaati. In Leveraging Applications of Formal Methods, Verification, and Validation: Part I, volume 6415 of Lecture Notes in Computer Science, pp 60-74, Springer-Verlag, Berlin, 2010. (DOI).
  3. Constrained monotonic abstraction: A CEGAR for parameterized verification. Parosh Aziz Abdulla, Yu-Fang Chen, Giorgio Delzanno, Frédéric Haziza, Chih-Duo Hong, and Ahmed Rezine. In CONCUR 2010 – Concurrency Theory, volume 6269 of Lecture Notes in Computer Science, pp 86-101, Springer-Verlag, Berlin, 2010. (DOI).
  4. Forcing monotonicity in parameterized verification: From multisets to words. Parosh Aziz Abdulla. In SOFSEM 2010: Theory and Practice of Computer Science, volume 5901 of Lecture Notes in Computer Science, pp 1-15, Springer-Verlag, Berlin, 2010. (DOI).
  5. Simulation subsumption in Ramsey-based Büchi automata universality and inclusion testing. Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, and Tomás Vojnar. In Computer Aided Verification, volume 6174 of Lecture Notes in Computer Science, pp 132-147, Springer-Verlag, Berlin, 2010. (DOI).
  6. When simulation meets antichains: On checking language inclusion of nondeterministic finite (tree) automata. Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík, Richard Mayr, and Tomás Vojnar. In Tools and Algorithms for the Construction and Analysis of Systems, volume 6015 of Lecture Notes in Computer Science, pp 158-174, Springer-Verlag, Berlin, 2010. (DOI).
  7. From multi to single stack automata. Mohamed Faouzi Atig. In CONCUR 2010 – Concurrency Theory, volume 6269 of Lecture Notes in Computer Science, pp 117-131, Springer-Verlag, Berlin, 2010. (DOI).
  8. Global model checking of ordered multi-pushdown systems. Mohamed Faouzi Atig. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science: FSTTCS 2010, volume 8 of Leibniz International Proceedings in Informatics, pp 216-227, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2010. (DOI).
  9. On the verification problem for weak memory models. Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, and Madanlal Musuvathi. In Proc. 37th ACM Symposium on Principles of Programming Languages, pp 7-18, ACM Press, New York, 2010. (DOI).
  10. On matrices, automata, and double counting. Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, and Justin Pearson. In Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, volume 6140 of Lecture Notes in Computer Science, pp 10-24, Springer-Verlag, Berlin, 2010. (DOI).
  11. Block-Parallel Programming for Real-time Embedded Applications. David Black-Schaffer and William J. Dally. In Proc. 39th International Conference on Parallel Processing, pp 297-306, IEEE, Piscataway, NJ, 2010. (DOI, fulltext:postprint).
  12. Inferring Compact Models of Communication Protocol Entities. Therese Bohlin, Bengt Jonsson, and Siavash Soleimanifard. In Leveraging Applications of Formal Methods, Verification, and Validation: Part I, volume 6415 of Lecture Notes in Computer Science, pp 658-672, Springer-Verlag, Berlin, 2010. (DOI).
  13. Invariant synthesis for programs manipulating lists with unbounded data. Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Ahmed Rezine, and Mihaela Sighireanu. In Computer Aided Verification, volume 6174 of Lecture Notes in Computer Science, pp 72-88, Springer-Verlag, Berlin, 2010. (DOI).
  14. Mode Switch: Adaptive use of delay-sensitive or energy-aware communication in IEEE 802.15.4-based networks. Feng Chen, Xiaoyu Tong, Edith Ngai, and Falko Dressler. In Proc. 7th International Conference on Mobile Ad Hoc and Sensor Systems, pp 302-311, IEEE, Piscataway, NJ, 2010. (DOI).
  15. Experiences from using Constructive Controversy in an Open Ended Group Project. Mats Daniels and Åsa Cajander. In Proc. 40th ASEE/IEEE Frontiers in Education Conference, pp S3D-1-5, IEEE, Piscataway, NJ, 2010. (DOI).
  16. StatCC: a statistical cache contention model. David Eklöv, David Black-Schaffer, and Erik Hagersten. In Proc. 19th International Conference on Parallel Architectures and Compilation Techniques, pp 551-552, ACM Press, New York, 2010. (DOI).
  17. StatStack: Efficient modeling of LRU caches. David Eklöv and Erik Hagersten. In Proc. International Symposium on Performance Analysis of Systems and Software: ISPASS 2010, pp 55-65, IEEE, Piscataway, NJ, 2010. (DOI).
  18. Energy Framework: An extensible framework for simulating battery consumption in wireless networks. Laura Marie Feeney and Daniel Willkomm. In Proc. 3rd International ICST Conference on Simulation Tools and Techniques, pp 20:1-4, ICST, Brussels, Belgium, 2010. (DOI, fulltext).
  19. Fixed-Priority Multiprocessor Scheduling with Liu &amp; Layland's Utilization Bound. Nan Guan, Martin Stigge, Wang Yi, and Ge Yu. In Proc. 16th Real-Time and Embedded Technology and Applications Symposium, pp 165-174, IEEE, Piscataway, NJ, 2010. (DOI).
  20. Quality-of-Information Aware Data Delivery for Wireless Sensor Networks: Description and Experiments. Gregory Humber and Edith C.-H. Ngai. In Proc. Wireless Communications and Networking Conference 2010, p 6, IEEE, Piscataway, NJ, 2010. (DOI).
  21. Interval-based models for run-time DVFS orchestration in superscalar processors. Georgios Keramidas, Vasileios Spiliopoulos, and Stefanos Kaxiras. In Proc. 7th International Conference on Computing Frontiers, pp 287-296, ACM Press, New York, 2010. (DOI).
  22. Where replacement algorithms fail: a thorough analysis. Georgios Keramidas, Pavlos Petoumenos, and Stefanos Kaxiras. In Proc. 7th International Conference on Computing Frontiers, pp 141-150, ACM Press, New York, 2010. (DOI).
  23. Minimizing Multi-Resource Energy for Real-Time Systems with Discrete Operation Modes. Fanxin Kong, Yiqun Wang, Qingxu Deng, and Wang Yi. In Proc. 22nd Euromicro Conference on Real-Time Systems, pp 113-122, IEEE, Piscataway, NJ, 2010. (DOI).
  24. Combining abstract interpretation with model checking for timing analysis of multicore software. Mingsong Lv, Wang Yi, Nan Guan, and Ge Yu. In Proc. Real-Time Systems Symposium: RTSS 2010, pp 339-349, IEEE, Piscataway, NJ, 2010. (DOI).
  25. Local search over relational databases. Toni Mancini, Pierre Flener, and Justin Pearson. In Proc. 7th International Workshop on Local Search Techniques in Constraint Satisfaction, p 15, Department of Computing Science and Engineering, Université catholique de Louvain, Belgium, 2010. (Fulltext).
  26. Conveying Conceptions of Quality through Instruction. Arnold Pears. In Proc. 7th International Conference on the Quality of Information and Communications Technology, 2010.
  27. Developing Global Teamwork Skills: The Runestone Project. Arnold Pears and Mats Daniels. In Annual Global Engineering Education Conference (EDUCON): The Future of Global Learning in Engineering Education, IEEE, 2010. (fulltext).
  28. Enhancing Student Engagement in an Introductory Programming Course. Arnold N. Pears. In Proc. 40th ASEE/IEEE Frontiers in Education Conference, pp F1E-1-2, IEEE, Piscataway, NJ, 2010. (DOI).
  29. MLP-aware instruction queue resizing: The key to power-efficient performance. Pavlos Petoumenos, Georgia Psychou, Stefanos Kaxiras, Juan Manuel Cebrián Gonzalez, and Juan Luis Aragón. In Architecture of Computing Systems – ARCS 2010, volume 5974 of Lecture Notes in Computer Science, pp 113-125, Springer-Verlag, Berlin, 2010. (DOI).
  30. An adaptive cross-layer design for prioritized traffic in wireless communications. Guduru K. Pradeep and Edith C.-H. Ngai. In Proc. 6th International Conference on Mobile Ad Hoc and Sensor Networks, pp 203-206, IEEE, Piscataway, NJ, 2010. (DOI).
  31. Repeatable experiments with mobile nodes in a relocatable WSN testbed. Olof Rensfelt, Frederik Hermans, Per Gunningberg, and Lars-Åke Larzon. In Proc. 6th IEEE International Conference on Distributed Computing in Sensor Systems Workshops: DCOSSW 2010, pp 1-6, IEEE Computer Society, 2010. (DOI).
  32. Sensei-UU: a relocatable sensor network testbed. Olof Rensfelt, Frederik Hermans, Lars-Åke Larzon, and Per Gunningberg. In Proc. 5th ACM International Workshop on Wireless Network Testbeds, Experimental Evaluation and Characterization, pp 63-70, ACM Press, 2010. (DOI).
  33. Secure Overlays: Making Static Key Distribution Schemes Work with Mobile Base Stations in WSNs. Ioana Rodhe and Christian Rohner. In Wired/Wireless Internet Communications, volume 6074 of Lecture Notes in Computer Science, pp 386-397, Springer-Verlag, Berlin, 2010. (DOI).
  34. Wireless sensor network deployment in mobile phones assisted environment. Zheng Ruan, Edith C.-H. Ngai, and Jiangchuan Liu. In Proc. 18th International Workshop on Quality of Service, p 9, IEEE, Piscataway, NJ, 2010. (DOI).
  35. Reducing Cache Pollution Through Detection and Elimination of Non-Temporal Memory Accesses. Andreas Sandberg, David Eklöv, and Erik Hagersten. In Proc. International Conference for High Performance Computing, Networking, Storage and Analysis: SC 2010, p 11, IEEE, Piscataway, NJ, 2010. (DOI, fulltext:print).
  36. On realising a strategy for resilience in opportunistic networks. Marcus Schöller, Paul Smith, Christian Rohner, Merkouris Karaliopoulos, Abdul Jabbar, James P.G. Sterbenz, and David Hutchinson. In Future Network and Mobile Summit, Florence, 2010.
  37. Contingency plans for air traffic flow and capacity management. Karl Sundequist Blomdahl, Pierre Flener, and Justin Pearson. In Proc. 9th Innovative Research Workshop and Exhibition, pp 119-126, EUROCONTROL Experimental Centre, Brétigny sur Orge, France, 2010. (fulltext).
  38. Contingency plans for air traffic management. Karl Sundequist Blomdahl, Pierre Flener, and Justin Pearson. In Principles and Practice of Constraint Programming – CP 2010, volume 6308 of Lecture Notes in Computer Science, pp 643-657, Springer-Verlag, Berlin, 2010. (DOI).
  39. A method for analyzing learning outcomes in project courses. Mattias Wiggberg. In Proc. 40th ASEE/IEEE Frontiers in Education Conference, pp T4H-1-2, IEEE, Piscataway, NJ, 2010. (DOI).
  40. Multicore embedded systems: The timing problem and possible solutions. Wang Yi. In Formal Methods and Software Engineering, volume 6447 of Lecture Notes in Computer Science, pp 22-23, Springer-Verlag, Berlin, 2010. (DOI).

Computing Science (Datalogi)

Chapters in book

  1. Inductive programming. Pierre Flener and Ute Schmid. In Encyclopedia of Machine Learning, pp 537-544, Springer, New York, 2010. (DOI).
  2. Programming by demonstration. Pierre Flener and Ute Schmid. In Encyclopedia of Machine Learning, pp 805-805, Springer, New York, 2010. (DOI).
  3. Trace-based programming. Pierre Flener and Ute Schmid. In Encyclopedia of Machine Learning, pp 989-989, Springer, New York, 2010. (DOI).

Articles in journal

  1. Automated Web Service Query Service. Manivasakan Sabesan, Tore Risch, and Feng Luan. In International Journal of Web and Grid Services (IJWGS), volume 6, number 4, pp 400-423, 2010. (DOI).
  2. SPARQL queries to RDFS views of Topic Maps. Silvia Stefanova and Tore Risch. In International Journal of Metadata, Semantics and Ontologies (IJMSO), volume 5, number 1, pp 1-16, Inderscience, 2010. (DOI).

Conference proceedings (ed)

  1. Proc. 10th International Workshop on Symmetry in Constraint Satisfaction Problems. Pierre Flener and Justin Pearson (eds). Department of Information Technology, Uppsala University, Uppsala, Sweden, 2010. (Proceedings).

Conference papers

  1. On matrices, automata, and double counting. Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, and Justin Pearson. In Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, volume 6140 of Lecture Notes in Computer Science, pp 10-24, Springer-Verlag, Berlin, 2010. (DOI).
  2. Tribal ownership. Nicholas Cameron, James Noble, and Tobias Wrigstad. In Proc. 1st International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, volume 45:10 of ACM SIGPLAN Notices, pp 618-633, ACM Press, New York, 2010. (DOI).
  3. Static detection of race conditions in Erlang. Maria Christakis and Konstantinos Sagonas. In Practical Aspects of Declarative Languages: PADL 2010, volume 5937 of Lecture Notes in Computer Science, pp 119-133, Springer-Verlag, Berlin, 2010. (DOI).
  4. A concurrent language with a uniform treatment of regions and locks. Prodromos Gerakios, Nikolaos Papaspyrou, and Konstantinos Sagonas. In Proc. 2nd Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software: PLACES 2009, volume 17 of Electronic Proceedings in Theoretical Computer Science, pp 79-93, 2010. (DOI).
  5. Race-free and memory-safe multithreading: Design and implementation in Cyclone. Prodromos Gerakios, Nikolaos Papaspyrou, and Konstantinos Sagonas. In Proc. 5th International Workshop on Types in Language Design and Implementation, pp 15-26, ACM Press, New York, 2010. (DOI).
  6. A Fully Abstract Symbolic Semantics for Psi-Calculi. Magnus Johansson, Björn Victor, and Joachim Parrow. In Proc. 6th Workshop on Structural Operational Semantics: SOS 2009, volume 18 of Electronic Proceedings in Theoretical Computer Science, pp 17-31, 2010. (DOI).
  7. Weak Equivalences in Psi-calculi. Magnus Johansson, Jesper Bengtson, Joachim Parrow, and Björn Victor. In Proc. 25th Symposium on Logic in Computer Science: LICS 2010, pp 322-331, IEEE, Piscataway, NJ, 2010. (DOI).
  8. Local search over relational databases. Toni Mancini, Pierre Flener, and Justin Pearson. In Proc. 7th International Workshop on Local Search Techniques in Constraint Satisfaction, p 15, Department of Computing Science and Engineering, Université catholique de Louvain, Belgium, 2010. (Fulltext).
  9. Using static analysis to detect type errors and concurrency defects in Erlang programs. Konstantinos Sagonas. In Functional and Logic Programming: FLOPS 2010, volume 6009 of Lecture Notes in Computer Science, pp 13-18, Springer-Verlag, Berlin, 2010. (DOI).
  10. Agile software development and ISO-IEC software quality standards: Measuring economic benefits and calculating quantitative yields. Anca-Juliana Stoica and Margus Nael. In Proc. 25th International Forum on Systems/Software Cost Modeling, University of Southern California, Los Angeles, CA, 2010.
  11. Contingency plans for air traffic flow and capacity management. Karl Sundequist Blomdahl, Pierre Flener, and Justin Pearson. In Proc. 9th Innovative Research Workshop and Exhibition, pp 119-126, EUROCONTROL Experimental Centre, Brétigny sur Orge, France, 2010. (fulltext).
  12. Contingency plans for air traffic management. Karl Sundequist Blomdahl, Pierre Flener, and Justin Pearson. In Principles and Practice of Constraint Programming – CP 2010, volume 6308 of Lecture Notes in Computer Science, pp 643-657, Springer-Verlag, Berlin, 2010. (DOI).
  13. Scalable Splitting of Massive Data Streams. Erik Zeitler and Tore Risch. In Database Systems for Advanced Applications: Part II, volume 5982 of Lecture Notes in Computer Science, pp 184-198, Springer-Verlag, Berlin, 2010. (DOI, fulltext).
  14. Welterweight Java. Johan Östlund and Tobias Wrigstad. In Objects, Models, Components, Patterns, volume 6141 of Lecture Notes in Computer Science, pp 97-116, Springer-Verlag, Berlin, 2010. (DOI).

Human-Computer Interaction (Människa-datorinteraktion)

Articles in journal

  1. Constructive controversy as a way to create "true collaboration" in an open ended group project setting. Mats Daniels and Åsa Cajander. In Australian Computer Science Communications, volume 32, number 2, pp 73-78, 2010. (External link).
  2. Engineering Education Research in Practice: Evolving use of open ended group projects as a pedagogical strategy for developing skills in global collaboration. Mats Daniels, Åsa Cajander, Arnold Pears, and Tony Clear. In International journal of engineering education, volume 26, number 4, pp 795-806, 2010.
  3. Different levels of 3D: An evaluation of visualized discrete spatiotemporal data in space-time cubes. Andreas Kjellin, Lars Winkler Pettersson, Stefan Seipel, and Mats Lind. In Information Visualization, volume 9, number 2, pp 152-164, 2010. (DOI).
  4. Evaluating 2D and 3D Visualizations of Spatiotemporal Information. Andreas Kjellin, Lars Winkler Pettersson, Stefan Seipel, and Mats Lind. In ACM Transactions on Applied Perception, volume 7, number 3, pp 19:1-23, 2010. (DOI).
  5. On the role of visual references in collaborative visualization. Lars Winkler Pettersson, Andreas Kjellin, Mats Lind, and Stefan Seipel. In Information Visualization, volume 9, number 2, pp 98-114, 2010. (DOI).

Conference papers

  1. Diversity in the construction of organization value. Ryoko Asai and Iordanis Kavathatzopoulos. In Which values for which organisations, 2010. (External link).
  2. Towards a usability coaching method for institutionalizing usability in organisations. Åsa Cajander, Elina Eriksson, and Jan Gulliksen. In Human-Computer Interaction, volume 332 of IFIP Advances in Information and Communication Technology, pp 86-97, Springer-Verlag, Berlin, 2010. (DOI).
  3. Experiences from using Constructive Controversy in an Open Ended Group Project. Mats Daniels and Åsa Cajander. In Proc. 40th ASEE/IEEE Frontiers in Education Conference, pp S3D-1-5, IEEE, Piscataway, NJ, 2010. (DOI).
  4. Physicians' concept of time usage: A key concern in EPR deployment. Rebecka Janols, Bengt Göransson, Erik Borälv, and Bengt Sandblad. World Computer Congress 2010, Springer-Verlag, Berlin, 2010. (DOI, Physicians Concept of Time Usage).
  5. Computer aided ethical IT systems design. Iordanis Kavathatzopoulos and Mikael Laaksoharju. In ETHICOMP 2010: The "backwards, forwards, and sideways" changes of ICT, pp 332-340, Universitat Rovira i Virgili, Tarragona, Spain, 2010. (External link).
  6. Information Technology, democratic societies and competitive markets. Iordanis Kavathatzopoulos. In An information law for the 21st Century, Nomiki Vivliothiki, Athens, 2010.
  7. Robots and systems as autonomous ethical agents. Iordanis Kavathatzopoulos. In INTECH 2010: Proceedings of the 11th International Conference on Intelligent Technologies, pp 5-9, Assumption University, Bangkok, 2010.
  8. What is Culture?: Toward Common Understandings of Culture in HCI. Anette Löfström. In Human-Computer Interaction, volume 332 of IFIP Advances in Information and Communication Technology, pp 133-141, Springer Berlin/Heidelberg, 2010. (DOI).
  9. Development and implementation of new principles and systems for train traffic control in Sweden. Bengt Sandblad, Arne W. Andersson, Arvid Kauppi, and Gunnika Isaksson-Lutteman. In Computers in Railways XII: Computer System Design and Operation in Railways and other Transit Systems, pp 441-450, WIT Press, Southampton, UK, 2010. (DOI).

Updated  2016-04-11 10:18:53 by Kurt Otto.