Hoppa till huvudinnehållet
Institutionen för informationsteknologi

Publikationer 2016

  1. Automated Verification of Linearization Policies. Parosh Abdulla, Bengt Jonsson och Cong Quy Trinh. I Automated Verification of Linearization Policies: 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings, 2016. (DOI).
  2. Qualitative Analysis of VASS-Induced MDPs. Parosh Abdulla, Radu Ciobanu, Richard Mayr, Arnaud Sangnier och Jeremy Sproston. I Foundations Of Software Science And Computation Structures (FOSSACS 2016), volym 9634 av Lecture Notes in Computer Science, pp 319-334, 2016. (DOI).
  3. Data Communicating Processes with Unreliable Channels. Parosh Aziz Abdulla, Aiswarya Cyriac och Mohamed Faouzi Atig. I Proceedings Of The 31St Annual ACM-IEEE Symposium On Logic In Computer Science (LICS 2016), pp 166-175, 2016. (DOI).
  4. Parameterized verification. Parosh A. Abdulla och Giorgio Delzanno. I International Journal on Software Tools for Technology Transfer, volym 18, nummer 5, pp 469-473, 2016. (DOI).
  5. Counter-Example Guided Program Verification. Parosh Aziz Abdulla, Mohamed Faouzi Atig och Phi Diep Bui. I FM 2016: Formal Methods, volym 9995 av Lecture Notes in Computer Science, pp 25-42, Springer, 2016. (DOI).
  6. Fencing programs with self-invalidation and self-downgrade. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros och Yunyun Zhu. I Formal Techniques for Distributed Objects, Components, and Systems, volym 9688 av Lecture Notes in Computer Science, pp 19-35, Springer, 2016. (DOI).
  7. Parameterized verification of time-sensitive models of ad hoc network protocols. Parosh Aziz Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier och Riccardo Traverso. I Theoretical Computer Science, volym 612, pp 1-22, 2016. (DOI).
  8. Parameterized verification through view abstraction. Parosh Aziz Abdulla, Frédéric Haziza och Lukás Holík. I International Journal on Software Tools for Technology Transfer, volym 18, nummer 5, pp 495-516, 2016. (DOI).
  9. Recency-Bounded Verification of Dynamic Database-Driven Systems. Parosh Aziz Abdulla, Aiswarya Cyriac, Mohamed Faouzi Atig, Marco Montali och Othmane Rezine. I PODS'16: PROCEEDINGS OF THE 35TH ACM SIGMOD-SIGACT-SIGAI SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS, pp 195-210, 2016. (DOI).
  10. Stateless model checking for POWER. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson och Carl Leonardsson. I Computer Aided Verification: Part II, volym 9780 av Lecture Notes in Computer Science, pp 134-156, Springer, 2016. (DOI).
  11. The benefits of duality in verifying concurrent programs under TSO. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani och Tuan Phong Ngo. I 27th International Conference on Concurrency Theory: CONCUR 2016, volym 59 av Leibniz International Proceedings in Informatics (LIPIcs), pp 5:1-15, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2016. (DOI, Fulltext, Extern länk).
  12. Verification of heap manipulating programs with ordered data by extended forest automata. Parosh Aziz Abdulla, Lukás Holík, Bengt Jonsson, Ondrej Lengál, Cong Quy Trinh och Tomás Vojnar. I Acta Informatica, volym 53, nummer 4, pp 357-385, 2016. (DOI).
  13. Improving performance by monitoring while maintaining worst-case guarantees. Syed Md Jakaria Abdullah, Kai Lampka och Wang Yi. I Proc. 19th Conference on Design, Automation and Test in Europe, pp 257-260, IEEE, Piscataway, NJ, 2016.
  14. GillesPy: A Python package for stochastic model building and simulation. John H. Abel, Brian Drawert, Andreas Hellander och Linda R. Petzold. I IEEE Life Sciences Letters, volym 2, pp 35-38, 2016. (DOI, Fulltext).
  15. Internet of Things for smart cities: Interoperability and open data. Bengt Ahlgren, Markus Hidell och Edith C.-H. Ngai. I IEEE Internet Computing, volym 20, nummer 6, pp 52-56, 2016. (DOI).
  16. A meshfree approach to non-Newtonian free surface ice flow: Application to the Haut Glacier d'Arolla. Josefin Ahlkrona och Victor Shcherbakov. Technical report / Department of Information Technology, Uppsala University nr 2016-005, 2016. (Extern länk).
  17. Computational Ice Sheet Dynamics: Error control and efficiency. Josefin Ahlkrona. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1368, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  18. Dynamically coupling the non-linear Stokes equations with the shallow ice approximation in glaciology: Description and first applications of the ISCAL method. Josefin Ahlkrona, Per Lötstedt, Nina Kirchner och Thomas Zwinger. I Journal of Computational Physics, volym 308, pp 1-19, 2016. (DOI, fulltext:postprint).
  19. The ISCAL method and the grounding line: Combining the Stokes equations with the Shallow Ice Approximation and Shelfy Stream Approximation. Josefin Ahlkrona. Technical report / Department of Information Technology, Uppsala University nr 2016-006, 2016. (Extern länk).
  20. A family of iterative methods for solving systems of nonlinear equations having unknown multiplicity. Fayyaz Ahmad, Stefano Serra-Capizzano, Malik Zaka Ullah och A. Saleh Al-Fhaid. I Algorithms, volym 9, pp 5:1-10, 2016. (DOI, Fulltext).
  21. Women in computing in Saudi Arabia. Fayiq Alghamdi. I Proc. 3rd ACM-W Europe Celebration of Women in Computing, pp 1-3, 2016. (fulltext:print).
  22. Bounds on the lifetime of wireless sensor networks with lossy links and directional antennas. Juan M. Alonso, Amanda Nordhamn, Simon Olofsson och Thiemo Voigt. I Wireless Network Performance Enhancement via Directional Antennas: Models, Protocols, and Systems, pp 329-361, CRC Press, Boca Raton, FL, 2016. (DOI).
  23. Semantic Web Queries over Scientific Data. Andrej Andrejev. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 121, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  24. Global Constraint Catalog: Volume II, time-series constraints. Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson och Helmut Simonis. Computing Research Repository nr 1609.08925, 2016. (Extern länk).
  25. Systematic derivation of bounds and glue constraints for time-series constraints. Ekaterina Arafailova, Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson och Helmut Simonis. I Principles and Practice of Constraint Programming: CP 2016, volym 9892 av Lecture Notes in Computer Science, pp 13-29, Springer, 2016. (DOI).
  26. Time-series constraints: Improvements and application in CP and MIP contexts. Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson och Helmut Simonis. I Integration of AI and OR Techniques in Constraint Programming, volym 9676 av Lecture Notes in Computer Science, pp 18-34, Springer, 2016. (DOI).
  27. A time dependent approach for removing the cell boundary error in elliptic homogenization problems. Doghonay Arjmand och Olof Runborg. I Journal of Computational Physics, volym 314, pp 206-227, 2016. (DOI).
  28. Multi-domain alias matching using machine learning. Michael Ashcroft, Fredrik Johansson, Lisa Kaati och Amendra Shrestha. I Proc. 3rd European Network Intelligence Conference, pp 77-84, IEEE, 2016. (DOI, fulltext:postprint).
  29. Multilayer Analysis of Online Illicit Marketplaces. Michael Ashcroft, Matteo Magnani, Davide Vega, Danilo Montesi och Luca Rossi. I 2016 European Intelligence And Security Informatics Conference (EISIC), European Intelligence and Security Informatics Conference, pp 199-199, IEEE, 2016. (DOI).
  30. A Faster, Unbiased Path Opening by Upper Skeletonization and Weighted Adjacency Graphs. Teo Asplund och Cris L. Luengo Hendriks. I IEEE Transactions on Image Processing, volym 25, nummer 12, pp 5589-5600, 2016. (DOI).
  31. A New Approach to Mathematical Morphology on One Dimensional Sampled Signals. Teo Asplund, Cris Luengo, Matthew Thurley och Robin Strand. I IEEE Proceedings, International Conference on Pattern Recognition (ICPR 2016), Cancun, Mexico, 2016, 2016. (DOI).
  32. Acceleration in Multi-PushDown Systems. Mohamed Faouzi Atig, K. Narayan Kumar och Prakash Saivasan. I Tools and Algorithms for the Construction and Analysis of Systems, volym 9636 av Lecture Notes in Computer Science, pp 698-714, Springer, 2016. (DOI).
  33. The complexity of regular abstractions of one-counter languages. Mohamed Faouzi Atig, Dmitry Chistikov, Piotr Hofman, K. Narayan Kumar, Prakash Saivasan och Georg Zetzsche. I Proceedings Of The 31St Annual ACM-IEEE Symposium On Logic In Computer Science (LICS 2016), pp 207-216, 2016. (DOI).
  34. Solving the Table Maker's Dilemma on current SIMD architectures. Christophe Avenel, Pierre Fortin, Mourad Gouicem och Samia Zaidi. I Scalable Computing: Practice and Experience, volym 17, nummer 3, pp 237-250, 2016. (DOI).
  35. Context: The abstract term for the concrete. Anton Axelsson. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2016-006, Uppsala University, 2016. (fulltext).
  36. Scaffolding executive function capabilities via play-&-learn software for preschoolers. Anton Axelsson, Richard Andersson och Agneta Gulz. I Journal of Educational Psychology, volym 108, nummer 7, pp 969-981, 2016. (DOI).
  37. Comparison of preconditioned Krylov subspace iteration methods for PDE-constrained optimization problems: Poisson and convection–diffusion control. Owe Axelsson, Shiraz Farouq och Maya Neytcheva. I Numerical Algorithms, volym 73, pp 631-663, 2016. (DOI, fulltext:postprint).
  38. Feature evaluation for handwritten character recognition with regressive and generative Hidden Markov Models. Kalyan Ram Ayyalasomayajula, Carl Nettelblad och Anders Brun. I Advances in Visual Computing: Part I, volym 10072 av Lecture Notes in Computer Science, pp 278-287, Springer, 2016. (DOI, fulltext:postprint).
  39. Algebraic polynomial-based synthesis for abstract Boolean network analysis. Peter Backeman, Sara-Jane Dunn, Boyan Yordanov och Christoph M. Wintersteiger. I Satisfiability Modulo Theories: SMT 2016, volym 1617 av CEUR Workshop Proceedings, pp 41-50, RWTH Aachen University, 2016. (Fulltext).
  40. New techniques for handling quantifiers in Boolean and first-order logic. Peter Backeman. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2016-012, Uppsala University, 2016. (fulltext).
  41. Framework for real-time clustering over sliding windows. Sobhan Badiozamany, Kjell Orsborn och Tore Risch. I Proc. 28th International Conference on Scientific and Statistical Database Management, pp 1-13, ACM Press, New York, 2016. (DOI).
  42. Real-time data stream clustering over sliding windows. Sobhan Badiozamany. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1431, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  43. Fusion: Coalesced Confidential Storage and Communication Framework for the IoT. Ibrahim Ethem Bagci, Shahid Raza, Utz Roedig och Thiemo Voigt. I Security and Communication Networks, volym 9, nummer 15, pp 2656-2673, 2016. (DOI).
  44. Blind deconvolution of images degraded with mixed Poisson-Gaussian noise with application in Transmission Electron Microscopy. Buda Bajic, Joakim Lindblad och Nataša Sladoje. I Proceedings of the Swedish Society for Automated Image Analysis, pp 137-141, Uppsala, 2016.
  45. Blind restoration of images degraded with mixed poisson-Gaussian noise with application in transmission electron microscopy. Buda Bajic, Joakim Lindblad och Nataša Sladoje. I 2016 Ieee 13Th International Symposium On Biomedical Imaging (ISBI), IEEE International Symposium on Biomedical Imaging, pp 123-127, IEEE, 2016. (DOI).
  46. Restoration of images degraded by signal-dependent noise based on energy minimization: an empirical study. Buda Bajic, Joakim Lindblad och Nataša Sladoje. I Journal of Electronic Imaging (JEI), volym 25, nummer 4, 2016. (DOI, Fulltext, fulltext:print).
  47. Single image super-resolution reconstruction in presence of mixed Poisson-Gaussian noise. Buda Bajic, Joakim Lindblad och Natasa Sladoje. I 2016 SIXTH INTERNATIONAL CONFERENCE ON IMAGE PROCESSING THEORY, TOOLS AND APPLICATIONS (IPTA), International Conference on Image Processing Theory Tools and Applications, IEEE, 2016. (DOI).
  48. A chronological and mathematical overview of digital circle generation algorithms: Introducing efficient 4- and 8-connected circles. Tony Barrera, Anders Hast och Ewert Bengtsson. I International Journal of Computer Mathematics, volym 93, nummer 8, pp 1241-1253, 2016. (DOI).
  49. Preface. Massimo Bartoletti, Ludovic Henrio, Sophia Knight, Hugo Torres Vieira, Alexandra Silva, Youssef Arbach, David S. Karcher, Kirstin Peters och Uwe Nestmann. I Electronic Proceedings in Theoretical Computer Science, nummer 223, OPEN PUBL ASSOC, 2016.
  50. Proc. 9th Interaction and Concurrency Experience. Massimo Bartoletti, Ludovic Henrio, Sophia Knight och Hugo Torres Vieira (red). Volym 223 av Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2016. (DOI, Fulltext).
  51. Fast event-based epidemiological simulations on national scales. Pavol Bauer, Stefan Engblom och Stefan Widgren. I The international journal of high performance computing applications, volym 30, pp 438-453, 2016. (DOI, Fulltext).
  52. Psi-Calculi in Isabelle. Jesper Bengtson, Joachim Parrow och Tjark Weber. I Journal of automated reasoning, volym 56, nummer 1, pp 1-47, 2016. (DOI).
  53. Generalized Beer–Lambert model for near-infrared light propagation in thick biological tissues. Manish Bhatt, Kalyan R. Ayyalasomayajula och Phaneendra K. Yalavarthy. I Journal of Biomedical Optics, volym 21, nummer 7, 2016. (DOI).
  54. AutoDietary: A wearable acoustic sensor system for food intake recognition in daily life. Yin Bi, Mingsong Lv, Chen Song, Wenyao Xu, Nan Guan och Wang Yi. I IEEE Sensors Journal, volym 16, nummer 3, pp 806-816, 2016. (DOI, Fulltext).
  55. Multi-feature fusion for thermal face recognition. Yin Bi, Mingsong Lv, Yangjie Wei, Nan Guan och Wang Yi. I Infrared physics & technology, volym 77, pp 366-374, 2016. (DOI).
  56. Mean and variance of the LQG cost function. Hildo Bijl, Jan-Willem van Wingerden, Thomas B. Schön och Michel Verhaegen. I Automatica, volym 67, pp 216-223, 2016. (DOI).
  57. A note on terminology in multigrid methods. Philipp Birken, Jonathan Bull och Antony Jameson. I Proceedings in Applied Mathematics and Mechanics: PAMM, volym 16, nummer 1, pp 721-722, 2016. (DOI).
  58. A study of multigrid smoothers used in compressible CFD based on the convection diffusion equation. Philipp Birken, Jonathan Bull och Antony Jameson. I Proc. 7th ECCOMAS Congress, pp 2648-2663, European Community on Computional Methods in Applied Sciences (ECCOMAS), 2016. (DOI).
  59. A multicomponent T<sub>2</sub> relaxometry algorithm for myelin water imaging of the brain. Marcus Björk, Dave Zachariah, Joel Kullberg och Peter Stoica. I Magnetic Resonance in Medicine, volym 75, nummer 1, pp 390-402, 2016. (DOI).
  60. Highly accurate stability-preserving optimization of the Zener viscoelastic model, with application to wave propagation in the presence of strong attenuation. Emilie Blanc, Dimitri Komatitsch, Emmanuel Chaljub, Bruno Lombard och Zhinan Xie. I Geophysical Journal International, volym 205, pp 427-439, 2016. (DOI).
  61. Mesoscopic modeling of stochastic reaction–diffusion kinetics in the subdiffusive regime. Emilie Blanc, Stefan Engblom, Andreas Hellander och Per Lötstedt. I Multiscale Modeling & simulation, volym 14, pp 668-707, 2016. (DOI).
  62. Industrial Evaluation of Test Suite Generation Strategies for Model-Based Testing. Johan Blom, Bengt Jonsson och Sven-Olof Nyström. I , 2016. (DOI).
  63. Model-Based Protocol Testing in an Erlang Environment. Johan Blom. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 122, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  64. Activity prioritization to focus the control task analysis. Ida Bodin och Stas S. Krupenia. I Journal of Cognitive Engineering and Decision Making, volym 10, nummer 1, pp 91-104, 2016. (DOI).
  65. Cognitive work analysis in practice: Adaptation to project scope and industrial context. Ida Bodin. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2016-005, Uppsala University, 2016. (fulltext).
  66. Rebuttal to Burns and Naikar. Ida Bodin och Stas S. Krupenia. I Journal of Cognitive Engineering and Decision Making, volym 10, nummer 1, pp 109-110, 2016. (DOI).
  67. Work domain analysis of an intensive care unit: An Abstraction Hierarchy based on a bed-side approach. Ida Bodin, Camilla Fröjd och Anders Arweström Jansson. I Proc. Human Factors and Ergonomics Society Europe Chapter 2015 Annual Conference, 2016. (Extern länk).
  68. TissueMaps: A large multi-scale data analysis platform for digital image application built on open-source software. Maxime Bombrun, Petter Ranefall och Carolina Wählby. I , 2016.
  69. Do LoRa Low-Power Wide-Area Networks Scale?. Martin Bor, Utz Roedig, Thiemo Voigt och Juan Alonso. I , 2016. (fulltext:print).
  70. A Lambda-Calculus Foundation for Universal Probabilistic Programming. Johannes Borgström, Ugo Dal Lago, Andrew D. Gordon och Marcin Szymczak. I SIGPLAN notices, volym 51, nummer 9, pp 33-46, 2016. (DOI, fulltext:postprint).
  71. A Sorted Semantic Framework for Applied Process Calculi. Johannes Borgström, Ramunas Gutkovas, Joachim Parrow, Björn Victor och Johannes Åman Pohjola. I Logical Methods in Computer Science, volym 12, nummer 1, pp 1-49, 2016. (DOI, Fulltext, fulltext:postprint).
  72. Fabular: Regression formulas as probabilistic programming. Johannes Borgström, Andrew D. Gordon, Long Ouyang, Claudio Russo, Adam Scibior och Marcin Szymczak. I Proc. 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, volym 51(1) av ACM SIGPLAN Notices, pp 271-283, ACM Press, New York, 2016. (DOI, fulltext:postprint).
  73. Extracting fiber and network connectivity data using microtomography images of paper. Svetlana Borodulina, Erik L. G. Wernersson, Artem Kulachenko och Cris L. Luengo Hendriks. I Nordic Pulp & Paper Research Journal, volym 31, nummer 3, pp 469-478, 2016. (DOI).
  74. A formal model of service-oriented dynamic object groups. Einar Broch Johnsen, Olaf Owe, Dave Clarke och Joakim Bjørk. I Science of Computer Programming, volym 115–116, pp 3-22, 2016. (DOI).
  75. A matrix-free Legendre spectral method for initial–boundary value problems. Bernd Brumm och Emil Kieri. I Electronic Transactions on Numerical Analysis, volym 45, pp 283-304, 2016. (Article).
  76. A direct solver for the advection–diffusion equation using Green's functions and low-rank approximation. Jonathan Bull, Stefan Engblom och Sverker Holmgren. I Proc. 7th ECCOMAS Congress, pp 7302-7316, European Community on Computional Methods in Applied Sciences (ECCOMAS), 2016. (DOI).
  77. Explicit filtering and exact reconstruction of the sub-filter stresses in large eddy simulation. Jonathan R. Bull och Antony Jameson. I Journal of Computational Physics, volym 306, pp 117-136, 2016. (DOI, fulltext:postprint).
  78. Preconditioning 2D integer data for fast convex hull computations. José Oswaldo Cadenas, Graham M. Megson och Cris L. Luengo Hendriks. I PLOS ONE, volym 11, nummer 3, 2016. (DOI, Fulltext).
  79. Designing eHealth Services for Patients and Relatives: Critical incidents and lessons to learn. Åsa Cajander, Christiane Grünloh, Thomas Lind och Isabella Scandurra. I Proc. 9th Nordic Conference on Human-Computer Interaction: Game-Changing Design, ACM Press, New York, 2016. (DOI).
  80. Journal via nätet: delaktighet för patienterna och oro hos personalen. Åsa Cajander och Rose-Mharie Åhlfeldt. Inera-rapport, Inera AB, Stockholm, 2016. (fulltext).
  81. Peer reflection on inclusive supervision: A study circle as a space for collegial learning. Åsa Cajander och Ulrike Schnaas. I Utbildning och Lärande / Education and Learning, volym 10, nummer 1, pp 54-69, 2016. (Article).
  82. Protocol, mobility and adversary models for the verification of security. Volkan Cambazoglu. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2016-007, Uppsala University, 2016. (fulltext).
  83. Extended versions of papers presented at WS-FM 2014 and Beat 2014. Marco Carbone, Thomas Hildebrandt, Joachim Parrow och Matthias Weidlich. I Formal Aspects of Computing, volym 28, nummer 4, pp 529-530, 2016. (DOI).
  84. Augmenting IoT networks with backscatter-enabled passive sensor tags. Perez Penichet Carlos, Frederik Hermans, Ambuj Varshney och Thiemo Voigt. I Proceedings of the 3rd Workshop on Hot Topics in Wireless, pp 23-27, 2016. (DOI, fulltext:postprint).
  85. Fault detection and isolation of sensors in aeration control systems. Bengt Carlsson och Jesús Zambrano. I Water Science and Technology, volym 73, nummer 3, pp 648-653, 2016. (DOI).
  86. Active learning for extended finite state machines. Sofia Cassel, Falk Howar, Bengt Jonsson och Bernhard Steffen. I Formal Aspects of Computing, volym 28, nummer 2, pp 233-263, 2016. (DOI).
  87. Determining progress in writing competency by assessing students’ argumentation. Sofia Cassel och Aletta Nylén. I Proc. 46th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2016. (DOI).
  88. Kappa: Insights, Current Status and Future Work. Elias Castegren och Tobias Wrigstad. I , 2016. (Extended abstract, fulltext:postprint).
  89. LOLCAT: Relaxed Linear References for Lock-free Programming. Elias Castegren och Tobias Wrigstad. Technical report / Department of Information Technology, Uppsala University nr 2016-013, 2016. (fulltext).
  90. Reference Capabilities for Concurrency Control. Elias Castegren och Tobias Wrigstad. I ECOOP 2016 — Object-Oriented Programming, 2016. (fulltext:postprint).
  91. Reference Capabilities for Trait Based Reuse and Concurrency Control. Elias Castegren och Tobias Wrigstad. Technical report / Department of Information Technology, Uppsala University nr 2016-007, 2016. (fulltext).
  92. Types for CAS: Relaxed Linearity with Ownership Transfer. Elias Castegren och Tobias Wrigstad. I , 2016. (fulltext:postprint).
  93. Characterizing Task Scheduling Performance Based on Data Reuse. Germán Ceballos, Thomas Grass, David Black-Schaffer och Andra Hugo. I Proc. 9th Nordic Workshop on Multi-Core Computing, 2016. (fulltext:print).
  94. Formalizing data locality in task parallel applications. Germán Ceballos, Erik Hagersten och David Black-Schaffer. I Algorithms and Architectures for Parallel Processing, volym 10049 av Lecture Notes in Computer Science, pp 43-61, Springer, 2016. (DOI).
  95. Spatial and Temporal Cache Sharing Analysis in Tasks. Germán Ceballos och David Black-Schaffer. I , Timisoara, Romania, 2016. (Proceedings, fulltext:print).
  96. International Workshop on Social Learning and Multimodal Interaction for Designing Artificial Agents. Mohamed Chetouani, Salvatore M. Anzalone, Giovanna Varni, Isabelle Hupont Torres, Ginevra Castellano, Angelica Lim och Gentiane Venture. I Proc. 18th ACM International Conference on Multimodal Interaction, pp 598-600, ACM Press, New York, 2016. (DOI).
  97. Comparison of 2D radiography and a semi-automatic CT-based 3D method for measuring change in dorsal angulation over time in distal radius fractures. Albert Christersson, Johan Nysjö, Lars Berglund, Filip Malmberg, Ida-Maria Sintorn, Ingela Nyström och Sune Larsson. I Skeletal Radiology, volym 45, nummer 6, pp 763-769, 2016. (DOI).
  98. Discrete-time map for an impulsive Goodwin oscillator with a distributed delay. Alexander N. Churilov och Alexander Medvedev. I MCSS. Mathematics of Control, Signals and Systems, volym 28, nummer 1, 2016. (DOI).
  99. Impulsive Goodwin oscillator with large delay: Periodic oscillations, bistability, and attractors. Alexander N. Churilov, Alexander Medvedev och Zhanybai T. Zhusubaliyev. I Nonlinear Analysis: Hybrid Systems, volym 21, pp 171-183, 2016. (DOI).
  100. Vats: A safe, reactive storage abstraction. Dave Clarke och Tobias Wrigstad. I Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, volym 9660 av Lecture Notes in Computer Science, pp 140-154, Springer, 2016. (DOI).
  101. A framework for writing learning agreements. Tony Clear, Roger McDermott, Elin Parsjö, Åsa Cajander, Mats Daniels och Nanna Lagerqvist. I Proc. 46th ASEE/IEEE Frontiers in Education Conference, Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2016. (DOI).
  102. Challenges and recommendations for the design and conduct of global software engineering courses: A systematic review. Tony Clear, Sarah Beecham, John Barr, Mats Daniels, Roger McDermott, Michael Oudshoorn, Airina Savickaite och John Noll. I Proceedings of The 2015 Iticse Conference on Working Group Reports (Iticse-Wgp'15), pp 1-39, ACM Press, New York, 2016. (DOI).
  103. Developments in Global Software Engineering Education. Tony Clear, Sarah Beecham, John Barr, Mats Daniels, Michael Oudshoorn och John Noll. I 2016 IEEE FRONTIERS IN EDUCATION CONFERENCE (FIE), Frontiers in Education Conference, 2016. (DOI).
  104. A new method for reconstructing brain morphology: Applying the brain-neurocranial spatial relationship in an extant lungfish to a fossil endocast. Alice M. Clement, Robin Strand, Johan Nysjö, John A. Long och Per E. Ahlberg. I Royal Society Open Science, volym 3, nummer 7, 2016. (DOI, Fulltext).
  105. Integrating User-Centred Design in Agile Development. Gilbert Cockton, Marta Lárusdóttir, Peggy Gregory och Åsa Cajander (red). Springer, 2016. (DOI).
  106. Integrating user-centred design in agile development. Gilbert Cockton, Marta Lárusdóttir, Peggy Gregory och Åsa Cajander. I Integrating User-Centred Design in Agile Development, pp 1-46, Springer, 2016. (DOI).
  107. Engagement perception and generation for social robots and virtual agents. Lee J. Corrigan, Christopher Peters, Dennis Küster och Ginevra Castellano. I Toward Robotic Socially Believable Behaving Systems: Volume I, Modeling Emotions, volym 105 av Intelligent Systems Reference Library, pp 29-51, Springer, 2016. (DOI).
  108. Mathematical modeling for optimization of Deep Brain Stimulation. Rubén Cubo. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2016-002, Uppsala University, 2016. (fulltext).
  109. Model-based optimization of individualized Deep Brain Stimulation therapy. Rubén Cubo, Alexander Medvedev och Mattias Åström. I IEEE Design & Test, volym 33, nummer 4, pp 74-81, 2016. (DOI).
  110. Optimization of deep brain stimulation by means of a patient-specific mathematical model. Rubén Cubo, Elena Jiltsova, Markus Fahlström, Helena Andersson och Alexander Medvedev. I , 2016.
  111. Optimization of lead design and electrode configuration in Deep Brain Stimulation. Rubén Cubo, Mattias Åström och Alexander Medvedev. I International Journal On Advances in Life Sciences, volym 8, pp 76-86, 2016. (Article, fulltext:postprint).
  112. Identification using Convexification and Recursion. Liang Dai. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 123, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  113. Using convolution to estimate the score function for intractable state-transition models. Liang Dai och Thomas B. Schön. I IEEE Signal Processing Letters, volym 23, nummer 4, pp 498-501, 2016. (DOI).
  114. Empowering towards healthy behaviours. Meena Daivadanamn, Åsa Cajander, Isto Huvila och Jo-Anne Dahl. I Ending Childhood Obesity: Actions through health and food equity, pp 34-39, Uppsala University, 2016. (fulltext:print).
  115. Professional Competencies for Real?: A Question about Identity!. Mats Daniels. I ITiCSE '16 Proceedings of the 2016 ACM Conference in Innovation and Technology in Computer Science Education, ACM Digital Library, 2016. (DOI).
  116. Hummingbird: monitoring and analyzing flash X-ray imaging experiments in real time. Benedikt J. Daurer, Max F. Hantke, Carl Nettelblad och Filipe R. N. C. Maia. I Journal of applied crystallography, volym 49, pp 1042-1047, 2016. (DOI, Fulltext).
  117. Optimal preconditioning for image deblurring with Anti-Reflective boundary conditions. Pietro Dell'Acqua, Marco Donatelli, Stefano Serra-Capizzano, Debora Sesana och Cristina Tablino-Possio. I Linear Algebra and its Applications, volym 502, pp 159-185, 2016. (DOI).
  118. How expressiveness of a robotic tutor is perceived by children in a learning environment. Amol Deshmukh, Srinivasan Janarthanam, Helen Hastie, Mei Yii Lim, Ruth Aylett och Ginevra Castellano. I Proc. 11th ACM/IEEE International Conference on Human Robot Interaction, pp 423-424, IEEE Press, Piscataway, NJ, 2016. (DOI).
  119. Poster Abstract: LocaLight - A Battery-free PassiveLocalization System Using Visible Light. Elena Di Lascio, Ambuj Varshney, Voigt Thiemo och Carlos Pérez-Penichet. I , 2016.
  120. Output feedback stabilization of the linearized bilayer Saint-Venant model. Ababacar Diagne, Shuxia Tang, Mamadou Diagne och Miroslav Krstic. I Proc. 9th Dynamic Systems and Control Conference, ASME Press, New York, 2016. (DOI).
  121. State feedback stabilization of the linearized bilayer Saint-Venant model. Ababacar Diagne, Shuxia Tang, Mamadou Diagne och Miroslav Krstic. I , volym 49:8 av IFAC-PapersOnLine, pp 130-135, 2016. (DOI).
  122. Multilayer Social Networks. Mark E. Dickison, Matteo Magnani och Luca Rossi. Cambridge University Press, 2016.
  123. Steady-state analysis of activated sludge processes with a settler model including sludge compression. Stefan Diehl, Jesús Zambrano och Bengt Carlsson. I Water Research, volym 88, pp 104-116, 2016. (DOI).
  124. A block multigrid strategy for two-dimensional coupled PDEs. Marco Donatelli, Ali Dorostkar, Mariarosa Mazza, Maya Neytcheva och Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2016-001, 2016. (Extern länk).
  125. Multigrid methods for cubic spline solution of two point (and 2D) boundary value problems. Marco Donatelli, Matteo Molteni, Vincenzo Pennati och Stefano Serra-Capizzano. I Applied Numerical Mathematics, volym 104, pp 15-29, 2016. (DOI).
  126. Preconditioned HSS method for large multilevel block Toeplitz linear systems via the notion of matrix-valued symbol. Marco Donatelli, Carlo Garoni, Mariarosa Mazza, Stefano Serra-Capizzano och Debora Sesana. I Numerical Linear Algebra with Applications, volym 23, pp 83-119, 2016. (DOI).
  127. Spectral analysis and spectral symbol of matrices in isogeometric collocation methods. Marco Donatelli, Carlo Garoni, Carla Manni, Stefano Serra-Capizzano och Hendrik Speleers. I Mathematics of Computation, volym 85, nummer 300, pp 1639-1680, 2016. (DOI).
  128. Spectral analysis and structure preserving preconditioners for fractional diffusion equations. Marco Donatelli, Mariarosa Mazza och Stefano Serra-Capizzano. I Journal of Computational Physics, volym 307, pp 262-279, 2016. (DOI).
  129. Surface subdivision algorithms and structured linear algebra: A computational approach to determine bounds of extraordinary rule weights. Marco Donatelli, Paola Novara, Lucia Romani, Stefano Serra-Capizzano och Debora Sesana. Technical report / Department of Information Technology, Uppsala University nr 2016-012, 2016. (Extern länk).
  130. Spectral analysis of coupled PDEs and of their Schur complements via Generalized Locally Toeplitz sequences in 2D. Ali Dorostkar, Maya Neytcheva och Stefano Serra-Capizzano. I Computer Methods in Applied Mechanics and Engineering, volym 309, pp 74-105, 2016. (DOI).
  131. MOLNs: A cloud platform for interactive, reproducible, and scalable spatial stochastic computational experiments in systems biology using PyURDME. Brian Drawert, Michael Trogdon, Salman Toor, Linda Petzold och Andreas Hellander. I SIAM Journal on Scientific Computing, volym 38, pp C179-C202, 2016. (DOI).
  132. Stochastic Simulation Service: Bridging the gap between the computational expert and the biologist. Brian Drawert, Andreas Hellander, Ben Bales, Debjani Banerjee, Giovanni Bellesia, Bernie J. Daigle Jr., Geoffrey Douglas, Mengyuan Gu, Anand Gupta, Stefan Hellander, Chris Horuk, Dibyendu Nath, Aviral Takkar, Sheng Wu, Per Lötstedt, Chandra Krintz och Linda R. Petzold. I PloS Computational Biology, volym 12, nummer 12, 2016. (DOI, Fulltext).
  133. Estimation of Feret's diameter from pixel coverage representation of a shape. Slobodan Drazic, Natasa Sladoje och Joakim Lindblad. I Pattern Recognition Letters, volym 80, pp 37-45, 2016. (DOI).
  134. Schedulability analysis of a graph-based task model for mixed-criticality systems. Pontus Ekberg och Wang Yi. I Real-time systems, volym 52, nummer 1, pp 1-37, 2016. (DOI).
  135. A vertex-centered discontinuous Galerkin method for flow problems. Sven-Erik Ekström. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2016-003, Uppsala University, 2016. (fulltext).
  136. Eigenvalues of banded symmetric Toeplitz matrices are known almost in closed form?. Sven-Erik Ekström och Stefano Serra-Capizzano. Technical report / Department of Information Technology, Uppsala University nr 2016-017, 2016. (Extern länk).
  137. A multilevel Monte Carlo method for computing failure probabilities. Daniel Elfverson, Fredrik Hellman och Axel Målqvist. I SIAM/ASA Journal on Uncertainty Quantification, volym 4, pp 312-330, 2016. (DOI).
  138. Fast Matlab compatible sparse assembly on multicore computers. Stefan Engblom och Dimitar Lukarski. I Parallel Computing, volym 56, pp 1-17, 2016. (DOI).
  139. Preconditioned Metropolis sampling as a strategy to improve efficiency in posterior exploration. Stefan Engblom och Vikram Sunkara. I , volym 49:26 av IFAC-PapersOnLine, pp 89-94, 2016. (DOI).
  140. Multilevel Monte Carlo methods for computing failure probability of porous media flow systems. Fritjof Fagerlund, Fredrik Hellman, Axel Målqvist och Auli Niemi. I Advances in Water Resources, volym 94, pp 498-509, 2016. (DOI, fulltext:postprint).
  141. Reliability in co-located 802.15.4 personal area networks. Laura Marie Feeney och Viktoria Fodor. I , pp 5-10, ACM Press, New York, 2016. (DOI).
  142. Towards a better battery model for INET. Laura Marie Feeney. I , 2016.
  143. ParT: An asynchronous parallel abstraction for speculative pipeline computations. Kiko Fernandez-Reyes, Dave Clarke och Daniel S. McCain. I Coordination Models and Languages, volym 9686 av Lecture Notes in Computer Science, pp 101-120, Springer, 2016. (DOI).
  144. Measuring online affects in a white supremacy forum. Léo Figea, Lisa Kaati och Ryan Scrivens. I Proc. 14th International Conference on Intelligence and Security Informatics, pp 85-90, IEEE, 2016. (DOI).
  145. An Online Overclocking Scheme for Bursty Real-time Tasks and an Evaluation of its Thermal Impact. Bjoern Forsberg, Kai Lampka och Vasileios Spiliopoulos. I 14Th ACM/IEEE Symposium On Embedded Systems For Real-Time Multimedia (ESTIMEDIA 2016), pp 104-113, 2016. (DOI).
  146. Towards Enabling Low-Level Memory Optimisations at the High-Level with Ownership Annotations. Juliana Franco, Tobias Wrigstad och Sophia Drossopoulou. I , 2016. (Fulltext, fulltext:postprint).
  147. Preface, Electronic Proceedings in Theoretical Computer Science. Vol 219. John Gallagher och Philipp Rümmer. I Electronic Proceedings in Theoretical Computer Science, nummer 219, OPEN PUBL ASSOC, 2016.
  148. Deep gate recurrent neural network. Alex Yuan Gao och Dorota Glowacka. I Proc. 8th Asian Conference on Machine Learning, volym 63 av Proceedings of Machine Learning Research, pp 350-365, 2016. (Extern länk).
  149. The theory of locally Toeplitz sequences: a review, an extension, and a few representative applications. Carlo Garoni och Stefano Serra-Capizzano. I Boletín de la Sociedad Matematica Mexicana, volym 22, pp 529-565, 2016. (DOI).
  150. One-Bit Compressive Sampling with Time-Varying Thresholds: Maximum Likelihood and the Cramer-Rao Bound. Christopher Gianelli, Luzhou Xu, Jian Li och Petre Stoica. I 2016, 50Th Asilomar Conference On Signals, Systems And Computers, Conference Record of the Asilomar Conference on Signals Systems and Computers, pp 399-403, IEEE COMPUTER SOC, 2016. (DOI).
  151. One-bit compressive sampling with time-varying thresholds for sparse parameter estimation. Christopher Gianelli, Luzhou Xu, Jian Li och Peter Stoica. I Proc. 9th Sensor Array and Multichannel Signal Processing Workshop, IEEE, Piscataway, NJ, 2016. (DOI).
  152. Analysis of the distribution of CD103 on CD8 T cells in blood and genital mucosa of HIV-infected female sex workers. Anna Gibbs, Marcus Buggert, Petter Ranefall, Andrea Introini, Stanley Cheuk, Liv Eidsmo, Taha Hirbod, Terry B. Ball, Joshua Kimani, Rupert Kaul, Annika C. Karlsson, Carolina Wählby, Kristina Broliden och Annelie Tjernlund. I AIDS Research and Human Retroviruses, volym 32, nummer S1, pp 307-307, 2016.
  153. Kleene Algebras with Domain. Victor B. F. Gomes, Walter Guttmann, Peter Höfner, Georg Struth och Tjark Weber. I Archive of Formal Proofs, 2016. (Extern länk).
  154. Workshop on the integration of user-centred design and agile development: Approach, findings and themes. Peggy Gregory, Marta Lárusdóttir, Åsa Cajander och Gilbert Cockton. I Integrating User-Centred Design in Agile Development, pp 193-203, Springer, 2016. (DOI).
  155. The record is our work tool!: Physicians' framing of a patient portal in Sweden. Christiane Grünloh, Åsa Cajander och Gunilla Myreteg. I Journal of Medical Internet Research, volym 18, nummer 6, 2016. (DOI, Fulltext).
  156. Transforming real-time task graphs to improve schedulability. Chuancai Gu, Nan Guan, Zhiwei Feng, Qingxu Deng, Xiaobo Sharon Hu och Wang Yi. I Proc. 22nd International Conference on Embedded and Real-Time Computing Systems and Applications, pp 29-38, IEEE Computer Society, 2016. (DOI).
  157. Evaluation of the deflated preconditioned CG method to solve bubbly and porous media flow problems on GPU and CPU. Rohit Gupta, Dimitar Lukarski, Martin B. van Gijzen och Cornelis Vuik. I International Journal for Numerical Methods in Fluids, volym 80, pp 666-683, 2016. (DOI).
  158. Languages, Logics, Types and Tools for Concurrent System Modelling. Ram?nas Gutkovas. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1392, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext).
  159. Precision automation of cell type classification and sub-cellular fluorescence quantification from laser scanning confocal images. Hardy C. Hall, Azadeh Fakhrzadeh, Cris L. Luengo Hendriks och Urs Fischer. I Frontiers in Plant Science, volym 7, 2016. (DOI, Fulltext).
  160. Map reading with and empathic robot tutor. Lynne Hall, Colette Hume, Sarah Tazzyman, Amol Deshmukh, Srinivasan Janarthanam, Helen Hastie, Ruth Aylett, Ginevra Castellano, Fotios Papadopoulos, Aidan Jones, Lee J. Corrigan, Ana Paiva, Patrícia Alves-Oliveira, Tiago Ribeiro, Wolmet Barendregt, Sofia Serholt och Arvid Kappas. I Proc. 11th ACM/IEEE International Conference on Human Robot Interaction, pp 567-567, IEEE Press, Piscataway, NJ, 2016. (DOI).
  161. Pose estimation of cyclic movement using inertial sensor data. Kjartan Halvorsen och Fredrik Olsson. I Proc. 19th Statistical Signal Processing Workshop, IEEE Signal Processing Society, 2016. (DOI, fulltext:postprint).
  162. Cloud-assisted data fusion and sensor selection for Internet of Things. Farshid Hassani Bijarbooneh, Wei Du, Edith C.-H. Ngai, Xiaoming Fu och Jiangchuan Liu. I IEEE Internet of Things Journal, volym 3, nummer 3, pp 257-268, 2016. (DOI).
  163. A segmentation-free handwritten word spotting approach by relaxed feature matching. Anders Hast och Alicia Fornés. I Proc. 12th IAPR Workshop on Document Analysis Systems, pp 150-155, IEEE, 2016. (DOI).
  164. Stereo Visualisation of Historical Aerial Photos: A Useful and Important Aerial Archeology Research Tool. Anders Hast, Carlotta Capurro, Dries Nollet, Daniel Pletinckx, B. Estevez, M. Pazos, J. M. Franco och Andrea Marchetti. I , 2016.
  165. The Challenges and Advantages with a Parallel Implementation of Feature Matching. Anders Hast och Andrea Marchetti. I Proc. 11th International Conference on Computer Vision Theory and Applications, 2016.
  166. Pointer Race Freedom. Frédéric Haziza, Lukás Holík, Roland Meyer och Sebastian Wolff. I Verification, Model Checking, And Abstract Interpretation, VMCAI 2016, volym 9583 av Lecture Notes in Computer Science, pp 393-412, Springer, 2016. (DOI).
  167. Arpeggio: a penetration attack on glossy networks. Zhitao He, Kasun Hewage och Thiemo Voigt. I Proc. 13th International Conference on Sensing, Communication, and Networking, pp 37-45, IEEE, 2016. (DOI).
  168. Multiscale mixed finite elements. Fredrik Hellman, Patrick Henning och Axel Målqvist. I Discrete and Continuous Dynamical Systems. Series S, volym 9, pp 1269-1298, 2016. (DOI, fulltext:postprint).
  169. FOCUS: Robust visual codes for everyone. Frederik Hermans, Liam McNamara, Gábor Sörös, Christian Rohner, Thiemo Voigt och Edith Ngai. I Proc. 14th International Conference on Mobile Systems, Applications, and Services, pp 319-332, ACM Press, New York, 2016. (DOI).
  170. Preconditioning for radial basis function partition of unity methods. Alfa Heryudono, Elisabeth Larsson, Alison Ramage och Lina von Sydow. I Journal of Scientific Computing, volym 67, pp 1089-1109, 2016. (DOI, fulltext:postprint).
  171. Towards a secure synchronous communication architecture for low-power wireless networks. Kasun Hewage. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2016-004, Uppsala University, 2016. (fulltext).
  172. modBulb: a modular light bulb for visible light communication. Kasun Hewage, Ambuj Varshney, Abdalah Hilmia och Thiemo Voigt. I , pp 13-18, ACM Digital Library, New York, 2016. (DOI).
  173. Poster Abstract:BouKey: Location-Based Key Sharing Using Visible LightCommunication. Abdalah Hilmia, Kasun Hewage, Ambuj Varshney, Christian Rohner och Thiemo Voigt. I , 2016.
  174. Optimizing Horn Solvers for Network Repair. Hossein Hojjat, Philipp Rümmer, Jedidiah McClurg, Pavol Cerny och Nate Foster. I Proceedings of the 2016 16Th Conference on Formal Methods In Computer-Aided Design (FMCAD 2016), pp 73-80, IEEE, 2016.
  175. Patients reading their medical records: Differences in experiences and attitudes between regular and inexperienced readers. Isto Huvila, Mats Daniels, Åsa Cajander och Rose-Mharie Åhlfeldt. I Information research, volym 21, nummer 1, 2016. (Article).
  176. Efficient computation of the quasi likelihood function for discretely observed diffusion processes. Lars Josef Höök och Erik Lindström. I Computational Statistics & Data Analysis, volym 103, pp 426-437, 2016. (DOI).
  177. Signature of a Shape Based on Its Pixel Coverage Representation. Vladimir Ilic, Joakim Lindblad och Nataša Sladoje. I Discrete Geometry for Computer Imagery, DGCI 2016. Lecture Notes in Computer Science, Vol. 9647, pp. 181-193, Springer 2016: 19th IAPR International Conference, DGCI 2016, Nantes, France, April 18-20, 2016. Proceedings, pp 181-193, Springer Berlin/Heidelberg, 2016. (DOI).
  178. Image Analysis and Deep Learning for Applications in Microscopy. Omer Ishaq. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1371, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  179. Writing to learn programming?: A single case pilot study. Ville Isomöttönen, Aletta Nylén och Ville Tirronen. I Proc. 16th International Conference on Computing Education Research: Koli Calling, pp 140-144, ACM Press, New York, 2016. (DOI).
  180. Concise Loads and Stores: The Case for an Asymmetric Compute-Memory Architecture for Approximation. Animesh Jain, Parker Hill, Shih-Chieh Lin, Muneeb Khan, Md E. Haque, Michael A. Laurenzano, Scott Mahlke, Lingjia Tang och Jason Mars. I 2016 49Th Annual IEEE/ACM International Symposium On Microarchitecture (MICRO), International Symposium on Microarchitecture Proceedings, 2016.
  181. Partitioning GPUs for Improved Scalability. Johan Janzén, David Black-Schaffer och Andra Hugo. I Proc. 28th International Symposium on Computer Architecture and High Performance Computing, International Symposium on Computer Architecture and High Performance Computing, pp 42-49, IEEE Computer Society, 2016. (DOI).
  182. A machine-learning approach to measuring the escape of ionizing radiation from galaxies in the reionization epoch. Hannes Jensen, Erik Zackrisson, Kristiaan Pelckmans, Christian Binggeli, Kristiina Ausmees och Ulrika Lundholm. I Astrophysical Journal, volym 827, nummer 1, pp 5:1-12, 2016. (DOI).
  183. A combined computational and experimental X-ray CT multiscale study of stable, slowly growing cracks in wood-fibre based composite materials. Thomas Joffre, Kristoffer Segerholm, Cecilia Persson, Chris Luengo Hendriks, Stig L. Bardage och Per Isaksson. I , 2016.
  184. A method to measure moisture induced swelling properties of a single wood cell. Thomas Joffre, Per Isaksson, Pierre J. J. Dumont, Sabine Rolland du Roscoat, Simon Sticko, Laurent Orgéas och E. Kristofer Gamstedt. I Experimental mechanics, volym 56, pp 723-733, 2016. (DOI).
  185. A procedure for splitting data-aware processes and its application to coordination. Sung-Shik T. Q. Jongmans, Dave Clarke och José Proença. I Science of Computer Programming, volym 115–116, pp 47-78, 2016. (DOI).
  186. Aligning quality assurance at the course unit and educational program levels. Björn Þór Jónsson, Marta Kristín Lárusdóttir, Mats Daniels, Alison Clear, Tony Clear och Roger McDermott. I Proc. 46th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2016. (DOI).
  187. Automatic detection of xenophobic narratives: A case study on Swedish alternative media. Lisa Kaati, Amendra Shrestha, Katie Cohen och Sinna Lindquist. I Proc. 14th International Conference on Intelligence and Security Informatics, pp 121-126, IEEE, 2016. (DOI).
  188. Countering lone actor terrorism: Weak signals and online activities. Lisa Kaati och Fredrik Johansson. I Understanding Lone Actor Terrorism: Past experience, future outlook, and response strategies, pp 266-279, Routledge, Abingdon, UK, 2016. (DOI).
  189. Identifying Warning Behaviors of Violent Lone Offenders in Written Communication. Lisa Kaati, Amendra Shrestha och Tony Sardella. I 2016 IEEE 16Th International Conference On Data Mining Workshops (ICDMW), International Conference on Data Mining Workshops, pp 1053-1060, IEEE, New York, 2016. (DOI).
  190. Identifying warning behaviors of violent lone offenders in written communication. Lisa Kaati, Amendra Shrestha och Tony Sardella. I Proc. 16th ICDM Workshops, pp 1053-1060, IEEE Computer Society, 2016. (DOI, fulltext:postprint).
  191. Linguistic analysis of lone offender manifestos. Lisa Kaati, Amendra Shrestha och Katie Cohen. I Proc. 4th International Conference on Cybercrime and Computer Forensics, IEEE, 2016. (DOI).
  192. Semantic technologies for detecting names of new drugs on darknets. Lisa Kaati, Fredrik Johansson och Elinor Forsman. I Proc. 4th International Conference on Cybercrime and Computer Forensics, IEEE, 2016. (DOI).
  193. JayHorn: A framework for verifying Java programs. Temesghen Kahsai, Philipp Rümmer, Huascar Sanchez och Martin Schäf. I Computer Aided Verification: Part I, volym 9779 av Lecture Notes in Computer Science, pp 352-358, Springer, 2016. (DOI, fulltext:postprint).
  194. Analysis of neural crest-derived clones reveals novel aspects of facial development. Marketa Kaucka, Evgeny Ivashkin, Daniel Gyllborg, Tomas Zikmund, Marketa Tesarova, Jozef Kaiser, Meng Xie, Julian Petersen, Vassilis Pachnis, Silvia K. Nicolis, Tian Yu, Paul Sharpe, Ernest Arenas, Hjalmar Brismar, Hans Blom, Hans Clevers, Ueli Suter, Andrei S. Chagin, Kaj Fried, Andreas Hellander och Igor Adameyko. I Science Advances, volym 2, nummer 8, pp e1600060:1-16, 2016. (DOI, Fulltext).
  195. ???????? ???????????, ?????? ??? ??????????? ?????????. Iordanis Kavathatzopoulos. I , 2016.
  196. Fourth generation of next-generation sequencing technologies: Promise and consequences. Rongqin Ke, Marco Mignardi, Thomas Hauling och Mats Nilsson. I Human Mutation, volym 37, nummer 12, pp 1363-1367, 2016. (DOI, Fulltext).
  197. Feature augmented deep neural networks for segmentation of cells. Sajith Kecheril Sadanandan, Petter Ranefall och Carolina Wählby. I Computer Vision – ECCV 2016 Workshops: Part I, volym 9913 av Lecture Notes in Computer Science, pp 231-243, Springer, 2016. (DOI).
  198. Segmentation and track-analysis in time-lapse imaging of bacteria. Sajith Kecheril Sadanandan, Özden Baltekin, Klas E. G. Magnusson, Alexis Boucharin, Petter Ranefall, Joakim Jaldén, Johan Elf och Carolina Wählby. I IEEE Journal on Selected Topics in Signal Processing, volym 10, nummer 1, pp 174-184, 2016. (DOI).
  199. Optimizing Performance in Highly Utilized Multicores with Intelligent Prefetching. Muneeb Khan. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1335, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  200. Fronto-facial advancement and bipartition in Crouzon-Pfeiffer and Apert syndromes: Impact of fronto-facial surgery upon orbital and airway parameters in <em>FGFR2</em> syndromes. Roman H. Khonsari, Benjamin Way, Johan Nysjö, Guillaume A. Odri, Raphaël Olszewski, Robert D. Evans, David J. Dunaway, Ingela Nyström och Jonathan A. Britto. I Journal of Cranio-Maxillofacial Surgery, volym 44, nummer 10, pp 1567-1575, 2016. (DOI).
  201. Discretized dynamical low-rank approximation in the presence of small singular values. Emil Kieri, Christian Lubich och Hanna Walach. I SIAM Journal on Numerical Analysis, volym 54, pp 1020-1038, 2016. (DOI, fulltext:print).
  202. Numerical Methods for Wave Propagation: Analysis and Applications in Quantum Dynamics. Emil Kieri. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1330, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  203. Shallow ice approximation, second order shallow ice approximation, and full Stokes models: A discussion of their roles in palaeo-ice sheet modelling and development. Nina Kirchner, Josefin Ahlkrona, Evan J. Gowan, Per Lötstedt, James M. Lea, Riko Noormets, Lina von Sydow, Julian A. Dowdeswell och Toby Benham. I Quaternary Science Reviews, volym 135, pp 103-114, 2016. (DOI).
  204. Gennadi Henkin (1942–2016)<em></em>: Some memories. Christer O. Kiselman. I Bulletinen. Svenska matematikersamfundets Bulletin., pp 37-44, Svenska Matematikersamfundet, Göteborg, 2016.
  205. La jidogramatiko de Zamenhof kaj lia Lingvo universala: Mallonga versio. Christer O. Kiselman. I Prilingve en Nitro: politike, historie, teorie, instrue<em></em>: Fakaj prelegoj prezentitaj kadre de la 101-a Universala Kongreso de Esperanto, pp 159-175, Universala Esperanto-Asocio, Rotterdam, 2016.
  206. Lingva ri?o kaj la postuloj de la terminologio. Christer O. Kiselman. I Lingua, politica, cultura: Serta gratulatoria in honorem Renato Corsetti, pp 125-135, Mondial, New York, 2016.
  207. Matematiktermer i skolan. Christer O. Kiselman. I Tema: Lexikon över lexikon, volym 25 av Insikt och handling, pp 53-54, Hans Larsson Samfundet, Göteborg, 2016.
  208. Olle Hanner på Stockholms högskola. Christer O. Kiselman. I Svenska matematikersamfundets medlemsblad, pp 27-27, Svenska matematikersamfundet, Göteborg, 2016.
  209. Weak lineal convexity. Christer O. Kiselman. I Constructive Approximation of Functions, volym 107 av Banach Center Publications, pp 159-174, Polish Academy of Sciences, Warsaw, 2016.
  210. A scalable and distributed solution to the inertial motion capture problem. Manon Kok, Sina Khoshfetrat Pakazad, Thomas B. Schön, Anders Hansson och Jeroen D. Hol. I Proc. 19th International Conference on Information Fusion, pp 1348-1355, IEEE, 2016.
  211. Magnetometer calibration using inertial sensors. Manon Kok och Thomas B. Schön. I IEEE Sensors Journal, volym 16, nummer 14, pp 5679-5689, 2016. (DOI).
  212. Géométrie digitale utilisée pour la discretisation et le recouvrement optimal des objets euclidiens. Adama Arouna Koné. Doktorsavhandling, , Université des Sciences, des Techniques et des Technologie de Bamako, Bamako, Mali, 2016.
  213. Building Heterogeneous Unified Virtual Memories (UVMs) without the Overhead. Konstantinos Koukos, Alberto Ros, Erik Hagersten och Stefanos Kaxiras. I ACM Transactions on Architecture and Code Optimization (TACO), volym 13, nummer 1, 2016. (DOI, fulltext:preprint).
  214. Efficient Execution Paradigms for Parallel Heterogeneous Architectures. Konstantinos Koukos. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1405, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  215. Multiversioned decoupled access-execute: The key to energy-efficient compilation of general-purpose programs. Konstantinos Koukos, Per Ekemark, Georgios Zacharopoulos, Vasileios Spiliopoulos, Stefanos Kaxiras och Alexandra Jimborean. I Proc. 25th International Conference on Compiler Construction, pp 121-131, ACM Press, New York, 2016. (DOI, fulltext:print).
  216. An adaptive interpolation scheme for molecular potential energy surfaces. Markus Kowalewski, Elisabeth Larsson och Alfa Heryudono. I Journal of Chemical Physics, volym 145, pp 084104:1-10, 2016. (DOI).
  217. Errors-in-variables system identification using structural equation modeling. David Kreiberg, Torsten Söderström och Fan Yang-Wallentin. I Automatica, volym 66, pp 218-230, 2016. (DOI, fulltext:postprint).
  218. Analysis of stretched grids as buffer zones in simulations of wave propagation. Gunilla Kreiss, Benjamin Krank och Gunilla Efraimsson. I Applied Numerical Mathematics, volym 107, pp 1-17, 2016. (DOI, fulltext:postprint).
  219. Responsibilities and challenges of product owners at Spotify: An exploratory case study. Sigurhanna Kristinsdóttir, Marta Lárusdóttir och Åsa Cajander. I Human-Centered and Error-Resilient Systems Development, volym 9856 av Lecture Notes in Computer Science, pp 3-16, Springer, 2016. (DOI).
  220. Parameterless stopping criteria for recursive density matrix expansions. Anastasia Kruchinina, Elias Rudberg och Emanuel H. Rubensson. I Journal of Chemical Theory and Computation, volym 12, pp 5788-5802, 2016. (DOI).
  221. On the influence of interpolation method on rotation invariance in texture recognition. Gustaf Kylberg och Ida-Maria Sintorn. I EURASIP Journal on Image and Video Processing, volym 2016, 2016. (DOI, Fulltext).
  222. Achieving Efficiency Without Sacrificing Model Accuracy: Network Calculus on Compact Domains. Kai Lampka, Steffen Bondorf och Jens Schmitt. I 2016 IEEE 24Th International Symposium On Modeling, Analysis And Simulation Of Computer And Telecommunication Systems (MASCOTS), International Symposium on Modeling Analysis and Simulation of Computer and Telecommunication Systems Proceedings, pp 313-318, 2016. (DOI).
  223. Keep it cool and in time: With runtime monitoring to thermal-aware execution speeds for deadline constrained systems. Kai Lampka, Björn Forsberg och Vasileios Spiliopoulos. I Journal of Parallel and Distributed Computing, volym 95, pp 79-91, 2016. (DOI).
  224. Keep it slow and in time: Online DVFS with hard real-time workloads. Kai Lampka och Björn Forsberg. I Proc. 19th Conference on Design, Automation and Test in Europe, Design, Automation, and Test in Europe Conference and Exhibition, pp 385-390, IEEE, Piscataway, NJ, 2016.
  225. Resolving contention for networks-on-chips: Combining time-triggered application scheduling with dynamic budgeting of memory bus use. Kai Lampka och Adam Lackorzynski. I Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems, volym 9629 av Lecture Notes in Computer Science, pp 137-152, Springer, 2016. (DOI).
  226. Implementing a secure abstract machine. Adriaan Larmuseau, Marco Patrignani och Dave Clarke. I Proc. 31st ACM Symposium on Applied Computing, pp 2041-2048, ACM Press, New York, 2016. (DOI).
  227. Protecting Functional Programs From Low-Level Attackers. Adriaan Larmuseau. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 124, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  228. Verification of Software under Relaxed Memory. Carl Leonardsson. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1387, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  229. Guiding Craig interpolation with domain-specific abstractions. Jérôme Leroux, Philipp Rümmer och Pavle Subotic. I Acta Informatica, volym 53, nummer 4, pp 387-424, 2016. (DOI, fulltext:postprint).
  230. Editorial for QShine 2014 Special Issue. Victor C. M. Leung, Jiangchuan Liu, Edith Ngai, Jianping Pan och Thanos Stouraitis. I Mobile Networks and Applications, volym 21, nummer 3, pp 387-389, 2016. (DOI).
  231. Modeling and verification of dynamic command scheduling for real-time memory controllers. Yonghui Li, Benny Åkesson, Kai Lampka och Kees Goossens. I 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), IEEE Real-Time and Embedded Technology and Applications Symposium, IEEE Computer Society, 2016.
  232. Fast vascular skeleton extraction algorithm. Kristína Lidayová, Hans Frimmel, Chunliang Wang, Ewert Bengtsson och Örjan Smedby. I Pattern Recognition Letters, volym 76, pp 67-75, 2016. (DOI).
  233. Visualisation and evaluation of flood uncertainties based on ensemble modelling. Nancy Joy Lim, S. Anders Brandt och Stefan Seipel. I International Journal of Geographical Information Science, volym 30, nummer 2, pp 240-262, Taylor & Francis, 2016. (DOI).
  234. Liveness of randomised parameterised systems under arbitrary schedulers. Anthony W. Lin och Philipp Rümmer. I Computer Aided Verification: Part II, volym 9780 av Lecture Notes in Computer Science, pp 112-133, Springer, 2016. (DOI, fulltext:postprint).
  235. Regular Symmetry Patterns. Anthony W. Lin, Truong Khanh Nguyen, Philipp Rümmer och Jun Sun. I Verification, Model Checking, and Abstract Interpretation, volym 9583 av Lecture Notes in Computer Science, pp 455-475, Springer Berlin/Heidelberg, 2016. (DOI, fulltext:postprint).
  236. Special Issue on Cloud Computing for IoT. Chuang Lin, Kadangode K. Ramakrishnan, Jiangchuan Liu och Edith Ngai. I IEEE Internet of Things Journal, volym 3, nummer 3, pp 254-256, 2016. (DOI).
  237. Students envisioning the future. Thomas Lind, Åsa Cajander, Bengt Sandblad, Mats Daniels, Marta Lárusdóttir, Roger McDermott och Tony Clear. I Proc. 46th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2016. (DOI).
  238. Next Generation Decision Support Systems for Farmers: Sustainable Agriculture through Sustainable IT. Jessica Lindblom, Christina Lundström och Magnus Ljung. I Farming Systems Facing Global Challenges: Capacities and Strategies.: Volume 1, pp 49-57, IFSA Europe, Berlin, 2016. (Länk till fulltext, fulltext:print).
  239. Rao–Blackwellized particle smoothers for conditionally linear Gaussian models. Fredrik Lindsten, Pete Bunch, Simo Särkkä, Thomas B. Schön och Simon J. Godsill. I IEEE Journal on Selected Topics in Signal Processing, volym 10, nummer 2, pp 353-365, 2016. (DOI).
  240. EDF-VD scheduling of mixed-criticality systems with degraded quality guarantees. Di Liu, Jelena Spasic, Nan Guan, Gang Chen, Songran Liu, Todor Stefanov och Wang Yi. I Proc. 37th Real-Time Systems Symposium, pp 35-46, IEEE Computer Society, 2016. (DOI).
  241. Hand-held Augmented Reality for Facility Maintenance. Fei Liu. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1412, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  242. A security patch addressing bandwidth request vulnerabilities in the IEEE 802.16 standard. Qiang Liu, Xiping Hu, Edith Ngai, Min Liang, Victor C. M. Leung, Zhiping Cai och Jianping Yin. I IEEE Network, volym 30, nummer 5, pp 26-34, 2016. (DOI).
  243. Data modelling with Gaussian process in sensor networks for urban environmental monitoring. Xiuming Liu, Teng Xi och Edith Ngai. I Proc. 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, pp 457-462, IEEE Computer Society, 2016. (DOI).
  244. UrbanSense: An Urban-Scale Sensing Platform for the Internet of Things. Yunior Luis, Pedro M. Santos, Tiago Lourenco, Carlos Pérez-Penichet, Tania Calcada och Ana Aguiar. I IEEE Second International Smart Cities Conference (ISC2 2016), pp 763-768, 2016.
  245. A survey on static cache analysis for real-time systems. Mingsong Lv, Nan Guan, Jan Reineke, Reinhard Wilhelm och Wang Yi. I Leibniz Transactions on Embedded Systems, volym 3, nummer 1, pp 05:1-48, 2016. (DOI, Fulltext).
  246. Speed planning for solar-powered electric vehicles. Mingsong Lv, Nan Guan, Ye Ma, Dong Ji, Erwin Knippel, Xue Liu och Wang Yi. I Proc. 17th International Conference on Future Energy Systems, ACM Press, New York, 2016. (DOI).
  247. Challenges from integrating usability activities in Scrum: Why is Scrum so fashionable?. Marta Lárusdóttir, Åsa Cajander, Gudbjörg Erlingsdottir, Thomas Lind och Jan Gulliksen. I Integrating User-Centred Design in Agile Development, pp 225-247, Springer, 2016. (DOI).
  248. Stakeholder Involvement in Agile Software Development. Marta Lárusdóttir, Åsa Cajander, Peggy Gregory, Gilbert Cockton, Dina Salah, Kati Kuusinen och Gerolf Nauwerck. I Proc. 9th Nordic Conference on Human-Computer Interaction: Game-Changing Design, ACM Press, New York, 2016. (DOI).
  249. The Nifty way to call hell from heaven. Andreas Löscher och Konstantinos Sagonas. I Proc. 15th International Workshop on Erlang, pp 1-11, ACM Press, New York, 2016. (DOI).
  250. Computational challenges in modeling maternal effects in psychiatric disorders. Behrang Mahjani, Yudi Pawitan, Lambertus Klei, Bernie Devlin, Joseph Buxbaum, Dorothy Grice, Avraham Reichenberg och Sven Sandin. 2016.
  251. Fitting linear mixed models using sparse matrix methods and Lanczos factorization. Behrang Mahjani, Lars Rönnegård och Lars Eldén. I Computational Statistics & Data Analysis, 2016. Publikationsstatus: Submitted
  252. Global optimization algorithm PruneDIRECT as an R package. Behrang Mahjani. 2016.
  253. Methods from Statistical Computing for Genetic Analysis of Complex Traits. Behrang Mahjani. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1373, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image, errata).
  254. QTL as a service: PruneDIRECT for multi-dimensional QTL scans in cloud settings. Behrang Mahjani, Salman Toor, Carl Nettelblad och Sverker Holmgren. I Bioinformatics, 2016. Publikationsstatus: Submitted
  255. Software as a service in analysis of quantitative trait loci. Behrang Mahjani och Salman Toor. 2016.
  256. Improving skin lesion segmentation in dermoscopic images by thin artefacts removal methods. Tomáš Majtner, Kristína Lidayová, Sule Yildirim-Yayilgan och Jon Yngve Hardeberg. I Proceedings Of The 2016 6th European Workshop On Visual Information Processing (EUVIP), 2016.
  257. A Toolbox for Non-parametric Deformable Registration of Volume Images. Filip Malmberg, Robin Strand, Håkan Ahlström och Joel Kullberg. I , 2016.
  258. Estimating a structural bottle neck for eye–brain transfer of visual information from 3D-volumes of the optic nerve head from a commercial OCT device. Filip Malmberg, Camilla Sandberg-Melin och Per G. Söderberg. I Ophthalmic Technologies XXVI, volym 9693 av Proc. SPIE, SPIE - International Society for Optical Engineering, Bellingham, WA, 2016. (DOI).
  259. Toward incremental dialogue act segmentation in fast-paced interactive dialogue systems. Ramesh Manuvinakurike, Maike Paetzel, Cheng Qu, David Schlangen och David DeVault. I Proc. 17th Annual Meeting of the Special Interest Group on Discourse and Dialogue, pp 252-262, 2016.
  260. Diagonal-norm upwind SBP operators. Ken Mattsson. Technical report / Department of Information Technology, Uppsala University nr 2016-011, 2016. (Extern länk).
  261. High-fidelity numerical simulation of solitons in the nerve axon. Ken Mattsson och Jonatan Werpers. I Journal of Computational Physics, volym 305, pp 793-816, 2016. (DOI, fulltext:postprint).
  262. Convergence analysis for recursive Hammerstein identification. Per Mattsson och Torbjörn Wigren. I Automatica, volym 71, pp 179-186, 2016. (DOI).
  263. Modeling and identification of nonlinear and impulsive systems. Per Mattsson. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 127, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  264. Pulse-modulated Model of Testosterone Regulation Subject to Exogenous Signals. Per Mattsson, Alexander Medvedev och Zhanybai T. Zhusubaliyev. I 2016 IEEE 55th Conference On Decision And Control (CDC), IEEE Conference on Decision and Control, pp 5023-5028, IEEE, New York, 2016. (DOI).
  265. Recursive identification method for piecewise ARX models: A sparse estimation approach. Per Mattsson, Dave Zachariah och Peter Stoica. I IEEE Transactions on Signal Processing, volym 64, nummer 19, pp 5082-5093, 2016. (DOI).
  266. Recursive nonlinear system identification using latent variables. Per Mattsson, Dave Zachariah och Peter Stoica. I 25th European Research Network System Identification Workshop, 2016.
  267. Comparison of Flow Cytometry and Image-Based Screening for Cell Cycle Analysis. Damian J. Matuszewski, Ida-Maria Sintorn, Jordi Carreras Puigvert och Carolina Wählby. I Image Analysis And Recognition (ICIAR 2016), volym 9730 av Lecture Notes in Computer Science, pp 623-630, Springer, 2016. (DOI, fulltext:preprint).
  268. PopulationProfiler: A Tool for Population Analysis and Visualization of Image-Based Cell Screening Data. Damian J. Matuszewski, Carolina Wählby, Jordi Carreras-Puigvert och Ida-Maria Sintorn. I PLOS ONE, volym 11, nummer 3, 2016. (DOI, Fulltext).
  269. Why computing students learn on their own: Motivation for self-directed learning of computing. Robert McCartney, Jonas Boustedt, Anna Eckerdal, Kate Sanders, Lynda Thomas och Carol Zander. I ACM Transactions on Computing Education, volym 16, nummer 1, pp 2:1-18, 2016. (DOI).
  270. Motivation, optimal experience and flow in first year computing science. Roger McDermott, Mark Zarb, Mats Daniels, Åsa Cajander och Tony Clear. I Proc. 21st Conference on Innovation and Technology in Computer Science Education, pp 206-211, ACM Press, New York, 2016. (DOI).
  271. New technologies for DNA analysis: a review of the READNA Project. Steven McGinn, David Bauer, Thomas Brefort, Liqin Dong, Afaf El-Sagheer, Abdou Elsharawy, Geraint Evans, Elin Falk-Sörqvist, Michael Forster, Simon Fredriksson, Peter Freeman, Camilla Freitag, Joachim Fritzsche, Spencer Gibson, Mats Gullberg, Marta Gut, Simon Heath, Isabelle Heath-Brun, Andrew J. Heron, Johannes Hohlbein, Rongqin Ke, Owen Lancaster, Ludovic Le Reste, Giovanni Maglia, Rodolphe Marie, Florence Mauger, Florian Mertes, Marco Mignardi, Lotte Moens, Jelle Oostmeijer, Ruud Out, Jonas Nyvold Pedersen, Fredrik Persson, Vincent Picaud, Dvir Rotem, Nadine Schracke, Jennifer Sengenes, Peer F. Stähler, Björn Stade, David Stoddart, Xia Teng, Colin D. Veal, Nathalie Zahra, Hagan Bayley, Markus Beier, Tom Brown, Cees Dekker, Björn Ekström, Henrik Flyvbjerg, Andre Franke, Simone Guenther, Achillefs N. Kapanidis, Jane Kaye, Anders Kristensen, Hans Lehrach, Jonathan Mangion, Sascha Sauer, Emile Schyns, Jörg Tost, Joop M. L. M. van Helvoort, Pieter J. van der Zaag, Jonas O. Tegenfeldt, Anthony J. Brookes, Kalim Mir, Mats Nilsson, James P. Willcocks och Ivo G. Gut. I New Biotechnology, volym 33, nummer 3, pp 311-330, 2016. (DOI).
  272. Using indirect blockmodeling for monitoring students roles in collaborative learning networks. Esunly Medina, Davide Vega, Roc Meseguer, Humberto Medina, Sergio F. Ochoa och Matteo Magnani. I 2016 IEEE 20th International Conference on Computer Supported Cooperative Work in Design (CSCWD), International Conference on Computer Supported Cooperative Work in Design, pp 164-169, 2016.
  273. Capturing age-related alternations in the human smooth pursuit mechanism by Volterra models. Alexander Medvedev och Daniel Jansson. I 2016 AMERICAN CONTROL CONFERENCE (ACC), Proceedings of the American Control Conference, pp 1289-1294, IEEE, 2016.
  274. Analysis and design of jump coefficients in discrete stochastic diffusion models. Lina Meinecke, Stefan Engblom, Andreas Hellander och Per Lötstedt. I SIAM Journal on Scientific Computing, volym 38, pp A55-A83, 2016. (DOI, fulltext:print).
  275. Stochastic Simulation of Multiscale Reaction-Diffusion Models via First Exit Times. Lina Meinecke. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1376, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  276. Stochastic diffusion processes on Cartesian meshes. Lina Meinecke och Per Lötstedt. I Journal of Computational and Applied Mathematics, volym 294, pp 1-11, 2016. (DOI, fulltext:postprint).
  277. Integrating Visual Data Flow Programming with Data Stream Management. Lars Melander. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 128, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  278. Predictable MAC-level Performance in Low-power Wireless under Interference. Mathieu Michel, Thiemo Voigt, Nicolas Tsiftes, Luca Mottola och Bruno Quoitin. I , 2016. (fulltext:print).
  279. Modeling and analysis of data flow graphs using the digraph real-time task model. Morteza Mohaqeqi, Jakaria Abdullah och Wang Yi. I Reliable Software Technologies — Ada-Europe 2016, volym 9695 av Lecture Notes in Computer Science, pp 15-29, Springer, 2016. (DOI).
  280. On fixed-priority schedulability analysis of sporadic tasks with self-suspension. Morteza Mohaqeqi, Pontus Ekberg och Wang Yi. I Proc. 24th International Conference on Real-Time Networks and Systems, pp 109-118, ACM Press, New York, 2016. (DOI).
  281. On the problem of finding optimal harmonic periods. Morteza Mohaqeqi, Mitra Nasri, Yang Xu, Anton Cervin och Karl-Erik Årzén. I Proc. 24th International Conference on Real-Time Networks and Systems, pp 171-180, ACM Press, New York, 2016. (DOI).
  282. Schedulability analysis of synchronous digraph real-time tasks. Morteza Mohaqeqi, Jakaria Abdullah, Nan Guan och Wang Yi. I Proc. 28th Euromicro Conference on Real-Time Systems, pp 176-186, IEEE Computer Society, 2016. (DOI).
  283. Sound test-suites for cyber-physical systems. Morteza Mohaqeqi och Mohammad Reza Mousavi. I Proc. 10th International Symposium on Theoretical Aspects of Software Engineering, pp 42-48, IEEE Computer Society, 2016. (DOI).
  284. Towards an approximate conformance relation for hybrid I/O automata. Morteza Mohaqeqi och Mohammad Reza Mousavi. I Proc. 1st Workshop on Verification and Validation of Cyber-Physical Systems, volym 232 av Electronic Proceedings in Theoretical Computer Science, pp 53-64, Open Publishing Association, 2016. (DOI, Fulltext).
  285. A parametric propagator for pairs of SUM constraints with a discrete convexity property. Jean-Noël Monette, Nicolas Beldiceanu, Pierre Flener och Justin Pearson. I Artificial Intelligence, volym 241, pp 170-190, 2016. (DOI).
  286. Practical way halting by speculatively accessing halt tags. Daniel Moreau, Alen Bardizbanyan, Magnus Själander, David Whalley och Per Larsson-Edefors. I Proc. 19th Conference on Design, Automation and Test in Europe, pp 1375-1380, IEEE, Piscataway, NJ, 2016.
  287. #naorobot: Exploring nao discourse on Twitter. Omar Mubin, Aila Khan och Mohammad Obaid. I Proc. 28th Australian Conference on Human-Computer Interaction, ACM Press, New York, 2016.
  288. #naorobot: Exploring Nao Discourse on Twitter. Omar Mubin, Aila Khan och Mohammad Obaid. I Proceedings Of The 28Th Australian Computer-Human Interaction Conference (OZCHI 2016), 2016. (DOI).
  289. Towards an agenda for Sci-Fi inspired HCI research. Omar Mubin, Mohammad Obaid, Philipp Jordan, Patrícia Alves-Oliveira, Thommy Eriksson, Wolmet Barendregt, Daniel Sjolle, Morten Fjeld, Simeon Simoff och Mark Billinghurst. I Proc. 13th International Conference on Advances in Computer Entertainment Technology, ACM Press, New York, 2016. (DOI).
  290. Inflow generation for scale-resolving simulations of turbulent boundary layers. Timofey Mukha. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2016-009, Uppsala University, 2016. (fulltext).
  291. Feature Nets: Behavioural modelling of software product lines. Radu Muschevici, José Proença och Dave Clarke. I Software and Systems Modeling, volym 15, nummer 4, pp 1181-1206, 2016. (DOI).
  292. Social Network Analysis in Applications. Katarzyna Musial, Piotr Brodka och Matteo Magnani. I AI Communications, volym 29, nummer 1, pp 55-56, 2016. (DOI).
  293. Efficient sum-rate maximization for medium-scale MIMO AF-relay networks. Mohammad Mahdi Naghsh, Mojtaba Soltanalian, Peter Stoica, Maryam Masjedi och Björn Ottersten. I IEEE Transactions on Wireless Communications, volym 15, nummer 9, pp 6400-6411, 2016. (DOI).
  294. Rate optimization for massive MIMO relay networks: A minorization-maximization approach. Mohammad Mahdi Naghsh, Mojtaba Soltanalian, Peter Stoica, Maryam Masjedi och Björn Ottersten. I Proc. 41st International Conference on Acoustics, Speech, and Signal Processing, pp 3611-3615, IEEE, Piscataway, NJ, 2016. (DOI).
  295. Quantifying the effect of period ratios on schedulability of rate monotonic. Mitra Nasri, Morteza Mohaqeqi och Gerhard Fohler. I Proc. 24th International Conference on Real-Time Networks and Systems, pp 161-170, ACM Press, New York, 2016. (DOI).
  296. Multiprocessor Real-Time Locking Protocols for Replicated Resources. Catherine E. Nemitz, Kecheng Yang, Ming Yang, Pontus Ekberg och James H. Anderson. I Proc. 28th Euromicro Conference on Real-Time Systems (ECRTS), Proceedings of the Euromicro Conference on Real-time Systems, pp 50-60, 2016. (DOI).
  297. On providing sink anonymity for wireless sensor networks. Edith C.-H. Ngai. I Security and Communication Networks, volym 9, nummer 2, pp 77-86, 2016. (DOI).
  298. Personalized Mobile-Assisted Smart Transportation. Edith C.-H. Ngai, Stephan Brandauer, Amendra Shrestha och Konstantinos Vandikas. I 2016 Digital Media Industry And Academic Forum (DMIAF), pp 158-160, 2016.
  299. Graph-based linear scaling electronic structure theory. Anders M. N. Niklasson, Susan M. Mniszewski, Christian F. A. Negre, Marc J. Cawkwell, Pieter J. Swart, Jamal Mohd-Yusof, Timothy C. Germann, Michael E. Wall, Nicolas Bock, Emanuel H. Rubensson och Hristo Djidjev. I Journal of Chemical Physics, volym 144, pp 234101:1-8, 2016. (DOI, Fulltext).
  300. CoolSim: Eliminating Traditional Cache Warming with Fast, Virtualized Profiling. Nikos Nikoleris, Andreas Sandberg, Erik Hagersten och Trevor E. Carlson. I 2016 IEEE International Symposium On Performance Analysis Of Systems And Software ISPASS 2016, IEEE International Symposium on Performance Analysis of Systems and Software-ISPASS, pp 149-150, 2016.
  301. CoolSim: Statistical Techniques to Replace Cache Warming with Efficient, Virtualized Profiling. Nikos Nikoleris, Andreas Sandberg, Erik Hagersten och Trevor E. Carlson. I Proceedings Of 2016 International Conference On Embedded Computer Systems: Architectures, Modeling And Simulation (Samos), pp 106-115, IEEE, 2016.
  302. Essential spectral equivalence via multiple step preconditioning and applications to ill conditioned Toeplitz matrices. Dimitrios Noutsos, Stefano Serra-Capizzano och Paraskevas Vassalos. I Linear Algebra and its Applications, volym 491, pp 276-291, 2016. (DOI).
  303. A direct proof of the discrete-time multivariate circle and Tsypkin criteria. Johannes Nygren och Kristiaan Pelckmans. I IEEE Transactions on Automatic Control, volym 61, nummer 2, pp 544-549, 2016. (DOI).
  304. Input-Output Stability Analysis of Networked Control Systems. Johannes Nygren. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 119, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  305. Signed Distance Fields for Modeling Surgical Guides and Plates from CT Images. Fredrik Nysjö, Pontus Olsson, Filip Malmberg, Ingrid B. Carlbom och Ingela Nyström. I Proc, Swedish Symposium on Image Analysis: SSBA 2016, 2016.
  306. Interactive 3D Image Analysis for Cranio-Maxillofacial Surgery Planning and Orthopedic Applications. Johan Nysjö. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1411, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  307. How would you gesture navigate a drone?: a user-centered approach to control a drone. Mohammad Obaid, Felix Kistler, Gabriel? Kasparavi?i?t?, Asim Evren Yantaç och Morten Fjeld. I Proc. 20th International Academic Mindtrek Conference, pp 113-121, ACM Press, New York, 2016. (DOI).
  308. Accelerometer calibration using sensor fusion with a gyroscope. Fredrik Olsson, Manon Kok, Kjartan Halvorsen och Thomas B. Schön. I Proc. 19th Statistical Signal Processing Workshop, pp 660-664, IEEE, Piscataway, NJ, 2016. (DOI, fulltext:preprint).
  309. Comparison of walking and traveling-wave piezoelectric motors as actuators in kinesthetic haptic devices. Pontus Olsson, Fredrik Nysjö, Ingrid B. Carlbom och Stefan Johansson. I IEEE Transactions on Haptics, volym 9, nummer 3, pp 427-431, 2016. (DOI, Fulltext).
  310. Ph.D. Forum Abstract: Increasing Robustness in WSN using Software Defined Network Architecture. Charalampos Orfanidis. I 2016 15Th ACM/IEEE International Conference On Information Processing In Sensor Networks (IPSN), 2016.
  311. Congruency Matters – How ambiguous gender cues increase a robot’s uncanniness. Maike Paetzel, Christopher Peters, Ingela Nyström och Ginevra Castellano. I Social Robotics, volym 9979 av Lecture Notes in Computer Science, pp 402-412, Springer, 2016. (DOI).
  312. Effects of multimodal cues on children's perception of uncanniness in a social robot. Maike Paetzel, Christopher Peters, Ingela Nyström och Ginevra Castellano. I Proc. 18th ACM International Conference on Multimodal Interaction, pp 297-301, 2016. (DOI).
  313. Preliminary results from using a back-projected robot head in uncanny valley research. Maike Paetzel, Christopher Peters, Ingela Nyström och Ginevra Castellano. I Proc. 25th International Symposium on Robot and Human Interactive Communication, pp 944-945, IEEE, Piscataway, NJ, 2016. (fulltext:postprint).
  314. Robots as Individuals in the Humanoid League. Maike Paetzel, Jacky Baltes och Reinhard Gerndt. I RoboCup 2016: Robot World Cup XX, volym 9776 av Lecture Notes in Computer Science, Springer, 2016.
  315. The influence of appearance and interaction strategy of a social robot on the feeling of uncanniness in humans. Maike Paetzel. I Proc. 18th ACM International Conference on Multimodal Interaction, pp 522-526, ACM Press, New York, 2016. (DOI).
  316. Performance Modeling of Multi-core Systems: Caches and Locks. Xiaoyue Pan. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1336, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  317. A Comparative Study of GPUVerify and GKLEE. Anmol Panda, Philipp Rümmer och Neena Goveas. I 2016 Fourth International Conference On Parallel, Distributed And Grid Computing (PDGC), pp 112-117, IEEE, 2016. (DOI).
  318. Do relative positions and proxemics affect the engagement in a human–robot collaborative scenario?. Fotios Papadopoulos, Dennis Küster, Lee J. Corrigan, Arvid Kappas och Ginevra Castellano. I Interaction Studies: Social Behaviour and Communication in Biological and Artificial Systems, volym 17, nummer 3, pp 321-347, 2016. (DOI).
  319. General conditions for full abstraction. Joachim Parrow. I Mathematical Structures in Computer Science, volym 26, nummer 4, pp 655-657, 2016. (DOI).
  320. The largest respectful function. Joachim Parrow och Tjark Weber. I Logical Methods in Computer Science, volym 12, nummer 2, 2016. (DOI, Fulltext, fulltext:print).
  321. A critical analysis of trends in student-centric engineering education and their implications for learning. Arnold Pears, Aletta Nylén och Mats Daniels. I Proc. 46th ASEE/IEEE Frontiers in Education Conference, Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2016. (DOI).
  322. Demo: Passive Sensor Tags. Carlos Perez Penichet, Frederik Hermans, Ambuj Varshney och Thiemo Voigt. I Mobicom'16: Proceedings Of The 22Nd Annual International Conference On Mobile Computing And Networking, pp 477-478, 2016. (DOI, fulltext:postprint).
  323. Implicit bias in predictive data profiling within recruitments. Anders Persson. I Privacy And Identity Management: Facing Up To Next Steps, volym 498 av IFIP Advances in Information and Communication Technology, pp 212-230, Springer Berlin/Heidelberg, Berlin, 2016. (DOI).
  324. Algae Based Wastewater Treatment Model Using The RWQM1. Rasmus Pierong, Emma Nehrenheim, Bengt Carlsson och Jesús Zambrano. I Proc. IWA World Water Congress &amp; Exhibition: 2016, 2016.
  325. Micromechanical modeling of roll-to-roll processing of oriented polyethylene terephthalate films. Mikhail Poluektov, Johannes A. W. van Dommelen, Leon E. Govaert, Duncan H. MacKerron och Marc G. D. Geers. I Journal of Applied Polymer Science, volym 133, nummer 18, pp 43384:1-11, 2016. (DOI).
  326. Scale transitions in magnetisation dynamics. Mikhail Poluektov, Olle Eriksson och Gunilla Kreiss. I Communications in Computational Physics, volym 20, pp 969-988, 2016. (DOI).
  327. BLE and IEEE 802.15.4 in the IoT: Evaluation and Interoperability Considerations. Narenda PrithviRaj, Simon Duquennoy och Thiemo Voigt. I Internet Of Things: IOT Infrastructures, IOT 360, Pt II, Lecture Notes of the Institute for Computer Sciences Social Informatics and Telecommunications Engineering, pp 427-438, 2016. (DOI).
  328. Typed Connector Families. Jose Proenca och Dave Clarke. I Formal Aspects Of Component Software, volym 9539 av Lecture Notes in Computer Science, pp 294-311, Springer, 2016. (DOI).
  329. Proceedings från 5:e utvecklingskonferensen för Sveriges ingenjörsutbildningar. Stefan Pålsson och Björn Victor (red). Volym 2016-002 av Technical report / Department of Information Technology, Uppsala University, 2016. (Extern länk).
  330. Do Multiple Bits per Symbol Increase the Throughput of Ambient Backscatter Communications?. Carlos Pérez-Penichet, Ambuj Varshney, Frederik Hermans, Christian Rohner och Thiemo Voigt. I EWSN '16 Proceedings of the 2016 International Conference on Embedded Wireless Systems and Networks, pp 355-360, 2016. (fulltext:postprint).
  331. Ph.D. Forum Abstract: Ambient Backscatter Communication. Carlos Pérez-Penichet. I 2016 15Th ACM/IEEE International Conference On Information Processing In Sensor Networks (IPSN), 2016.
  332. Solving systems of nonlinear equations when the nonlinearity is expensive. Sabahat Qasim, Zulifqar Ali, Fayyaz Ahmad, Stefano Serra-Capizzano, Malik Zaka Ullah och Arshad Mahmood. I Computers and Mathematics with Applications, volym 71, pp 1464-1478, 2016. (DOI).
  333. Constructing frozen Jacobian iterative methods for solving systems of nonlinear equations, associated with ODEs and PDEs using the homotopy method. Uswah Qasim, Zulifqar Ali, Fayyaz Ahmad, Stefano Serra-Capizzano, Malik Zaka Ullah och Mir Asma. I Algorithms, volym 9, pp 18:1-17, 2016. (DOI, Fulltext).
  334. 3DinSAR: Object 3D Localization for Indoor RFID Applications. Lanxin Qiu, Zhuangqin Huang, Niklas Wirström och Thiemo Voigt. I IEEE RFID, pp 191-198, 2016.
  335. Interacting Particle Markov Chain Monte Carlo. Tom Rainforth, Christian A. Naesseth, Fredrik Lindsten, Brooks Paige, Jan-Willem van de Meent, Arnaud Doucet och Frank Wood. I <em>Proceedings of the 33rd International Conference on Machine Learning</em>, 2016.
  336. Interaction between abstract agents: Increasing the readability of causal events with animation principles. Muhammet Ramo?lu, Idil Bostan, Mohammad Obaid, Tilbe Göksun och O?uzhan Özcan. I Proc. 20th International Academic Mindtrek Conference, pp 272-280, ACM Press, New York, 2016. (DOI).
  337. NOVIFAST: A fast non-linear least squares method for accurate and precise estimation of T1 from SPGR signals.. Gabriel Ramos-Llordén, Arnold Jan den Dekker, Marcus Björk, Marleen Verhoye och Jan Sijbers. I , 2016.
  338. Automatic grading of breast cancer from whole slide images of Ki67 stained tissue sections. Petter Ranefall, Carolina Wählby och Ewert Bengtsson. I , 2016.
  339. Fast Adaptive Local Thresholding Based on Ellipse fit. Petter Ranefall, Sajith Kecheril Sadanandan och Carolina Wählby. I , Scripta minora Bibliothecae regiae Universitatis UpsaliensisIEEE International Symposium on Biomedical Imaging, 2016. (Fulltext).
  340. Global And Local Adaptive Gray-level Thresholding Based on Object Features. Petter Ranefall, Sajith Kecheril Sadanandan och Carolina Wählby. I Swedish Symposium on Image Analysis 2016, 2016.
  341. Global Gray-level Thresholding Based on Object Size. Petter Ranefall och Carolina Wählby. I Cytometry Part A, volym 89A, nummer 4, pp 385-390, John Wiley & Sons, 2016. (DOI).
  342. "Please do not confuse your Google search with my medical degree"?. Hanife Rexhepi, Christiane Grünloh, Åsa Cajander och Isabella Scandurra. I Designing eHealth Services for Patients and Relatives: NordiCHI 2016 Workshop, WorldPress, 2016. (Paper).
  343. On grid resolution requirements for LES of wall-bounded flows. Saleh Rezaeiravesh, Mattias Liefvendahl och Christer Fureby. I Proc. 7th ECCOMAS Congress, pp 7454-7465, European Community on Computional Methods in Applied Sciences (ECCOMAS), 2016. (DOI).
  344. A hybrid static–dynamic classification for dual-consistency cache coherence. Alberto Ros och Alexandra Jimborean. I IEEE Transactions on Parallel and Distributed Systems, volym 27, nummer 11, pp 3101-3115, 2016. (DOI).
  345. Efficient Self-Invalidation/Self-Downgrade for Critical Sections with Relaxed Semantics. Alberto Ros, Carl Leonardsson, Christos Sakalis och Stefanos Kaxiras. I Proc. International Conference on Parallel Architectures and Compilation: PACT 2016, pp 433-434, ACM Press, New York, 2016. (DOI).
  346. Racer: TSO Consistency via Race Detection. Alberto Ros och Stefanos Kaxiras. I 2016 49Th Annual IEEE/ACM International Symposium On Microarchitecture (MICRO), International Symposium on Microarchitecture Proceedings, 2016.
  347. Locality-aware parallel block-sparse matrix–matrix multiplication using the Chunks and Tasks programming model. Emanuel H. Rubensson och Elias Rudberg. I Parallel Computing, volym 57, pp 87-106, 2016. (DOI, fulltext:postprint).
  348. Characterization of simulation by probabilistic testing. Philipp Rümmer och Wang Yi. I Theory and Practice of Formal Methods, volym 9660 av Lecture Notes in Computer Science, pp 360-372, Springer, 2016. (DOI).
  349. A survey on skeletonization algorithms and their applications. Punam K. Saha, Gunilla Borgefors och Gabriella Sanniti di Baja. I Pattern Recognition Letters, volym 76, pp 3-12, 2016. (DOI).
  350. Splash-3: A properly synchronized benchmark suite for contemporary research. Christos Sakalis, Carl Leonardsson, Stefanos Kaxiras och Alberto Ros. I Proc. International Symposium on Performance Analysis of Systems and Software: ISPASS 2016, pp 101-111, IEEE Computer Society, 2016. (DOI).
  351. Eigenvalue-eigenvector structure of Schoenmakers–Coffey matrices via Toeplitz technology and applications. Ernesto Salinelli, Stefano Serra-Capizzano och Debora Sesana. I Linear Algebra and its Applications, volym 491, pp 138-160, 2016. (DOI).
  352. Redesigning a tagless access buffer to require minimal ISA changes. Carlos Sanchez, Peter Gavin, Daniel Moreau, Magnus Själander, David Whalley, Per Larsson-Edefors och Sally A. McKee. I Proc. 19th International Conference on Compilers, Architectures and Synthesis for Embedded Systems, 2016. (DOI).
  353. An OCT variable for glaucoma follow-up: Pigment epithelium central limit - Inner limit of the retina, Minimal Distance, PIMD. Camilla Sandberg Melin, Filip Malmberg och Per G. Söderberg. I Investigative Ophthalmology and Visual Science, volym 57, nummer 12, ASSOC RESEARCH VISION OPHTHALMOLOGY INC, 2016.
  354. Case-specific potentiation of glioblastoma drugs by pterostilbene. Linnéa Schmidt, Sathishkumar Baskaran, Patrik Johansson, Narendra Padhan, Damian J. Matuszewski, Lydia C. Green, Ludmila Elfineh, Shimei Wee, Maria Häggblad, Ulf Martens, Bengt Westermark, Karin Forsberg-Nilsson, Lene Uhrbom, Lena Claesson-Welsh, Michael Andäng, Ida-Maria Sintorn, Bo Lundgren, Ingrid Lönnstedt, Cecilia Krona och Sven Nelander. I Oncotarget, volym 7, nummer 45, pp 73200-73215, 2016. (DOI, Fulltext).
  355. Fuzzy Segmentation of Synthetic and MRI Volume Data sampled on Optimal Lattices. Elisabeth Schold Linnér, Joel Kullberg och Robin Strand. I , 2016. Publikationsstatus: Submitted
  356. LatticeLibrary and BccFccRaycaster: Software for processing and viewing 3D data on optimal sampling lattices. Elisabeth Schold Linnér, Max Morén, Karl-Oskar Smed, Johan Nysjö och Robin Strand. I SoftwareX, volym 5, pp 16-24, 2016. (DOI, Fulltext).
  357. Other Things Besides Number: Abstraction, Constraint Propagation, and String Variable Types. Joseph Scott. Doktorsavhandling, Uppsala Dissertations from the Faculty of Science and Technology nr 120, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  358. 3D game technology in property formation. Stefan Seipel, Goran Milutinovic och Martin Andrée. I Proc. 16th International Multidisciplinary Scientific GeoConference, International Multidisciplinary Scientific GeoConference-SGEM, pp 539-546, 2016. (DOI).
  359. Data placement across the cache hierarchy: Minimizing data movement with reuse-aware placement. Andreas Sembrant, Erik Hagersten och David Black-Schaffer. I Proc. 34th International Conference on Computer Design, Proceedings IEEE International Conference on Computer Design, pp 117-124, IEEE, Piscataway, NJ, 2016. (DOI).
  360. Hiding and Reducing Memory Latency: Energy-Efficient Pipeline and Memory System Techniques. Andreas Sembrant. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1450, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  361. Discovering Social Interaction Strategies for Robots from Restricted-Perception Wizard-of-Oz Studies. Pedro Sequeira, Patricia Alves-Oliveira, Tiago Ribeiro, Eugenio Di Tullio, Sofia Petisca, Francisco S. Melo, Ginevra Castellano och Ana Paiva. I Eleventh ACM/IEEE International Conference On Human Robot Interation (HRI'16), pp 197-204, 2016. (DOI).
  362. Discovering social interaction strategies for robots from restricted-perception Wizard-of-Oz studies. Pedro Sequeira, Patrícia Alves-Oliveira, Tiago Ribeiro, Eugenio Di Tullio, Sofia Petisca, Francisco S. Melo, Ginevra Castellano och Ana Paiva. I Proc. 11th ACM/IEEE International Conference on Human Robot Interaction, ACM/IEEE International Conference on Human-Robot Interaction, pp 197-204, IEEE Press, Piscataway, NJ, 2016. (DOI).
  363. Effects of missing data in multilayer networks. Rajesh Sharma, Matteo Magnani och Danilo Montesi. I Social Network Analysis and Mining, volym 6, nummer 1, 2016. (DOI).
  364. Radial basis function methods for pricing multi-asset options. Victor Shcherbakov. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2016-001, Uppsala University, 2016. (fulltext).
  365. Radial basis function partition of unity methods for pricing vanilla basket options. Victor Shcherbakov och Elisabeth Larsson. I Computers and Mathematics with Applications, volym 71, pp 185-200, 2016. (DOI, fulltext:postprint).
  366. Radial basis function partition of unity operator splitting method for pricing multi-asset American options. Victor Shcherbakov. I BIT Numerical Mathematics, volym 56, pp 1401-1423, 2016. (DOI, fulltext:postprint).
  367. Techniques for modulating error resilience in emerging multi-value technologies. Magnus Själander, Gustaf Borgström, Mykhailo V. Klymenko, Françoise Remacle och Stefanos Kaxiras. I Proc. 13th International Conference on Computing Frontiers, pp 55-63, ACM Press, New York, 2016. (DOI, fulltext:postprint).
  368. Frequency domain identification of autoregressive models in the presence of additive noise. Umberto Soverini och Torsten Söderström. I Proc WSEAS Conference on Computer Science, Rome, Italy, 2016.
  369. A unified DVFS-cache resizing framework. Vasileios Spiliopoulos, Andreas Sembrant, Georgios Keramidas, Erik Hagersten och Stefanos Kaxiras. Technical report / Department of Information Technology, Uppsala University nr 2016-014, 2016. (Extern länk).
  370. Improving Energy-Efficiency of Multicores using First-Order Modeling. Vasileios Spiliopoulos. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1404, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  371. Recommendations on e-infrastructures for next-generation sequencing. Ola Spjuth, Erik Bongcam-Rudloff, Johan Dahlberg, Martin Dahlö, Aleksi Kallio, Luca Pireddu, Francesco Vezzi och Eija Korpelainen. I GigaScience, volym 5, 2016. (DOI, Fulltext).
  372. Scalable long-term preservation of relational data through SPARQL queries. Silvia Stefanova och Tore Risch. I Semantic Web, volym 7, nummer 2, pp 117-137, 2016. (DOI).
  373. A stabilized Nitsche cut element method for the wave equation. Simon Sticko och Gunilla Kreiss. I Computer Methods in Applied Mechanics and Engineering, volym 309, pp 364-387, 2016. (DOI).
  374. Towards higher order immersed finite elements for the wave equation. Simon Sticko. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2016-008, Uppsala University, 2016. (fulltext).
  375. Holistic whole-body MRI image analysis. Robin Strand, Filip Malmberg, Lars Johansson, Lars Lind, Magnus Sundbom, Håkan Ahlström och Joel Kullberg. I Symposium of the Swedish Society for Automated Image Analysis, Uppsala, Sweden, (SSBA), 2016.
  376. Minimal paths by sum of distance transforms. Robin Strand. I Discrete Geometry for Computer Imagery, volym 9647 av Lecture Notes in Computer Science, pp 349-358, Springer, 2016. (DOI).
  377. Feasibility of fork-join real-time task graph models: Hardness and algorithms. Jinghao Sun, Nan Guan, Yang Wang, Qingxu Deng, Peng Zeng och Wang Yi. I ACM Transactions on Embedded Computing Systems, volym 15, nummer 1, 2016. (DOI).
  378. Estimating the order of sinusoidal models using the adaptively penalized likelihood approach: Large sample consistency properties. Khushboo Surana, Sharmishtha Mitra, Amit Mitra och Peter Stoica. I Signal Processing, volym 128, pp 204-211, 2016. (DOI).
  379. Automated detection of cilia in low magnification transmission electron microscopy images using template matching. Amit Suveer, Nataša Sladoje, Joakim Lindblad, Anca Dragomir och Ida-Maria Sintorn. I Biomedical Imaging (ISBI), 2016 IEEE 13th International Symposium on, IEEE International Symposium on Biomedical Imaging, pp 386-390, IEEE, 2016. (DOI, Fulltext).
  380. Comparing two recent particle filter implementations of Bayesian system identification. Andreas Svensson och Thomas B. Schön. Technical report / Department of Information Technology, Uppsala University nr 2016-008, 2016. (Extern länk).
  381. Computationally Efficient Bayesian Learning of Gaussian Process State Space Models. Andreas Svensson, Arno Solin, Simo Särkkä och Thomas B. Schön. I Proceedings of the 19th International Conference on Artificial Intelligence and Statistics, pp 213-221, 2016. (Länk till fulltext).
  382. Learning probabilistic models of dynamical phenomena using particle filters. Andreas Svensson. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2016-011, Uppsala University, 2016. (fulltext).
  383. Analysis of the variation in OCT measurements of a structural bottle neck for eye–brain transfer of visual information from 3D-volumes of the optic nerve head, PIMD-Average [0;2?]. Per G. Söderberg, Filip Malmberg och Camilla Sandberg-Melin. I Ophthalmic Technologies XXVI, volym 9693 av Proc. SPIE, SPIE - International Society for Optical Engineering, Bellingham, WA, 2016. (DOI).
  384. Automatic quantification of fluorescence signal in rat lens epithelium. Nooshin Talebizadeh, Zhaohua Yu, Nanna Zhou Hagström, Carolina Wählby och Per G. Söderberg. I Investigative Ophthalmology and Visual Science, volym 57, nummer 12, 2016.
  385. Control of selective catalytic reduction systems using feedback linearisation. Soma Tayamon och Torbjörn Wigren. I Asian Journal of Control, volym 18, nummer 3, pp 802-816, 2016. (DOI).
  386. Learning Computer Science: Dimensions of variation within <em>what</em> Chinese students learn. Neena Thota och Anders Berglund. I ACM Transactions on Computing Education, volym 16, nummer 3, 2016. (DOI).
  387. Software Out-of-Order Execution for In-Order Architectures. Kim-Anh Tran. I Proc. 25th International Conference on Parallel Architectures and Compilation Techniques, pp 458-458, ACM Press, New York, 2016. (DOI, fulltext:print).
  388. Accelerating COBAYA3 on multi-core CPU and GPU systems using PARALUTION. Nico Trost, Javier Jimenez, Dimitar Lukarski och Victor Sanchez. I SNA + MC 2013 - Joint International Conference On Supercomputing In Nuclear Applications + Monte Carlo, 2016. (DOI).
  389. Main-Memory Query Processing Utilizing External Indexes. Thanh Truong. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1352, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  390. Storage-Centric System Architectures for Networked, Resource-Constrained Devices. Nicolas Tsiftes. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1331, SICS Dissertation Series nr 74, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  391. A Survey on Mobile Sensing Based Mood-Fatigue Detection for Drivers. Wei Tu, Lei Wei, Wenyan Hu, Zhengguo Sheng, Hasen Nicanfar, Xiping Hu, Edith C.-H. Ngai och Victor C. M. Leung. I SMART CITY 360, volym 166 av Lecture Notes of the Institute for Computer Sciences Social Informatics and Telecommunications Engineering, pp 3-15, SPRINGER INT PUBLISHING AG, 2016. (DOI).
  392. Particle-based Gaussian process optimization for input design in nonlinear dynamical models. Patricio L. Valenzuela, Johan Dahlin, Cristian R. Rojas och Thomas B. Schön. I 2016 IEEE 55th Conference On Decision And Control (CDC), IEEE Conference on Decision and Control, pp 2085-2090, IEEE, New York, 2016. (DOI).
  393. Efficient filtering for the unary resource with family-based transition times. Sascha Van Cauwelaert, Cyrille Dejemeppe, Jean-Noël Monette och Pierre Schaus. I Principles and Practice of Constraint Programming: CP 2016, volym 9892 av Lecture Notes in Computer Science, pp 520-535, Springer, 2016. (DOI).
  394. Analytical Processor Performance and Power Modeling Using Micro-Architecture Independent Characteristics. Sam Van den Steen, Stijn Eyerman, Sander De Pestel, Moncef Mechri, Trevor E. Carlson, David Black-Schaffer, Erik Hagersten och Lieven Eeckhout. I IEEE Transactions on Computers, volym 65, nummer 12, pp 3537-3551, 2016. (DOI).
  395. A new approach to role and position detection in networks. Davide Vega, Matteo Magnani, Danilo Montesi, Roc Meseguer och Felix Freitag. I SOCIAL NETWORK ANALYSIS AND MINING, volym 6, nummer 1, 2016. (DOI).
  396. Numerics of Elastic and Acoustic Wave Motion. Kristoffer Virta. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1322, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  397. Approximation: A New Paradigm also for Wireless Sensing. Thiemo Voigt, Magnus Själander, Frederik Hermans, Alexandra Jimborean, Erik Hagersten, Per Gunningberg och Stefanos Kaxiras. I , 2016.
  398. Academics' Experience of Teaching Open Ended Group Projects A phenomenographic study. Marianne Voogt, Chuan Sheng Chen och Neena Thota. I 2016 IEEE FRONTIERS IN EDUCATION CONFERENCE (FIE), Frontiers in Education Conference, 2016. (DOI).
  399. Profiling-Assisted Decoupled Access-Execute. Jonatan Waern, Per Ekemark, Konstantinos Koukos, Stefanos Kaxiras och Alexandra Jimborean. I Proc. 4th International Workshop on High Performance Energy Efficient Embedded Systems, 2016. (Extern länk).
  400. Estimating manuscript production dates using both image and language data. Fredrik Wahlberg, Lasse Mårtensson och Anders Brun. I Proceedings of SSBA, 2016, 2016.
  401. Historical Manuscript Production Date Estimation using Deep Convolutional Neural Networks. Fredrik Wahlberg, Tomas Wilkinson och Anders Brun. I , International Conference on Handwriting Recognition, pp 205-210, IEEE, 2016. (DOI, fulltext:postprint).
  402. Large scale continuous dating of medieval scribes using a combined image and language model. Fredrik Wahlberg, Lasse Mårtensson och Anders Brun. I , 2016. (DOI, fulltext:postprint).
  403. High order finite difference methods for the wave equation with non-conforming grid interfaces. Siyang Wang, Kristoffer Virta och Gunilla Kreiss. I Journal of Scientific Computing, volym 68, pp 1002-1028, 2016. (DOI).
  404. Energy-efficient collaborative outdoor localization for participatory sensing. Wendong Wang, Teng Xi, Edith C.-H. Ngai och Zheng Song. I Sensors, volym 16, nummer 6, 2016. (DOI, Fulltext, fulltext:print).
  405. Modal Logics for Nominal Transition Systems. Tjark Weber, Lars-Henrik Eriksson, Joachim Parrow, Johannes Borgström och Ram?nas Gutkovas. I Archive of Formal Proofs, 2016. (Extern länk).
  406. Scrambling and descrambling SMT-LIB benchmarks. Tjark Weber. I Satisfiability Modulo Theories: SMT 2016, volym 1617 av CEUR Workshop Proceedings, pp 31-40, RWTH Aachen University, 2016. (Fulltext).
  407. The 2014 SMT Competition. Tjark Weber, David R. Cok och David Deharbe. I Journal on Satisfiability, Boolean Modeling and Computation, 2016.
  408. Dynamic blind source separation based on source-direction prediction. Yangjie Wei och Wang Yi. I Neurocomputing, volym 185, pp 73-81, 2016. (DOI).
  409. A Node-Link Perspective on the Impact of Local Conditions in Sensor Networks. Hjalmar Wennerström. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1398, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  410. Towards even coverage monitoring with opportunistic sensor networks. Hjalmar Wennerström och Christian Rohner. I Proc. 11th ACM MobiCom Workshop on Challenged Networks, pp 81-86, ACM Press, New York, 2016. (DOI).
  411. Data-driven network modelling of disease transmission using complete population movement data: spread of VTEC O157 in Swedish cattle. Stefan Widgren, Stefan Engblom, Pavol Bauer, Jenny Frössling, Ulf Emanuelson och Ann Lindberg. I Veterinary research (Print), volym 47, pp 81:1-17, 2016. (DOI, Fulltext).
  412. A tradeoff between data rate and regulation performance in networked data flow control. Torbjörn Wigren. Technical report / Department of Information Technology, Uppsala University nr 2016-003, Uppsala University, Uppsala, 2016. (Extern länk).
  413. Low frequency sensitivity function constraints for nonlinear <em>L</em><sub>2</sub>-stable networked control. Torbjörn Wigren. I Asian Journal of Control, volym 18, nummer 4, pp 1200-1218, 2016. (DOI).
  414. Robust <em>L</em><sub>2</sub> stable networked control of wireless packet queues in delayed Internet connections. Torbjörn Wigren. I IEEE Transactions on Control Systems Technology, volym 24, nummer 2, pp 502-513, 2016. (DOI).
  415. Wireless feedback and feedforward data flow control subject to rate saturation and uncertain delay. Torbjörn Wigren. I IET Control Theory & Applications, volym 10, nummer 3, pp 346-353, 2016. (DOI).
  416. Semantic and Verbatim Word Spotting using Deep Neural Networks. Tomas Wilkinson och Anders Brun. I Proceedings Of 2016 15Th International Conference On Frontiers In Handwriting Recognition (Icfhr), International Conference on Handwriting Recognition, pp 307-312, 2016. (DOI, fulltext:postprint).
  417. The quest for multiplexed spatially resolved transcriptional profiling. Carolina Wählby. I Nature Methods, volym 13, nummer 8, pp 623-624, 2016. (DOI).
  418. Prediction performance after learning in Gaussian process regression. Johan Wågberg, Dave Zachariah, Thomas B. Schön och Peter Stoica. I 25th European Research Network System Identification Workshop, 2016.
  419. Scalable Validation of Data Streams. Cheng Xu. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1384, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  420. Vandermonde decomposition of multilevel Toeplitz matrices with application to multidimensional super-resolution. Zai Yang, Lihua Xie och Peter Stoica. I IEEE Transactions on Information Theory, volym 62, nummer 6, pp 3685-3701, 2016. (DOI).
  421. Online prediction of spatial fields for radio-frequency communication. Dave Zachariah, Niklas Jaldén och Peter Stoica. I Proc. 24th European Signal Processing Conference, European Signal Processing Conference, pp 1252-1256, IEEE, Piscataway, NJ, 2016. (DOI).
  422. DuctTeip: A task-based parallel programming framework for distributed memory architectures. Afshin Zafari, Elisabeth Larsson och Martin Tillenius. Technical report / Department of Information Technology, Uppsala University nr 2016-010, 2016. (Extern länk).
  423. Task parallel implementation of a solver for electromagnetic scattering problems. Afshin Zafari, Elisabeth Larsson, Marco Righero, M. Alessandro Francavilla, Giorgio Giordanengo, Francesca Vipiana och Giuseppe Vecchi. Technical report / Department of Information Technology, Uppsala University nr 2016-015, 2016. (Extern länk).
  424. A simple model for algae-bacteria interaction in photo-bioreactors. Jesús Zambrano, Ivo Krustok, Emma Nehrenheim och Bengt Carlsson. I Algal Research, volym 19, pp 155-161, 2016. (DOI).
  425. A simplified model of an activated sludge process with a plug-flow reactor. Jesús Zambrano, Bengt Carlsson, Stefan Diehl och Emma Nehrenheim. I Proc. 9th Eurosim Congress on Modelling and Simulation, IEEE Computer Society, 2016. (DOI).
  426. Monitoring a secondary settler using Gaussian mixture models. Jesús Zambrano, Oscar Samuelsson och Bengt Carlsson. I Proc. 9th Eurosim Congress on Modelling and Simulation, IEEE Computer Society, 2016. (DOI).
  427. Approximations and abstractions for reasoning about machine arithmetic. Aleksandar Zeljic. Licentiatavhandling, IT licentiate theses / Uppsala University, Department of Information Technology nr 2016-010, Uppsala University, 2016. (fulltext).
  428. Deciding bit-vector formulas with mcSAT. Aleksandar Zeljic, Christoph M. Wintersteiger och Philipp Rümmer. I Theory and Applications of Satisfiability Testing: SAT 2016, volym 9710 av Lecture Notes in Computer Science, pp 249-266, Springer, 2016. (DOI).
  429. Dependency-Aware Caching for HTTP Adaptive Streaming. Cong Zhang, Jiangchuan Liu, Fei Chen, Yong Cui och Edith C.-H. Ngai. I 2016 Digital Media Industry And Academic Forum (DMIAF), pp 89-93, 2016.
  430. Quantitative analysis of immunofluorescence and in situ PLA staining using CellProfiler reveals impaired epidermal lipid processing pathway in ARCI patients with CYP4F22 mutations. Hanqian Zhang, Marie Virtanen, Simone Weström, A. Bygum, Carolina Wählby, Anders Vahlquist och Hans Törmä. I Journal of Investigative Dermatology, volym 136, nummer 9, pp S180-S180, 2016.
  431. Start time configuration for strictly periodic real-time task systems. Tianyu Zhang, Nan Guan, Qingxu Deng och Wang Yi. I Journal of systems architecture, volym 66–67, pp 61-68, 2016. (DOI).
  432. A dynamic graph-based scheduling and interference coordination approach in heterogeneous cellular networks. Li Zhou, Xiping Hu, Edith C.-H. Ngai, Haitao Zhao, Shan Wang, Jibo Wei och Victor C. M. Leung. I IEEE Transactions on Vehicular Technology, volym 65, nummer 5, pp 3735-3748, 2016. (DOI).
  433. Scalable Queries over Log Database Collections. Minpeng Zhu. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1343, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  434. Skin lamellar bodies are not discrete vesicles but part of a tubuloreticular network. Lianne den Hollander, HongMei Han, Matthijs de Winter, Lennart Svensson, Sergej Masich, Bertil Daneholt och Lars Norlén. I Acta Dermato-Venereologica, volym 96, nummer 3, pp 303-309, 2016. (DOI, Fulltext).
  435. Pricing of basket options using dimension reduction and adaptive finite differences in space, and discontinuous Galerkin in time. Lina von Sydow, Paria Ghafari, Erik Lehto och Mats Wångersjö. I Numerical Mathematics and Advanced Applications: ENUMATH 2015, volym 112 av Lecture Notes in Computational Science and Engineering, pp 607-615, Springer, 2016. (DOI).
  436. Segmentation of shadows and water bodies in high resolution images using ancillary data. Julia Åhlén och Stefan Seipel. I Proc. 16th International Multidisciplinary Scientific GeoConference, International Multidisciplinary Scientific GeoConference-SGEM, pp 827-834, 2016. (DOI).
  437. Bisimulation up-to techniques for psi-calculi. Johannes Åman Pohjola och Joachim Parrow. I Proc. 5th ACM SIGPLAN Conference on Certified Programs and Proofs, pp 142-153, ACM Press, New York, 2016. (DOI).
  438. Culling Concurrency Theory: Reusable and trustworthy meta-theory, proof techniques and separation results. Johannes Åman Pohjola. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1397, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  439. The Expressive Power of Monotonic Parallel Composition. Johannes Åman Pohjola och Joachim Parrow. I Programming Languages and Systems, volym 9632 av Lecture Notes in Computer Science, pp 780-803, Springer, Berlin, 2016. (DOI).
  440. Language Constructs for Safe Parallel Programming on Multi-Cores. Johan Östlund. Doktorsavhandling, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1319, Acta Universitatis Upsaliensis, Uppsala, 2016. (fulltext, preview image).
  441. Rao-Blackwellised Particle Filter for Star-ConvexExtended Target Tracking Models. Emre Özkan, Niklas Wahlstro?m och Simon J. Godsill. I 2016 19th International Conference on Information Fusion, pp 1193-1199, 2016. (Fulltext).

Uppdaterad  2016-12-29 18:11:22 av Kurt Otto.