Publications from the Department of Information Technology

Publications this year

The lists below show publications registered in the University digital archive DiVA, and which have been marked as being the department's. The lists do not necessarily contain all publications of authors/editors of our department. (When publishing in DiVA, use the guidelines to make sure you do it right.)

On this page you find publication of the current year. Separate lists for 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004, 2003, 2002, 2001, 2000, and 1999 are also available.

1. Dense-Timed Pushdown Automata. Parosh Abdulla, Mohamed Faouzi Atig, and Jari Stenman. 2012. (fulltext).
2. What’s decidable about weak memory models?. Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, and Madanlal Musuvathi. 21st European Symposium on Programming, 2012. (fulltext).
3. A general approach to analyse preconditioners for two-by-two block matrices. Owe Axelsson and Maya Neytcheva. In Numerical Linear Algebra with Applications, volume 19, 2012. (DOI). Publication status: Epub ahead of print
4. Numerical and computational efficiency of solvers for two-phase problems. Owe Axelsson, Petia Boyanova, Martin Kronbichler, Maya Neytcheva, and Xunxun Wu. Technical report / Department of Information Technology, Uppsala University nr 2012-002, 2012. (External link).
5. Superconvergent functional output for time-dependent problems using finite differences on summation-by-parts form. Jens Berg and Jan Nordström. Technical report / Department of Information Technology, Uppsala University nr 2012-004, 2012. (External link).
6. Block-preconditioners for conforming and non-conforming FEM discretizations of the Cahn–Hilliard equation. Petia Boyanova, Minh Do-Quang, and Maya Neytcheva. In Large-Scale Scientific Computing, volume 7116 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 2012.
7. Efficient numerical solution of discrete multi-component Cahn–Hilliard systems. Petia Boyanova and Maya Neytcheva. Technical report / Department of Information Technology, Uppsala University nr 2012-009, 2012. (External link).
8. Efficient preconditioners for large scale binary Cahn–Hilliard models. Petia Boyanova, Minh Do-Quang, and Maya Neytcheva. In Computational Methods in Applied Mathematics, volume 12, pp 1-22, 2012. (DOI).
9. The Impact of Trace and Adversary Models on Location Privacy Provided by K-anonymity. Volkan Cambazoglu, Christian Rohner, and Björn Victor. In EuroSys 2012 Workshop on Measurement, Privacy, and Mobility (MPM), 2012. (To appear.)
10. Fully automated cellular-resolution vertebrate screening platform with parallel animal processing. Tsung-Yao Chang, Carlos Pardo-Martin, Amin Allalou, Carolina Wählby, and Mehmet Fatih Yanik. In Lab on a Chip, volume 12, number 4, pp 711-716, 2012. (DOI).
11. Models and methods for computing education research. Mats Daniels and Arnold Pears. In Australian Computer Science Communications, volume 34, number 2, pp 95-102, 2012. (External link).
12. A well-posed and discretely stable perfectly matched layer for elastic wave equations in second order formulation. Kenneth Duru and Gunilla Kreiss. In Communications in Computational Physics, volume 11, pp 1643-1672, 2012. (DOI).
13. Accurate and stable boundary treatments for elastic wave equations in second order formulation. Kenneth Duru, Gunilla Kreiss, and Ken Mattsson. In Journal of Computational Physics, 2012. Publication status: Submitted
14. Boundary waves and stability of the perfectly matched layer. Kenneth Duru and Gunilla Kreiss. Technical report / Department of Information Technology, Uppsala University nr 2012-007, 2012. (External link).
15. Discrete stability of perfectly matched layers for anisotropic wave equations in first and second order formulation. Kenneth Duru and Gunilla Kreiss. In SIAM Journal on Scientific Computing, 2012. Publication status: Submitted
16. Numerical interaction of boundary waves with perfectly matched layers in elastic waveguides. Kenneth Duru and Gunilla Kreiss. Technical report / Department of Information Technology, Uppsala University nr 2012-008, 2012. (External link).
17. On the accuracy and stability of the perfectly matched layer in transient waveguides. Kenneth Duru and Gunilla Kreiss. In Journal of Scientific Computing, 2012. (DOI). Publication status: Epub ahead of print
18. Perfectly Matched Layers and High Order Difference Methods for Wave Equations. Kenneth Duru. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 931, Acta Universitatis Upsaliensis, Uppsala, 2012. (fulltext).
19. On the stability of stochastic jump kinetics. Stefan Engblom. Technical report / Department of Information Technology, Uppsala University nr 2012-005, 2012. (External link).
20. Nonparametric density estimation for randomly perturbed elliptic problems III: Convergence, computational cost, and generalizations. Donald Estep, Michael J. Holst, and Axel Målqvist. In Journal of Applied Mathematics and Computing, volume 38, pp 367-387, 2012. (DOI).
21. Constraint Programming for Air Traffic Control and Management. Pierre Flener and Justin Pearson (eds). Volume 27: of Knowledge Engineering Review, 2012.
22. A guide to RBF-generated finite differences for nonlinear transport: Shallow water simulations on a sphere. Natasha Flyer, Erik Lehto, Sébastien Blaise, Grady B. Wright, and Amik St-Cyr. In Journal of Computational Physics, volume 231, number 11, pp 4078-4095, 2012. (DOI).
23. A computer-assisted proof of the existence of traveling wave solutions to the scalar Euler equations with artificial viscosity. Oswald Fogelklou, Warwick Tucker, and Gunilla Kreiss. In NoDEA. Nonlinear differential equations and applications (Printed ed.), volume 19, pp 97-131, 2012. (DOI).
24. Impact of stroke on anterior–posterior force generation prior to seat-off during sit-to-walk. Gunilla E Frykberg, Tomas Thierfelder, Anna Cristina Åberg, Kjartan Halvorsen, Jörgen Borg, and Helga Hirschfeld. In Gait & Posture, volume 35, number 1, pp 56-60, 2012. (DOI).
25. Adaptive fast multipole methods on the GPU. Anders Goude and Stefan Engblom. Technical report / Department of Information Technology, Uppsala University nr 2012-012, 2012. (External link).
26. An algebraic approach for controlling cascade of reaches in irrigation canals. Mouhamadou Samsidy Goudiaby, Abdou Sene, and Gunilla Kreiss. In Problems, Perspectives and Challenges of Agricultural Water Management, pp 369-390, InTech, Rijeka, Croatia, 2012.
27. Communication-efficient algorithms for numerical quantum dynamics. Magnus Gustafsson, Katharina Kormann, and Sverker Holmgren. In Applied Parallel and Scientific Computing: Part II, volume 7134 of Lecture Notes in Computer Science, pp 368-378, Springer-Verlag, Berlin, 2012. (DOI).
28. Numerical evaluation of the Communication-Avoiding Lanczos algorithm. Magnus Gustafsson, James Demmel, and Sverker Holmgren. Technical report / Department of Information Technology, Uppsala University nr 2012-001, 2012. (External link).
29. Towards an adaptive solver for high-dimensional PDE problems on clusters of multicore processors. Magnus Gustafsson. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2012-003, 2012. (External link).
30. An optimisation-based approach for wireless sensor deployment in mobile sensing environments. Farshid Hassani Bijarbooneh, Pierre Flener, Edith C.-H. Ngai, and Justin Pearson. In Proc. Wireless Communications and Networking Conference 2012, IEEE Communications Society, 2012.
31. Reaction-diffusion master equation in the microscopic limit. Stefan Hellander, Andreas Hellander, and Linda Petzold. In Physical Review E. Statistical, Nonlinear, and Soft Matter Physics, volume 85, pp 042901:1-5, 2012. (DOI).
32. Efficiently implementing Monte Carlo electrostatics simulations on multicore accelerators. Marcus Holm and Sverker Holmgren. In Applied Parallel and Scientific Computing: Part II, volume 7134 of Lecture Notes in Computer Science, pp 379-388, Springer-Verlag, Berlin, 2012. (DOI).
33. All or nothing: Deployment must also be user-centred. Gunnika Isaksson-Lutteman, Bengt Sandblad, Arne W. Andersson, and Simon Tschirner. In Ergonomics Open Journal, 2012. Publication status: Submitted
34. Future Train Traffic Control: Development and deployment of new principles and systems in train traffic control. Gunnika Isaksson-Lutteman. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2012-001, Uppsala universitet, Uppsala, 2012. (fulltext).
35. Computing Strong and Weak Bisimulations for Psi-Calculi. Magnus Johansson, Björn Victor, and Joachim Parrow. In Journal of Logic and Algebraic Programming, volume 81, number 3, pp 162-180, Elsevier, 2012. (DOI).
36. Trace-based performance analysis of opportunistic forwarding under imperfect node cooperation. Merkourios Karaliopoulos and Christian Rohner. In Proceedings of the 31st Annual IEEE International Conference on Computer Communications (IEEE INFOCOM 2012), IEEE Communications Society, Orlando, 2012.
37. Derivation of strictly stable high order difference approximations for variable-coefficient PDE. Katharina Kormann, Martin Kronbichler, and Bernhard Müller. In Journal of Scientific Computing, volume 50, pp 167-197, 2012. (DOI).
38. A generic interface for parallel cell-based finite element operator application. Martin Kronbichler and Katharina Kormann. In Computers & Fluids, 2012. (DOI). Publication status: Epub ahead of print
39. High accuracy mantle convection simulation through modern numerical methods. Martin Kronbichler, Wolfgang Bangerth, and Timo Heister. In Geophysical Journal International, 2012. Publication status: Submitted
40. A Hybrid Approach to Cyber-Physical Systems Verification. Pratyush Kumar, Dip Goswami, Samarjit Chakraborty, Anuradha Annaswamy, Kai Lampka, and Lothar Thiele. The Design Automation Conference 2012, San Francisco, USA, June 3-7, 2012, Association for Computing Machinery (ACM), San Fransisco, USA, 2012. (fulltext).
41. Segmentation of virus particle candidates in transmission electron microscopy images. Gustaf Kylberg, Mats Uppström, Kjell-Olof Hedlund, Gunilla Borgefors, and Ida-Maria Sintorn. In Journal of Microscopy, volume 245, number 2, pp 140-147, Blackwell Publishing, 2012. (DOI).
42. Learning histopathological patterns. Andreas Kårsnäs, Anders L. Dahl, and Rasmus Larsen. In Journal of Pathology Informatics, number 2:12, 2012. (DOI).
43. Coverage segmentation based on linear unmixing and minimization of perimeter and boundary thickness. Joakim Lindblad and Natasa Sladoje. In Pattern Recognition Letters, volume 33, number 6, pp 728-738, 2012. (DOI).
44. Nonlinear identification of a minimal neuromuscular blockade model in anesthesia. Margarida Martins da Silva, Torbjörn Wigren, and Teresa Mendonça. In IEEE Transactions on Control Systems Technology, volume 20, number 1, pp 181-188, 2012. (DOI).
45. Summation by parts operators for finite difference approximations of second-derivatives with variable coefficients. Ken Mattsson. In Journal of Scientific Computing, volume 51, pp 650-682, 2012. (DOI).
46. Mining Conversations of Geographically Changing Users. Liam McNamara and Christian Rohner. In Proceedings of the World Wide Web 2012 Workshop on Social Web for Disaster (SWDM2012), Lion, 2012.
47. Context-aware sensor data dissemination for mobile users in remote areas. Edith C.-H. Ngai, Mani B. Srivastava, and Jiangchuan Liu. In Proc. 31st International Conference on Computer Communications: Mini-Conference, pp 2711-2715, IEEE, Piscataway, NJ, 2012. (DOI).
48. On providing sink anonymity for wireless sensor networks. Edith C.-H. Ngai. In Security and Communication Networks, volume 5, 2012. (DOI). Publication status: Epub ahead of print
49. Performance and stability of the Chelonia storage system. Jon K. Nilsen, Salman Toor, Zsombor Nagy, Bjarte Mohn, and Alex L. Read. In Proc. International Symposium on Grids and Clouds 2012, Proceedings of Science, SISSA, Trieste, Italy, 2012.
50. Stability at nonconforming grid interfaces for a high order discretization of the Schrödinger equation. Anna Nissen, Gunilla Kreiss, and Margot Gerritsen. In Journal of Scientific Computing, 2012. (DOI). Publication status: Epub ahead of print
51. Weak and strong wall boundary procedures and convergence to steady-state of the Navier-Stokes equations. Jan Nordström, Sofia Eriksson, and Peter Eliasson. In Journal of Computational Physics, volume 231, pp 4867-4884, 2012. (DOI).
52. Making the Most of Your Contacts: Transfer Ordering in Data-Centric Opportunistic Networks. Christian Rohner, Fredrik Bjurefors, Per Gunningberg, Liam McNamara, and Erik Nordström. In Proceedings of the 2012 ACM MobiOpp Workshop on Mobile Opportunistic Networks, ACM Press, Zürich, 2012.
53. Comment on "On the optimal symmetric purification scheme of the one-particle density matrix" [Chem. Phys. Lett. 511 (2011) 159–160]. Emanuel H. Rubensson. In Chemical Physics Letters, volume 527, pp 84-85, 2012. (DOI).
54. Controlling errors in recursive Fermi–Dirac operator expansions with applications in electronic structure theory. Emanuel H. Rubensson. In SIAM Journal on Scientific Computing, volume 34, pp B1-B23, 2012. (DOI).
55. Difficulties in applying pure Kohn–Sham density functional theory electronic structure methods to protein molecules. Elias Rudberg. In Journal of Physics: Condensed Matter, volume 24, pp 072202:1-7, 2012. (DOI).
56. Introducing a novel analysis technique for osseointegrated dental implants retrieved 29 years postsurgery. Hamid Sarve, Bertil Friberg, Gunilla Borgefors, and Carina B. Johansson. In Clinical Implant Dentistry and Related Research, volume 14, Wiley-Blackwell, 2012. (DOI). Publication status: Epub ahead of print
57. On the LIMES approach to spectral analysis of irregularly sampled data. Peter Stoica and Prabhu Babu. In Electronics Letters, volume 48, number 4, pp 218-219, 2012. (DOI).
58. SPICE and LIKES: Two hyperparameter-free methods for sparse-parameter estimation. Peter Stoica and Prabhu Babu. In Signal Processing, volume 92, number 7, pp 1580-1590, 2012. (DOI).
59. Sparse estimation of spectral lines: Grid selection problems and their solutions. Peter Stoica and Prabhu Babu. In IEEE Transactions on Signal Processing, volume 60, number 2, pp 962-967, 2012. (DOI).
60. Optimization of the Receive Filter and Transmit Sequence for Active Sensing. Petre Stoica, Hao He, and Jian Li. In IEEE Transactions on Signal Processing, volume 60, number 4, pp 1730-1740, 2012. (DOI).
61. A generalised instrumental variable estimator for multivariable errors-in-variables identification problems. Torsten Söderström. In International Journal of Control, volume 85, number 3, pp 287-303, 2012. (DOI).
62. How accurate can instrumental variable models become?. Torsten Söderström. In System Identification, Environmental Modelling, and Control System Design, pp 3-25, Springer London, 2012. (DOI).
63. System identification for the errors-in-variables problem. Torsten Söderström. In Transactions of the Institute of Measurement and Control, volume 34, 2012. (DOI). Publication status: Epub ahead of print
64. Illustration of paradigm pluralism in computing education research. Neena Thota, Anders Berglund, and Tony Clear. In Australian Computer Science Communications, volume 34, number 2, pp 103-112, 2012. (External link).
65. Investigating an open source cloud storage infrastructure for CERN-specific data analysis. Salman Toor, Rainer Töebbicke, Maitane Zotes Resines, and Sverker Holmgren. In Proc. 7th International Conference on Networking, Architecture, and Storage, IEEE, Piscataway, NJ, 2012.
66. Scientific analysis by queries in extended SPARQL over a distributed e-Science data store. Salman Toor, Andrej Andrejev, Andreas Hellander, Sverker Holmgren, and Tore Risch. International Conference for High Performance Computing, Networking, Storage and Analysis (SC 2012) (Submitted), 2012.
67. On the Performance of Optimal Input Signals for Frequency Response Estimation. Bo Wahlberg, Hakan Hjalmarsson, and Peter Stoica. In IEEE Transactions on Automatic Control, volume 57, number 3, pp 766-771, 2012. (DOI).
68. Sparse representations and sphere decoding for array signal processing. T. Yardibi, J. Li, Peter Stoica, and Cattafesta, L. N. , I I I. In Digital signal processing (Print), volume 22, number 2, pp 253-262, 2012. (DOI).
69. Spurious currents in finite element based level set methods for two-phase flow. Sara Zahedi, Martin Kronbichler, and Gunilla Kreiss. In International Journal for Numerical Methods in Fluids, volume 69, 2012. (DOI). Publication status: Epub ahead of print
70. Optimal aeration control in a nitrifying activated sludge process. Linda Åmand and Bengt Carlsson. In Water Research, volume 46, number 7, pp 2101-2110, 2012. (DOI).