Skip to main content
Department of Information Technology

Refereed publications from the IT research programs 2012

Automatic Control (Reglerteknik)

  1. Sparse spectral-line estimation for nonuniformly sampled multivariate time series: SPICE, LIKES and MSBL. Prabhu Babu and Peter Stoica. In 2012 Proceedings Of The 20th European Signal Processing Conference (EUSIPCO), European Signal Processing Conference, pp 445-449, 2012. (External link).
  2. Optimality of Equally-Spaced Phase Increments for Banding Removal in bSSFP. Marcus Björk, R. Reeve Ingle, Joëlle K. Barral, Erik Gudmundson, Dwight G. Nishimura, and Peter Stoica. In Proceedings of the ISMRM 20th annual meeting, 2012.
  3. Model predictive zooming power control in future cellular systems under coarse quantization. Mauricio G. Cea, Graham C. Goodwin, and Torbjörn Wigren. In Proc. 76th Vehicular Technology Conference, IEEE, Piscataway, NJ, 2012. (DOI).
  4. A state observer for continuous oscillating systems under intrinsic pulse-modulated feedback. Alexander Churilov, Alexander Medvedev, and Alexander Shepeljavyi. In Automatica, volume 48, number 6, pp 1117-1122, 2012. (DOI).
  5. An ellipsoid based, two-stage screening test for BPDN. Liang Dai and Kristiaan Pelckmans. In Proc. 20th European Signal Processing Conference, pp 654-658, IEEE, 2012.
  6. An online algorithm for controlling a monotone Wiener system. Liang Dai and Kristiaan Pelckmans. In Proceedings of the 2012 24th Chinese Control and Decision Conference (CCDC), Chinese Control and Decision Conference, pp 1585-1590, IEEE, Piscataway, NJ, 2012. (DOI).
  7. Impact of stroke on anterior–posterior force generation prior to seat-off during sit-to-walk. Gunilla Elmgren Frykberg, Tomas Thierfelder, Anna Cristina Åberg, Kjartan Halvorsen, Jörgen Borg, and Helga Hirschfeld. In Gait & Posture, volume 35, number 1, pp 56-60, 2012. (DOI).
  8. Least-Squares Support Vector Machines for the identification of Wiener-Hammerstein systems. Tillmann Falck, Philippe Dreesen, Kris De Brabanter, Kristiaan Pelckmans, Bart De Moor, and Johan A. K. Suykens. In Control Engineering Practice, volume 20, number 11, pp 1165-1174, 2012. (DOI).
  9. Acute Effects of Reducing Vertical Displacement and Step Frequency on Running Economy. Kjartan Halvorsen, Martin Eriksson, and Lennart Gullstrand. In Journal of Strength and Conditioning Research, volume 26, number 8, pp 2065-2070, 2012. (DOI).
  10. Waveform Design for Active Sensing Systems: a computational approach. Hao He, Jian Li, and Peter Stoica. Cambridge University Press, UK, 2012. (MATLAB CODES and PRESENTATION SLIDES AVAILABLE FOR DOWNLOAD).
  11. Identification of a pulsatile endocrine model from hormone concentration data. Egi Hidayat and Alexander Medvedev. In 2012 IEEE INTERNATIONAL CONFERENCE ON CONTROL APPLICATIONS (CCA), IEEE International Conference on Control Applications, pp 356-363, 2012.
  12. Laguerre domain identification of continuous linear time-delay systems from impulse response data. Egi Hidayat and Alexander Medvedev. In Automatica, volume 48, number 11, pp 2902-2907, 2012. (DOI).
  13. SNR Requirements for T1 and T2 Estimation using bSSFP. R. Reeve Ingle, Joëlle K. Barral, Marcus Björk, Erik Gudmundson, Peter Stoica, and Dwight G. Nishimura. In Proceedings of the ISMRM 20th annual meeting, 2012.
  14. Positioning in LTE. Ari Kangas, Iana Siomina, and Torbjörn Wigren. In Handbook of Position Location: Theory, Practice, and Advances, pp 1081-1127, John Wiley & Sons, Hoboken, NJ, 2012. (DOI).
  15. A map based estimator for inverse complex covariance matricies. Magnus Lundberg Nordenvaad and Lennart Svensson. In 2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), pp 3369-3372, 2012. (DOI).
  16. Broadband synchronization of underwater acoustic communication signals using superimposed pilots. Magnus Lundberg Nordenvaad, Jaehak Chung, and Seongil Kim. In OCEANS, 2012 - YEOSU, OCEANS-IEEE, 2012.
  17. Control of rocuronium-induced neuromuscular blockade via online identification of a two-parameters Wiener model. Margarida Martins da Silva, Rui Rabiço, Teresa Mendonça, and Torbjörn Wigren. In , volume 45:16 of IFAC-PapersOnLine, pp 571-576, 2012. (DOI).
  18. Exactly linearizing adaptive control of propofol and remifentanil using a reduced Wiener model for the depth of anesthesia. Margarida Martins da Silva, Torbjörn Wigren, and Teresa Mendonça. In Proc. 51st Conference on Decision and Control, pp 368-373, IEEE, Piscataway, NJ, 2012. (DOI).
  19. Nonlinear identification of a minimal neuromuscular blockade model in anesthesia. Margarida Martins da Silva, Torbjörn Wigren, and Teresa Mendonça. In IEEE Transactions on Control Systems Technology, volume 20, number 1, pp 181-188, 2012. (DOI).
  20. Estimation of input impulses by means of continuous finite memory observers. Per Mattsson and Alexander Medvedev. In Proc. American Control Conference: ACC 2012, pp 6769-6774, American Automatic Control Council, 2012. (DOI).
  21. Comparing different identification approaches for the depth of anesthesia using BIS measurements. Teresa Mendonça, Hugo Alonso, Margarida Martins da Silva, Simao Esteves, and Manuel Seabra. In Proc. 16th IFAC Symposium on System Identification, pp 781-785, 2012.
  22. On covariance matching for multiple input multiple output errors-in-variables systems. Magnus Mossberg and Torsten Söderström. In Proc. 16th IFAC Symposium on System Identification, pp 1371-1376, International Federation of Automatic Control, 2012.
  23. A cooperative decentralized PI control strategy: discrete-time analysis and nonlinear feedback. Johannes Nygren and Kristiaan Pelckmans. In Proc. 3rd IFAC Workshop on Distributed Estimation and Control in Networked Systems, pp 103-108, 2012. (fulltext:postprint).
  24. On the Convergence Analysis of the MINLIP Estimator. Kristiaan Pelckmans, Liang Dai, and Er-Wei Bai. In Proceedings of the 16th IFAC Symposium on System Identification, volume Vol. 16, Part 1 of System Identification, pp 482-487, 2012. (DOI).
  25. Design of Embedded Filters for Inner-Loop Power Control in Wireless CDMA Communication Systems. Daniel E. Quevedo and Torbjörn Wigren. In Asian Journal of Control, volume 14, number 4, pp 891-900, 2012. (DOI).
  26. An on-line algorithm for anomaly detection in trajectory data. Olov Rosén and Alexander Medvedev. In Proc. American Control Conference: ACC 2012, pp 1117-1122, American Automatic Control Council, 2012. (DOI).
  27. Parallelization of the Kalman filter for banded systems on multicore computational platforms. Olov Rosén and Alexander Medvedev. In Proc. 51st Conference on Decision and Control, pp 2022-2027, IEEE, Piscataway, NJ, 2012. (DOI).
  28. On moving average parameter estimation. Niclas Sandgren, Peter Stoica, and Prabhu Babu. 20th European Signal Processing Conference (EUSIPCO), 27-31 Aug, 2012, Bucharest, ROmania, 2012. (External link).
  29. Online evaluation of a changes detection algorithm for depth of anesthesia signals. Raquel Sebastiao, Margarida Martins da Silva, Rui Rabico, Joao Gama, and Teresa Mendonça. In Proc. 8th IFAC Symposium on Biological and Medical Systems, pp A-0076, 2012.
  30. Contributions to a decision support system based on depth of anesthesia signals. Raquel Sebastião, Margarida Martins da Silva, João Gama, and Teresa Mendonça. In Proc. 25th International Symposium on Computer-Based Medical Systems, p 6, IEEE, Piscataway, NJ, 2012. (DOI).
  31. Computational Design of Sequences With Good Correlation Properties. Mojtaba Soltanalian and Peter Stoica. In IEEE Transactions on Signal Processing, volume 60, number 5, pp 2180-2193, 2012. (DOI).
  32. Design of perfect phase-quantized sequences with low peak-to-average-power ratio. Mojtaba Soltanalian and Peter Stoica. In Proc. 20th European Signal Processing Conference, European Signal Processing Conference (EUSIPCO), pp 2576-2580, 2012.
  33. On the Exponentially Embedded Family (EEF) Rule for Model Order Selection. Peter Stoica and Prabhu Babu. In IEEE Signal Processing Letters, volume 19, number 9, pp 551-554, 2012. (DOI).
  34. On the LIMES approach to spectral analysis of irregularly sampled data. Peter Stoica and Prabhu Babu. In Electronics Letters, volume 48, number 4, pp 218-219, 2012. (DOI).
  35. On the Proper Forms of BIC for Model Order Selection. Peter Stoica and Prabhu Babu. In IEEE Transactions on Signal Processing, volume 60, number 9, pp 4956-4961, 2012. (DOI).
  36. SPICE and LIKES: Two hyperparameter-free methods for sparse-parameter estimation. Peter Stoica and Prabhu Babu. In Signal Processing, volume 92, number 7, pp 1580-1590, 2012. (DOI).
  37. Sparse estimation of spectral lines: Grid selection problems and their solutions. Peter Stoica and Prabhu Babu. In IEEE Transactions on Signal Processing, volume 60, number 2, pp 962-967, 2012. (DOI).
  38. Optimization of the Receive Filter and Transmit Sequence for Active Sensing. Petre Stoica, Hao He, and Jian Li. In IEEE Transactions on Signal Processing, volume 60, number 4, pp 1730-1740, 2012. (DOI).
  39. A generalised instrumental variable estimator for multivariable errors-in-variables identification problems. Torsten Söderström. In International Journal of Control, volume 85, number 3, pp 287-303, 2012. (DOI).
  40. Accuracy analysis of a covariance matching method for continuous-time errors-in-variables system identification. Torsten Söderström, Yasir Irshad, Magnus Mossberg, and Wei Xing Zheng. In Proc. 16th IFAC Symposium on System Identification, pp 1383-1388, International Federation of Automatic Control, 2012.
  41. Estimation of material functions using system identification techniques. Torsten Söderström and Agnes Rensfelt. In Control Engineering Practice, volume 20, number 10, pp 972-990, 2012. (DOI).
  42. How accurate can instrumental variable models become?. Torsten Söderström. In System Identification, Environmental Modelling, and Control System Design, pp 3-25, Springer London, 2012. (DOI).
  43. Model order determination based on rank properties of almost singular covariance matrices. Torsten Söderström. In Proc. 16th IFAC Symposium on System Identification, pp 1653-1658, International Federation of Automatic Control, 2012.
  44. On model order determination for errors-in-variables estimation. Torsten Söderström and Liuping Wang. In Proc. 16th IFAC Symposium on System Identification, pp 1347-1352, International Federation of Automatic Control, 2012.
  45. System identification for the errors-in-variables problem. Torsten Söderström. In Transactions of the Institute of Measurement and Control, volume 34, number 7, pp 780-792, 2012. (DOI).
  46. Convergence analysis and experiments using an RPEM based on nonlinear ODEs and midpoint integration. Soma Tayamon, Torbjörn Wigren, and Johan Schoukens. In Proc. 51st Conference on Decision and Control, pp 2858-2865, IEEE, Piscatway, NJ, 2012. (DOI).
  47. Convergence analysis of a recursive prediction error method. Soma Tayamon and Torbjörn Wigren. In , volume 45:16 of IFAC-PapersOnLine, pp 1496-1501, 2012. (DOI).
  48. On the Performance of Optimal Input Signals for Frequency Response Estimation. Bo Wahlberg, Hakan Hjalmarsson, and Peter Stoica. In IEEE Transactions on Automatic Control, volume 57, number 3, pp 766-771, 2012. (DOI).
  49. Enhanced WCDMA fingerprinting localization using OTDOA positioning measurements from LTE. Torbjörn Wigren, Ylva Jading, Iana Siomina, Ari Kangas, and Claes Tidestav. In Proc. 76th Vehicular Technology Conference, IEEE, Piscataway, NJ, 2012. (DOI).
  50. Fingerprinting localization using RTT and TA. Torbjörn Wigren. In IET Communications, volume 2012, number 6, pp 419-427, 2012. (DOI).
  51. LTE fingerprinting localization with altitude. Torbjörn Wigren. In Proc. 76th Vehicular Technology Conference, IEEE, Piscataway, NJ, 2012. (DOI).
  52. WCDMA uplink load estimation with generalized rake receivers. Torbjörn Wigren. In IEEE Transactions on Vehicular Technology, volume 61, number 5, pp 2394-2400, 2012. (DOI).
  53. Optimal prior knowledge-based direction of arrival estimation. P. Wirfält, G. Bouleux, M. Jansson, and Peter Stoica. In IET Signal Processing, volume 6, number 8, pp 731-742, 2012. (DOI).
  54. Load control for multi-stage interference cancellation. Gu Xinyu, Zhang Zhang, Stephen Grant, Torbjörn Wigren, Niklas Johansson, and Ari Kangas. In Proc. 23rd International Symposium on Personal, Indoor, and Mobile Radio Communications, pp 339-344, IEEE, Piscataway, NJ, 2012. (DOI).
  55. MIMO radar waveform design. Ming Xue, Jian Li, and Peter Stoica. In Waveform Design and Diversity for Advanced Radar Systems, IET Press, 2012.
  56. Sparse representations and sphere decoding for array signal processing. T. Yardibi, J. Li, Peter Stoica, and Cattafesta, L. N. , I I I. In Digital signal processing (Print), volume 22, number 2, pp 253-262, 2012. (DOI).
  57. Bifurcation phenomena in an impulsive model of non-basal testosterone regulation. Zhanybai T. Zhusubaliyev, Alexander N. Churilov, and Alexander Medvedev. In Chaos, volume 22, number 1, p 013121, 2012. (DOI).
  58. Energy efficient ammonium feedback control. Linda Åmand and Bengt Carlsson. In New Developments in IT & Water, 2012.
  59. Optimal aeration control in a nitrifying activated sludge process. Linda Åmand and Bengt Carlsson. In Water Research, volume 46, number 7, pp 2101-2110, 2012. (DOI).

Numerical Analysis (Numerisk analys)

  1. Macro-elementwise preconditioning methods. Owe Axelsson. In Mathematics and Computers in Simulation, volume 82, pp 1952-1963, 2012. (DOI).
  2. A stable and dual consistent boundary treatment using finite differences on summation-by-parts form. Jens Berg and Jan Nordström. In Proc. ECCOMAS Congress 2012, pp 7557-7570, Tech. Univ. Wien, Austria, 2012.
  3. Spectral analysis of the continuous and discretized heat and advection equation on single and multiple domains. Jens Berg and Jan Nordström. In Applied Numerical Mathematics, volume 62, pp 1620-1638, 2012. (DOI).
  4. Superconvergent functional output for time-dependent problems using finite differences on summation-by-parts form. Jens Berg and Jan Nordström. In Journal of Computational Physics, volume 231, pp 6846-6860, 2012. (DOI).
  5. Block-preconditioners for conforming and non-conforming FEM discretizations of the Cahn–Hilliard equation. Petia Boyanova, Minh Do-Quang, and Maya Neytcheva. In Large-Scale Scientific Computing, volume 7116 of Lecture Notes in Computer Science, pp 549-557, Springer-Verlag, Berlin, 2012. (DOI).
  6. Efficient preconditioners for large scale binary Cahn–Hilliard models. Petia Boyanova, Minh Do-Quang, and Maya Neytcheva. In Computational Methods in Applied Mathematics, volume 12, pp 1-22, 2012. (DOI).
  7. Canonical eigenvalue distribution of multilevel block Toeplitz sequences with non-Hermitian symbols. Marco Donatelli, Maya Neytcheva, and Stefano Serra-Capizzano. In Spectral Theory, Mathematical System Theory, Evolution Equations, Differential and Difference Equations, volume 221 of Operator Theory: Advances and Applications, pp 269-291, Springer, Basel, Switzerland, 2012. (DOI).
  8. A well-posed and discretely stable perfectly matched layer for elastic wave equations in second order formulation. Kenneth Duru and Gunilla Kreiss. In Communications in Computational Physics, volume 11, pp 1643-1672, 2012. (DOI).
  9. On the accuracy and stability of the perfectly matched layer in transient waveguides. Kenneth Duru and Gunilla Kreiss. In Journal of Scientific Computing, volume 53, pp 642-671, 2012. (DOI).
  10. Finite element multiscale methods for Poisson's equation with rapidly varying heterogeneous coefficients. Daniel Elfverson and Axel Målqvist. In Proc. 10th World Congress on Computational Mechanics, p 10, International Association for Computational Mechanics, Barcelona, Spain, 2012.
  11. Nonparametric density estimation for randomly perturbed elliptic problems III: Convergence, computational cost, and generalizations. Donald Estep, Michael J. Holst, and Axel Målqvist. In Journal of Applied Mathematics and Computing, volume 38, pp 367-387, 2012. (DOI).
  12. A guide to RBF-generated finite differences for nonlinear transport: Shallow water simulations on a sphere. Natasha Flyer, Erik Lehto, Sébastien Blaise, Grady B. Wright, and Amik St-Cyr. In Journal of Computational Physics, volume 231, pp 4078-4095, 2012. (DOI).
  13. A computer-assisted proof of the existence of traveling wave solutions to the scalar Euler equations with artificial viscosity. Oswald Fogelklou, Warwick Tucker, and Gunilla Kreiss. In NoDEA. Nonlinear differential equations and applications (Printed ed.), volume 19, pp 97-131, 2012. (DOI).
  14. An algebraic approach for controlling cascade of reaches in irrigation canals. Mouhamadou Samsidy Goudiaby, Abdou Sene, and Gunilla Kreiss. In Problems, Perspectives and Challenges of Agricultural Water Management, pp 369-390, InTech, Rijeka, Croatia, 2012.
  15. Preconditioning the incompressible Navier-Stokes equations with variable viscosity. Xin He and Maya Neytcheva. In Journal of Computational Mathematics, volume 30, pp 461-482, 2012. (DOI).
  16. Coupled mesoscopic and microscopic simulation of stochastic reaction-diffusion processes in mixed dimensions. Andreas Hellander, Stefan Hellander, and Per Lötstedt. In Multiscale Modeling & simulation, volume 10, pp 585-611, 2012. (DOI).
  17. Reaction-diffusion master equation in the microscopic limit. Stefan Hellander, Andreas Hellander, and Linda Petzold. In Physical Review E. Statistical, Nonlinear, and Soft Matter Physics, volume 85, pp 042901:1-5, 2012. (DOI).
  18. Derivation of strictly stable high order difference approximations for variable-coefficient PDE. Katharina Kormann, Martin Kronbichler, and Bernhard Müller. In Journal of Scientific Computing, volume 50, pp 167-197, 2012. (DOI).
  19. A generic interface for parallel cell-based finite element operator application. Martin Kronbichler and Katharina Kormann. In Computers & Fluids, volume 63, pp 135-147, 2012. (DOI).
  20. High accuracy mantle convection simulation through modern numerical methods. Martin Kronbichler, Timo Heister, and Wolfgang Bangerth. In Geophysical Journal International, volume 191, pp 12-29, 2012. (DOI).
  21. Summation by parts operators for finite difference approximations of second-derivatives with variable coefficients. Ken Mattsson. In Journal of Scientific Computing, volume 51, pp 650-682, 2012. (DOI).
  22. Stability at nonconforming grid interfaces for a high order discretization of the Schrödinger equation. Anna Nissen, Gunilla Kreiss, and Margot Gerritsen. In Journal of Scientific Computing, volume 53, pp 528-551, 2012. (DOI).
  23. Energy decay of vortices in viscous fluids: an applied mathematics view. Jan Nordström and Björn Lönn. In Journal of Fluid Mechanics, volume 709, pp 593-609, 2012. (DOI).
  24. Weak and strong wall boundary procedures and convergence to steady-state of the Navier-Stokes equations. Jan Nordström, Sofia Eriksson, and Peter Eliasson. In Journal of Computational Physics, volume 231, pp 4867-4884, 2012. (DOI).
  25. Spurious currents in finite element based level set methods for two-phase flow. Sara Zahedi, Martin Kronbichler, and Gunilla Kreiss. In International Journal for Numerical Methods in Fluids, volume 69, pp 1433-1456, 2012. (DOI).

Computational Science (Tillämpad beräkningsvetenskap)

  1. URDME: a modular framework for stochastic simulation of reaction-transport processes in complex geometries. Brian Drawert, Stefan Engblom, and Andreas Hellander. In BMC Systems Biology, volume 6, pp 76:1-17, 2012. (DOI).
  2. Communication-efficient algorithms for numerical quantum dynamics. Magnus Gustafsson, Katharina Kormann, and Sverker Holmgren. In Applied Parallel and Scientific Computing: Part II, volume 7134 of Lecture Notes in Computer Science, pp 368-378, Springer-Verlag, Berlin, 2012. (DOI).
  3. Efficiently implementing Monte Carlo electrostatics simulations on multicore accelerators. Marcus Holm and Sverker Holmgren. In Applied Parallel and Scientific Computing: Part II, volume 7134 of Lecture Notes in Computer Science, pp 379-388, Springer-Verlag, Berlin, 2012. (DOI).
  4. An adaptive pseudospectral method for wave packet dynamics. Emil Kieri, Sverker Holmgren, and Hans O. Karlsson. In Journal of Chemical Physics, volume 137, pp 044111:1-12, 2012. (DOI, fulltext:print).
  5. Derivation of strictly stable high order difference approximations for variable-coefficient PDE. Katharina Kormann, Martin Kronbichler, and Bernhard Müller. In Journal of Scientific Computing, volume 50, pp 167-197, 2012. (DOI).
  6. A generic interface for parallel cell-based finite element operator application. Martin Kronbichler and Katharina Kormann. In Computers & Fluids, volume 63, pp 135-147, 2012. (DOI).
  7. Coherent estimates of genetic effects with missing information. Carl Nettelblad, Örjan Carlborg, Ania Pino-Querido, and José M. Álvarez-Castro. In Open Journal of Genetics, volume 2, pp 31-38, 2012. (DOI, Fulltext).
  8. Inferring haplotypes and parental genotypes in larger full sib-ships and other pedigrees with missing or erroneous genotype data. Carl Nettelblad. In BMC Genetics, volume 13, pp 85:1-13, 2012. (DOI, fulltext:print).
  9. Performance and stability of the Chelonia storage system. Jon Kerr Nilsen, Salman Toor, Zsombor Nagy, Bjarte Mohn, and Alex Read. In Proc. International Symposium on Grids and Clouds 2012, volume 153 of Proceedings of Science, pp 009:1-14, SISSA, Trieste, Italy, 2012.
  10. Students' experiences and attitudes towards learning Computer Science. Anne-Kathrin Peters and Arnold Pears. In Proc. 42nd ASEE/IEEE Frontiers in Education Conference, pp 88-93, IEEE, Piscataway, NJ, 2012. (DOI).
  11. Comment on "On the optimal symmetric purification scheme of the one-particle density matrix" [Chem. Phys. Lett. 511 (2011) 159–160]. Emanuel H. Rubensson. In Chemical Physics Letters, volume 527, pp 84-85, 2012. (DOI).
  12. Controlling errors in recursive Fermi–Dirac operator expansions with applications in electronic structure theory. Emanuel H. Rubensson. In SIAM Journal on Scientific Computing, volume 34, pp B1-B23, 2012. (DOI, fulltext:postprint).
  13. Difficulties in applying pure Kohn–Sham density functional theory electronic structure methods to protein molecules. Elias Rudberg. In Journal of Physics: Condensed Matter, volume 24, pp 072202:1-7, 2012. (DOI).
  14. Threshold concepts and threshold skills in computing. Kate Sanders, Jonas Boustedt, Anna Eckerdal, Robert McCartney, Jan Erik Moström, Lynda Thomas, and Carol Zander. In Proc. 8th International Computing Education Research Conference, pp 23-30, ACM Press, New York, 2012. (DOI).
  15. Computer Science at School / CS Teacher Education: Koli working-group report on CS at school. Carsten Schulte, Malte Hornung, Sue Sentance, Valentina Dagiene, Tatjana Jevsikova, Neena Thota, Anna Eckerdal, and Anne-Kathrin Peters. In Proc. 12th International Conference on Computing Education Research: Koli Calling, pp 29-38, ACM Press, New York, 2012. (DOI).
  16. Investigating an open source cloud storage infrastructure for CERN-specific data analysis. Salman Toor, Rainer Töebbicke, Maitane Zotes Resines, and Sverker Holmgren. In Proc. 7th International Conference on Networking, Architecture, and Storage, pp 84-88, IEEE Computer Society, Los Alamitos, CA, 2012. (DOI).
  17. Programming models based on data versioning for dependency-aware task-based parallelisation. Afshin Zafari, Martin Tillenius, and Elisabeth Larsson. In Proc. 15th International Conference on Computational Science and Engineering, pp 275-280, IEEE Computer Society, Los Alamitos, CA, 2012. (DOI).
  18. Self-Directed Learning: stories from industry. Carol Zander, Jonas Boustedt, Anna Eckerdal, Robert McCartney, Jan Erik Moström, Kate Sanders, and Lynda Thomas. In Proc. 12th International Conference on Computing Education Research: Koli Calling, pp 111-117, ACM Press, New York, 2012. (DOI).
  19. Abstractions for scaling eScience applications to distributed computing environments: A StratUm integration case study in molecular systems biology. Per-Olov Östberg, Andreas Hellander, Brian Drawert, Erik Elmroth, Sverker Holmgren, and Linda Petzold. In Proc. 3rd International Conference on Bioinformatics Models, Methods and Algorithms, pp 290-294, SciTePress, Setúbal, Portugal, 2012. (DOI).
  20. Reducing complexity in management of eScience computations. Per-Olov Östberg, Andreas Hellander, Brian Drawert, Erik Elmroth, Sverker Holmgren, and Linda Petzold. In Proc. 12th International Symposium on Cluster, Cloud and Grid Computing, pp 845-852, IEEE Computer Society, Los Alamitos, CA, 2012. (DOI).

Computer Systems (Datorteknik)

  1. Regular model checking for LTL(MSO). Parosh Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso, and Mayank Saksena. In International Journal on Software Tools for Technology Transfer, volume 14, number 2, pp 223-241, Springer, 2012. (DOI).
  2. Adding time to pushdown automata. Parosh Aziz Abdulla, Mohamed Faouzi Atig, and Jari Stenman. In Quantities in Formal Methods: QFM 2012, volume 103 of Electronic Proceedings in Theoretical Computer Science, pp 1-16, 2012. (DOI).
  3. Automatic fence insertion in integer programs via predicate abstraction. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson, and Ahmed Rezine. In Static Analysis, volume 7460 of Lecture Notes in Computer Science, pp 164-180, Springer-Verlag, Berlin, 2012. (DOI).
  4. Counter-Example Guided 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 7214 of Lecture Notes in Computer Science, pp 204-219, Springer-Verlag, Berlin, 2012. (DOI, fulltext:preprint).
  5. Dense-Timed Pushdown Automata. Parosh Aziz Abdulla, Mohamed Faouzi Atig, and Jari Stenman. In Proc. 27th ACM/IEEE Symposium on Logic in Computer Science, pp 35-44, IEEE Computer Society, 2012. (DOI).
  6. Multi-Pushdown Systems with Budgets. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman, and Othmane Rezine. In Formal Methods in Computer-Aided Design, pp 24-33, 2012. (External link).
  7. Petri Nets with Time and Cost. Parosh Aziz Abdulla and Mayr Richard. INFINITY 2012, 14th International Workshop on Verification of Infinite-State Systems, 2012.
  8. Regular model checking. Parosh Aziz Abdulla. In International Journal on Software Tools for Technology Transfer, volume 14, number 2, pp 109-118, 2012. (DOI).
  9. The minimal cost reachability problem in priced timed pushdown systems. Parosh Aziz Abdulla, Mohamed Faouzi Atig, and Jari Stenman. In Language and Automata Theory and Applications: 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012, volume 7183 of Lecture Notes in Computer Science, pp 58-69, Springer-Verlag, Berlin, 2012. (DOI).
  10. Timed lossy channel systems. Parosh Aziz Abdulla, Mohamed Faouzi Atig, and Jonathan Cederberg. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science: FSTTCS 2012, volume 18 of Leibniz International Proceedings in Informatics, pp 374-386, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2012. (DOI).
  11. Constraint programming for air traffic management: a survey. Cyril Allignol, Nicolas Barnier, Pierre Flener, and Justin Pearson. In Knowledge engineering review (Print), volume 27, number 3, pp 361-392, 2012. (DOI).
  12. Detecting fair non-termination in multithreaded programs. Mohamed Faouzi Atig, Ahmed Bouajjani, Michael Emmi, and Akash Lal. In Computer Aided Verification, volume 7358 of Lecture Notes in Computer Science, pp 210-227, Springer-Verlag, Berlin, 2012. (fulltext).
  13. Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding. Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, and Prakash Saivasan. In Automated Technology for Verification and Analysis: ATVA 2012, volume 7561 of Lecture Notes in Computer Science, pp 152-166, Springer Berlin/Heidelberg, 2012. (DOI).
  14. Model-Checking of Ordered Multi-Pushdown Automata. Mohamed Faouzi Atig. In Logical Methods in Computer Science, volume 8, number 3, p 20, 2012. (DOI).
  15. What's decidable about weak memory models?. Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt, and Madanlal Musuvathi. In Programming Languages and Systems, volume 7211 of Lecture Notes in Computer Science, pp 26-46, Springer Berlin/Heidelberg, 2012. (DOI).
  16. A social node model for realising information dissemination strategies in delay tolerant networks. Saeed Bastani, Björn Landfeldt, Christian Rohner, and Per Gunningberg. In Proceedings of the 15th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems, pp 79-88, ACM Press, New york, 2012. (DOI, fulltext:postprint).
  17. Intercultural competence in global collaboration courses in computer engineering. Helena Bernáld, Åsa Cajander, Mats Daniels, Can Kultur, Anette Löfström, Roger McDermott, and Lori Russell Dag. In Advances in Design for Cross-Cultural Activities: Part I, pp 351-361, CRC Press, Boca Raton, FL, 2012.
  18. Categorizing how students use collaborative technologies in a globally distributed project. Åsa Cajander, Mats Daniels, Mats Cullhed, Tony Clear, Roger McDermott, and Cary Laxer. In Proc. 42nd ASEE/IEEE Frontiers in Education Conference, pp 1325-1330, IEEE, Piscataway, NJ, 2012. (DOI).
  19. Managing international student collaborations: An experience report. Åsa Cajander, Mats Daniels, Can Kultur, Lori Russell Dag, and Cary Laxer. In Proc. 42nd ASEE/IEEE Frontiers in Education Conference, pp 355-360, IEEE, Piscataway, NJ, 2012. (DOI).
  20. On valuing peers: theories of learning and intercultural competence. Åsa Cajander, Mats Daniels, and Roger McDermott. In Computer Science Education, volume 22, pp 319-342, 2012. (DOI).
  21. Professionella kompetenser i projektkurser. Åsa Cajander, Mats Daniels, Helena Bernáld, and Björn Victor. In Proc. 3:e Utvecklingskonferensen för Sveriges ingenjörsutbildningar, volume 75 of Linköping Electronic Conference Proceedings, pp 123-128, Linköping University Electronic Press, 2012. (External link).
  22. The impact of trace and adversary models on location privacy provided by K-anonymity. Volkan Cambazoglu, Christian Rohner, and Björn Victor. In Proc. 1st Workshop on Measurement, Privacy, and Mobility, ACM Press, New York, 2012. (DOI).
  23. Towards business processes orchestrating the physical enterprise with wireless sensor networks. Fabio Casati, Florian Daniel, Guenadi Dantchev, Joakim Eriksson, Niclas Finne, Stamatis Karnouskos, Patricio Moreno Montera, Luca Mottola, Felix Jonathan Oppermann, Gian Pietro Picco, Antonio Quartulli, Kay Römer, Patrik Spiess, Stefano Tranquillini, and Thiemo Voigt. In ICSE, pp 1357-1360, 2012.
  24. A succinct canonical register automaton model for data domains with binary relations. Sofia Cassel, Bengt Jonsson, F. Howar, and B. Steffen. In Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, volume 7561 of Lecture Notes in Computer Science, pp 57-71, Springer, 2012. (DOI).
  25. A Compositional Specification Theory for Component Behaviours. Taolue Chen, Chris Chilton, Bengt Jonsson, and Marta Kwiatkowska. In Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012,, Lecture Notes in Computer Science, pp 148-168, 2012. (DOI).
  26. Assume-Guarantee Reasoning for Safe Component Behaviours. Chris Chilton, Bengt Jonsson, and Marta Kwiatkowska. In Proc. FACS: Formal Aspects of Component Software, 9th Int. Symp., volume 7684 of Lecture Notes in Computer Science, pp 92-109, Springer, 2012. (DOI, External link).
  27. Models and methods for computing education research. Mats Daniels and Arnold Pears. In Australian Computer Science Communications, volume 34, number 2, pp 95-102, 2012. (External link).
  28. Bounding and shaping the demand of mixed-criticality sporadic tasks. Pontus Ekberg and Wang Yi. In Proc. 24th Euromicro Conference on Real-Time Systems, pp 135-144, IEEE Computer Society, 2012. (DOI).
  29. Bandwidth bandit: Quantitative characterization of memory contention. David Eklöv, Nikkos Nikoleris, David Black-Schaffer, and Erik Hägersten. In Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT, pp 457-458, 2012. (DOI).
  30. Poster Abstract: A Testbed for Measuring Battery Discharge Behavior. Laura Marie Feeney, Lars Andersson, Anders Lindgren, Stina Starborg, and Annika Ahlberg Tidblad. In Proc. of 7th ACM Int’l Workshop on Wireless Network Testbeds, Experimental Evaluation and Characterization (WiNTECH’12), 2012.
  31. Poster Abstract: Using batteries wisely. Laura Marie Feeney, Lars Andersson, Anders Lindgren, Stina Starborg, and Annika Ahlberg Tidblad. In , 2012.
  32. Towards trustworthy simulation of wireless MAC/PHY layers: A comparison framework. Laura Marie Feeney. In Proc. of 15th ACM Int’l Conf. on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM’12), 2012.
  33. Constraint Programming for Air Traffic Management: Preface. Pierre Flener, Justin Pearson, and Marc Bourgois. In Knowledge engineering review (Print), volume 27, number 3, pp 287-289, 2012. (DOI).
  34. Timed Model Checking with Abstractions: Towards Worst-Case Response Time Analysis in Resource-Sharing Manycore Systems. Georgia Giannopoulou, Kai Lampka, Nikolay Stoimenov Nikolay Stoimenov, and Lothar Thiele. In Proc. International Conference on Embedded Software (EMSOFT), pp 63-72, ACM Press, 2012.
  35. Fixed-Priority Multiprocessor Scheduling: Critical Instant, Response Time and Utilization Bound. Nan Guan and Wang Yi. In 2012 IEEE 26TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS & PHD FORUM (IPDPSW), IEEE International Symposium on Parallel and Distributed Processing Workshops and PhD Forum-IPDPSW, pp 2470-2473, 2012. (DOI).
  36. Parametric Utilization Bounds for Fixed-Priority Multiprocessor Scheduling. Nan Guan, Martin Stigge, Wang Yi, and Ge Yu. In 2012 IEEE 26th International Parallel and Distributed Processing Symposium (IPDPS), International Parallel and Distributed Processing Symposium IPDPS, pp 261-272, 2012. (DOI).
  37. WCET analysis with MRU caches: Challenging LRU for predictability. Nan Guan, Mingsong Lv, Wang Yi, and Ge Yu. In Proc. 18th Real-Time and Embedded Technology and Applications Symposium, pp 55-64, IEEE Computer Society, 2012. (DOI).
  38. Designing a flexible and low-cost testbed for Wireless Sensor Networks. Cheng Guo, Venkatesha Prasad, JiangJie He, Martin Jacobsson, and Ignas Niemegeers. In International Journal of Ad Hoc and Ubiquitous Computing, volume 9, number 2, pp 111-121, InderScience Publishers, 2012. (DOI).
  39. Forest automata for verification of heap manipulation. Peter Habermehl, Lukáš Holík, Adam Rogalewicz, Ji?í Šimá?ek, and Tomas Vojnar. In Formal methods in system design, volume 41, number 1, pp 83-106, 2012. (DOI).
  40. An optimisation-based approach for wireless sensor deployment in mobile sensing environments. Farshid Hassani Bijarbooneh, Pierre Flener, Edith C.-H. Ngai, and Justin Pearson. In Proc. Wireless Communications and Networking Conference 2012, pp 2108-2112, IEEE Communications Society, 2012. (DOI).
  41. Macroprogramming of Wireless Sensor Networks using Task Graphs and Constraint Solving. Farshid Hassani Bijarbooneh and Martin Jacobsson. 8th Swedish National Computer Networking Workshop (SNCNW), 7-8 June, 2012, Stockholm, Sweden, 2012.
  42. Do Sensor Networks need Mobile MAC Protocols. Navid Hassanzadeh, Thiemo Voigt, Olaf Landsiedel, Frederik Hermans, and Olof Rensfelt. In Proc. of Third International Workshop on Networks of Cooperating Objects (CONET 2012), held in conjunction with IPSN 2012, April 2012, Beijing, China., 2012.
  43. Ef?cient Mobile Data Collection with Mobile Collect. Navid Hassanzadeh, Olaf Landsiedel, Frederik Hermans, Olof Rensfelt, and Thiemo Voigt. In Proceedings of the 8th IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS), pp 25-32, IEEE Computer Society, 2012. (DOI).
  44. A Lightweight Approach to Online Detection and Classification of Interference in 802.15.4-based Sensor Networks. Frederik Hermans, Olof Rensfelt, Lars-Åke Larzon, and Per Gunningberg. In ACM SIGBED Review, volume 9, number 3, pp 11-20, 2012. (DOI).
  45. Global Source Mobility in the Content-Centric Networking Architecture. Frederik Hermans, Edith Ngai, and Per Gunningberg. In Proc. 1st ACM Workshop on Emerging Name-Oriented Mobile Networking Design: Architecture, Algorithms, and Applications, pp 13-18, ACM Press, New York, 2012. (DOI).
  46. Accelerating interpolants. H. Hojjat, R. Iosif, F. Kone?ný, V. Kuncak, and Phillipp Rümmer. In Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, volume 7561 of Lecture Notes in Computer Science, pp 187-202, 2012. (DOI).
  47. A verification toolkit for numerical transition systems. Hossein Hojjat, Filip Konecný, Florent Garnier, Radu Iosif, Viktor Kuncak, and Philipp Rümmer. In FM 2012: Formal Methods, volume 7436 of Lecture Notes in Computer Science, pp 247-251, Springer Berlin/Heidelberg, 2012. (DOI).
  48. Inferring semantic interfaces of data structures. F. Howar, M. Isberner, B. Steffen, O. Bauer, and Bengt Jonsson. In Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I, volume 7609 of Lecture Notes in Computer Science, pp 554-571, 2012. (DOI).
  49. Inferring Canonical Register Automata. Falk Howar, Bernhard Steffen, Bengt Jonsson, and Sofia Cassel. In Verification, Model Checking, and Abstract Interpretation - 13th International Conference,, volume 7148 of Lecture Notes in Computer Science, pp 251-266, Springer, 2012. (DOI).
  50. A location-based publish/subscribe framework for wireless sensors and mobile phones. He Huang, Edith C.-H. Ngai, and Jiangchuan Liu. In Proc. Wireless Communications and Networking Conference 2012, pp 2173-2178, IEEE Communications Society, 2012. (DOI).
  51. Technological systems across contexts: Designing and exploring learning possibilities in Swedish compulsory technology education. Åke Ingerman, Maria Svensson, Anders Berglund, Shirley Booth, and Jonas Emanuelsson. In Proc. PATT 26 Conference: Technology Education in the 21st Century, volume 73 of Linköping Electronic Conference Proceedings, pp 232-238, Linköping University Electronic Press, 2012. (Free fulltext available).
  52. Using refinement calculus techniques to prove linearizability. Bengt Jonsson. In Formal Aspects of Computing, volume 24, number 4-6, pp 537-554, 2012. (DOI).
  53. Trace-based performance analysis of opportunistic forwarding under imperfect node cooperation. Merkourios Karaliopoulos and Christian Rohner. In Proceedings of the 31st Annual IEEE International Conference on Computer Communications (IEEE INFOCOM 2012), IEEE Communications Society, Orlando, 2012.
  54. Low Overhead Instruction-Cache Modeling Using Instruction Reuse Profiles. Muneeb Khan, Andreas Sembrant, and Erik Hagersten. In International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'12), Computer Architecture and High Performance Computing, pp 260-269, IEEE Computer Society, 2012. (DOI).
  55. Report on the Model Checking Contest at Petri Nets 2011. Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Kai Lampka, Niels Lohmann, Emmanuel Paviot-Adet, Yann Thierry-Mieg, and Harro Wimmel. In Transactions on Petri Nets and Other Models of Concurrency: VI, volume 7400 of Lecture Notes in Computer Science, pp 169-196, Springer Berlin/Heidelberg, 2012. (DOI, fulltext:postprint).
  56. A Hybrid Approach to Cyber-Physical Systems Verification. Pratyush Kumar, Dip Goswami, Samarjit Chakraborty, Anuradha Annaswamy, Kai Lampka, and Lothar Thiele. In Proc. 49th Design Automation Conference, pp 688-696, Association for Computing Machinery (ACM), 2012. (fulltext:postprint).
  57. Seasonal Affective Disorder Monitoring System. Negar Makvandian and Edith Ngai. 8th Swedish National Computer Networking Workshop (SNCNW), Stockholm, Sweden, 2012.
  58. A glimpse of energy-efficient location-triggered mobile application design and implementation in data collection scenarios. Yemao Man, Edith C.-H. Ngai, and Liu Yang. In Proc. 8th International Conference on Mobile Ad Hoc and Sensor Networks, pp 108-115, IEEE, Piscataway, NJ, 2012. (DOI).
  59. Student reflections on collaborative technology in a globally distributed student project. Roger McDermott, Mats Daniels, Åsa Cajander, Mats Cullhed, Tony Clear, and Cary Laxer. In Proc. 42nd ASEE/IEEE Frontiers in Education Conference, pp 365-370, IEEE, Piscataway, NJ, 2012. (DOI).
  60. Mining Conversations of Geographically Changing Users. Liam McNamara and Christian Rohner. In Proceedings of the World Wide Web 2012 Workshop on Social Web for Disaster (SWDM2012), Lion, 2012.
  61. On Resilience in Opportunistic Networks. Maria Mehrparvar, Fredrik Bjurefors, Christian Rohner, and Paul Smith. In 8th Swedish National Computer Networking Workshop SNCNW 2012, 2012.
  62. Demonstrating Learning of Register Automata. Maik Merten, Falk Howar, Bernhard Steffen, Sofia Cassel, and Bengt Jonsson. In Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference,, volume 7214 of Lecture Notes in Computer Science, pp 466-471, Springer Berlin/Heidelberg, Berlin, 2012. (DOI, External link).
  63. Context-aware sensor data dissemination for mobile users in remote areas. Edith C.-H. Ngai, Mani B. Srivastava, and Jiangchuan Liu. In Proc. 31st International Conference on Computer Communications: Mini-Conference, pp 2711-2715, IEEE, Piscataway, NJ, 2012. (DOI).
  64. Quality-of-Information aware data collection for mobile sensor networks. Edith C.-H. Ngai and Per Gunningberg. In Proc. 10th International Conference on Pervasive Computing and Communications Workshops, pp 38-43, IEEE Communications Society, 2012. (DOI).
  65. Challenges in Developing Global Collaborative Project Courses. Arnold Pears, Neena Thota, Henrik Forsberg, Jonny Gunnarsson, Anders Hedström, and David Skoglund. In Proc. 1st Forum on International Collaborative Academic Programs, BrownWalker Press, 2012.
  66. Harnessing theory in the service of engineering education research. Arnold Pears, Neena Thota, Päivi Kinnunen, and Anders Berglund. In Proc. 42nd ASEE/IEEE Frontiers in Education Conference, pp 391-395, IEEE, Piscataway, NJ, 2012. (DOI).
  67. Investigating Swedish Teacher's Approaches to Their Teaching Practice. Arnold Pears and Judy Sheard. In , San Antonio, TX, 2012.
  68. Students' experiences and attitudes towards learning Computer Science. Anne-Kathrin Peters and Arnold Pears. In Proc. 42nd ASEE/IEEE Frontiers in Education Conference, pp 88-93, IEEE, Piscataway, NJ, 2012. (DOI).
  69. On location privacy and quality of information in participatory sensing. Ioana Rodhe, Christian Rohner, and Edith C.-H. Ngai. In Proc. 8th ACM Symposium on QoS and Security for Wireless and Mobile Networks, pp 55-62, ACM Press, New York, 2012. (DOI).
  70. Making the Most of Your Contacts: Transfer Ordering in Data-Centric Opportunistic Networks. Christian Rohner, Fredrik Bjurefors, Per Gunningberg, Liam McNamara, and Erik Nordström. In Proceedings of the 2012 ACM MobiOpp Workshop on Mobile Opportunistic Networks, ACM Press, Zürich, 2012.
  71. Complexity-effective multicore coherence. Alberto Ros and Stefanos Kaxiras. In Proc. 21st International Conference on Parallel Architectures and Compilation Techniques, pp 241-251, ACM Press, New York, 2012. (DOI).
  72. E-matching with free variables. Philipp Rümmer. In Logic for Programming, Artificial Intelligence, and Reasoning, volume 7180 of Lecture Notes in Computer Science, pp 359-374, Springer Berlin/Heidelberg, 2012. (DOI).
  73. Efficient techniques for predicting cache sharing and throughput. Andreas Sandberg, David Black-Schaffer, and Erik Hagersten. In Proc. 21st International Conference on Parallel Architectures and Compilation Techniques, pp 305-314, ACM Press, New York, 2012. (DOI, fulltext:postprint).
  74. Topic 14: Mobile and Ubiquitous Computing. Paolo Santi, Sotiris E. Nikoletseas, Cecilia Mascolo, and Thiemo Voigt. In Euro-Par, 2012.
  75. Computer Science at School / CS Teacher Education: Koli working-group report on CS at school. Carsten Schulte, Malte Hornung, Sue Sentance, Valentina Dagiene, Tatjana Jevsikova, Neena Thota, Anna Eckerdal, and Anne-Kathrin Peters. In Proc. 12th International Conference on Computing Education Research: Koli Calling, pp 29-38, ACM Press, New York, 2012. (DOI).
  76. Phase Behavior in Serial and Parallel Applications. Andreas Sembrant, David Black-Schaffer, and Erik Hagersten. In International Symposium on Workload Characterization (IISWC'12), IEEE Computer Society, 2012.
  77. Phase Guided Profiling for Fast Cache Modeling. Andreas Sembrant, David Black-Schaffer, and Erik Hagersten. In International Symposium on Code Generation and Optimization (CGO'12), pp 175-185, ACM Press, 2012. (DOI).
  78. Power-Sleuth: A Tool for Investigating your Program's Power Behavior. Vasileios Spiliopoulos, Andreas Sembrant, and Stefanos Kaxiras. In International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'12), pp 241-250, 2012. (DOI).
  79. Hardness Results for Static Priority Real-Time Scheduling. Martin Stigge and Wang Yi. In Proceedings Of The 24th Euromicro Conference On Real-Time Systems (Ecrts 2012), Euromicro Workshop on Real-Time Systems-Proceedings, pp 189-198, 2012. (DOI, External link).
  80. Illustration of paradigm pluralism in computing education research. Neena Thota, Anders Berglund, and Tony Clear. In Australian Computer Science Communications, volume 34, number 2, pp 103-112, 2012. (External link, fulltext:print).
  81. A ubiquitous publish/subscribe platform for wireless sensor networks with mobile mules. Xiaoyu Tong and Edith C.-H. Ngai. In Proc. 8th International Conference on Distributed Computing in Sensor Systems, pp 99-108, IEEE Computer Society, 2012. (DOI).
  82. An analytical energy consumption model for packet transfer over wireless links. Javad Vazifehdan, Venkatesha Prasad, Martin Jacobsson, and Ignas Niemegeers. In IEEE Communications Letters, volume 16, number 1, pp 30-33, 2012. (DOI).
  83. A Long-Term Study on the Effects of Meteorological Conditions on 802.15.4 Links. Hjalmar Wennerström, Frederik Hermans, Olof Rensfelt, Christian Rohner, and Lars-Åke Nordén. In 8th Swedish National Computer Networking Workshop, Stockholm, June 7-8, 2012.
  84. Conformance testing for cyber-physical systems. Matthias Woehrle, Kai Lampka, and Lothar Thiele. In ACM Transactions on Embedded Computing Systems, volume 11, number 4, pp 84:1-23, Association for Computing Machinery (ACM), New York, 2012. (DOI).
  85. An investigation of link quality assessment for mobile multi-hop and multi-rate wireless networks. Jinglong Zhou, Martin Jacobsson, Ertan Onur, and Ignas Niemegeers. In Wireless personal communications, volume 65, number 2, pp 405-423, 2012. (DOI).
  86. Bifurcation phenomena in an impulsive model of non-basal testosterone regulation. Zhanybai T. Zhusubaliyev, Alexander N. Churilov, and Alexander Medvedev. In Chaos, volume 22, number 1, p 013121, 2012. (DOI).

Computing Science (Datalogi)

  1. Constraint programming for air traffic management: a survey. Cyril Allignol, Nicolas Barnier, Pierre Flener, and Justin Pearson. In Knowledge engineering review (Print), volume 27, number 3, pp 361-392, 2012. (DOI).
  2. Scientific SPARQL: Semantic web queries over scientific data. Andrej Andrejev and Tore Risch. In Proc. 28th International Conference on Data Engineering Workshops, pp 5-10, IEEE Computer Society, 2012. (DOI).
  3. A scalability benchmark suite for Erlang/OTP. Stavros Aronis, Nikolaos Papaspyrou, Katerina Roukounaki, Konstantinos Sagonas, Yiannis Tsiouris, and Ioannis E. Venetis. In Proc. 11th ACM SIGPLAN Workshop on Erlang, pp 33-42, ACM Press, New York, 2012. (DOI).
  4. An Introduction To Bayesian Networks in Systems and Control. Michael Ashcroft. 2012 18th International Conference on Automation and Computing (ICAC), 2012.
  5. Bayesian Networks in Business Analytics. Michael Ashcroft. In 2012 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), pp 955-961, 2012.
  6. Using Bayesian networks in business analytics: Overview and short case study. Michael Ashcroft. In Business Informatics, volume 3, number 25, 2012.
  7. Scalable ordered indexing of streaming data. Sobhan Badiozamany and Tore Risch. In 3rd International Workshop on Accelerating Data Management Systems using Modern Processor and Storage Architectures, p 11, 2012. (Fulltext).
  8. Professionella kompetenser i projektkurser. Åsa Cajander, Mats Daniels, Helena Bernáld, and Björn Victor. In Proc. 3:e Utvecklingskonferensen för Sveriges ingenjörsutbildningar, volume 75 of Linköping Electronic Conference Proceedings, pp 123-128, Linköping University Electronic Press, 2012. (External link).
  9. The impact of trace and adversary models on location privacy provided by K-anonymity. Volkan Cambazoglu, Christian Rohner, and Björn Victor. In Proc. 1st Workshop on Measurement, Privacy, and Mobility, ACM Press, New York, 2012. (DOI).
  10. Privacy preserving data publishing for recommender system. Xiaoqiang Chen and Vincent Huang. In Proc. 36th International Computer Software and Applications Conference Workshops, pp 128-133, IEEE Computer Society, 2012. (DOI).
  11. Constraint Programming for Air Traffic Management: Preface. Pierre Flener, Justin Pearson, and Marc Bourgois. In Knowledge engineering review (Print), volume 27, number 3, pp 287-289, 2012. (DOI).
  12. An optimisation-based approach for wireless sensor deployment in mobile sensing environments. Farshid Hassani Bijarbooneh, Pierre Flener, Edith C.-H. Ngai, and Justin Pearson. In Proc. Wireless Communications and Networking Conference 2012, pp 2108-2112, IEEE Communications Society, 2012. (DOI).
  13. Macroprogramming of Wireless Sensor Networks using Task Graphs and Constraint Solving. Farshid Hassani Bijarbooneh and Martin Jacobsson. 8th Swedish National Computer Networking Workshop (SNCNW), 7-8 June, 2012, Stockholm, Sweden, 2012.
  14. Solution neighbourhoods for constraint-directed local search. Jun He, Pierre Flener, and Justin Pearson. In Proc. 27th ACM Symposium on Applied Computing, pp 74-79, ACM Press, New York, 2012. (DOI).
  15. Software risk management modeling using goal-driven approach from early requirements engineering. Shareeful Islam and Anca-Juliana Stoica. In Risk Assessment and Management, pp 385-401, Publishing Services LLC, Cheyenne, WY, 2012. (External link).
  16. Computing Strong and Weak Bisimulations for Psi-Calculi. Magnus Johansson, Björn Victor, and Joachim Parrow. In Journal of Logic and Algebraic Programming, volume 81, number 3, pp 162-180, Elsevier, 2012. (DOI).
  17. Combinatorial problem solving over relational databases: View synthesis through constraint-based local search. Toni Mancini, Pierre Flener, and Justin K. Pearson. In Proc. 27th ACM Symposium on Applied Computing, pp 80-87, ACM Press, New York, 2012. (DOI).
  18. Towards solver-independent propagators. Jean-Noël Monette, Pierre Flener, and Justin Pearson. In Principles and Practice of Constraint Programming: CP 2012, volume 7514 of Lecture Notes in Computer Science, pp 544-560, Springer Berlin/Heidelberg, 2012. (DOI, fulltext:postprint).
  19. Progression i skrivfärdigheter hos studenter i datavetenskap. Aletta Nylén. In Proc. NU 2012: Gränslöst lärande, Chalmers University of Technology, Göteborg, Sweden, 2012. (Abstract).
  20. On preserving term sharing in the Erlang virtual machine. Nikolaos Papaspyrou and Konstantinos Sagonas. In Proc. 11th ACM SIGPLAN Workshop on Erlang, pp 11-20, ACM Press, New York, 2012. (DOI).
  21. Proof Exchange for Theorem Proving: PxTP 2012. David Pichardie and Tjark Weber (eds). Volume 878 of CEUR Workshop Proceedings, 2012. (Proceedings).
  22. Adaptive Parallelization of Queries to Data Providing Web Service Operations. Manivasakan Sabesan and Tore Risch. In Transactions on Large-Scale Data- and Knowledge-Centered Systems V, volume 7100 of Lecture Notes in Computer Science, pp 49-69, Springer, 2012. (DOI).
  23. ErLLVM: An LLVM backend for Erlang. Konstantinos Sagonas, Chris Stavrakakis, and Yiannis Tsiouris. In Proc. 11th ACM SIGPLAN Workshop on Erlang, pp 21-32, ACM Press, New York, 2012. (DOI).
  24. Concurrent view modeling for software risk management at early development stage. Anca-Juliana Stoica and Shareeful Islam. In Proc. 1st International Conference on Theory and Practice in Modern Computing, pp 35-44, IADIS Press, 2012.
  25. Educational methods for software and systems development. Anca-Juliana Stoica and Shareeful Islam. In Proc. 15th International Conference on Interactive Collaborative Learning, p 8, IEEE, Piscataway, NJ, 2012. (DOI).
  26. Contingency plans for air traffic flow and capacity management using constraint programming. Karl Sundequist Blomdahl, Pierre Flener, and Justin Pearson. In Journal of Aerospace Operations, volume 1, pp 249-266, 2012. (DOI).
  27. On the use of underspecified data-type semantics for type safety in low-level code. Hendrik Tews, Marcus Völp, and Tjark Weber. In Proc. 7th Conference on Systems Software Verification: SSV 2012, volume 102 of Electronic Proceedings in Theoretical Computer Science, pp 73-87, 2012. (DOI).
  28. Structured Aliasing. Tobias Wrigstad. In ECOOP 2012 – Object-Oriented Programming, volume 7313 of Lecture Notes in Computer Science, pp 232-232, Springer Berlin/Heidelberg, 2012. (DOI).
  29. Multiple Aggregate Entry Points for Ownership Types. Johan Östlund and Tobias Wrigstad. In ECOOP 2012 – Object-Oriented Programming, volume 7313 of Lecture Notes in Computer Science, pp 156-180, Springer Berlin/Heidelberg, 2012. (DOI).

Computerized Image Analysis and Human-Computer Interaction

(Bildanalys och människa-datorinteraktion)

  1. Do social media generate social capital?. Ryoko Asai and Iordanis Kavathatzopoulos. In ICT, society and human beings, pp 133-136, IADIS Press, Lisbon, 2012. (External link).
  2. New form of social ties through communicating in social media (Sosharu media ga tukuru atarashii kizuna no katachi). Ryoko Asai. In Information and Management  64th Conferenceedings Spring, pp 141-144, 2012. (External link).
  3. Regulation of potentially harmful contents on minors. Ryoko Asai and Iordanis Kavathatzopoulos. In Equity, integrity and beauty in information law and ethics, Ionian Academy, Kerkyra, Greece, 2012. (External link).
  4. Rethinking ICT's contribution to sustainability and education. Ryoko Asai. In New technologies, education for sustainable development and critical pedagogy, pp 232-235, ICTeESD, University of Crete, Rethymnon, Greece, 2012.
  5. Social Media as Informal Public Spheres. Ryoko Asai. In Creating and applying socially, ethically and professionally acceptable ICT systems: Current challenges and what is next?, p 3, 2012. (External link).
  6. Social movement and social media. Ryoko Asai and Iordanis Kavathatzopoulos. In Critique, democracy and philosophy in 21st century information society: Towards critical theories of social media, pp 76-77, 2012. (External link).
  7. The paradoxical nature of privacy. Ryoko Asai and Iordanis Kavathatzopoulos. In Privacy in the social networked world, 2012. (External link).
  8. Histological Stain Evaluation for Machine Learning Applications. Jimmy Azar, Christer Busch, and Ingrid Carlbom. In Proceedings of the International Conference on Medical Image Computing and Computer Assisted Intervention, 2012. (External link).
  9. Microarray Core Detection by Geometric Restoration. Jimmy Azar, Christer Busch, and Ingrid Carlbom. In Analytical Cellular Pathology, volume 35, number 5-6, pp 381-393, 2012. (DOI).
  10. Intercultural competence in global collaboration courses in computer engineering. Helena Bernáld, Åsa Cajander, Mats Daniels, Can Kultur, Anette Löfström, Roger McDermott, and Lori Russell Dag. In Advances in Design for Cross-Cultural Activities: Part I, pp 351-361, CRC Press, Boca Raton, FL, 2012.
  11. Osseointegration med hjälp av datoriserad bildanalys. Gunilla Borgefors, Hamid Sarve, Carina B Johansson, and Bertil Friberg. In Tandläkartidningen, volume 104, number 12, pp 66-71, 2012.
  12. Categorizing how students use collaborative technologies in a globally distributed project. Åsa Cajander, Mats Daniels, Mats Cullhed, Tony Clear, Roger McDermott, and Cary Laxer. In Proc. 42nd ASEE/IEEE Frontiers in Education Conference, pp 1325-1330, IEEE, Piscataway, NJ, 2012. (DOI).
  13. Managing international student collaborations: An experience report. Åsa Cajander, Mats Daniels, Can Kultur, Lori Russell Dag, and Cary Laxer. In Proc. 42nd ASEE/IEEE Frontiers in Education Conference, pp 355-360, IEEE, Piscataway, NJ, 2012. (DOI).
  14. On valuing peers: theories of learning and intercultural competence. Åsa Cajander, Mats Daniels, and Roger McDermott. In Computer Science Education, volume 22, pp 319-342, 2012. (DOI).
  15. Professionella kompetenser i projektkurser. Åsa Cajander, Mats Daniels, Helena Bernáld, and Björn Victor. In Proc. 3:e Utvecklingskonferensen för Sveriges ingenjörsutbildningar, volume 75 of Linköping Electronic Conference Proceedings, pp 123-128, Linköping University Electronic Press, 2012. (External link).
  16. Cluster detection in cytology images using the cellgraph method. P. S. Chandran, N. B. Byju, R. U. Deepak, R. Rajesh Kumar, S. Sudhamony, Patrik Malm, and Ewert Bengtsson. In Information Technology in Medicine and Education (ITME), 2012 International Symposium, volume 2 of Proceedings of 2012 International Symposium on Information Technologies in Medicine and Education, ITME 2012, pp 923-927, 2012. (DOI).
  17. Fully automated cellular-resolution vertebrate screening platform with parallel animal processing. Tsung-Yao Chang, Carlos Pardo-Martin, Amin Allalou, Carolina Wählby, and Mehmet Fatih Yanik. In Lab on a Chip, volume 12, number 4, pp 711-716, 2012. (DOI).
  18. Salience adaptive structuring elements. Vladimir Curic, Cris L. Luengo Hendriks, and Gunilla Borgefors. In IEEE Journal on Selected Topics in Signal Processing, volume 6, number 7, pp 809-819, 2012. (DOI).
  19. Analyzing Tubular Tissue in Histopathological Thin Sections. Azadeh Fakhrzadeh, Ellinor Spörndly-Nees, Lena Holm, and Cris L. Luengo Hendriks. In 2012 INTERNATIONAL CONFERENCE ON DIGITAL IMAGE COMPUTING TECHNIQUES AND APPLICATIONS (DICTA), pp 1-6, IEEE conference proceedings, 2012. (DOI).
  20. Pharmacological characterization of <sup>18</sup>F-labeled vorozole analogs. Håkan Hall, Kayo Takahashi, Maria Erlandsson, Sergio Estrada, Pasha Razifar, Elisabeth Bergström, and Bengt Långström. In Journal of labelled compounds & radiopharmaceuticals, volume 55, number 14, pp 484-490, 2012. (DOI).
  21. An Efficient Preconditioner and a Modified RANSAC for Fast and Robust Feature Matching.. Anders Hast and Andrea Marchetti. In International Conferences in Central Europe on Computer Graphics, Visualization and Computer Vision: Communcations Paper, pp 11-18, 2012.
  22. Putative Match Analysis: A Repeatable Alternative to RANSAC for Matching of Aerial Images. Anders Hast and Andrea Marchetti. In VISAPP 2012 - Proceedings of the International Conference on Computer Vision Theory and Applications, Volume 2, pp 341-344, SciTePress, 2012.
  23. An image based high-throughput assay for chemical screening using zebrafish.. Omer Ishaq, Joseph Negri, Mark-Anthony Bray, Alexandra Pacureanu, and Carolina Wählby. In , 2012.
  24. Automated classification of immunostaining patterns in breast tissue from the Human Protein Atlas. Swamidoss Issac Niwas, Andreas Kårsnäs, Virginie Uhlmann, P. Palanisamy, Caroline Kampf, Martin Simonsson, Carolina Wählby, and Robin Strand. In Histopathology Image Analysis (HIMA): a MICCAI 2012 workshop, 2012. (External link).
  25. Interpretation and Adoption of the Concept of Enterprise-wide and Best of Breed Health IT within the New Zealand eHealth Community. Rebecka Janols, Karen Day, and Martin Orr. In Health Informatics New Zeeland, 2012. (External link, fulltext:postprint).
  26. Time Does Not Heal Usability Issues!: Results from a Longitudinal Evaluation of a Health IT Deployment Performed at Three Swedish Hospital Units. Rebecka Janols. In OzCHI '12 Proceedings of the 24th Australian Computer-Human Interaction Conference, pp 273-280, ACM Press, New York, NY, USA, 2012. (DOI, External link).
  27. The usage of usability techniques in Scrum projects. Yuan Jia, Marta Kristín Lárusdóttir, and Åsa Cajander. In Human-Centered Software Engineering, volume 7623 of Lecture Notes in Computer Science, pp 331-341, Springer Berlin/Heidelberg, 2012. (DOI).
  28. Assessing and acquiring ethical leadership competence. Iordanis Kavathatzopoulos. In Leadership through the Classics: leadership and management in a changing world - lessons from ancient eastern and western philosophy, pp 389-400, Springer Berlin/Heidelberg, 2012. (DOI).
  29. Assessing usability of IT systems. Iordanis Kavathatzopoulos. In Ergonomics for sustainability and growth, KTH Royal Institute of Technology, Stockholm, 2012. (External link, fulltext:print).
  30. Computerized support of personal and group skills for sustainability. Iordanis Kavathatzopoulos and Mikael Laaksoharju. International Conference on new technologies, education for sustainable development and critical pedagogy, 2012. (External link).
  31. ICT as a horsefly. Iordanis Kavathatzopoulos. In Critique, Democracy and Philosophy in 21st Century Information Society: Towards Critical Theories of Social Media, pp 38-38, 2012. (External link).
  32. Training and supporting education in sustainability by the use of an ICT tool. Iordanis Kavathatzopoulos and Mikael Laaksoharju. In New technologies, education for sustainable development and critical pedagogy, pp 225-231, ICTeESD, University of Crete, Rethymnon, Greece, 2012.
  33. Segmentation of virus particle candidates in transmission electron microscopy images. Gustaf Kylberg, Mats Uppström, Kjell-Olof Hedlund, Gunilla Borgefors, and Ida-Maria Sintorn. In Journal of Microscopy, volume 245, number 2, pp 140-147, Blackwell Publishing, 2012. (DOI).
  34. Learning histopathological patterns. Andreas Kårsnäs, Anders L. Dahl, and Rasmus Larsen. In Journal of Pathology Informatics, volume 2, p 12, 2012. (DOI).
  35. The Vectorial Minimum Barrier Distance. Andreas Kårsnäs, Robin Strand, and Punam K. Saha. In International Conference on Pattern Recognition, pp 792-795, 2012. (External link).
  36. In Support of Democratic Dialogue. Mikael Laaksoharju. Critique, Democracy and Philosophy in 21st Century Information Society. Towards Critical Theories of Social Media. The Fourth ICTs and Society-Conference.Uppsala University. May 2nd-4th, 2012, 2012.
  37. Tools for ethical and sustainable IT systems. Mikael Laaksoharju and Iordanis Kavathatzopoulos. In Creating and applying socially, ethically and professionally acceptable ICT systems: Current challenges and what is next?, pp 4-5, 2012. (External link).
  38. Coverage segmentation based on linear unmixing and minimization of perimeter and boundary thickness. Joakim Lindblad and Natasa Sladoje. In Pattern Recognition Letters, volume 33, number 6, pp 728-738, 2012. (DOI).
  39. Comparison of Restoration Quality on Square and Hexagonal Grids using Normalized Convolution. Elisabeth Linner and Robin Strand. In Proceedings of the 21st International Conference on Pattern Recognition (ICPR), 2012.
  40. Aliasing Properties of Voxels in Three-Dimensional Sampling Lattices. Elisabeth Linnér and Robin Strand. In Large Scale Scientific Computing, volume 7116 of Lecture Notes in Computer Science, pp 507-514, 2012. (DOI).
  41. Comparison of restoration quality on square and hexagonal grids using normalized convolution. Elisabeth Linnér and Robin Strand. In Proc. 21st International Conference on Pattern Recognition, pp 3046-3049, 2012.
  42. Detection of Line Features in Digital Images of Building Structures. Fei Liu and Stefan Seipel. In Proceedings of IADIS International Conference Computer Graphics, Visualization, Computer Vision and Image Processing 2012 (CGVCVIP 2012), pp 163-167, 2012.
  43. Identifying all individuals in a honeybee hive: progress towards mapping all social interactions. Cris Luengo Hendriks, Ziquan Yu, Antoine Lecocq, Teatske Bakker, Barbara Locke, and Olle Terenius. In Visual observation and analysis of animal and insect behavior, pp 5-8, 2012. (fulltext:postprint).
  44. The big picture of UX is missing in Scrum projects. Marta Kristín Lárusdóttir, Åsa Cajander, and Jan Gulliksen. In Interplay between User Experience and Software Development: I-UxSED 2012, volume 922 of CEUR Workshop Proceedings, pp 43-48, RWTH Aachen University, 2012. (Fulltext).
  45. Using cultural analysis as a tool to increase quality in organisational ergonomics. Anette Löfström and Lars Oestreicher. Ergonomic for Sustainability and Growth, 2012. (External link).
  46. What is cross-cultural?. Anette Löfström. In Advances in Design for Cross-Cultural Activities: Part 2, pp 408-416, 2012.
  47. Seeded Segmentation Based on Object Homogeneity. Filip Malmberg, Robin Strand, Richard Nordenskjöld, and Joel Kullberg. In Proceedings of the 21st International Conference on Pattern Recognition (ICPR), pp 21-24, 2012. (External link, External link).
  48. Smart Paint: A New Interactive Segmentation Method\\ Applied to MR Prostate Segmentation. Filip Malmberg, Robin Strand, Joel Kullberg, Richard Nordenskjöld, and Ewert Bengtsson. In Prostate MR Image Segmentation Grand Challenge (PROMISE'12), a MICCAI 2012 workshop, 2012. (External link).
  49. Student reflections on collaborative technology in a globally distributed student project. Roger McDermott, Mats Daniels, Åsa Cajander, Mats Cullhed, Tony Clear, and Cary Laxer. In Proc. 42nd ASEE/IEEE Frontiers in Education Conference, pp 365-370, IEEE, Piscataway, NJ, 2012. (DOI).
  50. A non-destructive X-ray microtomography approach for measuring fibre length in short-fibre composites. Arttu Miettinen, Cris L. Luengo Hendriks, Gary Chinga-Carrasco, E. Kristofer Gamstedt, and Markku Kataja. In Composites Science And Technology, volume 72, number 15, pp 1901-1908, 2012. (DOI).
  51. Automated segmentation of free-lying cell nuclei in Pap smears for malignancy-associated change analysis. R. Moshavegh, B. E. Bejnordi, A. Mehnert, K. Sujathan, Patrik Malm, and Ewert Bengtsson. In Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS, Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS, pp 5372-5375, 2012. (DOI).
  52. Automated segmentation of free-lying cell nuclei in Pap smears for malignancy-associated change analysis. R. Moshavegh, B. E. Bejnordi, A. Mehnert, K. Sujathan, P. Malm, and E. Bengtsson. In Engineering in Medicine and Biology Society (EMBC), 2012 Annual International Conference of the IEEE, pp 5372-5375, 2012. (DOI).
  53. A Novel Algorithm for Computing Riemannian Geodesic Distance in Rectangular 2D Grids. Ola Nilsson, Martin Reimers, Ken Museth, and Anders Brun. In Advances in Visual Computing: 8th International Symposium, ISVC 2012, Rethymnon, Crete, Greece, July 16-18, 2012, Revised Selected Papers, Part II, volume 7432 of Springer Lecture Notes in Computer Science, pp 265-274, 2012.
  54. Towards User-Guided Quantitative Evaluation of Wrist Fractures in CT Images. Johan Nysjö, Albert Christersson, Filip Malmberg, Ida-Maria Sintorn, and Ingela Nyström. In Computer Vision and Graphics: ICCVG 2012, volume 7594 of Lecture Notes in Computer Science, pp 204-211, Springer Berlin/Heidelberg, 2012. (DOI).
  55. Physically Co-Located Haptic Interaction with 3D Displays. Pontus Olsson, Fredrik Nysjö, Stefan Seipel, and Ingrid Carlbom. In Proc. Haptics Symposium (HAPTICS), 2012 IEEE, pp 267-272, 2012. (DOI).
  56. Rendering stiffness with a prototype haptic glove actuated by an integrated piezoelectric motor. Pontus Olsson, Stefan Johansson, Fredrik Nysjö, and Ingrid Carlbom. In Haptics: Perception, Devices, Mobility, and Communication: Part I, volume 7282 of Lecture Notes in Computer Science, pp 361-372, Springer Berlin/Heidelberg, 2012. (DOI).
  57. Making isotropic 3D imaging at microscopic scale accessible to every lab. Alexandra Pacureanu, Omer Ishaq, Amin Allalou, and Carolina Wählby. BioImage Informatics, 2012.
  58. Beyond cloud computing: why should society be allowed to say a word about it. Norberto Patrignani. In Creating and applying socially, ethically and professionally acceptable ICT systems: Current challenges and what is next?, p 4, 2012. (External link).
  59. Is the post-Turing ICT sustainable?. Norberto Patrignani and Iordanis Kavathatzopoulos. In ICT critical infrastructure and society: 10th IFIP TC 9 International Conference on Human Choice and Computers, HCC10 2012, Amsterdam, The Netherlands, September 27-28, 2012. Proceedings, volume 386 of IFIP Advances in Information and Communication Technology, pp 183-191, Springer, Amsterdam, 2012. (DOI, External link).
  60. Synchrotron radiation CT from the micro to nanoscale for the investigation of bone tissue. Francoise Peyrin, Pei Dong, Alexandra Pacureanu, Maria Zuluaga, Cecile Olivier, Max Langer, and Peter Cloetens. In Proceedings of SPIE: The International Society for Optical Engineering, volume 8506 of Proceedings of SPIE - The International Society for Optical Engineering, p 85060L, 2012. (DOI).
  61. Democracy has arrived!: A model for ethical decision making of players in MMOs. Patrick Prax and Mikael Laaksoharju. Meaningful Play 2012, 2012.
  62. Non-Random mtDNA Segregation Patterns Indicate a Metastable Heteroplasmic Segregation Unit in m.3243A&gt;G Cybrid Cells. A. K. Raap, R. S. Jahangir Tafrechi, F. M. van de Rijke, A. Pyle, Carolina Wählby, K. Szuhai, R. B. G. Ravelli, R. F. M. de Coo, H. K. Rajasimha, Mats Nilsson, P. F. Chinnery, D. C. Samuels, and G. M. C. Janssen. In PLOS ONE, volume 7, number 12, p e52080, 2012. (DOI, fulltext:print).
  63. Solving combined geospatial tasks using 2D and 3D bar charts. Stefan Seipel and L. Carvalho. In Information Visualisation (IV), 2012 16th International Conference, Proceedings of the International Conference on Information Visualisation, pp 157-163, 2012. (DOI).
  64. Automatic measurement of compression wood cell attributes in fluorescence microscopy images. Bettina Selig, Cris L. Luengo Hendriks, Stig Bardage, Geoffrey Daniel, and Gunilla Borgefors. In Journal of Microscopy, volume 246, number 3, pp 298-308, 2012. (DOI).
  65. Optimization of semi-automated cell tracking using application-expert feed-back. Martin Simonsson, Ahmet Tugrul Bayrak, and Carolina Wählby. In , 2012.
  66. Regional Zernike Moments for Texture Recognition. Ida-Maria Sintorn and Gustaf Kylberg. In Proceedings of the 21st International Conference on Pattern Recognition (ICPR), pp 1635-1638, 2012.
  67. The coverage model and its use in image processing. Natasa Sladoje and Joakim Lindblad. In Selected Topics on Image Processing and Cryptology: Zbornik radova (Collection of Papers), volume 15(23) of Zbornik radova, pp 39-117, Mathematical Institute of the Serbian Academy of Sciences and Arts, Belgrade, Serbia, 2012. (External link).
  68. Distance transform computation for digital distance functions. Robin Strand and Nicolas Normand. In Theoretical Computer Science, volume 448, pp 80-93, 2012. (DOI).
  69. Rigid template registration in MET images using CUDA. Lennart Svensson, Johan Nysjö, Anders Brun, Ingela Nyström, and Ingela Sintorn. In VISAPP 2012: Proceedings of the International Conference on Computer Vision Theory and Applications, pp 418-422, SciTePress, Rome, 2012.
  70. Graph Based Line Segmentation on Cluttered Handwritten Manuscripts. Fredrik Wahlberg and Anders Brun. In Proceedings of the 21st International Conference on Pattern Recognition, 2012, pp 1570-1573, IEEE, 2012. (fulltext:postprint).
  71. Visualising individual sequence-specific protein-DNA interactions in situ. Irene Weibrecht, Milan Gavrilovic, Lena Lindbom, Ulf Landegren, Carolina Wählby, and Ola Söderberg. In New Biotechnology, volume 29, number 5, pp 589-598, 2012. (DOI).
  72. An image analysis toolbox for high-throughput <em>C. elegans </em>assays. Carolina Wählby, Lee Kamentsky, Zihan H Liu, Tammy Riklin-Raviv, Annie L Conery, Eyleen O'Rourke, Katherine Sokolnicki, Orane Visvikis, Vebjorn Ljosa, Javier E Irazoqui, Polina Golland, Gary Ruvkun, Frederick M Ausubel, and Anne E Carpenter. In Nature Methods, volume 9, number 7, pp 714-716, 2012. (DOI).
  73. High throughput phenotyping of model organisms. Carolina Wählby. In BioImage Informatics 2012, pp 45-45, Dresden, Germany, 2012.

Updated  2016-04-11 10:24:03 by Kurt Otto.