Department of Information Technology

Publications 2013

  1. All for the price of few: (Parameterized verification through view abstraction). Parosh Aziz Abdulla, Frédéric Haziza, and Lukáš Holík. In Verification, Model Checking, and Abstract Interpretation, volume 7737 of Lecture Notes in Computer Science, pp 476-495, Springer Berlin/Heidelberg, 2013. (DOI, fulltext:postprint).
  2. An Integrated Specification and Verification Technique for Highly Concurrent Data Structures. Parosh Aziz Abdulla, Frédéric Haziza, Lukas Holik, Bengt Jonsson, and Ahmed Rezine. In Tools and Algorithms for the Construction and Analysis of Systems, 2013. (fulltext:postprint).
  3. Analysis of message passing programs using SMT-solvers. Parosh Aziz Abdulla, Mohamed Faouzi Atig, and Jonathan Cederberg. In Automated Technology for Verification and Analysis: ATVA 2013, volume 8172 of Lecture Notes in Computer Science, pp 272-286, Springer Berlin/Heidelberg, 2013. (DOI).
  4. MEMORAX, a Precise and Sound Tool for Automatic Fence Insertion under TSO. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, and Ahmed Rezine. In Tools and Algorithms for the Construction and Analysis of Systems, volume 7795 of Lecture Notes in Computer Science, pp 530-536, Springer Berlin/Heidelberg, 2013. (DOI, fulltext:postprint).
  5. Monotonic abstraction for programs with multiply-linked structures. Parosh Aziz Abdulla, Jonathan Cederberg, and Tomás Vojnar. In International Journal of Foundations of Computer Science, volume 24, number 2, pp 187-210, 2013. (DOI, fulltext:postprint).
  6. Priced timed Petri nets. Parosh Aziz Abdulla and Richard Mayr. In Logical Methods in Computer Science, volume 9, number 4, pp 10:1-51, 2013. (DOI).
  7. Push-down automata with gap-order constraints. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Giorgio Delzanno, and Andreas Podelski. In Fundamentals of Software Engineering: FSEN 2013, volume 8161 of Lecture Notes in Computer Science, pp 199-216, Springer Berlin/Heidelberg, 2013. (DOI).
  8. Solving parity games on integer vectors. Parosh Aziz Abdulla, Richard Mayr, Arnaud Sangnier, and Jeremy Sproston. In CONCUR 2013 – Concurrency Theory, volume 8052 of Lecture Notes in Computer Science, pp 106-120, Springer Berlin/Heidelberg, 2013. (DOI).
  9. Tools for software verification: Introduction to the special section from the seventeenth international conference on tools and algorithms for the construction and analysis of systems. Parosh Aziz Abdulla and K. Rustan M. Leino. In International Journal on Software Tools for Technology Transfer (STTT), volume 15, number 2, pp 85-88, 2013. (DOI).
  10. Veri?cation 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, and Tomás Vojnar. In Automated Technology for Verification and Analysis: ATVA 2013, volume 8172 of Lecture Notes in Computer Science, pp 224-239, Springer Berlin/Heidelberg, 2013. (DOI, fulltext:postprint).
  11. Verification of Directed Acyclic Ad Hoc Networks. Parosh Aziz Abdulla, Mohamed Faouzi Atig, and Othmane Rezine. In Formal Techniques for Distributed Systems: FORTE 2013, volume 7892 of Lecture Notes in Computer Science, pp 193-208, Springer Berlin/Heidelberg, 2013. (DOI, fulltext:postprint).
  12. Verifying safety and liveness for the FlexTM hybrid transactional memory. Parosh Aziz Abdulla, Sandhya Dwarkadas, Ahmed Rezine, Arrvindh Shriraman, and Zhu Yunyun. In , pp 785-790, Grenoble, France, 2013.
  13. Geomemories - A Platform for Visualizing Historical, Environmental and Geospatial Changes of the Italian Landscape. Matteo Abrate, Clara Bacciu, Anders Hast, Andrea Marchetti, Salvatore Minutoli, and Maurizio Tesconi. In ISPRS International Journal of Geo-Information. Special issue: Geospatial Monitoring and Modelling of Environmental Change, volume 2, number 2, pp 432-455, MDPI - Open Access Publishing, 2013. (DOI, Fulltext).
  14. A numerical study of scaling relations for non-Newtonian thin-film flows with applications in ice sheet modelling. Josefin Ahlkrona, Nina Kirchner, and Per Lötstedt. In Quarterly Journal of Mechanics and Applied Mathematics, volume 66, pp 417-435, 2013. (DOI).
  15. Accuracy of the zeroth and second order shallow ice approximation: numerical and theoretical results. Josefin Ahlkrona, Nina Kirchner, and Per Lötstedt. In Geoscientific Model Development Discussions, volume 6, pp 4281-4325, 2013. (DOI).
  16. Accuracy of the zeroth- and second-order shallow-ice approximation: numerical and theoretical results. Josefin Ahlkrona, Nina Kirchner, and Per Lötstedt. In Geoscientific Model Development, volume 6, pp 2135-2152, 2013. (DOI).
  17. Atmospheric sound propagation over large-scale irregular terrain. Martin Almquist, Ilkka Karasalo, and Ken Mattsson. Technical report / Department of Information Technology, Uppsala University nr 2013-018, 2013. (External link).
  18. Stable and accurate simulation of phenomena in relativistic quantum mechanics. Martin Almquist, Ken Mattsson, and Tomas Edvinsson. In Proc. 11th International Conference on Mathematical and Numerical Aspects of Waves, pp 213-214, ENIT, Tunisia, 2013.
  19. Bounds on the Lifetime of WSNs. Juan M. Alonso, Thiemo Voigt, and Ambuj Varshney. In , 2013. (DOI).
  20. Recognizing complexity: Visualization for skilled professionals in complex work situations. Arne W. Andersson, Anders Jansson, Bengt Sandblad, and Simon Tschirner. In Building Bridges: HCI, Visualization, and Cognitive Ergonomics, Springer Berlin/Heidelberg, 2013. (fulltext:preprint).
  21. Scientific analysis by queries in extended SPARQL over a scalable e-Science data store. Andrej Andrejev, Salman Toor, Andreas Hellander, Sverker Holmgren, and Tore Risch. In Proc. 9th International Conference on e-Science, pp 98-106, IEEE Computer Society, Los Alamitos, CA, 2013. (DOI).
  22. A theory for control-flow graph exploration. Stephan Arlt, Philipp Rümmer, and Martin Schäf. In Automated Technology for Verification and Analysis: ATVA 2013, volume 8172 of Lecture Notes in Computer Science, pp 506-515, Springer Berlin/Heidelberg, 2013. (DOI).
  23. Kleene Algebra. Alasdair Armstrong, Georg Struth, and Tjark Weber. In Archive of Formal Proofs, 2013. (External link).
  24. Program Analysis and Verification Based on Kleene Algebra in Isabelle/HOL. Alasdair Armstrong, Georg Struth, and Tjark Weber. In Interactive Theorem Proving: ITP 2013, volume 7998 of Lecture Notes in Computer Science, pp 197-212, Springer Berlin/Heidelberg, 2013. (DOI, fulltext:postprint).
  25. On using Erlang for parallelization: Experience from parallelizing Dialyzer. Stavros Aronis and Konstantinos Sagonas. In Trends in Functional Programming, volume 7829 of Lecture Notes in Computer Science, pp 295-310, Springer Berlin/Heidelberg, 2013. (DOI).
  26. ?????????????????(What is "gender equal society"?): ??????????????? ???????????????? (Think about our life-style together). Ryoko Asai. Sumida municipality (Tokyo metropolitan government), Tokyo, 2013. (External link, summary).
  27. Designing "Open Education": How does the ICT-based system function as a new medium of participation for sustainability?. Ryoko Asai. In The possibilities of ethical ICT, pp 33-36, University of Southern Denmark, Kolding, 2013.
  28. ICT supported crisis communication and dialog. Ryoko Asai and Iordanis Kavathatzopoulos. In The possibilities of ethical ICT, pp 37-41, University of Southern Denmark, Kolding, 2013.
  29. Research in Computer/Information Ethics: A Gender Gap Analysis and Consequences. Ryoko Asai. In Ambiguous Technologies: Philosophical Issues, Practical Solutions, Human Nature, Universidade Autonoma de Lisboa, Lisbon, 2013.
  30. Social Influence on Cooperation and Coordination. Ryoko Asai. In ICT-ethics: Sweden and Japan, volume 15 of Studies in Applied Ethics, pp 24-30, LiU Tryck, Linköping, 2013.
  31. Social Media Supporting Democratic Dialogue. Ryoko Asai. In Ambiguous Technologies: Philosophical Issues, Practical Solutions, Human Nature, pp 36-43, Autónoma University, Lisbon, 2013.
  32. Performing Decision-Theoretic Inference in Bayesian Network Ensemble Models. Michael Ashcroft. In Twelfth Scandinavian Conference on Artificial Intelligence, volume 257 of Frontiers in Artificial Intelligence and Applications, pp 25-34, 2013. (DOI).
  33. Cluster detection and field-of-view quality rating: Applied to automated Pap-smear analysis. Marine Astruc, Patrik Malm, Rajesh Kumar, and Ewert Bengtsson. In Proc. 2nd International Conference on Pattern Recognition Applications and Methods, pp 355-364, SciTePress, 2013. (fulltext:postprint).
  34. Adjacent ordered multi-pushdown systems. Mohamed Faouzi Atig, K. Narayan Kumar, and Prakash Saivasan. In Developments in Language Theory: DLT 2013, volume 7907 of Lecture Notes in Computer Science, pp 58-69, Springer Berlin/Heidelberg, 2013. (DOI).
  35. A comparison of iterative methods to solve complex valued linear algebraic systems. Owe Axelsson, Maya Neytcheva, and Bashir Ahmad. Technical report / Department of Information Technology, Uppsala University nr 2013-005, 2013. (External link).
  36. A general approach to analyse preconditioners for two-by-two block matrices. Owe Axelsson and Maya Neytcheva. In Numerical Linear Algebra with Applications, volume 20, pp 723-742, 2013. (DOI).
  37. Numerical and computational efficiency of solvers for two-phase problems. Owe Axelsson, Petia Boyanova, Martin Kronbichler, Maya Neytcheva, and Xunxun Wu. In Computers and Mathematics with Applications, volume 65, pp 301-314, 2013. (DOI).
  38. Response to Comment on "Preconditioning of matrices partitioned in 2×2 block form: Eigenvalue estimates and Schwarz DD for mixed FEM". Owe Axelsson and Radim Blaheta. In Numerical Linear Algebra with Applications, volume 20, pp 536-539, 2013. (DOI, Fulltext).
  39. Grand challenge: Implementation by frequently emitting parallel windows and user-defined aggregate functions. Sobhan Badiozamany, Lars Melander, Thanh Truong, Cheng Xu, and Tore Risch. In Proc. 7th ACM International Conference on Distributed Event-Based Systems, pp 325-330, ACM Press, New York, 2013. (DOI).
  40. Combined Secure Storage and Communication for the Internet of Things. Ibrahim Bagci, Shahid Raza, Antony Chung, Utz Roedig, and Thiemo Voigt. In IEEE International Conference on Sensing, Communication and Networking (IEEE SECON), 2013.
  41. Efficient sampling in event-driven algorithms for reaction-diffusion processes. Mohammad Hossein Bani-Hashemian, Stefan Hellander, and Per Lötstedt. In Communications in Computational Physics, volume 13, pp 958-984, 2013. (DOI).
  42. Computational precision of traffic equilibria sensitivities in automatic network design and road pricing. Hillel Bar-Gera, Fredrik Hellman, and Michael Patriksson. In Procedia - Social and Behavioral Sciences, volume 80, pp 41-60, 2013. (DOI).
  43. Computational precision of traffic equilibria sensitivities in automatic network design and road pricing. Hillel Bar-Gera, Fredrik Hellman, and Michael Patriksson. In Transportation Research Part B: Methodological, volume 57, pp 485-500, 2013. (DOI).
  44. An Algorithm for Parallel Calculation of Trigonometric and Exponential Functions. Tony Barrera, Anders Hast, and Ewert Bengtsson. In ACM International Conference on Computing Frontiers, 2013.
  45. On matrices, automata, and double counting in constraint programming. Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, and Justin Pearson. In Constraints, volume 18, number 1, pp 108-140, 2013. (DOI).
  46. On the reification of global constraints. Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, and Justin Pearson. In Constraints, volume 18, number 1, pp 1-6, 2013. (DOI).
  47. Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning. Amel Benaceur, Chris Chilton, Malte Isberner, and Bengt Jonsson. In SEFM 2013, 11th Int. Conf. on Software Engineering and Formal Methods, volume 8137 of Lecture Notes in Computer Science, pp 274-288, Springer, 2013. (DOI, External link).
  48. A Weight Sequence Distance Function. Nagy Benedek, Robin Strand, and Nicolas Normand. In : Mathematical Morphology and Its Applications to Signal and Image Processing, volume 7883 of Lecture Notes in Computer Science, pp 292-301, Springer Berlin/Heidelberg, 2013. (DOI).
  49. Duality based boundary conditions and dual consistent finite difference discretizations of the Navier–Stokes and Euler equations. Jens Berg and Jan Nordström. Technical report / Department of Information Technology, Uppsala University nr 2013-013, 2013. (External link).
  50. Duality based boundary treatment for the Euler and Navier-Stokes equations. Jens Berg and Jan Nordström. In Proc. 21st AIAA CFD Conference, volume 2013-2959 of Conference Proceeding Series, AIAA, 2013. (DOI).
  51. On the impact of boundary conditions on dual consistent finite difference discretizations. Jens Berg and Jan Nordström. In Journal of Computational Physics, volume 236, pp 41-55, 2013. (DOI).
  52. Stable and High-Order Finite Difference Methods for Multiphysics Flow ProblemsStabila finita differensmetoder med hög noggrannhetsordning för multifysik- och flödesproblem. Jens Berg. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1004, Acta Universitatis Upsaliensis, Uppsala, 2013. (fulltext).
  53. The Sino–Swedish Master Programme in Computer Science and Software Engineering: Chinese students' experiences. Anders Berglund, Neena Thota, and Yemao Man. In Collaborative Academic Programs as a Contribution to Developing Nations: FICAP-1 Proceedings, pp 37-45, BrownWalker Press, Boca Raton, Fl, USA, 2013. (External link, fulltext:postprint).
  54. Improving the stochastic watershed. Karl B. Bernander, Kenneth Gustavsson, Bettina Selig, Ida-Maria Sintorn, and Cris L. Luengo Hendriks. In Pattern Recognition Letters, volume 34, number 9, pp 993-1000, 2013. (DOI, fulltext:postprint).
  55. Deriving Probability Density Functions from Probabilistic Functional Programs. Sooraj Bhat, Johannes Borgström, Andrew D. Gordon, and Claudio Russo. In Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings, volume 7795 of Lecture Notes in Computer Science, pp 508-522, Springer Berlin/Heidelberg, Berlin/Heidelberg, 2013. (DOI, fulltext:postprint).
  56. Dual B-spline Snake for Interactive Myocardial Segmentation. Kevin Bianchi, Antoine Vacavant, Robin Strand, Pierre Terve, and Laurent Sarry. In , 2013.
  57. Flexible and High-Speed System-Level Performance Analysis using Hardware-Accelerated Simulation. Sascha Bischoff, Andreas Sandberg, Andreas Hansson, Sunwoo Dam, Ali Saidi, Matthew Horsnell, and Bashir Al-Hashimi. In , Design, Automation & Test in Europe (DATE), Grenoble, France, 2013. (fulltext:postprint).
  58. Resilience and Opportunistic Forwarding: Beyond Average Value Analysis. Fredrik Bjurefors, Merkourios Karaliopoulos, Christian Rohner, Paul Smith, George Theodoropoulos, and Per Gunningberg. In CHANTS '13 Proceedings of the 8th ACM MobiCom workshop on Challenged networks, 2013.
  59. Fast denoising techniques for transverse relaxation time estimation in MRI. Marcus Björk and Peter Stoica. In Proc. 21st European Signal Processing Conference, 2013. (PDF).
  60. Hot Packets: A systematic evaluation of the effect of temperature on low power wireless transceivers. Carlo Alberto Boano, Hjalmar Wennerström, Marco Antonio Zúñiga, James Brown, Chamath Keppitiyagama, Felix Jonathan Oppermann, Utz Roedig, Lars-Åke Nordén, Thiemo Voigt, and Kay Römer. In Proc. 5th Extreme Conference on Communication, pp 7-12, ACM Press, New York, 2013.
  61. ISMM 2013 - 11th International Symposium on Mathematical Morphology. Gunilla Borgefors. In IAPR Newsletter, volume 35, number 4, pp 15-16, 2013.
  62. A Parametric Tool for Applied Process Calculi. Johannes Borgström, Ramunas Gutkovas, Ioana Rodhe, and Björn Victor. In 13th International Conference on Application of Concurrency to System Design (ACSD 2013), International Conference on Application of Concurrency to System Design, pp 180-185, IEEE Computer Society, 2013. (DOI).
  63. Measure transformer semantics for Bayesian machine learning. Johannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, and Jurgen van Gael. In Logical Methods in Computer Science, volume 9, number 3, p 11, 2013. (DOI, arXiv page).
  64. Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics. Johannes Borgström and Bas Luttik (eds). Volume 120 of Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2013. (DOI, Fulltext).
  65. RELEASE: A high-level paradigm for reliable large-scale server software. Olivier Boudeville, Francesco Cesarini, Natalia Chechina, Kenneth Lundin, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon Thompson, Phil Trinder, and Ulf Wiger. In Trends in Functional Programming, volume 7829 of Lecture Notes in Computer Science, pp 263-278, Springer Berlin/Heidelberg, 2013. (DOI).
  66. A fast and reliable approach to cell nuclei segmentation in PAP stained cervical smears. Balakrishnan Bujy, Vilayil Sujathan, Patrik Malm, and Rajesh Kumar. In CSI Transactions on ICT, Springer India, 2013. (DOI, External link).
  67. Efficient GPU-based skyline computation. Kenneth S Bøgh, Ira Assent, and Matteo Magnani. In Proceedings of the Ninth International Workshop on Data Management on New Hardware (DaMoN @ SIGMOD), 2013. (DOI, External link).
  68. Design of depth of anesthesia controllers in the presence of model uncertainty. Daniela V. Caiado, Joao M. Lemos, Bertinho A. Costa, Margarida Martins da Silva, and Teresa Mendonça. In Proc. 21st Mediterranean Conference on Control and Automation, pp 213-218, 2013. (DOI).
  69. Existing but not explicit: The user perspective in Scrum projects in practice. Åsa Cajander, Marta Lárusdóttir, and Jan Gulliksen. In Human-Computer Interaction – INTERACT 2013: Part III, volume 8119 of Lecture Notes in Computer Science, pp 762-779, Springer Berlin/Heidelberg, 2013. (DOI).
  70. Computer science students’ perception of computer network security. Volkan Cambazoglu and Neena Thota. In Proc. 1st International Conference on Learning and Teaching in Computing and Engineering, pp 204-207, IEEE Computer Society, Los Alamitos, CA, 2013. (DOI, fulltext:postprint).
  71. Towards adaptive zero-knowledge protocols: A case study with Fiat–Shamir identification protocol. Volkan Cambazoglu and Christian Rohner. In Proc. 9th Swedish National Computer Networking Workshop, pp 67-70, 2013.
  72. DIAMOND: AdvanceD data management and InformAtics for the optimuM operatiON anD control of WWTPs. Bengt Carlsson and Mikel Maixa. In 11th IWA conference on Instrumentation, Control and Automation, 2013.
  73. Fault detection of sensors in aeration control systems: the airflow ratio method. Bengt Carlsson and Jesús Zambrano. In 11th IWA conference on Instrumentation, Control and Automation, 2013.
  74. Increasing the number of DO sensors for aeration control in wastewater treatment: how much is gained?. Bengt Carlsson and Johannes Nygren. In 11th IWA conference on Instrumentation, Control and Automation, 2013.
  75. Instrumentation, Control and Automation in wastewater—from London 1973 to Narbonne 2013. Bengt Carlsson and Gustaf Olsson. In 11th IWA conference on Instrumentation, Control and Automation, 2013.
  76. Long-term evaluation of full-scale ammonium control in three large WWTPs. Bengt Carlsson and Linda Åmand. In 11th IWA conference on Instrumentation, Control and Automation, 2013.
  77. Parameter scheduling in ammonium feedback control. Bengt Carlsson and Linda Åmand. In 11th IWA conference on Instrumentation, Control and Automation, 2013.
  78. Fördjupat lärande genom aktiverande examination. Sofia Cassel and Björn Victor. In 4:e Utvecklingskonferensen för Sveriges ingenjörsutbildningar, pp 51-54, 2013.
  79. Shared Resource Sensitivity in Task-Based Runtime Systems. Germán Ceballos and David Black-Schaffer. In Proceedings of the 6th Swedish Workshop on Multi-Core Computing, Halmstad University, Halmstad, Sweden, 2013. (Workshop website, fulltext:postprint).
  80. Efficient inter-core power and thermal balancing for multicore processors. Juan M. Cebrian, Daniel Sanchez, Juan L. Aragon, and Stefanos Kaxiras. In Computing, volume 95, number 7, pp 537-566, 2013. (DOI).
  81. Assume-guarantee reasoning for safe component behaviours. C. Chilton, Bengt Jonsson, and M. Kwiatkowska. In Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers, volume 7684 LNCS of Lecture Notes in Computer Science, pp 92-109, 2013. (DOI).
  82. An Algebraic Theory of Interface Automata. Chris Chilton, Bengt Jonsson, and Marta Kwiatkowska. University of Oxford, 2013. (External link).
  83. Systematic testing for detecting concurrency errors in Erlang programs. Maria Christakis, Alkis Gotovos, and Konstantinos Sagonas. In Proc. 6th International Conference on Software Testing, Verification and Validation, pp 154-163, IEEE Computer Society, 2013. (DOI).
  84. Bayesian Inference Using Data Flow Analysis. Guillaume Claret, Sriram Rajamani, Aditya Nori, Andrew D. Gordon, and Johannes Borgström. In ESEC/FSE '13: Proceedings of the 9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp 92-102, ACM Press, New York, NY, USA, 2013. (DOI).
  85. Beyond the Geneva Convention on the Treatment of Object Aliasing. Dave Clarke, James Noble, and Tobias Wrigstad. In Aliasing in Object-Oriented Programming: Types, Analysis, and Verification, volume 7850 of Lecture Notes in Computer Science, pp 1-6, Springer Berlin/Heidelberg, 2013. (DOI).
  86. Ownership Types: A Survey. Dave Clarke, Johan Östlund, Ilya Sergey, and Tobias Wrigstad. In Aliasing in Object-Oriented Programming: Types, Analysis, and Verification, volume 7850 of Lecture Notes in Computer Science, pp 15-58, Springer Berlin/Heidelberg, 2013. (DOI).
  87. Struntar regeringen i rätten till personlig integritet?. Göran Collste, Iordanis Kavathatzopoulos, and Elin Palm. In Svenska Dagbladet, volume 1 nov., Stockholm, 2013. (External link).
  88. Ranking function synthesis for bit-vector relations. Byron Cook, Daniel Kroening, Philipp Rümmer, and Christoph M. Wintersteiger. In Formal methods in system design, volume 43, number 1, pp 93-120, 2013. (DOI).
  89. Spatio-Temporal Keyword Queries in Social Networks. Vittoria Cozza, Antonio Messina, Danilo Montesi, Luca Arietta, and Matteo Magnani. In 17th East-European Conference on Advances in Databases and Information Systems (ADBIS), pp 70-83, 2013. (DOI, External link).
  90. Salience-Based Parabolic Structuring Functions. Vladimir Curic and Cris L. Luengo Hendriks. In Mathematical Morphology and Its Applications to Signal and Image Processing, volume 7883 of Lecture Notes in Computer Science, pp 183-194, Springer Berlin/Heidelberg, 2013. (DOI).
  91. Using open-ended group projects in HCI courses. Mats Daniels, Åsa Cajander, and Roger McDermott. In Challenges from the Future: Bridging the gaps through HCI education, University of Cape Town, South Africa, 2013.
  92. System and method for data classification and efficient virtual cache coherence without reverse translation. Mahdad Davari, Alberto Ros, and Stefanos Kaxiras. 2013.
  93. Control of shallow water and sediment continuity coupled system. Ababacar Diagne and Abdou Sène. In MCSS. Mathematics of Control, Signals and Systems, volume 25, pp 387-406, 2013. (DOI).
  94. The well-posedness of diffuse interface modeling of surfactants in two-phase fluid flow. Minh Do-Quang, Stefan Engblom, Anna-Karin Tornberg, and Gustav Amberg. In Wetting and Evaporation: Droplets of Pure and Complex Fluids, pp 80-81, Aix-Marseille Université, France, 2013.
  95. A new quantitative approach for estimating bone cell connections from nano-CT images. Pei Dong, Alexandra Pacureanu, Maria Zuluaga, Cecile Olivier, Frederique Frouin, Quentin Grimal, and Francoise Peyrin. In Engineering in Medicine and Biology Society (EMBC), 2013 35th Annual International Conference of the IEEE, pp 3694-3697, IEEE, 2013. (DOI).
  96. Let the Tree Bloom: Scalable Opportunistic Routing with ORPL. Simon Duquennoy, Olaf Landsiedel, and Thiemo Voigt. In , 2013.
  97. Boundary waves and stability of perfectly matched layers II: Extensions to first order systems and numerical stability. Kenneth Duru, Jeremy E. Kozdon, and Gunilla Kreiss. In Proc. 11th International Conference on Mathematical and Numerical Aspects of Waves, pp 301-302, ENIT, Tunisia, 2013.
  98. Stable and high order accurate difference methods for the elastic wave equation in discontinuous media. Kenneth Duru and Kristoffer Virta. In Proc. 11th International Conference on Mathematical and Numerical Aspects of Waves, pp 197-198, ENIT, Tunisia, 2013.
  99. Analysing the enacted object of learning in lab assignments in programming education. Anna Eckerdal and Michael Thuné. In Proc. 1st International Conference on Learning and Teaching in Computing and Engineering, pp 208-211, IEEE Computer Society, Los Alamitos, CA, 2013. (DOI, fulltext:postprint).
  100. Bandwidth Bandit: Quantitative Characterization of Memory Contention. David Eklöv, Nikos Nikoleris, David Black-Schaffer, and Erik Hagersten. In Proc. 11th International Symposium on Code Generation and Optimization: CGO 2013, pp 99-108, IEEE Computer Society, 2013. (DOI).
  101. An adaptive discontinuous Galerkin multiscale method for elliptic problems. Daniel Elfverson, Emmanuil H. Georgoulis, and Axel Målqvist. In Multiscale Modeling & simulation, volume 11, pp 747-765, 2013. (DOI).
  102. Convergence of a discontinuous Galerkin multiscale method. Daniel Elfverson, Emmanuil H. Georgoulis, Axel Målqvist, and Daniel Peterseim. In SIAM Journal on Numerical Analysis, volume 51, pp 3351-3372, 2013. (DOI).
  103. Discontinuous Galerkin multiscale methods for convection dominated problems. Daniel Elfverson and Axel Målqvist. Technical report / Department of Information Technology, Uppsala University nr 2013-011, 2013. (External link).
  104. On discontinuous Galerkin multiscale methods. Daniel Elfverson. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2013-003, Uppsala University, 2013. (fulltext).
  105. Scaffolding pedagogic excellence in higher education. Maja Elmgren, Staffan Andersson, Arnold Pears, and Stefan Pålsson. In Improving Student Learning through Research and Scholarship, pp 164-176, Oxford Brookes University, UK, 2013. (fulltext:print).
  106. On diffuse interface modeling and simulation of surfactants in two-phase fluid flow. Stefan Engblom, Minh Do-Quang, Gustav Amberg, and Anna-Karin Tornberg. In Communications in Computational Physics, volume 14, pp 879-915, 2013. (DOI).
  107. Well-posedness and stability of exact non-reflecting boundary conditions. Sofia Eriksson and Jan Nordström. In Proc. 21st AIAA CFD Conference, volume 2013-2960 of Conference Proceeding Series, AIAA, 2013. (DOI).
  108. Verbal reports and domain-specific knowledge: a comparison between collegial and retrospective verbalisation. Mikael Erlandsson and Anders Jansson. In Cognition, Technology & Work, volume 15, number 3, pp 239-254, Springer London, 2013. (DOI).
  109. Epithelial Cell Layer Segmentation UsingGraph-cut and Its Application in TesticularTissue. Azadeh Fakhrzadeh, Ellinor Spörndly-Nees, Lena Holm, and Cris L. Luengo Hendriks. In , 2013.
  110. Epithelial Cell Segmentation in Histological Images of Testicular Tissue Using Graph-Cut. Azadeh Fakhrzadeh, Ellinor Spörndly-Nees, Lena Holm, and Cris L. Luengo Hendriks. In Image Analysis and Processing – ICIAP 2013: Part II, volume 8157 of Lecture Notes in Computer Science, pp 201-208, 2013. (DOI).
  111. Convergence of methods for coupling of microscopic and mesoscopic reaction-diffusion simulations. Mark B. Flegg, Stefan Hellander, and Radek Erban. Technical report / Department of Information Technology, Uppsala University nr 2013-010, 2013. (External link).
  112. Automatic airspace sectorisation: A survey. Pierre Flener and Justin Pearson. Computing Research Repository nr 1311.0653, 2013. (External link).
  113. Stable calculation of Gaussian-based RBF-FD stencils. Bengt Fornberg, Erik Lehto, and Collin Powell. In Computers and Mathematics with Applications, volume 65, pp 627-637, 2013. (DOI).
  114. Dynamic landscapes: A model of context and contingency in evolution. David V. Foster, Mary M. Rorick, Tanja Gesell, Laura Marie Feeney, and Jacob G. Foster. In Journal of Theoretical Biology, volume 334, pp 162-172, 2013. (DOI).
  115. Generation of implied constraints for automaton-induced decompositions. María Andreína Francisco Rodríguez, Pierre Flener, and Justin Pearson. In Proc. 25th International Conference on Tools with Artificial Intelligence, pp 1076-1083, IEEE Computer Society, 2013. (DOI).
  116. Blind Color Decomposition of Histological Images. Milan Gavrilovic, Jimmy Azar, Joakim Lindblad, Carolina Wählby, Ewert Bengtsson, Christer Busch, and Ingrid Carlbom. In IEEE Transactions on Medical Imaging, volume 32, number 6, pp 983-994, 2013. (DOI).
  117. A socio-technical comparison of rail traffic control between GB and Sweden. David Golightly, Bengt Sandblad, Nastaran Dadashi, Arne W. Andersson, Simon Tschirner, and Sarah Sharples. In Rail Human Factors: Supporting reliability, safety and cost reduction, pp 367-376, Taylor & Francis, London, 2013. (fulltext:preprint).
  118. A Model-Learner Pattern for Bayesian Reasoning. Andrew D. Gordon, Mihhail Aizatulin, Johannes Borgström, Guillaume Claret, Thore Graepel, Aditya Nori, Sriram Rajamani, and Claudio Russo. In Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, volume 48 of ACM SIGPLAN NOTICES, pp 403-416, Association for Computing Machinery (ACM), New York, NY, 2013. (DOI).
  119. Adaptive fast multipole methods on the GPU. Anders Goude and Stefan Engblom. In Journal of Supercomputing, volume 63, pp 897-918, 2013. (DOI).
  120. A Riemann problem at a junction of open canals. Mouhamadou Samsidy Goudiaby and Gunilla Kreiss. In Journal of Hyperbolic Differential Equations, volume 10, pp 431-460, 2013. (DOI).
  121. A delayed feedback control for network of open canals. Mouhamadou Samsidy Goudiaby, Abdou Sene, and Gunilla Kreiss. In International Journal of Dynamics and Control, volume 1, pp 316-329, 2013. (DOI).
  122. Transcription factor binding kinetics constrain noise suppression via negative feedback. Andreas Grönlund, Per Lötstedt, and Johan Elf. In Nature Communications, volume 4, pp 1864:1-5, 2013. (DOI).
  123. Improving OCBP-based scheduling for mixed-criticality sporadic task systems. Chuancai Gu, Nan Guan, Qingxu Deng, and Wang Yi. In Proc. 19th International Conference on Embedded and Real-Time Computing Systems and Applications, IEEE Computer Society, 2013.
  124. FIFO cache analysis for WCET estimation: A quantitative approach. Nan Guan, Xinping Yang, Mingsong Lv, and Wang Yi. In Proc. 16th Conference on Design, Automation and Test in Europe, pp 296-301, IEEE, Piscataway, NJ, 2013. (DOI).
  125. Finitary Real-Time Calculus: Efficient Performance Analysis of Distributed Embedded Systems. Nan Guan and Wang Yi. In Proc. Real-Time Systems Symposium: RTSS 2013, IEEE Computer Society, 2013.
  126. New Techniques for Building Timing-Predictable Embedded Systems. Nan Guan. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1094, Acta Universitatis Upsaliensis, Uppsala, 2013. (fulltext, preview image).
  127. Time-Dependent Problems and Difference Methods. Bertil Gustafsson, Heinz-Otto Kreiss, and Joseph Oliger. John Wiley & Sons, Hoboken, NJ, 2013. (DOI).
  128. Characteristic cut finite element methods for convection-diffusion problems on time dependent surfaces. Peter Hansbo, Mats G. Larson, and Sara Zahedi. Technical report / Department of Information Technology, Uppsala University nr 2013-004, 2013. (External link).
  129. Optimising quality of information in data collection for mobile sensor networks. Farshid Hassani Bijarbooneh, Pierre Flener, Edith Ngai, and Justin Pearson. In Proc. 21st International Symposium on Quality of Service, pp 163-172, IEEE Communications Society, 2013. (DOI, Fulltext).
  130. Optimal RANSAC - Towards a Repeatable Algorithm for Finding the Optimal Set. Anders Hast and Johan Nysjö. In Journal of WSCG, volume 21, number 1, pp 21-30, 2013.
  131. Rotation Invariant Feature Matching - Based on Gaussian Filtered Log Polar Transform and Phase Correlation.. Anders Hast and Andrea Marchetti. In 8th International Symposium on Image and Signal Processing and Analysis: (ISPA 2013), pp 1-6, 2013.
  132. Shortest Diagonal Triangulation of Convex Layers. Anders Hast, Peter Jenke, and Stefan Seipel. In The IASTED International Conference on Signal Processing, Pattern Recognition and Applications., pp 1-7, 2013.
  133. UCHPC 2012: Fifth Workshop on UnConventional High Performance Computing. Anders Hast, Josef Weidendorfer, and Jan-Philipp Weiss. In Euro-Par 2012: Parallel Processing Workshops, volume 7640 of Lecture Notes in Computer Science, pp 505-506, Springer Berlin/Heidelberg, 2013. (DOI).
  134. Constraints for Membership in Formal Languages under Systematic Search and Stochastic Local Search. Jun He. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1027, Acta Universitatis Upsaliensis, Uppsala, 2013. (fulltext).
  135. Solving string constraints: The case for constraint programming. Jun He, Pierre Flener, Justin Pearson, and Wei Ming Zhang. In Principles and Practice of Constraint Programming: CP 2013, volume 8124 of Lecture Notes in Computer Science, pp 381-397, Springer Berlin/Heidelberg, 2013. (DOI).
  136. Underestimating the cost of a soft constraint is dangerous: Revisiting the edit-distance based soft regular constraint. Jun He, Pierre Flener, and Justin Pearson. In Journal of Heuristics, volume 19, number 5, pp 729-756, 2013. (DOI).
  137. Parallel implementation of the Sherman–Morrison matrix inverse algorithm. Xin He, Marcus Holm, and Maya Neytcheva. In Applied Parallel and Scientific Computing, volume 7782 of Lecture Notes in Computer Science, pp 206-219, Springer-Verlag, Berlin, 2013. (DOI).
  138. Droplet: A New Denial-of-Service Attack on Low Power Wireless Sensor Networks. Zhitao He and Thiemo Voigt. In , 2013.
  139. Single molecule simulations in complex geometries with embedded dynamic one-dimensional structures. Stefan Hellander. Technical report / Department of Information Technology, Uppsala University nr 2013-009, 2013. (External link).
  140. Single molecule simulations in complex geometries with embedded dynamic one-dimensional structures. Stefan Hellander. In Journal of Chemical Physics, volume 139, pp 014103:1-11, 2013. (DOI).
  141. Stochastic Simulation of Reaction-Diffusion Processes. Stefan Hellander. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1042, Acta Universitatis Upsaliensis, Uppsala, 2013. (fulltext).
  142. Oversampling for the multiscale finite element method. Patrick Henning and Daniel Peterseim. In Multiscale Modeling & simulation, volume 11, pp 1149-1175, 2013. (DOI).
  143. SoNIC: Classifying interference in 802.15.4 sensor networks. Frederik Hermans, Olof Rensfelt, Thiemo Voigt, Edith Ngai, Lars-Åke Nordén, and Per Gunningberg. In Proc. 12th International Conference on Information Processing in Sensor Networks, pp 55-66, ACM Press, New York, 2013. (DOI).
  144. Towards TCP Communication with the Low Power Wireless Bus. Kasun Hewage and Thiemo Voigt. In , ACM SenSys, ACM, 2013. (DOI, External link).
  145. Laguerre Domain Identification of the Elementary Motion Detector Model in Insect Vision. Egi Hidayat, Alexander Medvedev, and Karin Nordström. In Adaptation and Learning in Control and Signal Processing, pp 623-628, International Federation of Automatic Control, 2013. (DOI).
  146. On identification of elementary motion detectors. Egi Hidayat, Alexander Medvedev, and Karin Nordström. In Computational Models for Life Sciences: CMLS 2013, volume 1559 of AIP Conference Proceedings, pp 14-23, American Institute of Physics (AIP), Melville, NY, 2013. (DOI).
  147. Scientific computing on hybrid architectures. Marcus Holm. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2013-002, Uppsala University, 2013. (fulltext).
  148. Skitracker: Measuring skiing performance using a body-area network. Thomas Homewood, Christer Norström, and Per Gunningberg. In Proc. 12th International Conference on Information Processing in Sensor Networks, pp 319-320, ACM Press, New York, 2013. (DOI).
  149. Empowerment or anxiety?: Research on deployment of online medical e-health services in Sweden. Isto Huvila, Gunilla Myreteg, and Åsa Cajander. In Bulletin of the American Society for Information Science and Technology, volume 39, number 5, pp 30-33, 2013. (DOI).
  150. Experiences and attitudes of patients reading their medical records: Differences between readers and recurrent readers. Isto Huvila, Mats Daniels, Åsa Cajander, and Rose-Marie Åhlfeldt. In Information: Interactions and Impact (i<sup>3</sup>) 2013, Robert Gordon University, Aberdeen, UK, 2013.
  151. System identification in a networked environment using second order statistical properties. Yasir Irshad, Magnus Mossberg, and Torsten Söderström. In Automatica, volume 49, number 2, pp 652-659, 2013. (DOI).
  152. Automated quantification of Zebrafish tail deformation for high-throughput drug screening. Omer Ishaq, Joseph Negri, Mark-Anthony Bray, Alexandra Pacureanu, Randall T. Peterson, and Carolina Wählby. In Proc. 10th International Symposium on Biomedical Imaging: From Nano to Macro, pp 902-905, IEEE, Piscataway, NJ, 2013. (DOI).
  153. Image-based screening of zebrafish. Omer Ishaq, Joseph Negri, Mark-Bray Anthony, Alexandra Pacureanu, Randall Peterson, and Carolina Wählby. In , 2013.
  154. Light Tomography. Omer Ishaq, Alexandra Pacureanu, and Carolina Wählby. In , 2013.
  155. Analysis of nuclei textures of fine needle aspirated cytology images for breast cancer diagnosis using complex Daubechies wavelets. Swamidoss Issac Niwas, P. Palanisamy, K. Sujathan, and Ewert Bengtsson. In Signal Processing, volume 93, number 10, pp 2828-2837, 2013. (DOI).
  156. Automated classification of immunostaining patterns in breast tissue from the Human Protein Atlas. Swamidoss Issac Niwas, Andreas Kårsnäs, Virginie Uhlmann, Palanisamy Ponnusamy, Caroline Kampf, Martin Simonsson, Carolina Wählby, and Robin Strand. In Journal of Pathology Informatics, volume 4, number 14, 2013. (DOI, External link).
  157. Color deconvolution method for breast tissue core biopsy images cell nuclei detection and analysis using multiresolution techniques. Swamidoss Issac Niwas, P. Palanisamy, and Ewert Bengtsson. In International Journal of Imaging and Robotics, volume 9, number 1, pp 61-72, 2013.
  158. Comparing wireless flooding protocols using trace-based simulations. Martin Jacobsson and Christian Rohner. In EURASIP Journal on Wireless Communications and Networking, pp 169:1-15, 2013. (DOI, Fulltext, fulltext:print).
  159. Evolving Systems – Engaged Users: Key Principles for Improving Region-wide Health IT Adoption. Rebecka Janols. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1030, Acta Universitatis Upsaliensis, Uppsala, 2013. (fulltext).
  160. Interpretation of the Concepts of Enterprise-wide and Best of Breed IT within the New Zealand eHealth Community. Rebecka Janols, Karen Day, and Martin Orr. In Health Care and Informatics Review Online, volume 17, number 1, pp 11-17, 2013.
  161. Secondary Users Interpretations on Key Concerns for Achieving an Effective and Efficient Region-wide Electronic Patient Record Usage. Rebecka Janols and Bengt Göransson. In The 21st European Conference on Information Systems (ECIS 2013), AIS Electronic Library, 2013.
  162. Collegial collaboration for safety: Assessing situation awareness by exploring cognitive strategies. Anders Jansson, Mikael Erlandsson, Camilla Fröjd, and Marcus Arvidsson. In Past History and Future Challenges of Human Work Interaction Design (HWID): Generating Cross-domain Knowledge about Connecting Work Analysis and Interaction Design, Workshop Proceedings Series of the INTERACT 2013 Conference, pp 35-40, 2013. (fulltext:print).
  163. En resa genom tänkandets labyrinter. Anders Jansson. In Uppsala Nya Tidning, volume 02/04, Uppsala, 2013. (External link).
  164. Recognizing complexity: A prerequisite for skilled intuitive judgments and dynamic decisions. Anders Jansson and Mikael Erlandsson. In SPUDM24: Subjective Probability, Utility, and Decision Making, p 194, 2013. (Conference website, fulltext:postprint).
  165. Non-parametric analysis of eye-tracking data by anomaly detection. Daniel Jansson, Olov Rosén, and Alexander Medvedev. In Proc. 12th European Control Conference, pp 632-637, IEEE, 2013.
  166. Parametric and non-parametric stochastic anomaly detection in analysis of eye-tracking data. Daniel Jansson and Alexander Medvedev. In Proc. 52nd Conference on Decision and Control, pp 2532-2537, IEEE, Piscataway, NJ, 2013. (DOI).
  167. Stochastic anomaly detection in eye-tracking data for quantification of motor symptoms in Parkinson's disease. Daniel Jansson, Alexander Medvedev, Hans Axelson, and Dag Nyholm. In International Symposium on Computational Models for Life Sciences: CMLS 2013, volume 1559 of AIP Conference Proceedings, pp 98-107, American Institute of Physics (AIP), Melville, NY, 2013. (DOI).
  168. Visual stimulus design in parameter estimation of the human smooth pursuit system from eye-tracking data. Daniel Jansson and Alexander Medvedev. In Proc. American Control Conference: ACC 2013, pp 887-892, American Automatic Control Council, 2013. (DOI).
  169. Finite element convergence for the Joule heating problem with mixed boundary conditions. Max Jensen and Axel Målqvist. In BIT Numerical Mathematics, volume 53, pp 475-496, 2013. (DOI).
  170. Dynamic and speculative polyhedral parallelization of loop nests using binary code patterns. Alexandra Jimborean, Philippe Clauss, Jean-François Dollinger, Vincent Loechner, and Juan Manuel Martinez Caamaño. In ICCS 2013, volume 18 of Procedia Computer Science, pp 2575-2578, 2013. (DOI, fulltext:postprint).
  171. Online dynamic dependence analysis for speculative polyhedral parallelization. Alexandra Jimborean, Philippe Clauss, Juan Manuel Martinez Caamaño, and Aravind Sukumaran-Rajam. In Euro-Par 2013 Parallel Processing, volume 8097 of Lecture Notes in Computer Science, pp 191-202, Springer Berlin/Heidelberg, 2013. (DOI, fulltext:postprint).
  172. Swelling of cellulose fibres in composite materials: Constraint effects of the surrounding matrix. Thomas Joffre, Erik L. G. Wernersson, Arttu Miettinen, Cris L. Luengo Hendriks, and E. Kristofer Gamstedt. In Composites Science And Technology, volume 74, pp 52-59, 2013. (DOI).
  173. Detecting multiple aliases in social media. Fredrik Johansson, Lisa Kaati, and Amendra Shrestha. In Proc. 5th International Conference on Advances in Social Networks Analysis and Mining, pp 1004-1011, ACM Press, New York, 2013. (DOI).
  174. Airspace sectorisation using constraint-based local search. Peter Jägare, Pierre Flener, and Justin Pearson. In Proc. 10th USA/Europe Air Traffic Management Research and Development Seminar, Federal Aviation Administration, 2013. (fulltext:postprint).
  175. A quadratic extended edge-finding filtering algorithm for cumulative resource constraints. Roger Kameugne, Laure Pauline Fotso, and Joseph Scott. In International Journal of Planning and Scheduling, volume 1, number 4, pp 264-284, 2013. (DOI).
  176. Angle of arrival localization in LTE using MIMO pre-coder index feedback. Ari Kangas and Torbjörn Wigren. In IEEE Communications Letters, volume 17, number 8, pp 1584-1587, 2013. (DOI).
  177. Can machines make ethical decisions?. Iordanis Kavathatzopoulos and Ryoko Asai. In Artificial Intelligence Applications and Innovations, volume 412 of IFIP Advances in Information and Communication Technology, pp 693-699, Springer Berlin/Heidelberg, 2013. (DOI).
  178. How to handle issues of security and privacy. Iordanis Kavathatzopoulos. In ICT-ethics: Sweden and Japan, volume 15 of Studies in Applied Ethics, pp 54-60, LiU Tryck, Linköping, 2013.
  179. IT security and sustainability. Iordanis Kavathatzopoulos and Ryoko Asai. In ICT for Sustainability: Sustainability, Social Accountability and Computing, ETH, Zurich, 2013. (External link).
  180. Methods for IT security and privacy. Iordanis Kavathatzopoulos and Ryoko Asai. In ICT, society and human beings, pp 155-158, IADIS Press, Prague, 2013.
  181. Philosophizing as a usability method. Iordanis Kavathatzopoulos. In Ambiguous Technologies: Philosophical Issues, Practical Solutions, Human Nature, pp 194-201, The International Society of Ethics and Information Technology, Lisbon, 2013. (External link).
  182. Tools and methods for security: Stimulating the skill to philosophize. Iordanis Kavathatzopoulos, Ryoko Asai, and Mikael Laaksoharju. In European Intelligence and Security Informatics Conference: 2013, pp 163-165, IEEE Computer Society, 2013. (DOI).
  183. A New Perspective for Efficient Virtual-Cache Coherence. Stefanos Kaxiras and Alberto Ros. In Proceedings of the 40th Annual International Symposium on Computer Architecture, pp 535-546, 2013. (DOI).
  184. In situ sequencing for RNA analysis in preserved tissue and cells. Rongqin Ke, Marco Mignardi, Alexandra Pacureanu, Jessica Svedlund, Johan Botling, Carolina Wählby, and Mats Nilsson. In Nature Methods, volume 10, number 9, pp 857-860, 2013. (DOI).
  185. Large-Scale Analysis of Live Cells. Sajith Kecheril Sadanandan and Carolina Wählby. In , Lund University, 2013. (fulltext:print).
  186. Shape and volume of craniofacial cavities in intentional skull deformations. R H Khonsari, M. Friess, Johan Nysjö, G. Odri, Filip Malmberg, Ingela Nyström, Elias Messo, Jan M Hirsch, E A M Cabanis, K H Kunzelmann, J M Salagnac, P. Corre, A. Ohazama, P T Sharpe, P. Charlier, and R. Olszewski. In American Journal of Physical Anthropology, volume 151, number 1, pp 110-119, 2013. (DOI).
  187. Accelerated convergence for Schrödinger equations with non-smooth potentials. Emil Kieri. Technical report / Department of Information Technology, Uppsala University nr 2013-007, 2013. (External link).
  188. Coupling of Gaussian beam and finite difference solvers for semiclassical Schrödinger equations. Emil Kieri, Gunilla Kreiss, and Olof Runborg. Technical report / Department of Information Technology, Uppsala University nr 2013-019, 2013. (External link).
  189. Numerical Quantum Dynamics. Emil Kieri. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2013-005, Uppsala University, 2013. (fulltext).
  190. On the scalability of the Erlang term storage. David Klaftenegger, Konstantinos Sagonas, and Kjell Winblad. In Proc. 12th ACM SIGPLAN Workshop on Erlang, pp 15-26, ACM Press, New York, 2013. (DOI).
  191. A Galerkin radial basis function method for the Schrödinger equation. Katharina Kormann and Elisabeth Larsson. In SIAM Journal on Scientific Computing, volume 35, pp A2832-A2855, 2013. (DOI).
  192. Towards Power Efficiency on Task-Based, Decoupled Access-Execute Models. Konstantinos Koukos, David Black-Schaffer, Vasileios Spiliopoulos, and Stefanos Kaxiras. In PARMA 2013, 4th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures, 2013. (Conference website, fulltext:postprint).
  193. Towards more efficient execution: a decoupled access-execute approach. Konstantinos Koukos, David Black-Schaffer, Vasileios Spiliopoulos, and Stefanos Kaxiras. In Proc. 27th ACM International Conference on Supercomputing, pp 253-262, ACM Press, New York, 2013. (DOI, fulltext:print).
  194. Femtosecond pump-probe spectroscopy for single trapped molecular ions. Markus Kowalewski, Steffen Kahra, Günther Leschhorn, Tobias Schätz, and Regina de Vivie-Riedle. In Proc. 18th International Conference on Ultrafast Phenomena, volume 41 of EPJ Web of Conferences, pp 02028:1-3, EDP Sciences, 2013. (DOI).
  195. Errors-in-variables identification using covariance matching and structural equation modeling. David Kreiberg, Torsten Söderström, and Fan Yang-Wallentin. In Proc. 52nd Conference on Decision and Control, pp 5852-5857, IEEE, Piscataway, NJ, 2013. (DOI).
  196. Boundary waves and stability of perfectly matched layers I. Gunilla Kreiss and Kenneth Duru. In Proc. 11th International Conference on Mathematical and Numerical Aspects of Waves, pp 299-300, ENIT, Tunisia, 2013.
  197. Discrete stability of perfectly matched layers for anisotropic wave equations in first and second order formulation. Gunilla Kreiss and Kenneth Duru. In BIT Numerical Mathematics, volume 53, pp 641-663, 2013. (DOI).
  198. Evaluation of noise robustness for local binary pattern descriptors in texture classification. Gustaf Kylberg and Ida-Maria Sintorn. In EURASIP Journal on Image and Video Processing, number 17, Springer, 2013. (DOI, Fulltext, fulltext:print).
  199. Democracy, human fallibility and ICT. Mikael Laaksoharju and Iordanis Kavathatzopoulos. In The possibilities of ethical ICT, pp 295-301, University of Southern Denmark, Kolding, 2013.
  200. A Symbolic Approach to the Analysis of Multi-Formalism Markov Reward Models. Kai Lampka and Markus Siegle. In Theory and Application of Multi-Formalism Modeling, IGI Global, Pennsylvania, 2013. (External link).
  201. Component-based system design: analytic real-time interfaces for state-based component implementations. Kai Lampka, Simon Perathoner, and Lothar Thiele. In International Journal on Software Tools for Technology Transfer (STTT), volume 15, number 3, pp 155-170, Springer Berlin/Heidelberg, 2013. (DOI).
  202. With Real-time Performance Analysis and Monitoring to Timing Predictable Use of Multi-core Architectures. Kai Lampka. In Runtime Verification, volume 8174 of Lecture Notes in Computer Science, pp 400-402, Springer Berlin/Heidelberg, 2013.
  203. Brain pathology after mild traumatic brain injury: An exploratory study by repeated magnetic resonance examination. Marianne Lannsjö, Raili Raininko, Mariana Bustamante, Charlotta von Seth, and Jörgen Borg. In Journal of Rehabilitation Medicine, volume 45, number 8, pp 721-728, 2013. (DOI, Fulltext).
  204. A variational multiscale method for Poisson's equation in mixed form. Mats G. Larson, Axel Målqvist, and Robert Söderlund. In Numerical Mathematics and Advanced Applications: 2011, pp 713-721, Springer-Verlag, Berlin, 2013. (DOI).
  205. Gender-aware course reform in Scientific Computing. Elisabeth Larsson, Stefan Pålsson, Jarmo Rantakokko, Lina von Sydow, and Michael Thuné. In International journal of engineering education, volume 29, number 2, pp 403-414, 2013.
  206. Radial basis function methods in computational finance. Elisabeth Larsson, Sônia M. Gomes, Alfa Heryudono, and Ali Safdari-Vaighani. In Proc. 13th International Conference on Computational and Mathematical Methods in Science and Engineering: Volume III, pp 895-906, Universidad de Almería, Spain, 2013.
  207. Skors skönhet ur en matematikers perspektiv. Elisabeth Larsson. In Skor är huvudsaken: Sjutton kvinnliga forskares funderingar om skor, pp 30-31, Uppsala universitet, 2013.
  208. Stable computation of differentiation matrices and scattered node stencils based on Gaussian radial basis functions. Elisabeth Larsson, Erik Lehto, Alfa Heryudono, and Bengt Fornberg. In SIAM Journal on Scientific Computing, volume 35, pp A2096-A2119, 2013. (DOI).
  209. Uplink load based scheduling for CDMA systems. Katrina Lau, Graham C. Goodwin, Erik Geijer-Lundin, Torbjörn Wigren, and Stephen Craig. In IEEE Communications Letters, volume 17, number 11, pp 2136-2139, 2013. (DOI).
  210. Preface: e-Science Applications and Tools. Erwin Laure and Sverker Holmgren. In Future generations computer systems, volume 29, number 8, pp 2115-2116, 2013. (DOI).
  211. Perceived 3D metric (or Euclidean) shape is merely ambiguous, not systematically distorted. Young Lim Lee, Mats Lind, and Geoffrey P. Bingham. In Experimental Brain Research, volume 224, number 4, pp 551-555, 2013. (DOI).
  212. Coverage segmentation of thin structures by linear unmixing and local centre of gravity attraction. Kristína Lidayová, Joakim Lindblad, Nataša Sladoje, and Hans Frimmel. In Proc. 8th International Symposium on Image and Signal Processing and Analysis, pp 83-88, IEEE Signal Processing Society, 2013. (DOI).
  213. Införande av verksamhetsstödjande IT-system: Problem, effekter och nytta. Thomas Lind, Fredrik Brattlöf, Åsa Cajander, Bengt Sandblad, Bengt Göransson, and Anders Jansson. Technical report / Department of Information Technology, Uppsala University nr 2013-024, 2013. (External link).
  214. Mind the gap: Towards a framework for analysing the deployment of IT systems from a sociotechnical perspective. Thomas Lind and Åsa Cajander. In Past History and Future Challenges of Human Work Interaction Design: Generating Cross-domain Knowledge about Connecting Work Analysis and Interaction Design, pp 28-33, University of Cape Town, South Africa, 2013.
  215. A Skiplist-based Concurrent Priority Queue with Minimal Memory Contention. Jonatan Lindén and Bengt Jonsson. In OPODIS 2013: 17th International Conference On Principles Of DIstributed Systems, volume 8304 of Lecture Notes in Computer Science, pp 206-220, Springer Berlin/Heidelberg, Berlin, 2013. (DOI, External link).
  216. Interactive visual simulation for photovoltaic design and planning in the built environment. David Lingfors, Joakim Widén, and Stefan Seipel. In , 2013.
  217. A cellular-centric service architecture for machine-to-machine (M2M) communications. Anthony Lo, Yee Wei Law, and Martin Jacobsson. In IEEE wireless communications, volume 20, number 5, pp 143-151, IEEE Communications Society, 2013. (DOI).
  218. Identifying all individuals in a honeybee hive: progress towards mapping all social interactions. Cris L. Luengo Hendriks, Zi Quan Yu, Antoine Lecocq, Teatske Bakker, Barbara Locke, and Olle Terenius. In , 2013.
  219. Mathematical Morphology and Its Applications to Signal and Image Processing: 11th International Symposium, ISMM 2013; Uppsala, Sweden, May 2013; Proceedings. Cris L. Luengo Hendriks, Gunilla Borgefors, and Robin Strand (eds). Volume 7883 of Lecture Notes in Computer Science, Springer, Berlin Heidelberg, 2013. (DOI).
  220. A priori power estimation of linear solvers on multi-core processors. Dimitar Lukarski and Tobias Skoglund. Technical report / Department of Information Technology, Uppsala University nr 2013-020, 2013. (External link).
  221. Suggesting a method to increase student activity and cultural awareness by inclusion of ethnographical elements in HCI education. Anette Löfström. In Challenges from the Future: Bridging the gaps through HCI education, University of Cape Town, South Africa, 2013.
  222. Using the intranet as a leadership strategy... and moving on. Anette Löfström. In Abstracts. Arbetslivets föränderlighet: Individ-, Organisations- och Metodperspektiv, Stockholm, 2013.
  223. Network-Wide Sensornet Checkpointing Made Practical. Andreas Löscher, Nicolas Tsiftes, Thiemo Voigt, and Vlado Handziski. In 10th European Conference on Wireless Sensor Networks, 2013.
  224. Factors Enabling Information Propagation in a Social Network Site. Matteo Magnani, Danilo Montesi, and Luca Rossi. In The Influence of Technology on Social Network Analysis and Mining, pp 411-426, Springer Vienna, 2013. (DOI, External link).
  225. Formation of multiple networks. Matteo Magnani and Luca Rossi. In Social Computing, Behavioral-Cultural Modeling and Prediction, pp 257-264, Springer Berlin Heidelberg, 2013. (DOI, External link).
  226. From stars to galaxies: skyline queries on aggregate data. Matteo Magnani and Ira Assent. In Proceedings of the 16th International Conference on Extending Database Technology, pp 477-488, 2013. (DOI, External link).
  227. On multidimensional network measures. Matteo Magnani, Anna Monreale, Giulio Rossetti, and Fosca Giannotti. In Italian Conference on Sistemi Evoluti per le Basi di Dati (SEBD), 2013.
  228. Pareto Distance for Multi-layer Network Analysis. Matteo Magnani and Luca Rossi. In Social Computing, Behavioral-Cultural Modeling and Prediction, volume 7812 of Lecture Notes in Computer Science, pp 249-256, 2013. (DOI, External link).
  229. SkyView: a user evaluation of the skyline operator. Matteo Magnani, Ira Assent, Kasper Hornbæ k, Mikkel R. Jakobsen, and Ken Friis Larsen. In Proceedings of the ACM Conference on Information and Knowledge Management (CIKM), pp 2249-2254, 2013. (DOI, External link).
  230. Debris removal in Pap-smear images. Patrik Malm, Byju N. Balakrishnan, Vilayil K. Sujathan, Rajesh Kumar, and Ewert Bengtsson. In Computer Methods and Programs in Biomedicine, volume 111, number 1, pp 128-138, 2013. (DOI, Fulltext).
  231. Image Analysis in Support of Computer-Assisted Cervical Cancer Screening. Patrik Malm. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1106, Acta Universitatis Upsaliensis, Uppsala, 2013. (fulltext, preview image).
  232. Multi-resolution Cervical Cell Dataset. Patrik Malm. External report (Blue series) nr 37, Centre for Image Analysis, Swedish University of Agricultural Sciences, Uppsala, Sweden, 2013. (fulltext).
  233. Faster Fuzzy Connectedness via Precomputation. Filip Malmberg and Robin Strand. In Mathematical Morphology and Its Applications to Signal and Image Processing, volume 7883 of Lecture Notes in Computer Science, pp 476-483, Springer, 2013.
  234. Quantification of the multiplicative uncertainty in the linearized minimally parameterized parsimonious Wiener model for the neuromuscular blockade in closed-loop anesthesia. Margarida Martins da Silva, Torbjörn Wigren, Alexander V. Medvedev, and Teresa Mendonça. In Proc. 21st Mediterranean Conference on Control and Automation, pp 703-708, IEEE, Piscataway, NJ, 2013. (DOI).
  235. A solution to the stability issues with block norm summation by parts operators. Ken Mattsson and Martin Almquist. In Journal of Computational Physics, volume 253, pp 418-442, 2013. (DOI).
  236. Optimal diagonal-norm SBP operators. Ken Mattsson, Martin Almquist, and Mark H. Carpenter. Technical report / Department of Information Technology, Uppsala University nr 2013-016, 2013. (External link).
  237. Stable and accurate wave simulations in complex geometries and discontinuous media. Ken Mattsson, Martin Almquist, and Stefan Engblom. In Proc. 11th International Conference on Mathematical and Numerical Aspects of Waves, pp 201-202, ENIT, Tunisia, 2013.
  238. Modeling of testosterone regulation by pulse-modulated feedback: An experimental data study. Per Mattsson and Alexander Medvedev. In International Symposium on Computational Models for Life Sciences: CMLS 2013, volume 1559 of AIP Conference Proceedings, pp 333-342, American Institute of Physics (AIP), Melville, NY, 2013. (DOI).
  239. State estimation in linear time-invariant systems with unknown impulsive inputs. Per Mattsson and Alexander Medvedev. In Proc. 12th European Control Conference, pp 1675-1680, IEEE, 2013.
  240. Can first-year students program yet?: a study revisited. Robert McCartney, Jonas Boustedt, Anna Eckerdal, Kate Sanders, and Carol Zander. In Proc. 9th International Computing Education Research Conference, pp 91-98, ACM Press, New York, 2013. (DOI).
  241. Contemplations on results from investigating the personal epistemology of computing students. Roger McDermott, Iain Pirie, Åsa Cajander, Mats Daniels, and Cary Laxer. In Proc. 43rd ASEE/IEEE Frontiers in Education Conference, pp 825-831, IEEE, Piscataway, NJ, 2013. (DOI).
  242. Investigation into the personal epistemology of Computer Science students. Roger McDermott, Iain Pirie, Åsa Cajander, Mats Daniels, and Cary Laxer. In Proc. 18th Conference on Innovation and Technology in Computer Science Education, pp 231-236, ACM Press, New York, 2013. (DOI).
  243. Stochastic diffusion processes on Cartesian meshes. Lina Meinecke and Per Lötstedt. Technical report / Department of Information Technology, Uppsala University nr 2013-022, 2013. (External link).
  244. Supporting cyber-physical systems with wireless sensor networks: An outlook of software and services. Prasant Misra, Luca Mottola, Shahid Raza, Simon Duquennoy, Nicolas Tsiftes, Joel Höglund, and Thiemo Voigt. In Journal of the Indian Institute of Science, volume 93, number 3, pp 463-486, 2013.
  245. A parametric propagator for discretely convex pairs of sum constraints. Jean-Noël Monette, Nicolas Beldiceanu, Pierre Flener, and Justin Pearson. In Principles and Practice of Constraint Programming: CP 2013, volume 8124 of Lecture Notes in Computer Science, pp 529-544, Springer Berlin/Heidelberg, 2013. (DOI).
  246. Des propagateurs indépendants des solveurs. Jean-Noël Monette, Pierre Flener, and Justin Pearson. In Actes des Neuvièmes Journées Francophones de Programmation par Contraintes, pp 227-236, Aix-Marseille Université, France, 2013.
  247. Electronically-switched Directional Antennas for Wireless Sensor Networks: A Full-stack Evaluation. Luca Mottola, Thiemo Voigt, and G. P. Picco. In IEEE SECON, 2013.
  248. Executable modelling of dynamic software product lines in the ABS language. Radu Muschevici, Dave Clarke, and José Proenca. In Proc. 5th International Workshop on Feature-Oriented Software Development, pp 17-24, ACM Press, New York, 2013. (DOI, fulltext:postprint).
  249. Numerical upscaling of eigenvalue problems. Axel Målqvist and Daniel Peterseim. In Numerical Upscaling for Media with Deterministic and Stochastic Heterogeneity, volume 10 of Oberwolfach Reports, pp 402-404, EMS Publishing House, Zürich, Switzerland, 2013. (DOI).
  250. Majorization-minimization technique for multi-static radar code design. Mohammad Mahdi Naghsh, Mahmoud Modarres-Hashemi, Shahram ShahbazPanahi, Mojtaba Soltanalian, and Peter Stoica. In , 2013.
  251. Radar code optimization for moving target detection. Mohammad Mahdi Naghsh, Mojtaba Soltanalian, Peter Stoica, and Mahmoud Modarres-Hashemi. In , 2013.
  252. Unified Optimization Framework for Multi-Static Radar Code Design using Information-Theoretic Criteria. Mohammad Mahdi Naghsh, Mahmoud Modarres-Hashemi, Shahram ShahbazPanahi, Mojtaba Soltanalian, and Peter Stoica. In IEEE Transactions on Signal Processing, volume 61, number 21, pp 5401-5416, 2013. (DOI).
  253. MAPfastR: Quantitative trait loci mapping in outbred line crosses. Ronald M. Nelson, Carl Nettelblad, Mats E. Pettersson, Xia Shen, Lucy Crooks, François Besnier, José Álvarez-Castro, Lars Rönnegård, Weronica Ek, Zheya Sheng, Marcin Kierczak, Sverker Holmgren, and Örjan Carlborg. In G3: Genes, Genomes, Genetics, volume 3, pp 2147-2149, 2013. (DOI, Fulltext).
  254. Breakdown of methods for phasing and imputation in the presence of double genotype sharing. Carl Nettelblad. In PLoS ONE, volume 8, pp e60354:1-5, 2013. (DOI, fulltext:print).
  255. Fast and accurate detection of multiple quantitative trait loci. Carl Nettelblad, Behrang Mahjani, and Sverker Holmgren. In Journal of Computational Biology, volume 20, pp 687-702, 2013. (DOI).
  256. Multi-Mode Monitoring for Mixed-Criticality Real-time Systems. Moritz Neukirchner, Kai Lampka, Sophie Quinton, and Rolf Ernst. In Proc. 11th International Conference on Hardware/Software Codesign and System Synthesis, ACM Press, New York, 2013.
  257. On providing location privacy for mobile sinks in wireless sensor networks. Edith C.-H. Ngai and Ioana Rodhe. In Wireless networks, volume 19, number 1, pp 115-130, 2013. (DOI).
  258. Cooperative localization by dual foot-mounted inertial sensors and inter-agent ranging. John-Olof Nilsson, Dave Zachariah, Isaac Skog, and Peter Händel. In EURASIP Journal on Advances in Signal Processing, volume 2013, pp 164:1-17, 2013. (DOI).
  259. Kinematic, kinetic and electromyographic adaptation to speed and resistance in double poling cross country skiing. Johnny Nilsson, Fredrik Tinmark, Kjartan Halvorsen, and Anton Arndt. In European Journal of Applied Physiology, volume 113, number 6, pp 1385-1394, 2013. (DOI).
  260. A New Algorithm for Computing Riemannian Geodesic Distance in Rectangular 2-D and 3-D Grids. Ola Nilsson, Martin Reimers, Ken Museth, and Anders Brun. In International journal on artificial intelligence tools, volume 22, number 6, p 1360020, World Scientific, 2013. (DOI).
  261. High order stable finite difference methods for the Schrödinger equation. Anna Nissen, Gunilla Kreiss, and Margot Gerritsen. In Journal of Scientific Computing, volume 55, pp 173-199, 2013. (DOI).
  262. On Packet Size and Error Correction Optimisations in Low-Power Wireless Networks. Claro Noda, Shashi Prabh, Mario Alves, and Thiemo Voigt. In IEEE International Conference on Sensing, Communication and Networking (IEEE SECON), 2013.
  263. Intracranial volume estimated with commonly used methods could introduce bias in studies including brain volume measurements. Richard Nordenskjöld, Filip Malmberg, Elna-Marie Larsson, Andrew Simmons, Samantha J. Brooks, Lars Lind, Håkan Ahlström, Lars Johansson, and Joel Kullberg. In NeuroImage, volume 83, pp 355-360, 2013. (DOI).
  264. Conjugate heat transfer for the unsteady compressible Navier–Stokes equations using a multi-block coupling. Jan Nordström and Jens Berg. In Computers & Fluids, volume 72, pp 20-29, 2013. (DOI).
  265. Parameter estimation from wave propagation tests on a tube perforated by helical slots. Hans Norlander, Urmas Valdek, Bengt Lundberg, and Torsten Söderström. In Mechanical systems and signal processing, volume 40, number 1, pp 385-399, 2013. (DOI).
  266. Digital Distances and Integer Sequences. Nicolas Normand and Robin Strand. In Lecture Notes in Computer Science, pp 169-179, 2013.
  267. Minimal-delay distance transform for neighborhood-sequence distances in 2D and 3D. Nicolas Normand, Robin Strand, Pierre Evenou, and Aurore Arlicot. In Computer Vision and Image Understanding, volume 117, number 4, pp 409-417, 2013. (DOI).
  268. Novice students' perception of learning in small groups. Aletta Nylén and Karl Marklund. In Enhancement and Innovation in Higher Education conference: 11 - 13 June 2013: conference materials, pp 123-131, 2013. (Post-conference publication).
  269. Professional communication skills for engineering professionals. Aletta Nylén and Arnold Pears. In Proc. 43rd ASEE/IEEE Frontiers in Education Conference, pp 257-263, IEEE, Piscataway, NJ, 2013. (DOI).
  270. Using Competencies to Structure Scientific Writing Education. Aletta Nylén and Christina Dörge. In HDI 2012 – Informatik für eine nachhaltige Zukunft, volume 5 of Commentarii informaticae didacticae (CID), pp 33-44, Universitätsverlag Potsdam, Potsdam, 2013. (External link).
  271. Precise 3D Angle Measurements in CT Wrist Images. Johan Nysjö, Albert Christersson, Ida-Maria Sintorn, Ingela Nyström, Sune Larsson, and Filip Malmberg. In Image Analysis and Processing – ICIAP 2013: Part II, volume 8157 of Lecture Notes in Computer Science, pp 479-488, Springer Berlin/Heidelberg, 2013. (DOI).
  272. Challenges from the Future: Bridging the Gaps through HCI Education. Lars Oestreicher and Paula Alexandra Silva. In Human-Computer Interaction – INTERACT 2013: Part IV, volume 8120 of Lecture Notes in Computer Science, pp 779-779, Springer Berlin/Heidelberg, 2013.
  273. A haptics-assisted cranio-maxillofacial surgery planning system for restoring skeletal anatomy in complex trauma cases. Pontus Olsson, Fredrik Nysjö, Jan-Michaél Hirsch, and Ingrid B. Carlbom. In International Journal of Computer Assisted Radiology and Surgery, volume 8, number 6, pp 887-894, 2013. (DOI, fulltext:print).
  274. Snap-to-fit, a Haptic 6 DOF Alignment Tool for Virtual Assembly. Pontus Olsson, Fredrik Nysjö, Jan-Michaél Hirsch, and Ingrid B. Carlbom. In Proc. World Haptics (WHC), 2013 IEEE, pp 205-210, 2013. (DOI).
  275. SplineGrip - An Eight Degrees-of-Freedom Flexible Haptic Sculpting Tool. Pontus Olsson, Fredrik Nysjö, Björn Aneer, Stefan Seipel, and Ingrid B. Carlbom. In ACM SIGGRAPH 2013 Posters, 2013. (DOI).
  276. Adaptive filtering for enhancement of the osteocyte cell network in 3D microtomography images. Alexandra Pacureanu, A. Larrue, M. Langer, C. Olivier, C. Muller, M. -H Lafage-Proust, and F. Peyrin. In IRBM, volume 34, number 1-SI, pp 48-52, 2013. (DOI).
  277. High-throughput hyperdimensional vertebrate phenotyping. Carlos Pardo-Martin, Amin Allalou, Jaime Medina, Peter M. Eimon, Carolina Wählby, and Mehmet Fatih Yanik. In Nature Communications, volume 4, p 1467, 2013. (DOI).
  278. Movement on Uneven Surfaces Displays Characteristic Features of Hop Diffusion. Ingela Parmryd, Jeremy Adler, Ida-Maria Sintorn, and Robin Strand. In Biophysical Journal, volume 104, number 2, pp 524A-524A, 2013. (DOI).
  279. Secure compilation of Object-Oriented components to protected module architectures. Marco Patrignani, Dave Clarke, and Frank Piessens. In Programming Languages and Systems, volume 8301 of Lecture Notes in Computer Science, pp 176-191, Springer Berlin/Heidelberg, 2013. (fulltext:postprint).
  280. It's not your father computing: Social and ethical issues of cloud computing. Norberto Patrignani. In ICT for sustainability: Sustainability, Social accountability, and Computing, ETH Zurich, Zurich, 2013. (External link).
  281. Slow tech: Towards good, clean and fair ICT. Norberto Patrignani and Diane Whitehouse. In The possibilities of ethical ICT, pp 384-390, University of Southern Denmark, Kolding, 2013.
  282. The brave new world of socio-technical systems: Cloud computing. Norberto Patrignani and Iordanis Kavathatzopoulos. In The possibilities of ethical ICT, pp 377-383, University of Southern Denmark, Kolding, 2013.
  283. Self-calibrating total-mass controller for the neuromuscular blockade matching the anesthesiologists´ mindset. Luis Paz, Margarida Martins da Silva, Simao Esteves, and Teresa Mendonça. In Proc. 21st Mediterranean Conference on Control and Automation, pp 723-728, 2013. (DOI).
  284. What is feedback?: Connecting student perceptions to assessment practices. Arnold Pears, James Harland, Margaret Hamilton, and Roger Hadgraft. In Proc. 1st International Conference on Learning and Teaching in Computing and Engineering, pp 106-113, IEEE Computer Society, Los Alamitos, CA, 2013. (DOI).
  285. An adaptive compression algorithm in a deterministic world. Kristiaan Pelckmans. In Algorithmic Probability and Friends: Bayesian Prediction and Artificial Intelligence, volume 7070 of Lecture Notes in Computer Science, pp 299-305, Springer Berlin/Heidelberg, 2013. (DOI).
  286. Randomized gossip algorithms for achieving consensus on the majority vote. Kristiaan Pelckmans. In Proc. 11th IFAC International Workshop on Adaptation and Learning in Control and Signal Processing, 2013. (fulltext:print).
  287. Engagement in Computer Science and IT — What!: A matter of identity?. Anne-Kathrin Peters and Arnold Pears. In Proc. 1st International Conference on Learning and Teaching in Computing and Engineering, pp 114-121, IEEE Computer Society, Los Alamitos, CA, 2013. (DOI, fulltext:postprint).
  288. Identity development of CS and IT students: What's the role of higher education?. Anne-Kathrin Peters. In Proc. 9th International Computing Education Research Conference, pp 187-188, ACM Press, New York, 2013. (DOI).
  289. Spectrum-preserving two-scale decompositions with applications to numerical homogenization and eigensolvers. Daniel Peterseim and Axel Målqvist. In Interplay of Theory and Numerics for Deterministic and Stochastic Homogenization, volume 10 of Oberwolfach Reports, pp 850-853, EMS Publishing House, Zürich, Switzerland, 2013. (DOI).
  290. An intrusive hybrid method for discontinuous two-phase flow under uncertainty. Per Pettersson, Gianluca Iaccarino, and Jan Nordström. In Computers & Fluids, volume 86, pp 228-239, 2013. (DOI).
  291. On stability and monotonicity requirements of finite difference approximations of stochastic conservation laws with random viscosity. Per Pettersson, Alireza Doostan, and Jan Nordström. In Computer Methods in Applied Mechanics and Engineering, volume 258, pp 134-151, 2013. (DOI).
  292. Uncertainty Quantification and Numerical Methods for Conservation Laws. Per Pettersson. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1008, Acta Universitatis Upsaliensis, Uppsala, 2013. (fulltext).
  293. Viewing and analyzing slide scanner data using CellProfiler (work in progress). Petter Ranefall, Alexandra Pacureanu, and Carolina Wählby. In European BioImage Analysis Symposium 2013, p 58, 2013.
  294. Lithe: Lightweight Secure CoAP for the Internet of Things. Shahid Raza, Hossein Shafagh, Kasun Hewage, René Hummen, and Thiemo Voigt. In IEEE Sensors Journal, volume 13, number 10, pp 3711-3720, 2013. (DOI).
  295. SVELTE: Real-time Intrusion Detection in the Internet of Things. Shahid Raza, Linus Wallgren, and Thiemo Voigt. In Ad hoc networks, volume 11, number 8, pp 2661-2674, 2013. (DOI).
  296. Service support system modelling language for simulation-driven development of functional products. Sean Reed, Magnus Löfstrand, Lennart Karlsson, and John Andrews. In Procedia CIRP, volume 11, pp 420-424, 2013. (DOI).
  297. Evaluating Battery Models in Wireless Sensor Networks. Christian Rohner, Laura Feeney, and Per Gunningberg. In Wired/Wireless Internet Communication, volume 7889 of Lecture notes in computer science, pp 29-42, Springer Berlin/Heidelberg, 2013. (DOI).
  298. Efficient parallel implementation of state estimation algorithms on multicore platforms. Olov Rosén and Alexander Medvedev. In IEEE Transactions on Control Systems Technology, volume 21, number 1, pp 107-120, 2013. (DOI).
  299. Non-parametric anomaly detection in trajectorial data. Olov Rosén, Alexander Medvedev, and Daniel Jansson. 2013.
  300. Parallelization of stochastic estimation algorithms on multicore computational platforms. Olov Rosén. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2013-001, Uppsala University, 2013. (fulltext).
  301. Parallelization of the Kalman filter on multicore computational platforms. Olov Rosén, Alexander Medvedev, and Torbjörn Wigren. In Control Engineering Practice, volume 21, number 9, pp 1188-1194, 2013. (DOI).
  302. Sparse iterative adaptive approach with application to source localization. Will Rowe, Jian Li, and Peter Stoica. In Proceedings of the Fifth IEEE International Workshop on Computational Advances in Multi-Sensor Adaptive Processing, 2013.
  303. Joint estimation of non-coherent returns for MIMO radar. William Rowe, Ode Ojowu, Peter Stoica, and Jian Li. In Proc. 47th Asilomar Conference on Signals, Systems and Computers, IEEE, Piscataway, NJ, 2013.
  304. Robust adaptive beamforming for MIMO monopulse radar. William Rowe, Marie Ström, Jian Li, and Peter Stoica. In , 2013.
  305. Bisphenol A exposure increases liver fat in juvenile fructose-fed Fischer 344 rats. Monika Rönn, Joel Kullberg, Helen Karlsson, Johan Berglund, Filip Malmberg, Jan Örberg, Lars Lind, Håkan Ahlström, and P. Monica Lind. In Toxicology, volume 303, number 1, pp 125-132, 2013. (DOI).
  306. Quantification of total and visceral adipose tissue in fructose-fed rats using water-fat separated single echo MRI. Monika Rönn, Monica P. Lind, Helen Karlsson, Katarina Cvek, Johan Berglund, Filip Malmberg, Jan Örberg, Lars Lind, Francisco Ortiz-Nieto, and Joel Kullberg. In Obesity, volume 21, number 9, pp E388-E395, 2013. (DOI).
  307. Classifying and Solving Horn Clauses for Verification. Philipp Rümmer, Hossein Hojjat, and Viktor Kuncak. In Fifth Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE), 2013.
  308. Disjunctive Interpolants for Horn-Clause Verification. Philipp Rümmer, Hossein Hojjat, and Viktor Kuncak. In Computer Aided Verification: CAV 2013, volume 8044 of Lecture Notes in Computer Science, pp 347-363, Springer Berlin/Heidelberg, 2013. (DOI).
  309. Exploring Interpolants. Philipp Rümmer and Pavle Subotic. In Formal Methods in Computer-Aided Design (FMCAD), 2013.
  310. A radial basis function partition of unity collocation method for convection-diffusion equations. Ali Safdari-Vaighani, Alfa Heryudono, and Elisabeth Larsson. Technical report / Department of Information Technology, Uppsala University nr 2013-023, 2013. (External link).
  311. Precise explanation of success typing errors. Konstantinos Sagonas, Josep Silva, and Salvador Tamarit. In Proc. ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, pp 33-42, ACM Press, New York, 2013. (DOI).
  312. Iterative methods for pricing American options under the Bates model. Santtu Salmi, Jari Toivanen, and Lina von Sydow. In Procedia Computer Science, volume 18, pp 1136-1144, 2013. (DOI).
  313. Modeling performance variation due to cache sharing. Andreas Sandberg, Andreas Sembrant, Erik Hagersten, and David Black-Schaffer. In Proc. 19th IEEE International Symposium on High Performance Computer Architecture, pp 155-166, IEEE Computer Society, 2013. (DOI, fulltext:postprint).
  314. Checklista för god arbetsmiljö vid datorstött arbete. Bengt Sandblad. Technical report / Department of Information Technology, Uppsala University nr 2013-027, 2013. (External link).
  315. Introducing a novel analysis technique for osseointegrated dental implants retrieved 29 years postsurgery. Hamid Sarve, Bertil Friberg, Gunilla Borgefors, and Carina B. Johansson. In Clinical Implant Dentistry and Related Research, volume 15, number 4, pp 538-549, Wiley-Blackwell, 2013. (DOI).
  316. Can users control their data in social software?: An ethical analysis of control systems. Rula Sayaf, James B. Rule, and Dave Clarke. In Proc. Security and Privacy Workshops 2013, IEEE Computer Society, 2013. (DOI).
  317. Development of novel eHealth services for citizen use: Current system engineering vs. best practice in HCI. Isabella Scandurra, Jesper Holgersson, Thomas Lind, and Gunilla Myreteg. In Human-Computer Interaction – INTERACT 2013: Part II, volume 8118 of Lecture Notes in Computer Science, pp 372-379, Springer Berlin/Heidelberg, 2013. (DOI).
  318. Development of patient access to electronic health records as a step towards ubiquitous public eHealth. Isabella Scandurra, Jesper Holgersson, Thomas Lind, and Gunilla Myreteg. In European Journal of ePractice, volume 20, pp 21-36, 2013. (External link).
  319. Bounded strings for constraint programming. Joseph D. Scott, Pierre Flener, and Justin Pearson. In Proc. 25th International Conference on Tools with Artificial Intelligence, pp 1036-1043, IEEE Computer Society, 2013. (DOI).
  320. Real-time algorithm for changes detection in depth of anesthesia signals. Raquel Sebastião, Margarida Martins da Silva, Rui Rabiço, João Gama, and Teresa Mendonça. In Evolving Systems, volume 4, pp 3-12, 2013. (DOI).
  321. Dual-domain visual exploration of urban solar potential. Stefan Seipel, David Lingfors, and Joakim Widén. In Proc. Eurographics Workshop on Urban Data Modelling and Visualisation, 2013.
  322. Evaluating 2D and 3D geovisualisations for basic spatial assessment. Stefan Seipel. In Behavior and Information Technology, volume 32, number 8, pp 845-858, 2013. (DOI).
  323. TLC: A tag-less cache for reducing dynamic first level cache energy. Andreas Sembrant, Erik Hagersten, and David Black-Schaffer. In Proceedings of the 46th International Symposium on Microarchitecture, pp 49-61, ACM Press, New York, 2013. (DOI, Conference website).
  324. One kilometer (1 km) electric solar wind sail tether produced automatically. Henri Seppänen, Timo Rauhala, Sergiy Kiprich, Jukka Ukkonen, Martin Simonsson, Risto Kurppa, Pekka Janhunen, and Edward Hæggström. In Review of Scientific Instruments, volume 84, number 9, 2013. (DOI).
  325. Cloud Gaming: Architecture and Performance. Ryan Shea, Jiangchuan Liu, Edith C.-H. Ngai, and Yong Cui. In IEEE Network, volume 27, number 4, pp 16-21, 2013. (DOI).
  326. A tool for visualizing and analyzing users on discussion boards. Amendra Shrestha. In European Intelligence and Security Informatics Conference: 2013, pp 229-229, IEEE Computer Society, 2013. (DOI, Fulltext).
  327. Author recognition in discussion boards. Amendra Shrestha, Lisa Kaati, Sofia Cassel, and Mohamed Faouzi Atig. In National Symposium on Technology and Methodology for Security and Crisis Management, 2013.
  328. Factors influencing high quality low voltage TEM imaging of biological routinely stained specimen. Ida-Maria Sintorn, Rickard Nordström, Lars Haag, Eva Coufalova, and Michal Drsticka. In Proceedings, part I, pp 321-322, 2013.
  329. Towards automated Virus Detection and Identification using TEM. Ida-Maria Sintorn, Gustaf Kylberg, Rickard Nordström, Lars Haag, Eva Coufalova, and Michal Drsticka. In Proceedings, Part II, pp 397-398, 2013.
  330. Stepwise conformation transitions for a semi-stiff ring polymer confined in a conical trap induced by the increasing external field or by cone's opening angle variation. Alexey Siretskiy, Christer Elvingson, and Pavel Vorontsov-Velyaminov. In Nanosystems: Physics, Chemistry, Mathematics, volume 4, number 2, pp 225-235, St. Petersburg National Research University of Information Technologies, Mechanics and Optics, 2013. (Fulltext).
  331. A fast algorithm for designing complementary sets of sequences. Mojtaba Soltanalian, Mohammad Mahdi Naghsh, and Peter Stoica. In Signal Processing, volume 93, number 7, pp 2096-2102, 2013. (DOI).
  332. Joint design of the receive filter and transmit sequence for active sensing. Mojtaba Soltanalian, Bo Tang, Jian Li, and Peter Stoica. In IEEE Signal Processing Letters, volume 20, number 5, pp 423-426, 2013. (DOI).
  333. Introducing DVFS-Management in a Full-System Simulator. Vasileios Spiliopoulos, Akash Bagdia, Andreas Hansson, Peter Aldworth, and Stefanos Kaxiras. In Proc. 21st International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, IEEE Computer Society, 2013.
  334. Scalable Preservation, Reconstruction, and Querying of Databases in terms of Semantic Web Representations. Silvia Stefanova. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1052, Acta Universitatis Upsaliensis, Uppsala, 2013. (fulltext).
  335. Scalable reconstruction of RDF-archived relational databases. Silvia Stefanova and Tore Risch. In Proc. 5th International Workshop on Semantic Web Information Management, pp 5:1-4, ACM Press, New York, 2013. (DOI).
  336. Combinatorial Abstraction Refinement for Feasibility Analysis. Martin Stigge and Wang Yi. In IEEE 34TH REAL-TIME SYSTEMS SYMPOSIUM (RTSS 2013), Real-Time Systems Symposium-Proceedings, pp 340-349, 2013. (DOI).
  337. The fork-join real-time task model. Martin Stigge, Pontus Ekberg, and Wang Yi. In ACM SIGBED Review, volume 10, number 2, pp 20-20, 2013. (DOI, fulltext:print).
  338. Integrative educational approach oriented towards software and system development. Anca-Juliana Stoica and Shareeful Islam. In International Journal of Engineering Pedagogy, volume 3, number 1, pp 36-43, 2013.
  339. Teaching information and software security courses in regular and distance learning programs: Education theory and practice, framework, and examples. Anca-Juliana Stoica and Shareeful Islam. In Proc. 4th Global Engineering Education Conference, pp 44-49, IEEE, Piscataway, NJ, 2013. (DOI).
  340. Model order estimation via penalizing adaptively the likelihood (PAL). Peter Stoica and Prabhu Babu. In Signal Processing, volume 93, number 11, pp 2865-2871, 2013. (DOI).
  341. Parameter estimation of exponential signals: a system identification approach. Peter Stoica and Prabhu Babu. In Digital signal processing (Print), volume 23, number 5, pp 1565-1577, 2013. (DOI).
  342. The minimum barrier distance. Robin Strand, Krzysztof Chris Ciesielski, Filip Malmberg, and Punam K. Saha. In Computer Vision and Image Understanding, volume 117, number 4, pp 429-437, 2013. (DOI).
  343. Accurate surface embedding for higher order finite elements. Stefan Suwelack, Dimitar Lukarski, Vincent Heuveline, Rüdiger Dillmann, and Stefanie Speidel. In Proc. 12th ACM SIGGRAPH/Eurographics Symposium on Computer Animation, pp 187-192, ACM Press, New York, 2013. (DOI).
  344. A probabilistic template model for finding macromolecules in MET volume images. Lennart Svensson and Ida-Maria Sintorn. In Pattern Recognition and Image Analysis, volume 7887 of Lecture Notes in Computer Science, pp 855-862, Springer Berlin/Heidelberg, 2013. (DOI, fulltext:postprint).
  345. Teaching and learning technological systems in the Swedish compulsory school. Maria Svensson, Åke Ingerman, Shirley Booth, Anders Berglund, and Jonas Emanuelsson. In WALS 2013, Conference of World Association of Lesson Studies: Lesson and Learning Studies as Teacher Research, pp 94-94, 2013.
  346. Can errors-in-variables systems be identified from closed-loop experiments?. Torsten Söderström, Liuping Wang, Rik Pintelon, and Johan Schoukens. In Automatica, volume 49, number 2, pp 681-684, 2013. (DOI).
  347. Comparing some classes of bias-compensating least squares methods. Torsten Söderström. In Automatica, volume 49, number 3, pp 840-845, 2013. (DOI).
  348. Model validation methods for errors-in-variables estimation. Torsten Söderström and Juan Yuz. In Proc. 52nd Conference on Decision and Control, pp 3882-3887, IEEE, Piscataway, NJ, 2013. (DOI).
  349. On the accuracy of a covariance matching method for continuous-time errors-in-variables identification. Torsten Söderström, Yasir Irshad, Magnus Mossberg, and Wei Xing Zheng. In Automatica, volume 49, number 10, pp 2982-2993, 2013. (DOI).
  350. A multiple model-based controller for NOx reduction in a Selective Catalytic Reduction system. Soma Tayamon and Darine Zambrano. In Proc. 12th European Control Conference, pp 1970-1975, IEEE, 2013.
  351. Molecular wave packet dynamics decelerated by solvent environment: A theoretical approach. Sebastian Thallmair, Markus Kowalewski, Benjamin P. Fingerhut, Christian F. Sailer, and Regina de Vivie-Riedle. In Proc. 18th International Conference on Ultrafast Phenomena, volume 41 of EPJ Web of Conferences, pp 05043:1-3, EDP Sciences, 2013. (DOI).
  352. Learning of computer science in an intercultural environment: An empirical study of Chinese master students in Sweden. Neena Thota and Anders Berglund. In The Power of Knowledge: Asia and the West, 2013.
  353. A task parallel implementation of a scattered node stencil-based solver for the shallow water equations. Martin Tillenius, Elisabeth Larsson, Erik Lehto, and Natasha Flyer. In Proc. 6th Swedish Workshop on Multi-Core Computing, pp 33-36, Halmstad University, Halmstad, Sweden, 2013.
  354. Resource-aware task scheduling. Martin Tillenius, Elisabeth Larsson, Rosa M. Badia, and Xavier Martorell. In 4th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures (PARMA), p 6, Tech. Univ. Berlin, Germany, 2013. (fulltext:postprint).
  355. INDIGO: Secure CoAP for Smartphones- Enabling E2E Secure Communication in the 6Io. Daniele Trabalza, Shahid Raza, and Thiemo Voigt. In , 2013.
  356. Accelerating COBAYA3 on multi-core CPU and GPU systems using PARALUTION. Nico Trost, Javier Jiménez, Dimitar Lukarski, and Victor Sanchez. In Proc. 2nd Joint International Conference on Supercomputing in Nuclear Applications and Monte Carlo, La Société Française d'Energie Nucléaire, Paris, France, 2013.
  357. Analysis of collaboration applied to train drivers and train traffic controllers in Sweden. Simon Tschirner, Bengt Sandblad, Arne W. Andersson, Peter Hellström, and Gunnika Isaksson-Lutteman. In Rail Human Factors: Supporting reliability, safety and cost reduction, pp 389-398, Taylor & Francis, London, 2013. (fulltext:preprint).
  358. Designing train driver advisory systems for situation awareness. Simon Tschirner, Arne W. Andersson, and Bengt Sandblad. In Rail Human Factors: Supporting reliability, safety and cost reduction, pp 150-159, Taylor & Francis, London, 2013. (fulltext:preprint).
  359. Improved Railway Service by Shared Traffic Information: Design Concepts for Traffic Control and Driver Advisory Systems. Simon Tschirner, Arne W. Andersson, and Bengt Sandblad. In , pp 117-122, 2013. (DOI).
  360. High-throughput gene expression analysis at the level of single proteins using a microfluidic turbidostat and automated cell tracking. Gustaf Ullman, Mats Walldén, Erik G. Marklund, Anel Mahmutovic, Ivan Razinkov, and Johan Elf. In Philosophical Transactions of the Royal Society of London. Biological Sciences, volume 368, number 1611, pp 20120025:1-8, 2013. (DOI).
  361. Case specific finite element analysis of the strains experienced by osteocytes<em></em>. Peter Varga, Alexandra Pacureanu, Max Langer, Bernhard Hesse, Francoise Peyrin, and Kay Raum. In , 2013.
  362. Investigation of the three-dimensional orientation of mineralized collagen fibrils in human lamellar bone using synchrotron X-ray phase nano-tomography. Peter Varga, Alexandra Pacureanu, Max Langer, Heikki Suhonen, Bernhard Hesse, Quentin Grimal, Peter Cloetens, Kay Raum, and Françoise Peyrin. In Acta Biomaterialia, volume 9, number 9, pp 8118-8127, 2013. (DOI).
  363. The 3D orientation of mineralized collagen fibrils in human lamellar bone and its mechanical consequences. Peter Varga, Alexandra Pacureanu, Max Langer, Heikki Suhonen, Bernhard Hesse, Quentin Grimal, Peter Cloetens, Kay Raum, and Francoise Peyrin. In , 2013.
  364. Directional transmissions and receptions for high throughput burst forwarding. Ambuj Varshney, Thiemo Voigt, and Luca Mottola. In Proceedings of the 11th ACM Conference on Embedded Networked Sensor Systems, p 50, 2013. (DOI, External link).
  365. Difference methods with boundary and interface treatment for wave equations. Kristoffer Virta. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2013-006, Uppsala University, 2013. (fulltext).
  366. Surface waves in almost incompressible elastic materials. Kristoffer Virta and Gunilla Kreiss. In Proc. 11th International Conference on Mathematical and Numerical Aspects of Waves, pp 375-376, ENIT, Tunisia, 2013. (External link).
  367. Understanding link dynamics in wireless sensor networks with dynamically steerable directional antennas. Thiemo Voigt, Luca Mottola, and Kasun Hewage. In Wireless Sensor Networks: EWSN 2013, volume 7772 of Lecture Notes in Computer Science, pp 115-130, Springer Berlin/Heidelberg, 2013. (DOI, fulltext:postprint).
  368. A uniformly well-conditioned, unfitted Nitsche method for interface problems. Eddie Wadbro, Sara Zahedi, Gunilla Kreiss, and Martin Berggren. In BIT Numerical Mathematics, volume 53, pp 791-820, 2013. (DOI).
  369. Feature Weight Optimization and Pruning in Historical Text Recognition. Fredrik Wahlberg and Anders Brun. In Advances of Visual Computing: 9th International Symposium, ISVC 2013, Rethymnon, Crete, Greece, July 29-31, 2013. Proceedings, Part II, volume 8034 of Lecture Notes in Computer Science, pp 98-107, Springer Berlin/Heidelberg, 2013. (DOI, fulltext:postprint).
  370. Feature space denoising improves word spotting. Fredrik Wahlberg and Anders Brun. In Proc. 2nd International Workshop on Historical Document Imaging and Processing, pp 59-66, ACM Press, New York, 2013. (DOI, fulltext:postprint).
  371. Routing Attacks and Countermeasures in the RPL-Based Internet of Things. Linus Wallgren, Shahid Raza, and Thiemo Voigt. In International Journal of Distributed Sensor Networks, p 794326, 2013. (DOI, fulltext:print).
  372. A Study of Packet Errors on Outdoor 802.15.4 Links. Hjalmar Wennerström, Liam McNamara, Christian Rohner, and Lars-Åke Nordén. In The 9th Swedish National Computer Networking Workshop 2013, 2013.
  373. A long-term study of correlations between meteorological conditions and 802.15.4 link performance. Hjalmar Wennerström, Frederik Hermans, Olof Rensfelt, Christian Rohner, and Lars-Åke Nordén. In Proc. 10th International Conference on Sensing, Communications, and Networking, pp 221-229, IEEE Communications Society, 2013. (DOI).
  374. Meteorological impact and transmission errors in outdoor wireless sensor networks. Hjalmar Wennerström. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2013-007, Uppsala University, 2013. (fulltext).
  375. Transmission errors in a sensor network at the edge of the world. Hjalmar Wennerström, Liam McNamara, Christian Rohner, and Lars-Åke Nordén. In Proc. 5th Extreme Conference on Communication, ACM Press, New York, 2013.
  376. Postprocessing method for reducing phase effects in reconstructed microcomputed-tomography data. Erik L. G. Wernersson, Matthieu N. Boone, Jan Van den Bulcke, Luc Van Hoorebeke, and Cris L. Luengo Hendriks. In Optical Society of America. Journal A: Optics, Image Science, and Vision, volume 30, number 3, pp 455-461, 2013.
  377. From slow food to slow tech: A reflection paper. Diane Whitehouse and Norberto Patrignani. In ICT, society and human beings, pp 141-145, IADIS Press, Prague, 2013.
  378. Data for benchmarking in nonlinear system identification. Torbjörn Wigren and Johan Schoukens. Technical report / Department of Information Technology, Uppsala University nr 2013-006, 2013. (External link).
  379. Three free data sets for development and benchmarking in nonlinear system identification. Torbjörn Wigren and Johan Schoukens. In Proc. 12th European Control Conference, pp 2933-2938, IEEE, 2013.
  380. Structured Aliasing. Tobias Wrigstad. In Aliasing in Object-Oriented Programming: Types, Analysis, and Verification, volume 7850 of Lecture Notes in Computer Science, pp 512-513, Springer Berlin/Heidelberg, 2013. (DOI).
  381. Model-based validation of streaming data. Cheng Xu, Daniel Wedlund, Martin Helgoson, and Tore Risch. In Proc. 7th ACM International Conference on Distributed Event-Based Systems, pp 107-113, ACM Press, New York, 2013. (DOI).
  382. Wideband source localization using sparse learning via iterative minimization. Luzhou Xu, Kexin Zhao, Li Jian, and Peter Stoica. In Signal Processing, volume 93, number 12 SI, pp 3504-3514, 2013. (DOI).
  383. Enhanced Capon beamformer using regularized covariance matching. Dave Zachariah, Magnus Jansson, and Saikat Chatterjee. In Proc. 5th International Workshop on Computational Advances in Multi-Sensor Adaptive Processing, pp 97-100, IEEE Press, Piscataway, NJ, 2013. (DOI).
  384. Bifurcation analysis for PID-controller tuning based on a minimal neuromuscular blockade model in closed-loop anesthesia. Zhanybai T. Zhusubaliyev, Alexander Medvedev, and Margarida Martins da Silva. In Proc. 52nd Conference on Decision and Control, pp 115-120, IEEE, Piscataway, NJ, 2013. (DOI).
  385. On discontinuous Galerkin for time integration in option pricing problems with adaptive finite differences in space. Lina von Sydow. In Numerical Analysis and Applied Mathematics: ICNAAM 2013, volume 1558 of AIP Conference Proceedings, pp 2373-2376, American Institute of Physics (AIP), Melville, NY, 2013. (DOI).
  386. Bells and Whistles: Advanced language features in psi-calculi. Johannes Åman Pohjola. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2013-004, Uppsala University, 2013. (fulltext).
  387. Negative premises in applied process calculi. Johannes Åman Pohjola, Johannes Borgström, Joachim Parrow, Palle Raabjerg, and Ioana Rodhe. Technical report / Department of Information Technology, Uppsala University nr 2013-014, 2013. (External link).
  388. Aeration control: a review. Linda Åmand, Gustaf Olsson, and Bengt Carlsson. In Water Science and Technology, volume 67, number 11, pp 2374-2398, 2013. (DOI, fulltext:print).
  389. The optimal dissolved oxygen profile in a nitrifying activated sludge process: comparisons with ammonium feedback control. Linda Åmand and Bengt Carlsson. In Water Science and Technology, volume 68, number 3, pp 641-649, 2013. (DOI).

Updated  2013-12-29 06:41:00 by Kurt Otto.