Department of Information Technology

Publications from the Department of Information Technology

Series

We publish technical reports and licentiate theses in local series. Our PhD dissertations are available through the Electronic Publishing Centre of the university.

Search for other publications

To search for other publications, please try

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

  1. Context-Bounded Analysis for POWER. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, and Tuan Phong Ngo. In Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science, Springer, 2017. (External link).
  2. A meshfree approach to non-Newtonian free surface ice flow: Application to the Haut Glacier d'Arolla. Josefin Ahlkrona and Victor Shcherbakov. In Journal of Computational Physics, volume 330, pp 633-649, 2017. (DOI).
  3. Efficient Simulation of Wave Phenomena. Martin Almquist. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1463, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  4. Multi-level local time-stepping methods of Runge–Kutta type for wave equations. Martin Almquist and Michaela Mehlin. In , 2017. (DOI). Publication status: Submitted
  5. Atomistic-continuum multiscale modelling of magnetisation dynamics at non-zero temperature. Doghonay Arjmand, Mikhail Poluektov, and Gunilla Kreiss. In Computing Research Repository, number 1702.05173, 2017. (External link). Publication status: Submitted
  6. Estimates for the upscaling error in heterogeneous multiscale methods for wave propagation problems in locally periodic media. Doghonay Arjmand and Olof Runborg. In Multiscale Modeling & simulation, volume 15, 2017. Publication status: Accepted
  7. A preconditioner for optimal control problems, constrained by Stokes equation with a time-harmonic control. Owe Axelsson, Shiraz Farouq, and Maya Neytcheva. In Journal of Computational and Applied Mathematics, volume 310, pp 5-18, 2017. (DOI).
  8. Comparison of preconditioned Krylov subspace iteration methods for PDE-constrained optimization problems: Stokes control. Owe Axelsson, Shiraz Farouq, and Maya Neytcheva. In Numerical Algorithms, volume 74, pp 19-37, 2017. (DOI).
  9. Preparing tomorrow's software engineers for work in a global environment. Sarah Beecham, Tony Clear, John Barr, Mats Daniels, Michael Oudshoorn, and John Noll. In IEEE Software, volume 34, number 1, pp 9-12, 2017. (DOI).
  10. Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications. César Beltrán-Castañón, Ingela Nyström, and Fazel Famili (eds). Volume 10125 of Lecture Notes in Computer Science, Springer, 2017. (DOI).
  11. A web application to analyse and visualize digital images at multiple resolutions. Maxime Bombrun, Petter Ranefall, and Carolina Wählby. In , 2017.
  12. Adaptive cache warming for faster simulations. Gustaf Borgström, Andreas Sembrant, and David Black-Schaffer. In Proc. 9th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, ACM Press, New York, 2017. (DOI, Fulltext).
  13. Detecting perceived quality of interaction with a robot using contextual features. Ginevra Castellano, Iolanda Leite, and Ana Paiva. In Autonomous Robots, volume 41, 2017. (DOI). Publication status: Epub ahead of print
  14. TaskInsight: Understanding task schedules effects on memory and performance. Germán Ceballos, Thomas Grass, Andra Hugo, and David Black-Schaffer. In Proc. 8th International Workshop on Programming Models and Applications for Multicores and Manycores, pp 11-20, ACM Press, New York, 2017. (DOI, Fulltext).
  15. A dedicated private-shared cache design for scalable multiprocessors. Juan M. Cebrián, Ricardo Fernández-Pascual, Alexandra Jimborean, Manuel E. Acacio, and Alberto Ros. In Concurrency and Computation, volume 29, number 2, 2017. (DOI).
  16. Accurate and stable time stepping in ice sheet modeling. Gong Cheng, Per Lötstedt, and Lina von Sydow. In Journal of Computational Physics, volume 329, pp 29-47, 2017. (DOI).
  17. Backstepping stabilization of the linearized Saint-Venant–Exner model. Ababacar Diagne, Mamadou Diagne, Shuxia Tang, and Miroslav Krstic. In Automatica, volume 76, pp 345-354, 2017. (DOI).
  18. Steady-state analyses of activated sludge processes with plug-flow reactor. Stefan Diehl, Jesús Zambrano, and Bengt Carlsson. In Journal of Environmental Chemical Engineering, volume 5, number 1, pp 795-809, 2017. (DOI).
  19. Symbol-based multigrid methods for Galerkin B-spline isogeometric analysis. Marco Donatelli, Carlo Garoni, Carla Manni, Stefano Serra-Capizzano, and Hendrik Speleers. In SIAM Journal on Numerical Analysis, volume 55, pp 31-62, 2017. (DOI).
  20. New computerized staging method to analyze mink testicular tissue in environmental research. Azadeh Fakhrzadeh, Ellinor Sporndly-Nees, Elisabeth Ekstedt, Lena Holm, and Cris L. Luengo Hendriks. In Environmental Toxicology and Chemistry, volume 36, number 1, pp 156-164, 2017. (DOI, Fulltext, fulltext).
  21. Generalized locally Toeplitz sequences: Theory and applications. Carlo Garoni and Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2017-002, 2017. (External link).
  22. Lusin theorem, GLT sequences and matrix computations: An application to the spectral analysis of PDE discretization matrices. Carlo Garoni, Carla Manni, Stefano Serra-Capizzano, Debora Sesana, and Hendrik Speleers. In Journal of Mathematical Analysis and Applications, volume 446, pp 365-382, 2017. (DOI).
  23. Spectral analysis and spectral symbol of matrices in isogeometric Galerkin methods. Carlo Garoni, Carla Manni, Stefano Serra-Capizzano, Debora Sesana, and Hendrik Speleers. In Mathematics of Computation, volume 86, number 305, pp 1343-1373, 2017. (DOI).
  24. Spectral distribution results beyond the algebra generated by variable-coefficient Toeplitz sequences: The GLT approach. Carlo Garoni and Stefano Serra-Capizzano. In Journal of Fourier Analysis and Applications, volume 23, 2017. (DOI). Publication status: Epub ahead of print
  25. Locating the Few: Sparsity-aware waveform design for active radar. Heng Hu, Mojtaba Soltanalian, Peter Stoica, and Xiaohua Zhu. In IEEE Transactions on Signal Processing, volume 65, number 3, pp 651-662, 2017. (DOI).
  26. Automatic detection of extended data-race-free regions. Alexandra Jimborean, Jonatan Waern, Per Ekemark, Stefanos Kaxiras, and Alberto Ros. In Proc. 15th International Symposium on Code Generation and Optimization, pp 14-26, IEEE Press, Piscataway, NJ, 2017. (Paper, fulltext).
  27. Understanding initial undergraduate expectations and identity in computing studies. Päivi Kinnunen, Matthew Butler, Michael Morgan, Aletta Nylén, Anne-Kathrin Peters, Jane Sinclair, Sara Kalvala, and Erkki Pesonen. In European Journal of Engineering Education, volume 42, 2017. (DOI). Publication status: Epub ahead of print
  28. Bråk och språk – vad som är förnuftigt och logiskt. Christer O. Kiselman and Hania Uscka-Wehlou. In Nämnaren : tidskrift för matematikundervisning, number 1, pp 45-49, Nationellt centrum för matematikutbildning (NCM), Göteborg, 2017.
  29. Convexity of marginal functions in the discrete case. Christer O. Kiselman and Shiva Samieinia. In Analysis Meets Geometry: The Mikael Passare Memorial Volume, Birkhäuser Verlag, Basel, 2017.
  30. Curriculum Vitae, Mikael Passare. Christer O. Kiselman. In Analysis Meets Geometry: The Mikael Passare Memorial Volume, Birkhäuser Verlag, Basel, 2017.
  31. Domains of holomorphy for Fourier transforms of solutions to discrete convolution equations. Christer O. Kiselman. In Science China Mathematics, volume 60, 2017. (DOI). Publication status: Epub ahead of print
  32. Mikael Passare (1959–2011). Christer O. Kiselman. In Analysis Meets Geometry: The Mikael Passare Memorial Volume, Birkhäuser Verlag, Basel, 2017.
  33. Mikael Passare's publications. Christer O. Kiselman. In Analysis Meets Geometry: The Mikael Passare Memorial Volume, Birkhäuser Verlag, Basel, 2017.
  34. A fast massively parallel two-phase flow solver for microfluidic chip simulation. Martin Kronbichler, Ababacar Diagne, and Hanna Holmgren. In The international journal of high performance computing applications, volume 31, 2017. (DOI, Fulltext). Publication status: Epub ahead of print
  35. A least squares radial basis function partition of unity method for solving PDEs. Elisabeth Larsson, Victor Shcherbakov, and Alfa Heryudono. In SIAM Journal on Scientific Computing, 2017. (External link). Publication status: Submitted
  36. Formulation of a wall model for LES in a collocated finite-volume framework. Mattias Liefvendahl, Timofey Mukha, and Saleh Rezaeiravesh. Technical report / Department of Information Technology, Uppsala University nr 2017-001, 2017. (External link).
  37. On the precision of third person perspective augmented reality for target designation tasks. Fei Liu and Stefan Seipel. In Multimedia tools and applications, volume 76, 2017. (DOI, Fulltext). Publication status: Epub ahead of print
  38. A license to kill: Improving UCSD in agile development. Marta Lárusdóttir, Jan Gulliksen, and Åsa Cajander. In Journal of Systems and Software, volume 123, pp 214-222, 2017. (DOI).
  39. Eliciting strategies in revolutionary design: Exploring the hypothesis of predefined strategy categories. Ida Löscher, Anton Axelsson, Johanna Vännström, and Anders Jansson. In Theoretical Issues in Ergonomics Science, volume 18, 2017. (DOI). Publication status: Epub ahead of print
  40. A flexible computational framework using R and Map-Reduce for permutation tests of massive genetic analysis of complex traits. Behrang Mahjani, Salman Toor, Carl Nettelblad, and Sverker Holmgren. In IEEE/ACM Transactions on Computational Biology & Bioinformatics, volume 14, 2017. (DOI). Publication status: Epub ahead of print
  41. A high-order accurate embedded boundary method for first order hyperbolic equations. Ken Mattsson and Martin Almquist. In Journal of Computational Physics, volume 334, pp 255-279, 2017. (DOI).
  42. Diagonal-norm upwind SBP operators. Ken Mattsson. In Journal of Computational Physics, volume 335, pp 283-310, 2017. (DOI).
  43. Folk pedagogy and the geek gene: Geekiness quotient. Robert McCartney, Jonas Boustedt, Anna Eckerdal, Kate Sanders, and Carol Zander. In Proc. 48th SIGCSE Technical Symposium on Computer Science Education, pp 405-410, ACM Press, New York, 2017. (DOI).
  44. SADHealth: A personal mobile sensing system for seasonal health monitoring. Liam McNamara and Edith Ngai. In IEEE Systems Journal, volume 11, 2017. (DOI). Publication status: Epub ahead of print
  45. Excluded volume effects in on- and off-lattice reaction–diffusion models. Lina Meinecke and Markus Eriksson. In IET Systems Biology, volume 11, 2017. (DOI). Publication status: Epub ahead of print
  46. Bridging Histology and Bioinformatics: Computational analysis of spatially resolved transcriptomics. Marco Mignardi, Omer Ishaq, Xiaoyan Qian, and Carolina Wählby. In Proceedings of the IEEE, volume 105, number 3, pp 530-541, 2017. (DOI, Fulltext).
  47. Numerical investigation of a viscous regularization of the Euler equations by entropy viscosity. Murtazo Nazarov and Aurélien Larcher. In Computer Methods in Applied Mechanics and Engineering, volume 317, pp 128-152, 2017. (DOI).
  48. BoneSplit – A 3D painting tool for interactive bone segmentation in CT images. Ingela Nyström, Johan Nysjö, Andreas Thor, and Filip Malmberg. In Pattern Recognition and Information Processing: PRIP 2016, volume 673 of Communications in Computer and Information Science, pp 3-13, Springer, 2017. (DOI).
  49. Influence of applied corneal endothelium image segmentation techniques on the clinical parameters. Adam Piorkowski, Karolina Nurzynska, Jolanta Gronkowska-Serafin, Bettina Selig, Cezary Boldak, and Daniel Reska. In Computerized Medical Imaging and Graphics, volume 55, pp 13-27, 2017. (DOI).
  50. Cancer patients' attitudes and experiences of online access to their electronic medical records: A qualitative study. Hanife Rexhepi, Rose-Mharie Åhlfeldt, Åsa Cajander, and Isto Huvila. In Health Informatics Journal, volume 23, 2017. (DOI). Publication status: Epub ahead of print
  51. A Split Cache Hierarchy for Enabling Data-oriented Optimizations. Andreas Sembrant, Erik Hagersten, and David Black-Schaffer. In , 2017.
  52. A concept for holistic whole body MRI data analysis, Imiomics. Robin Strand, Filip Malmberg, Lars Johansson, Lars Lind, Magnus Sundbom, Håkan Ahlström, and Joel Kullberg. In PLoS ONE, volume 12, number 2, 2017. (DOI).
  53. A flexible state space model for learning nonlinear dynamical systems. Andreas Svensson and Thomas B. Schön. In Automatica, 2017. Publication status: Submitted
  54. Privacy-preserving social tie discovery based on cloaked human trajectories. Ye Tian, Wendong Wang, Jie Wu, Qinli Kou, Zheng Song, and Edith C.-H. Ngai. In IEEE Transactions on Vehicular Technology, volume 66, number 2, pp 1619-1630, 2017. (DOI).
  55. Clairvoyance: Look-ahead compile-time scheduling. Kim-Anh Tran, Trevor E. Carlson, Konstantinos Koukos, Magnus Själander, Vasileios Spiliopoulos, Stefanos Kaxiras, and Alexandra Jimborean. In Proc. 15th International Symposium on Code Generation and Optimization, pp 171-184, IEEE Press, Piscataway, NJ, 2017. (fulltext).
  56. Interpreting the Script: Image Analysis and Machine Learning for Quantitative Studies of Pre-modern Manuscripts. Fredrik Wahlberg. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1475, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  57. Convergence of summation-by-parts finite difference methods for the wave equation. Siyang Wang and Gunilla Kreiss. In Journal of Scientific Computing, volume 71, pp 219-245, 2017. (DOI, Fulltext).
  58. Decoupled Access-Execute on ARM big.LITTLE. Anton Weber, Kim-Anh Tran, Stefanos Kaxiras, and Alexandra Jimborean. In Proc. 5th Workshop on High Performance Energy Efficient Embedded Systems, 2017. (External link).
  59. Globally stable wireless data flow control. Torbjörn Wigren and Reem Karaki. In IEEE Transactions on Control of Network Systems, volume 4, 2017. (DOI). Publication status: Epub ahead of print
  60. Scalable validation of industrial equipment using a functional DSMS. Cheng Xu, Elisabeth Källström, Tore Risch, John Lindström, Lars Håkansson, and Jonas Larsson. In Journal of Intelligent Information Systems, volume 48, 2017. (DOI, Fulltext). Publication status: Epub ahead of print
  61. Design of a hybrid observer for an oscillator with an intrinsic pulse-modulated feedback. Diana Yamalova and Alexander V. Medvedev. In Proc. American Control Conference: ACC 2017, American Automatic Control Council, 2017.
  62. Hybrid observers for systems with intrinsic pulse-modulated feedback. Diana Yamalova. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2017-001, Uppsala University, 2017. (fulltext).
  63. An approximation framework for solvers and decision procedures. Aleksandar Zeljic, Christoph M. Wintersteiger, and Philipp Rümmer. In Journal of automated reasoning, volume 58, number 1, pp 127-147, 2017. (DOI, Fulltext).
  64. On energy-efficient offloading in mobile cloud for realtime video applications. Lei Zhang, Di Fu, Jiangchuan Liu, Edith C.-H. Ngai, and Wenwu Zhu. In IEEE transactions on circuits and systems for video technology (Print), volume 27, number 1, pp 170-181, 2017. (DOI).

Updated  2016-12-29 18:16:19 by Kurt Otto.