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 2012, 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004, 2003, 2002, 2001, 2000, and 1999 are also available.

1. Monotonic abstraction for programs with multiply-linked structures. Parosh Abdulla, Jonathan Cederberg, and Tomas Vojnar. In International Journal of Foundations of Computer Science, volume 24, 2013. Publication status: Accepted
2. All for the Price of Few: (Parameterized Verification through View Abstraction). Parosh Aziz Abdulla, Frédéric Haziza, and Lukáš Holík. 14th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2013), January 20-22, 2013, Rome, Italy, 2013. (fulltext).
3. An Integrated Specification and Verification Technique for Highly Concurrent Data Structures. Parosh Aziz Abdulla, Frédéric Haziza, Lukas Holik, Bengt Jonsson, and Ahmed Rezine. In Tools and Algorithms for the Construction and Analysis of Systems, 2013. (fulltext).
4. A comparison of iterative methods to solve complex valued linear algebraic systems. Owe Axelsson, Maya Neytcheva, and Bashir Ahmad. Technical report / Department of Information Technology, Uppsala University nr 2013-005, 2013. (External link).
5. A general approach to analyse preconditioners for two-by-two block matrices. Owe Axelsson and Maya Neytcheva. In Numerical Linear Algebra with Applications, volume 20, 2013. (DOI). Publication status: Epub ahead of print
6. Numerical and computational efficiency of solvers for two-phase problems. Owe Axelsson, Petia Boyanova, Martin Kronbichler, Maya Neytcheva, and Xunxun Wu. In Computers and Mathematics with Applications, volume 65, pp 301-314, 2013. (DOI).
7. Efficient sampling in event-driven algorithms for reaction-diffusion processes. Mohammad Hossein Bani-Hashemian, Stefan Hellander, and Per Lötstedt. In Communications in Computational Physics, volume 13, pp 958-984, 2013. (DOI).
8. On matrices, automata, and double counting in constraint programming. Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, and Justin Pearson. In Constraints, volume 18, number 1, pp 108-140, 2013. (DOI).
9. On the reification of global constraints. Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, and Justin Pearson. In Constraints, volume 18, number 1, pp 1-6, 2013. (DOI).
10. On the impact of boundary conditions on dual consistent finite difference discretizations. Jens Berg and Jan Nordström. In Journal of Computational Physics, volume 236, pp 41-55, 2013. (DOI).
11. Stable and High-Order Finite Difference Methods for Multiphysics Flow ProblemsStabila finita differensmetoder med hög noggrannhetsordning för multifysik- och flödesproblem. Jens Berg. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1004, Acta Universitatis Upsaliensis, Uppsala, 2013. (fulltext).
12. Deriving Probability Density Functions from Probabilistic Functional Programs. Sooraj Bhat, Johannes Borgström, Andrew D. Gordon, and Claudio Russo. In Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings, volume 7795 of Lecture Notes in Computer Science, pp 510-524, Springer, Berlin/Heidelberg, 2013. (DOI).
13. Computer Science Students’ Perception of Computer Network Security. Volkan Cambazoglu and Neena Thota. In Proceedings of the Learning and Teaching in Computing and Engineering, pp 204-207, IEEE conference proceedings, 2013.
14. Assume-guarantee reasoning for safe component behaviours. C. Chilton, Bengt Jonsson, and M. Kwiatkowska. In Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers, volume 7684 LNCS of Lecture Notes in Computer Science, pp 92-109, 2013. (DOI).
15. Beyond the Geneva Convention on the Treatment of Object Aliasing. Dave Clarke, James Noble, and Tobias Wrigstad. In Aliasing in Object-Oriented Programming: Types, Analysis, and Verification, volume 7850 of Lecture Notes in Computer Science, pp 1-6, Springer Berlin/Heidelberg, 2013. (DOI).
16. Ownership Types: A Survey. Dave Clarke, Johan Östlund, Ilya Sergey, and Tobias Wrigstad. In Aliasing in Object-Oriented Programming: Types, Analysis, and Verification, volume 7850 of Lecture Notes in Computer Science, pp 15-58, Springer Berlin/Heidelberg, 2013. (DOI).
17. Control of shallow water and sediment continuity coupled system. Ababacar Diagne and Abdou Sène. In MCSS. Mathematics of Control, Signals and Systems, volume 25, 2013. (DOI). Publication status: Epub ahead of print
18. Bandwidth Bandit: Quantitative Characterization of Memory Contention. David Eklöv, Nikos Nikoleris, David Black-Schaffer, and Erik Hagersten. In Proc. International Symposium on Code Generation and Optimization: CGO 2013, pp 1-10, IEEE Computer Society, 2013. (DOI).
19. On diffuse interface modeling and simulation of surfactants in two-phase fluid flow. Stefan Engblom, Minh Do-Quang, Gustav Amberg, and Anna-Karin Tornberg. In Communications in Computational Physics, volume 14, pp 879-915, 2013. (DOI).
20. Verbal reports and domain-specific knowledge: a comparison between collegial and retrospective verbalisation. Mikael Erlandsson and Anders Jansson. In Cognition, Technology & Work, volume 15, Springer London, 2013. (DOI). Publication status: Epub ahead of print
21. Convergence of methods for coupling of microscopic and mesoscopic reaction-diffusion simulations. Mark B. Flegg, Stefan Hellander, and Radek Erban. Technical report / Department of Information Technology, Uppsala University nr 2013-010, 2013. (External link).
22. Stable calculation of Gaussian-based RBF-FD stencils. Bengt Fornberg, Erik Lehto, and Collin Powell. In Computers and Mathematics with Applications, volume 65, pp 627-637, 2013. (DOI).
23. A socio-technical comparison of rail traffic control between GB and Sweden. David Golightly, Bengt Sandblad, Nastaran Dadashi, Arne W. Andersson, Simon Tschirner, and Sarah Sharples. In Rail Human Factors: Supporting Reliability, Safety and Cost Reduction, pp 367-376, Taylor & Francis, London, UK, 2013.
24. A Model-Learner Pattern for Bayesian Reasoning. Andrew D. Gordon, Mihhail Aizatulin, Johannes Borgström, Guillaume Claret, Thore Graepel, Aditya Nori, Sriram Rajamani, and Claudio Russo. In Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp 403-416, Association for Computing Machinery (ACM), New York, NY, 2013. (DOI).
25. Adaptive fast multipole methods on the GPU. Anders Goude and Stefan Engblom. In Journal of Supercomputing, volume 63, pp 897-918, 2013. (DOI).
26. Characteristic cut finite element methods for convection-diffusion problems on time dependent surfaces. Peter Hansbo, Mats G. Larson, and Sara Zahedi. Technical report / Department of Information Technology, Uppsala University nr 2013-004, 2013. (External link).
27. Shortest Diagonal Triangulation of Convex Layers. Anders Hast, Peter Jenke, and Stefan Seipel. In The IASTED International Conference on Signal Processing, Pattern Recognition and Applications., pp 1-7, 2013.
28. Constraints for Membership in Formal Languages under Systematic Search and Stochastic Local Search. Jun He. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1027, Acta Universitatis Upsaliensis, Uppsala, 2013. (fulltext).
29. Parallel implementation of the Sherman–Morrison matrix inverse algorithm. Xin He, Marcus Holm, and Maya Neytcheva. In Applied Parallel and Scientific Computing, volume 7782 of Lecture Notes in Computer Science, pp 206-219, Springer-Verlag, Berlin, 2013. (DOI).
30. Single molecule simulations in complex geometries with embedded dynamic one-dimensional structures. Stefan Hellander. Technical report / Department of Information Technology, Uppsala University nr 2013-009, 2013. (External link).
31. Stochastic Simulation of Reaction-Diffusion Processes. Stefan Hellander. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1042, Acta Universitatis Upsaliensis, Uppsala, 2013. (fulltext).
32. Students’ experiences of participation in the disciplines Computer Science, Physics, and Earth Sciences as an aspect of novice students’ identity. Magnus Hellqvist, Andreas Lindblad, and Anne-Kathrin Peters. Teknisk-naturvetenskapliga fakultetens Universitetspedagogiska Konferens (TUK2013), Uppsala universitet, 2013.
33. SoNIC: Classifying interference in 802.15.4 sensor networks. Frederik Hermans, Olof Rensfelt, Thiemo Voigt, Edith Ngai, Lars-Åke Nordén, and Per Gunningberg. In Proc. 12th International Conference on Information Processing in Sensor Networks, pp 55-66, ACM Press, New York, 2013. (DOI).
34. Skitracker: Measuring skiing performance using a body-area network. Thomas Homewood, Christer Norström, and Per Gunningberg. In Proc. 12th International Conference on Information Processing in Sensor Networks, pp 319-320, ACM Press, New York, 2013. (DOI).
35. System identification in a networked environment using second order statistical properties. Yasir Irshad, Magnus Mossberg, and Torsten Söderström. In Automatica, volume 49, number 2, pp 652-659, 2013. (DOI).
36. Analysis of nuclei textures of fine needle aspirated cytology images for breast cancer diagnosis using complex Daubechies wavelets. Swamidoss Issac Niwas, P. Palanisamy, K. Sujathan, and Ewert Bengtsson. In Signal Processing, 2013. (DOI). Publication status: In press
37. Color deconvolution method for breast tissue core biopsy images cell nuclei detection and analysis using multiresolution techniques. Swamidoss Issac Niwas, P. Palanisamy, and Ewert Bengtsson. In International Journal of Imaging and Robotics, volume 9, number 1, pp 61-72, 2013.
38. Evolving Systems – Engaged Users: Key Principles for Improving Region-wide Health IT Adoption. Rebecka Janols. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1030, Acta Universitatis Upsaliensis, Uppsala, 2013. (fulltext).
39. Interpretation of the Concepts of Enterprise-wide and Best of Breed IT within the New Zealand eHealth Community. Rebecka Janols, Karen Day, and Martin Orr. In Health Care and Informatics Review Online, Auckland, 2013. Publication status: In press
40. Secondary Users Interpretations on Key Concerns for Achieving an Effective and Efficient Region-wide Electronic Patient Record Usage. Rebecka Janols and Bengt Göransson. In The 21st European Conference on Information Systems (ECIS 2013), AIS Electronic Library, 2013.
41. Finite element convergence for the Joule heating problem with mixed boundary conditions. Max Jensen and Axel Målqvist. In BIT Numerical Mathematics, volume 53, 2013. (DOI). Publication status: Epub ahead of print
42. Swelling of cellulose fibres in composite materials: constraint effects of the surrounding matrix. Thomas Joffre, Erik L. G. Wernersson, Arttu Miettinen, Cris L. Luengo Hendriks, and E. Kristofer Gamstedt. In Composites Science And Technology, volume 74, pp 52-59, Elsevier, 2013. (DOI).
43. Accelerated convergence for Schrödinger equations with non-smooth potentials. Emil Kieri. Technical report / Department of Information Technology, Uppsala University nr 2013-007, 2013. (External link).
44. Femtosecond pump-probe spectroscopy for single trapped molecular ions. Markus Kowalewski, Steffen Kahra, Günther Leschhorn, Tobias Schätz, and Regina de Vivie-Riedle. In Proc. 18th International Conference on Ultrafast Phenomena, volume 41 of EPJ Web of Conferences, pp 02028:1-3, EDP Sciences, 2013. (DOI).
45. Discrete stability of perfectly matched layers for anisotropic wave equations in first and second order formulation. Gunilla Kreiss and Kenneth Duru. In BIT Numerical Mathematics, volume 53, 2013. (DOI). Publication status: Epub ahead of print
46. Component-based system design: analytic real-time interfaces for state-based component implementations. Kai Lampka, Simon Perathoner, and Lothar Thiele. In International Journal on Software Tools for Technology Transfer (STTT), volume 15, number 3, pp 155-170, Springer Berlin/Heidelberg, 2013. (DOI).
47. A variational multiscale method for Poisson's equation in mixed form. Mats G. Larson, Axel Målqvist, and Robert Söderlund. In Numerical Mathematics and Advanced Applications: 2011, pp 713-721, Springer-Verlag, Berlin, 2013. (DOI).
48. Gender-aware course reform in Scientific Computing. Elisabeth Larsson, Stefan Pålsson, Jarmo Rantakokko, Lina von Sydow, and Michael Thuné. In International journal of engineering education, volume 29, number 2, pp 403-414, 2013.
49. Skors skönhet ur en matematikers perspektiv. Elisabeth Larsson. In Skor är huvudsaken: Sjutton kvinnliga forskares funderingar om skor, pp 30-31, Uppsala universitet, 2013.
50. Perceived 3D metric (or Euclidean) shape is merely ambiguous, not systematically distorted. Young Lim Lee, Mats Lind, and Geoffrey P. Bingham. In Experimental Brain Research, volume 224, number 4, pp 551-555, 2013. (DOI).
51. Network-Wide Sensornet Checkpointing Made Practical. Andreas Löscher, Nicolas Tsiftes, Thiemo Voigt, and Vlado Handziski. EWSN 2013, 2013.
52. Electronically-switched directional antennas for wireless sensor networks: A full-stack evaluation. Luca Mottola, Thiemo Voigt, and Gian Pietro Picco. In Proc. 10th International Conference on Sensing, Communication, and Networking, IEEE Communications Society, 2013.
53. MAPfastR: QTL mapping in outbred line crosses. Ronald M. Nelson, Carl Nettelblad, Lucy Crooks, Mats E. Pettersson, Xia Shen, Francois Besnier, José Álvarez-Castro, Lars Rönnegård, Weronica Ek, Zheya Sheng, Marcin Kierczak, Sverker Holmgren, and Örjan Carlborg. In Bioinformatics, 2013. Publication status: Submitted
54. Breakdown of methods for phasing and imputation in the presence of double genotype sharing. Carl Nettelblad. In PLoS ONE, volume 8, pp e60354:1-5, 2013. (DOI, fulltext).
55. Fast and Accurate Detection of Multiple QTL. Carl Nettelblad, Behrang Mahjani, and Sverker Holmgren. In Journal of Computational Biology, 2013. (External link). Publication status: Submitted
56. On providing location privacy for mobile sinks in wireless sensor networks. Edith C.-H. Ngai and Ioana Rodhe. In Wireless networks, volume 19, number 1, pp 115-130, 2013. (DOI).
57. On providing sink anonymity for wireless sensor networks. Edith C.-H. Ngai. In Security and Communication Networks, volume 6, 2013. (DOI). Publication status: Epub ahead of print
58. High order stable finite difference methods for the Schrödinger equation. Anna Nissen, Gunilla Kreiss, and Margot Gerritsen. In Journal of Scientific Computing, volume 55, pp 173-199, 2013. (DOI).
59. Conjugate heat transfer for the unsteady compressible Navier–Stokes equations using a multi-block coupling. Jan Nordström and Jens Berg. In Computers & Fluids, volume 72, pp 20-29, 2013. (DOI).
60. Minimal-delay distance transform for neighborhood-sequence distances in 2D and 3D. Nicolas Normand, Robin Strand, Pierre Evenou, and Aurore Arlicot. In Computer Vision and Image Understanding, volume 117, number 4, pp 409-417, 2013. (DOI).
61. Using Competencies to Structure Scientific Writing Education. Aletta Nylén and Christina Dörge. In HDI 2012 – Informatik für eine nachhaltige Zukunft, volume 5 of Commentarii informaticae didacticae (CID), pp 33-44, Universitätsverlag Potsdam, Potsdam, 2013. (External link).
62. Adaptive filtering for enhancement of the osteocyte cell network in 3D microtomography images. Alexandra Pacureanu, A. Larrue, M. Langer, C. Olivier, C. Muller, M. -H Lafage-Proust, and F. Peyrin. In IRBM, volume 34, number 1-SI, pp 48-52, 2013. (DOI).
63. High-throughput hyperdimensional vertebrate phenotyping. Carlos Pardo-Martin, Amin Allalou, Jaime Medina, Peter M. Eimon, Carolina Wählby, and Mehmet Fatih Yanik. In Nature Communications, volume 4, p 1467, 2013. (DOI).
64. Higher-order psi-calculi. Joachim Parrow, Johannes Borgström, Palle Raabjerg, and Johannes Åman Pohjola. In Mathematical Structures in Computer Science, Cambridge University Press, 2013. Publication status: Submitted
65. Uncertainty Quantification and Numerical Methods for Conservation Laws. Per Pettersson. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1008, Acta Universitatis Upsaliensis, Uppsala, 2013. (fulltext).
66. Efficient parallel implementation of state estimation algorithms on multicore platforms. Olov Rosén and Alexander Medvedev. In IEEE Transactions on Control Systems Technology, volume 21, number 1, pp 107-120, 2013. (DOI).
67. Bisphenol A exposure increases liver fat in juvenile fructose-fed Fischer 344 rats. Monika Rönn, Joel Kullberg, Helen Karlsson, Johan Berglund, Filip Malmberg, Jan Örberg, Lars Lind, Håkan Ahlström, and Monica Lind. In Toxicology, volume 303, number 1, pp 125-132, 2013. (DOI).
68. Modeling Performance Variation Due to Cache Sharing. Andreas Sandberg, Andreas Sembrant, Erik Hagersten, and David Black-Schaffer. In The 19th IEEE International Symposium on High Performance Computer Architecture, pp 155-166, 2013.
69. 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 15, Wiley-Blackwell, 2013. (DOI). Publication status: Epub ahead of print
70. Real-time algorithm for changes detection in depth of anesthesia signals. Raquel Sebastião, Margarida Martins da Silva, Rui Rabiço, João Gama, and Teresa Mendonça. In Evolving Systems, volume 4, pp 3-12, 2013. (DOI).
71. Evaluating 2D and 3D geovisualisations for basic spatial assessment. Stefan Seipel. In Behaviour & Information Technology, volume 32, 2013. (DOI). Publication status: Epub ahead of print
72. Joint design of the receive filter and transmit sequence for active sensing. Mojtaba Soltanalian, Bo Tang, Jian Li, and Peter Stoica. In IEEE Signal Processing Letters, volume 20, number 5, pp 423-426, 2013. (DOI).
73. Integrative educational approach oriented towards software and system development. Anca-Juliana Stoica and Shareeful Islam. In International Journal of Engineering Pedagogy, volume 3, number 1, pp 36-43, 2013.
74. The minimum barrier distance. Robin Strand, Krzysztof Chris Ciesielski, Filip Malmberg, and Punam K. Saha. In Computer Vision and Image Understanding, volume 117, number 4, pp 429-437, 2013. (DOI).
75. Can errors-in-variables systems be identified from closed-loop experiments?. Torsten Söderström, Liuping Wang, Rik Pintelon, and Johan Schoukens. In Automatica, volume 49, number 2, pp 681-684, 2013. (DOI).
76. Comparing some classes of bias-compensating least squares methods. Torsten Söderström. In Automatica, volume 49, number 3, pp 840-845, 2013. (DOI).
77. Molecular wave packet dynamics decelerated by solvent environment: A theoretical approach. Sebastian Thallmair, Markus Kowalewski, Benjamin P. Fingerhut, Christian F. Sailer, and Regina de Vivie-Riedle. In Proc. 18th International Conference on Ultrafast Phenomena, volume 41 of EPJ Web of Conferences, pp 05043:1-3, EDP Sciences, 2013. (DOI).
78. Resource-aware task scheduling. Martin Tillenius, Elisabeth Larsson, Rosa M. Badia, and Xavier Martorell. In Proc. 4th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures (PARMA), p 6, ACM Press, New York, 2013.
79. Analysis of collaboration applied to train drivers and train traffic controllers in Sweden. Simon Tschirner, Bengt Sandblad, Arne W. Andersson, Peter Hellström, and Gunnika Isaksson-Lutteman. In Rail Human Factors: Supporting reliability, safety and cost reduction, pp 389-398, Taylor & Francis, London UK, 2013.
80. Designing train driver advisory systems for Situation Awareness. Simon Tschirner, Arne W. Andersson, and Bengt Sandblad. In Rail Human Factors: Supporting reliability, safety and cost reduction, pp 150-159, Taylor & Francis, London UK, 2013.
81. High-throughput gene expression analysis at the level of single proteins using a microfluidic turbidostat and automated cell tracking. Gustaf Ullman, Mats Walldén, Erik G. Marklund, Anel Mahmutovic, Ivan Razinkov, and Johan Elf. In Philosophical Transactions of the Royal Society of London. Biological Sciences, volume 368, number 1611, pp 20120025:1-8, 2013. (DOI).
82. Understanding link dynamics in wireless sensor networks with dynamically steerable directional antennas. Thiemo Voigt, Luca Mottola, and Kasun Hewage. In Wireless Sensor Networks: EWSN 2013, volume 7772 of Lecture Notes in Computer Science, pp 115-130, Springer Berlin/Heidelberg, 2013. (DOI, fulltext).
83. A uniformly well-conditioned, unfitted Nitsche method for interface problems. Eddie Wadbro, Sara Zahedi, Gunilla Kreiss, and Martin Berggren. In BIT Numerical Mathematics, volume 53, 2013. (DOI). Publication status: Epub ahead of print
84. A Long-Term Study of Correlations betweenMeteorological Conditions and 802.15.4 LinkPerformance. Hjalmar Wennerström, Frederik Hermans, Olof Rensfelt, Christian Rohner, and Lars-Åke Nordén. In Proc. 10th International Conference on Sensing, Communication, and Networking, IEEE Communications Society, 2013.
85. Postprocessing method for reducing phase effects in reconstructed microcomputed-tomography data. Erik L. G. Wernersson, Matthieu N. Boone, Jan Van den Bulcke, Luc Van Hoorebeke, and Cris L. Luengo Hendriks. In Optical Society of America. Journal A: Optics, Image Science, and Vision, volume 30, number 3, pp 455-461, 2013.
86. Structured Aliasing. Tobias Wrigstad. In Aliasing in Object-Oriented Programming: Types, Analysis, and Verification, volume 7850 of Lecture Notes in Computer Science, pp 512-513, Springer Berlin/Heidelberg, 2013. (DOI).