Refereed publications from the IT research programs 2012
Automatic Control (Reglerteknik)
- Sparse spectral-line estimation for nonuniformly sampled multivariate time series: SPICE, LIKES and MSBL. In 2012 Proceedings Of The 20th European Signal Processing Conference (EUSIPCO), European Signal Processing Conference, pp 445-449, 2012. (External link).
- Optimality of Equally-Spaced Phase Increments for Banding Removal in bSSFP. In Proceedings of the ISMRM 20th annual meeting, 2012.
- Model predictive zooming power control in future cellular systems under coarse quantization. In Proc. 76th Vehicular Technology Conference, IEEE, Piscataway, NJ, 2012. (DOI).
- A state observer for continuous oscillating systems under intrinsic pulse-modulated feedback. In Automatica, volume 48, number 6, pp 1117-1122, 2012. (DOI).
- An ellipsoid based, two-stage screening test for BPDN. In Proc. 20th European Signal Processing Conference, pp 654-658, IEEE, 2012.
- An online algorithm for controlling a monotone Wiener system. 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).
- Impact of stroke on anterior–posterior force generation prior to seat-off during sit-to-walk. In Gait & Posture, volume 35, number 1, pp 56-60, 2012. (DOI).
- Least-Squares Support Vector Machines for the identification of Wiener-Hammerstein systems. In Control Engineering Practice, volume 20, number 11, pp 1165-1174, 2012. (DOI).
- Acute Effects of Reducing Vertical Displacement and Step Frequency on Running Economy. In Journal of Strength and Conditioning Research, volume 26, number 8, pp 2065-2070, 2012. (DOI).
- Waveform Design for Active Sensing Systems: a computational approach. Cambridge University Press, UK, 2012. (MATLAB CODES and PRESENTATION SLIDES AVAILABLE FOR DOWNLOAD).
- Identification of a pulsatile endocrine model from hormone concentration data. In 2012 IEEE INTERNATIONAL CONFERENCE ON CONTROL APPLICATIONS (CCA), IEEE International Conference on Control Applications, pp 356-363, 2012.
- Laguerre domain identification of continuous linear time-delay systems from impulse response data. In Automatica, volume 48, number 11, pp 2902-2907, 2012. (DOI).
- SNR Requirements for T1 and T2 Estimation using bSSFP. In Proceedings of the ISMRM 20th annual meeting, 2012.
- Positioning in LTE. In Handbook of Position Location: Theory, Practice, and Advances, pp 1081-1127, John Wiley & Sons, Hoboken, NJ, 2012. (DOI).
- A map based estimator for inverse complex covariance matricies. In 2012 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), pp 3369-3372, 2012. (DOI).
- Broadband synchronization of underwater acoustic communication signals using superimposed pilots. In OCEANS, 2012 - YEOSU, OCEANS-IEEE, 2012.
- Control of rocuronium-induced neuromuscular blockade via online identification of a two-parameters Wiener model. In , volume 45:16 of IFAC-PapersOnLine, pp 571-576, 2012. (DOI).
- Exactly linearizing adaptive control of propofol and remifentanil using a reduced Wiener model for the depth of anesthesia. In Proc. 51st Conference on Decision and Control, pp 368-373, IEEE, Piscataway, NJ, 2012. (DOI).
- Nonlinear identification of a minimal neuromuscular blockade model in anesthesia. In IEEE Transactions on Control Systems Technology, volume 20, number 1, pp 181-188, 2012. (DOI).
- Estimation of input impulses by means of continuous finite memory observers. In Proc. American Control Conference: ACC 2012, pp 6769-6774, American Automatic Control Council, 2012. (DOI).
- Comparing different identification approaches for the depth of anesthesia using BIS measurements. In Proc. 16th IFAC Symposium on System Identification, pp 781-785, 2012.
- On covariance matching for multiple input multiple output errors-in-variables systems. In Proc. 16th IFAC Symposium on System Identification, pp 1371-1376, International Federation of Automatic Control, 2012.
- A cooperative decentralized PI control strategy: discrete-time analysis and nonlinear feedback. In Proc. 3rd IFAC Workshop on Distributed Estimation and Control in Networked Systems, pp 103-108, 2012. (fulltext:postprint).
- On the Convergence Analysis of the MINLIP Estimator. In Proceedings of the 16th IFAC Symposium on System Identification, volume Vol. 16, Part 1 of System Identification, pp 482-487, 2012. (DOI).
- Design of Embedded Filters for Inner-Loop Power Control in Wireless CDMA Communication Systems. In Asian Journal of Control, volume 14, number 4, pp 891-900, 2012. (DOI).
- An on-line algorithm for anomaly detection in trajectory data. In Proc. American Control Conference: ACC 2012, pp 1117-1122, American Automatic Control Council, 2012. (DOI).
- Parallelization of the Kalman filter for banded systems on multicore computational platforms. In Proc. 51st Conference on Decision and Control, pp 2022-2027, IEEE, Piscataway, NJ, 2012. (DOI).
- On moving average parameter estimation. 20th European Signal Processing Conference (EUSIPCO), 27-31 Aug, 2012, Bucharest, ROmania, 2012. (External link).
- Online evaluation of a changes detection algorithm for depth of anesthesia signals. In Proc. 8th IFAC Symposium on Biological and Medical Systems, pp A-0076, 2012.
- Contributions to a decision support system based on depth of anesthesia signals. In Proc. 25th International Symposium on Computer-Based Medical Systems, p 6, IEEE, Piscataway, NJ, 2012. (DOI).
- Computational Design of Sequences With Good Correlation Properties. In IEEE Transactions on Signal Processing, volume 60, number 5, pp 2180-2193, 2012. (DOI).
- Design of perfect phase-quantized sequences with low peak-to-average-power ratio. In Proc. 20th European Signal Processing Conference, European Signal Processing Conference (EUSIPCO), pp 2576-2580, 2012.
- On the Exponentially Embedded Family (EEF) Rule for Model Order Selection. In IEEE Signal Processing Letters, volume 19, number 9, pp 551-554, 2012. (DOI).
- On the LIMES approach to spectral analysis of irregularly sampled data. In Electronics Letters, volume 48, number 4, pp 218-219, 2012. (DOI).
- On the Proper Forms of BIC for Model Order Selection. In IEEE Transactions on Signal Processing, volume 60, number 9, pp 4956-4961, 2012. (DOI).
- SPICE and LIKES: Two hyperparameter-free methods for sparse-parameter estimation. In Signal Processing, volume 92, number 7, pp 1580-1590, 2012. (DOI).
- Sparse estimation of spectral lines: Grid selection problems and their solutions. In IEEE Transactions on Signal Processing, volume 60, number 2, pp 962-967, 2012. (DOI).
- Optimization of the Receive Filter and Transmit Sequence for Active Sensing. In IEEE Transactions on Signal Processing, volume 60, number 4, pp 1730-1740, 2012. (DOI).
- A generalised instrumental variable estimator for multivariable errors-in-variables identification problems. In International Journal of Control, volume 85, number 3, pp 287-303, 2012. (DOI).
- Accuracy analysis of a covariance matching method for continuous-time errors-in-variables system identification. In Proc. 16th IFAC Symposium on System Identification, pp 1383-1388, International Federation of Automatic Control, 2012.
- Estimation of material functions using system identification techniques. In Control Engineering Practice, volume 20, number 10, pp 972-990, 2012. (DOI).
- How accurate can instrumental variable models become?. In System Identification, Environmental Modelling, and Control System Design, pp 3-25, Springer London, 2012. (DOI).
- Model order determination based on rank properties of almost singular covariance matrices. In Proc. 16th IFAC Symposium on System Identification, pp 1653-1658, International Federation of Automatic Control, 2012.
- On model order determination for errors-in-variables estimation. In Proc. 16th IFAC Symposium on System Identification, pp 1347-1352, International Federation of Automatic Control, 2012.
- System identification for the errors-in-variables problem. In Transactions of the Institute of Measurement and Control, volume 34, number 7, pp 780-792, 2012. (DOI).
- Convergence analysis and experiments using an RPEM based on nonlinear ODEs and midpoint integration. In Proc. 51st Conference on Decision and Control, pp 2858-2865, IEEE, Piscatway, NJ, 2012. (DOI).
- Convergence analysis of a recursive prediction error method. In , volume 45:16 of IFAC-PapersOnLine, pp 1496-1501, 2012. (DOI).
- On the Performance of Optimal Input Signals for Frequency Response Estimation. In IEEE Transactions on Automatic Control, volume 57, number 3, pp 766-771, 2012. (DOI).
- Enhanced WCDMA fingerprinting localization using OTDOA positioning measurements from LTE. In Proc. 76th Vehicular Technology Conference, IEEE, Piscataway, NJ, 2012. (DOI).
- Fingerprinting localization using RTT and TA. In IET Communications, volume 2012, number 6, pp 419-427, 2012. (DOI).
- LTE fingerprinting localization with altitude. In Proc. 76th Vehicular Technology Conference, IEEE, Piscataway, NJ, 2012. (DOI).
- WCDMA uplink load estimation with generalized rake receivers. In IEEE Transactions on Vehicular Technology, volume 61, number 5, pp 2394-2400, 2012. (DOI).
- Optimal prior knowledge-based direction of arrival estimation. In IET Signal Processing, volume 6, number 8, pp 731-742, 2012. (DOI).
- Load control for multi-stage interference cancellation. In Proc. 23rd International Symposium on Personal, Indoor, and Mobile Radio Communications, pp 339-344, IEEE, Piscataway, NJ, 2012. (DOI).
- MIMO radar waveform design. In Waveform Design and Diversity for Advanced Radar Systems, IET Press, 2012.
- Sparse representations and sphere decoding for array signal processing. In Digital signal processing (Print), volume 22, number 2, pp 253-262, 2012. (DOI).
- Bifurcation phenomena in an impulsive model of non-basal testosterone regulation. In Chaos, volume 22, number 1, p 013121, 2012. (DOI).
- Energy efficient ammonium feedback control. In New Developments in IT & Water, 2012.
- Optimal aeration control in a nitrifying activated sludge process. In Water Research, volume 46, number 7, pp 2101-2110, 2012. (DOI).
Numerical Analysis (Numerisk analys)
- Macro-elementwise preconditioning methods. In Mathematics and Computers in Simulation, volume 82, pp 1952-1963, 2012. (DOI).
- A stable and dual consistent boundary treatment using finite differences on summation-by-parts form. In Proc. ECCOMAS Congress 2012, pp 7557-7570, Tech. Univ. Wien, Austria, 2012.
- Spectral analysis of the continuous and discretized heat and advection equation on single and multiple domains. In Applied Numerical Mathematics, volume 62, pp 1620-1638, 2012. (DOI).
- Superconvergent functional output for time-dependent problems using finite differences on summation-by-parts form. In Journal of Computational Physics, volume 231, pp 6846-6860, 2012. (DOI).
- Block-preconditioners for conforming and non-conforming FEM discretizations of the Cahn–Hilliard equation. In Large-Scale Scientific Computing, volume 7116 of Lecture Notes in Computer Science, pp 549-557, Springer-Verlag, Berlin, 2012. (DOI).
- Efficient preconditioners for large scale binary Cahn–Hilliard models. In Computational Methods in Applied Mathematics, volume 12, pp 1-22, 2012. (DOI).
- Canonical eigenvalue distribution of multilevel block Toeplitz sequences with non-Hermitian symbols. 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).
- A well-posed and discretely stable perfectly matched layer for elastic wave equations in second order formulation. In Communications in Computational Physics, volume 11, pp 1643-1672, 2012. (DOI).
- On the accuracy and stability of the perfectly matched layer in transient waveguides. In Journal of Scientific Computing, volume 53, pp 642-671, 2012. (DOI).
- Finite element multiscale methods for Poisson's equation with rapidly varying heterogeneous coefficients. In Proc. 10th World Congress on Computational Mechanics, p 10, International Association for Computational Mechanics, Barcelona, Spain, 2012.
- Nonparametric density estimation for randomly perturbed elliptic problems III: Convergence, computational cost, and generalizations. In Journal of Applied Mathematics and Computing, volume 38, pp 367-387, 2012. (DOI).
- A guide to RBF-generated finite differences for nonlinear transport: Shallow water simulations on a sphere. In Journal of Computational Physics, volume 231, pp 4078-4095, 2012. (DOI).
- A computer-assisted proof of the existence of traveling wave solutions to the scalar Euler equations with artificial viscosity. In NoDEA. Nonlinear differential equations and applications (Printed ed.), volume 19, pp 97-131, 2012. (DOI).
- An algebraic approach for controlling cascade of reaches in irrigation canals. In Problems, Perspectives and Challenges of Agricultural Water Management, pp 369-390, InTech, Rijeka, Croatia, 2012.
- Preconditioning the incompressible Navier-Stokes equations with variable viscosity. In Journal of Computational Mathematics, volume 30, pp 461-482, 2012. (DOI).
- Coupled mesoscopic and microscopic simulation of stochastic reaction-diffusion processes in mixed dimensions. In Multiscale Modeling & simulation, volume 10, pp 585-611, 2012. (DOI).
- Reaction-diffusion master equation in the microscopic limit. In Physical Review E. Statistical, Nonlinear, and Soft Matter Physics, volume 85, pp 042901:1-5, 2012. (DOI).
- Derivation of strictly stable high order difference approximations for variable-coefficient PDE. In Journal of Scientific Computing, volume 50, pp 167-197, 2012. (DOI).
- A generic interface for parallel cell-based finite element operator application. In Computers & Fluids, volume 63, pp 135-147, 2012. (DOI).
- High accuracy mantle convection simulation through modern numerical methods. In Geophysical Journal International, volume 191, pp 12-29, 2012. (DOI).
- Summation by parts operators for finite difference approximations of second-derivatives with variable coefficients. In Journal of Scientific Computing, volume 51, pp 650-682, 2012. (DOI).
- Stability at nonconforming grid interfaces for a high order discretization of the Schrödinger equation. In Journal of Scientific Computing, volume 53, pp 528-551, 2012. (DOI).
- Energy decay of vortices in viscous fluids: an applied mathematics view. In Journal of Fluid Mechanics, volume 709, pp 593-609, 2012. (DOI).
- Weak and strong wall boundary procedures and convergence to steady-state of the Navier-Stokes equations. In Journal of Computational Physics, volume 231, pp 4867-4884, 2012. (DOI).
- Spurious currents in finite element based level set methods for two-phase flow. In International Journal for Numerical Methods in Fluids, volume 69, pp 1433-1456, 2012. (DOI).
Computational Science (Tillämpad beräkningsvetenskap)
- URDME: a modular framework for stochastic simulation of reaction-transport processes in complex geometries. In BMC Systems Biology, volume 6, pp 76:1-17, 2012. (DOI).
- Communication-efficient algorithms for numerical quantum dynamics. In Applied Parallel and Scientific Computing: Part II, volume 7134 of Lecture Notes in Computer Science, pp 368-378, Springer-Verlag, Berlin, 2012. (DOI).
- Efficiently implementing Monte Carlo electrostatics simulations on multicore accelerators. In Applied Parallel and Scientific Computing: Part II, volume 7134 of Lecture Notes in Computer Science, pp 379-388, Springer-Verlag, Berlin, 2012. (DOI).
- An adaptive pseudospectral method for wave packet dynamics. In Journal of Chemical Physics, volume 137, pp 044111:1-12, 2012. (DOI, fulltext:print).
- Derivation of strictly stable high order difference approximations for variable-coefficient PDE. In Journal of Scientific Computing, volume 50, pp 167-197, 2012. (DOI).
- A generic interface for parallel cell-based finite element operator application. In Computers & Fluids, volume 63, pp 135-147, 2012. (DOI).
- Coherent estimates of genetic effects with missing information. In Open Journal of Genetics, volume 2, pp 31-38, 2012. (DOI, Fulltext).
- Inferring haplotypes and parental genotypes in larger full sib-ships and other pedigrees with missing or erroneous genotype data. In BMC Genetics, volume 13, pp 85:1-13, 2012. (DOI, fulltext:print).
- Performance and stability of the Chelonia storage system. In Proc. International Symposium on Grids and Clouds 2012, volume 153 of Proceedings of Science, pp 009:1-14, SISSA, Trieste, Italy, 2012.
- Students' experiences and attitudes towards learning Computer Science. In Proc. 42nd ASEE/IEEE Frontiers in Education Conference, pp 88-93, IEEE, Piscataway, NJ, 2012. (DOI).
- Comment on "On the optimal symmetric purification scheme of the one-particle density matrix" [Chem. Phys. Lett. 511 (2011) 159–160]. In Chemical Physics Letters, volume 527, pp 84-85, 2012. (DOI).
- Controlling errors in recursive Fermi–Dirac operator expansions with applications in electronic structure theory. In SIAM Journal on Scientific Computing, volume 34, pp B1-B23, 2012. (DOI, fulltext:postprint).
- Difficulties in applying pure Kohn–Sham density functional theory electronic structure methods to protein molecules. In Journal of Physics: Condensed Matter, volume 24, pp 072202:1-7, 2012. (DOI).
- Threshold concepts and threshold skills in computing. In Proc. 8th International Computing Education Research Conference, pp 23-30, ACM Press, New York, 2012. (DOI).
- Computer Science at School / CS Teacher Education: Koli working-group report on CS at school. In Proc. 12th International Conference on Computing Education Research: Koli Calling, pp 29-38, ACM Press, New York, 2012. (DOI).
- Investigating an open source cloud storage infrastructure for CERN-specific data analysis. In Proc. 7th International Conference on Networking, Architecture, and Storage, pp 84-88, IEEE Computer Society, Los Alamitos, CA, 2012. (DOI).
- Programming models based on data versioning for dependency-aware task-based parallelisation. In Proc. 15th International Conference on Computational Science and Engineering, pp 275-280, IEEE Computer Society, Los Alamitos, CA, 2012. (DOI).
- Self-Directed Learning: stories from industry. In Proc. 12th International Conference on Computing Education Research: Koli Calling, pp 111-117, ACM Press, New York, 2012. (DOI).
- Abstractions for scaling eScience applications to distributed computing environments: A StratUm integration case study in molecular systems biology. In Proc. 3rd International Conference on Bioinformatics Models, Methods and Algorithms, pp 290-294, SciTePress, Setúbal, Portugal, 2012. (DOI).
- Reducing complexity in management of eScience computations. 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)
- Regular model checking for LTL(MSO). In International Journal on Software Tools for Technology Transfer, volume 14, number 2, pp 223-241, Springer, 2012. (DOI).
- Adding time to pushdown automata. In Quantities in Formal Methods: QFM 2012, volume 103 of Electronic Proceedings in Theoretical Computer Science, pp 1-16, 2012. (DOI).
- Automatic fence insertion in integer programs via predicate abstraction. In Static Analysis, volume 7460 of Lecture Notes in Computer Science, pp 164-180, Springer-Verlag, Berlin, 2012. (DOI).
- Counter-Example Guided Fence Insertion under TSO. 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).
- Dense-Timed Pushdown Automata. In Proc. 27th ACM/IEEE Symposium on Logic in Computer Science, pp 35-44, IEEE Computer Society, 2012. (DOI).
- Multi-Pushdown Systems with Budgets. In Formal Methods in Computer-Aided Design, pp 24-33, 2012. (External link).
- Petri Nets with Time and Cost. INFINITY 2012, 14th International Workshop on Verification of Infinite-State Systems, 2012.
- Regular model checking. In International Journal on Software Tools for Technology Transfer, volume 14, number 2, pp 109-118, 2012. (DOI).
- The minimal cost reachability problem in priced timed pushdown systems. 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).
- Timed lossy channel systems. 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).
- Constraint programming for air traffic management: a survey. In Knowledge engineering review (Print), volume 27, number 3, pp 361-392, 2012. (DOI).
- Detecting fair non-termination in multithreaded programs. In Computer Aided Verification, volume 7358 of Lecture Notes in Computer Science, pp 210-227, Springer-Verlag, Berlin, 2012. (fulltext).
- Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding. 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).
- Model-Checking of Ordered Multi-Pushdown Automata. In Logical Methods in Computer Science, volume 8, number 3, p 20, 2012. (DOI).
- What's decidable about weak memory models?. In Programming Languages and Systems, volume 7211 of Lecture Notes in Computer Science, pp 26-46, Springer Berlin/Heidelberg, 2012. (DOI).
- A social node model for realising information dissemination strategies in delay tolerant networks. 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).
- Intercultural competence in global collaboration courses in computer engineering. In Advances in Design for Cross-Cultural Activities: Part I, pp 351-361, CRC Press, Boca Raton, FL, 2012.
- Categorizing how students use collaborative technologies in a globally distributed project. In Proc. 42nd ASEE/IEEE Frontiers in Education Conference, pp 1325-1330, IEEE, Piscataway, NJ, 2012. (DOI).
- Managing international student collaborations: An experience report. In Proc. 42nd ASEE/IEEE Frontiers in Education Conference, pp 355-360, IEEE, Piscataway, NJ, 2012. (DOI).
- On valuing peers: theories of learning and intercultural competence. In Computer Science Education, volume 22, pp 319-342, 2012. (DOI).
- Professionella kompetenser i projektkurser. 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).
- The impact of trace and adversary models on location privacy provided by K-anonymity. In Proc. 1st Workshop on Measurement, Privacy, and Mobility, ACM Press, New York, 2012. (DOI).
- Towards business processes orchestrating the physical enterprise with wireless sensor networks. In ICSE, pp 1357-1360, 2012.
- A succinct canonical register automaton model for data domains with binary relations. 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).
- A Compositional Specification Theory for Component Behaviours. In Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012,, Lecture Notes in Computer Science, pp 148-168, 2012. (DOI).
- Assume-Guarantee Reasoning for Safe Component Behaviours. 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).
- Models and methods for computing education research. In Australian Computer Science Communications, volume 34, number 2, pp 95-102, 2012. (External link).
- Bounding and shaping the demand of mixed-criticality sporadic tasks. In Proc. 24th Euromicro Conference on Real-Time Systems, pp 135-144, IEEE Computer Society, 2012. (DOI).
- Bandwidth bandit: Quantitative characterization of memory contention. In Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT, pp 457-458, 2012. (DOI).
- Poster Abstract: A Testbed for Measuring Battery Discharge Behavior. In Proc. of 7th ACM Int’l Workshop on Wireless Network Testbeds, Experimental Evaluation and Characterization (WiNTECH’12), 2012.
- Poster Abstract: Using batteries wisely. In , 2012.
- Towards trustworthy simulation of wireless MAC/PHY layers: A comparison framework. In Proc. of 15th ACM Int’l Conf. on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM’12), 2012.
- Constraint Programming for Air Traffic Management: Preface. In Knowledge engineering review (Print), volume 27, number 3, pp 287-289, 2012. (DOI).
- Timed Model Checking with Abstractions: Towards Worst-Case Response Time Analysis in Resource-Sharing Manycore Systems. In Proc. International Conference on Embedded Software (EMSOFT), pp 63-72, ACM Press, 2012.
- Fixed-Priority Multiprocessor Scheduling: Critical Instant, Response Time and Utilization Bound. 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).
- Parametric Utilization Bounds for Fixed-Priority Multiprocessor Scheduling. In 2012 IEEE 26th International Parallel and Distributed Processing Symposium (IPDPS), International Parallel and Distributed Processing Symposium IPDPS, pp 261-272, 2012. (DOI).
- WCET analysis with MRU caches: Challenging LRU for predictability. In Proc. 18th Real-Time and Embedded Technology and Applications Symposium, pp 55-64, IEEE Computer Society, 2012. (DOI).
- Designing a flexible and low-cost testbed for Wireless Sensor Networks. In International Journal of Ad Hoc and Ubiquitous Computing, volume 9, number 2, pp 111-121, InderScience Publishers, 2012. (DOI).
- Forest automata for verification of heap manipulation. In Formal methods in system design, volume 41, number 1, pp 83-106, 2012. (DOI).
- An optimisation-based approach for wireless sensor deployment in mobile sensing environments. In Proc. Wireless Communications and Networking Conference 2012, pp 2108-2112, IEEE Communications Society, 2012. (DOI).
- Macroprogramming of Wireless Sensor Networks using Task Graphs and Constraint Solving. 8th Swedish National Computer Networking Workshop (SNCNW), 7-8 June, 2012, Stockholm, Sweden, 2012.
- Do Sensor Networks need Mobile MAC Protocols. In Proc. of Third International Workshop on Networks of Cooperating Objects (CONET 2012), held in conjunction with IPSN 2012, April 2012, Beijing, China., 2012.
- Ef?cient Mobile Data Collection with Mobile Collect. In Proceedings of the 8th IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS), pp 25-32, IEEE Computer Society, 2012. (DOI).
- A Lightweight Approach to Online Detection and Classification of Interference in 802.15.4-based Sensor Networks. In ACM SIGBED Review, volume 9, number 3, pp 11-20, 2012. (DOI).
- Global Source Mobility in the Content-Centric Networking Architecture. 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).
- Accelerating interpolants. 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).
- A verification toolkit for numerical transition systems. In FM 2012: Formal Methods, volume 7436 of Lecture Notes in Computer Science, pp 247-251, Springer Berlin/Heidelberg, 2012. (DOI).
- Inferring semantic interfaces of data structures. 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).
- Inferring Canonical Register Automata. In Verification, Model Checking, and Abstract Interpretation - 13th International Conference,, volume 7148 of Lecture Notes in Computer Science, pp 251-266, Springer, 2012. (DOI).
- A location-based publish/subscribe framework for wireless sensors and mobile phones. In Proc. Wireless Communications and Networking Conference 2012, pp 2173-2178, IEEE Communications Society, 2012. (DOI).
- Technological systems across contexts: Designing and exploring learning possibilities in Swedish compulsory technology education. 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).
- Using refinement calculus techniques to prove linearizability. In Formal Aspects of Computing, volume 24, number 4-6, pp 537-554, 2012. (DOI).
- Trace-based performance analysis of opportunistic forwarding under imperfect node cooperation. In Proceedings of the 31st Annual IEEE International Conference on Computer Communications (IEEE INFOCOM 2012), IEEE Communications Society, Orlando, 2012.
- Low Overhead Instruction-Cache Modeling Using Instruction Reuse Profiles. 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).
- Report on the Model Checking Contest at Petri Nets 2011. 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).
- A Hybrid Approach to Cyber-Physical Systems Verification. In Proc. 49th Design Automation Conference, pp 688-696, Association for Computing Machinery (ACM), 2012. (fulltext:postprint).
- Seasonal Affective Disorder Monitoring System. 8th Swedish National Computer Networking Workshop (SNCNW), Stockholm, Sweden, 2012.
- A glimpse of energy-efficient location-triggered mobile application design and implementation in data collection scenarios. In Proc. 8th International Conference on Mobile Ad Hoc and Sensor Networks, pp 108-115, IEEE, Piscataway, NJ, 2012. (DOI).
- Student reflections on collaborative technology in a globally distributed student project. In Proc. 42nd ASEE/IEEE Frontiers in Education Conference, pp 365-370, IEEE, Piscataway, NJ, 2012. (DOI).
- Mining Conversations of Geographically Changing Users. In Proceedings of the World Wide Web 2012 Workshop on Social Web for Disaster (SWDM2012), Lion, 2012.
- On Resilience in Opportunistic Networks. In 8th Swedish National Computer Networking Workshop SNCNW 2012, 2012.
- Demonstrating Learning of Register Automata. 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).
- Context-aware sensor data dissemination for mobile users in remote areas. In Proc. 31st International Conference on Computer Communications: Mini-Conference, pp 2711-2715, IEEE, Piscataway, NJ, 2012. (DOI).
- Quality-of-Information aware data collection for mobile sensor networks. In Proc. 10th International Conference on Pervasive Computing and Communications Workshops, pp 38-43, IEEE Communications Society, 2012. (DOI).
- Challenges in Developing Global Collaborative Project Courses. In Proc. 1st Forum on International Collaborative Academic Programs, BrownWalker Press, 2012.
- Harnessing theory in the service of engineering education research. In Proc. 42nd ASEE/IEEE Frontiers in Education Conference, pp 391-395, IEEE, Piscataway, NJ, 2012. (DOI).
- Investigating Swedish Teacher's Approaches to Their Teaching Practice. In , San Antonio, TX, 2012.
- Students' experiences and attitudes towards learning Computer Science. In Proc. 42nd ASEE/IEEE Frontiers in Education Conference, pp 88-93, IEEE, Piscataway, NJ, 2012. (DOI).
- On location privacy and quality of information in participatory sensing. In Proc. 8th ACM Symposium on QoS and Security for Wireless and Mobile Networks, pp 55-62, ACM Press, New York, 2012. (DOI).
- Making the Most of Your Contacts: Transfer Ordering in Data-Centric Opportunistic Networks. In Proceedings of the 2012 ACM MobiOpp Workshop on Mobile Opportunistic Networks, ACM Press, Zürich, 2012.
- Complexity-effective multicore coherence. In Proc. 21st International Conference on Parallel Architectures and Compilation Techniques, pp 241-251, ACM Press, New York, 2012. (DOI).
- E-matching with free variables. In Logic for Programming, Artificial Intelligence, and Reasoning, volume 7180 of Lecture Notes in Computer Science, pp 359-374, Springer Berlin/Heidelberg, 2012. (DOI).
- Efficient techniques for predicting cache sharing and throughput. In Proc. 21st International Conference on Parallel Architectures and Compilation Techniques, pp 305-314, ACM Press, New York, 2012. (DOI, fulltext:postprint).
- Topic 14: Mobile and Ubiquitous Computing. In Euro-Par, 2012.
- Computer Science at School / CS Teacher Education: Koli working-group report on CS at school. In Proc. 12th International Conference on Computing Education Research: Koli Calling, pp 29-38, ACM Press, New York, 2012. (DOI).
- Phase Behavior in Serial and Parallel Applications. In International Symposium on Workload Characterization (IISWC'12), IEEE Computer Society, 2012.
- Phase Guided Profiling for Fast Cache Modeling. In International Symposium on Code Generation and Optimization (CGO'12), pp 175-185, ACM Press, 2012. (DOI).
- Power-Sleuth: A Tool for Investigating your Program's Power Behavior. In International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'12), pp 241-250, 2012. (DOI).
- Hardness Results for Static Priority Real-Time Scheduling. 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).
- Illustration of paradigm pluralism in computing education research. In Australian Computer Science Communications, volume 34, number 2, pp 103-112, 2012. (External link, fulltext:print).
- A ubiquitous publish/subscribe platform for wireless sensor networks with mobile mules. In Proc. 8th International Conference on Distributed Computing in Sensor Systems, pp 99-108, IEEE Computer Society, 2012. (DOI).
- An analytical energy consumption model for packet transfer over wireless links. In IEEE Communications Letters, volume 16, number 1, pp 30-33, 2012. (DOI).
- A Long-Term Study on the Effects of Meteorological Conditions on 802.15.4 Links. In 8th Swedish National Computer Networking Workshop, Stockholm, June 7-8, 2012.
- Conformance testing for cyber-physical systems. In ACM Transactions on Embedded Computing Systems, volume 11, number 4, pp 84:1-23, Association for Computing Machinery (ACM), New York, 2012. (DOI).
- An investigation of link quality assessment for mobile multi-hop and multi-rate wireless networks. In Wireless personal communications, volume 65, number 2, pp 405-423, 2012. (DOI).
- Bifurcation phenomena in an impulsive model of non-basal testosterone regulation. In Chaos, volume 22, number 1, p 013121, 2012. (DOI).
Computing Science (Datalogi)
- Constraint programming for air traffic management: a survey. In Knowledge engineering review (Print), volume 27, number 3, pp 361-392, 2012. (DOI).
- Scientific SPARQL: Semantic web queries over scientific data. In Proc. 28th International Conference on Data Engineering Workshops, pp 5-10, IEEE Computer Society, 2012. (DOI).
- A scalability benchmark suite for Erlang/OTP. In Proc. 11th ACM SIGPLAN Workshop on Erlang, pp 33-42, ACM Press, New York, 2012. (DOI).
- An Introduction To Bayesian Networks in Systems and Control. 2012 18th International Conference on Automation and Computing (ICAC), 2012.
- Bayesian Networks in Business Analytics. In 2012 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), pp 955-961, 2012.
- Using Bayesian networks in business analytics: Overview and short case study. In Business Informatics, volume 3, number 25, 2012.
- Scalable ordered indexing of streaming data. In 3rd International Workshop on Accelerating Data Management Systems using Modern Processor and Storage Architectures, p 11, 2012. (Fulltext).
- Professionella kompetenser i projektkurser. 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).
- The impact of trace and adversary models on location privacy provided by K-anonymity. In Proc. 1st Workshop on Measurement, Privacy, and Mobility, ACM Press, New York, 2012. (DOI).
- Privacy preserving data publishing for recommender system. In Proc. 36th International Computer Software and Applications Conference Workshops, pp 128-133, IEEE Computer Society, 2012. (DOI).
- Constraint Programming for Air Traffic Management: Preface. In Knowledge engineering review (Print), volume 27, number 3, pp 287-289, 2012. (DOI).
- An optimisation-based approach for wireless sensor deployment in mobile sensing environments. In Proc. Wireless Communications and Networking Conference 2012, pp 2108-2112, IEEE Communications Society, 2012. (DOI).
- Macroprogramming of Wireless Sensor Networks using Task Graphs and Constraint Solving. 8th Swedish National Computer Networking Workshop (SNCNW), 7-8 June, 2012, Stockholm, Sweden, 2012.
- Solution neighbourhoods for constraint-directed local search. In Proc. 27th ACM Symposium on Applied Computing, pp 74-79, ACM Press, New York, 2012. (DOI).
- Software risk management modeling using goal-driven approach from early requirements engineering. In Risk Assessment and Management, pp 385-401, Publishing Services LLC, Cheyenne, WY, 2012. (External link).
- Computing Strong and Weak Bisimulations for Psi-Calculi. In Journal of Logic and Algebraic Programming, volume 81, number 3, pp 162-180, Elsevier, 2012. (DOI).
- Combinatorial problem solving over relational databases: View synthesis through constraint-based local search. In Proc. 27th ACM Symposium on Applied Computing, pp 80-87, ACM Press, New York, 2012. (DOI).
- Towards solver-independent propagators. 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).
- Progression i skrivfärdigheter hos studenter i datavetenskap. In Proc. NU 2012: Gränslöst lärande, Chalmers University of Technology, Göteborg, Sweden, 2012. (Abstract).
- On preserving term sharing in the Erlang virtual machine. In Proc. 11th ACM SIGPLAN Workshop on Erlang, pp 11-20, ACM Press, New York, 2012. (DOI).
- Proof Exchange for Theorem Proving: PxTP 2012. Volume 878 of CEUR Workshop Proceedings, 2012. (Proceedings).
- Adaptive Parallelization of Queries to Data Providing Web Service Operations. 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).
- ErLLVM: An LLVM backend for Erlang. In Proc. 11th ACM SIGPLAN Workshop on Erlang, pp 21-32, ACM Press, New York, 2012. (DOI).
- Concurrent view modeling for software risk management at early development stage. In Proc. 1st International Conference on Theory and Practice in Modern Computing, pp 35-44, IADIS Press, 2012.
- Educational methods for software and systems development. In Proc. 15th International Conference on Interactive Collaborative Learning, p 8, IEEE, Piscataway, NJ, 2012. (DOI).
- Contingency plans for air traffic flow and capacity management using constraint programming. In Journal of Aerospace Operations, volume 1, pp 249-266, 2012. (DOI).
- On the use of underspecified data-type semantics for type safety in low-level code. In Proc. 7th Conference on Systems Software Verification: SSV 2012, volume 102 of Electronic Proceedings in Theoretical Computer Science, pp 73-87, 2012. (DOI).
- Structured Aliasing. In ECOOP 2012 – Object-Oriented Programming, volume 7313 of Lecture Notes in Computer Science, pp 232-232, Springer Berlin/Heidelberg, 2012. (DOI).
- Multiple Aggregate Entry Points for Ownership Types. 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)
- Do social media generate social capital?. In ICT, society and human beings, pp 133-136, IADIS Press, Lisbon, 2012. (External link).
- New form of social ties through communicating in social media (Sosharu media ga tukuru atarashii kizuna no katachi). In Information and Management 64th Conferenceedings Spring, pp 141-144, 2012. (External link).
- Regulation of potentially harmful contents on minors. In Equity, integrity and beauty in information law and ethics, Ionian Academy, Kerkyra, Greece, 2012. (External link).
- Rethinking ICT's contribution to sustainability and education. In New technologies, education for sustainable development and critical pedagogy, pp 232-235, ICTeESD, University of Crete, Rethymnon, Greece, 2012.
- Social Media as Informal Public Spheres. In Creating and applying socially, ethically and professionally acceptable ICT systems: Current challenges and what is next?, p 3, 2012. (External link).
- Social movement and social media. In Critique, democracy and philosophy in 21st century information society: Towards critical theories of social media, pp 76-77, 2012. (External link).
- The paradoxical nature of privacy. In Privacy in the social networked world, 2012. (External link).
- Histological Stain Evaluation for Machine Learning Applications. In Proceedings of the International Conference on Medical Image Computing and Computer Assisted Intervention, 2012. (External link).
- Microarray Core Detection by Geometric Restoration. In Analytical Cellular Pathology, volume 35, number 5-6, pp 381-393, 2012. (DOI).
- Intercultural competence in global collaboration courses in computer engineering. In Advances in Design for Cross-Cultural Activities: Part I, pp 351-361, CRC Press, Boca Raton, FL, 2012.
- Osseointegration med hjälp av datoriserad bildanalys. In Tandläkartidningen, volume 104, number 12, pp 66-71, 2012.
- Categorizing how students use collaborative technologies in a globally distributed project. In Proc. 42nd ASEE/IEEE Frontiers in Education Conference, pp 1325-1330, IEEE, Piscataway, NJ, 2012. (DOI).
- Managing international student collaborations: An experience report. In Proc. 42nd ASEE/IEEE Frontiers in Education Conference, pp 355-360, IEEE, Piscataway, NJ, 2012. (DOI).
- On valuing peers: theories of learning and intercultural competence. In Computer Science Education, volume 22, pp 319-342, 2012. (DOI).
- Professionella kompetenser i projektkurser. 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).
- Cluster detection in cytology images using the cellgraph method. 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).
- Fully automated cellular-resolution vertebrate screening platform with parallel animal processing. In Lab on a Chip, volume 12, number 4, pp 711-716, 2012. (DOI).
- Salience adaptive structuring elements. In IEEE Journal on Selected Topics in Signal Processing, volume 6, number 7, pp 809-819, 2012. (DOI).
- Analyzing Tubular Tissue in Histopathological Thin Sections. In 2012 INTERNATIONAL CONFERENCE ON DIGITAL IMAGE COMPUTING TECHNIQUES AND APPLICATIONS (DICTA), pp 1-6, IEEE conference proceedings, 2012. (DOI).
- Pharmacological characterization of <sup>18</sup>F-labeled vorozole analogs. In Journal of labelled compounds & radiopharmaceuticals, volume 55, number 14, pp 484-490, 2012. (DOI).
- An Efficient Preconditioner and a Modified RANSAC for Fast and Robust Feature Matching.. In International Conferences in Central Europe on Computer Graphics, Visualization and Computer Vision: Communcations Paper, pp 11-18, 2012.
- Putative Match Analysis: A Repeatable Alternative to RANSAC for Matching of Aerial Images. In VISAPP 2012 - Proceedings of the International Conference on Computer Vision Theory and Applications, Volume 2, pp 341-344, SciTePress, 2012.
- An image based high-throughput assay for chemical screening using zebrafish.. In , 2012.
- Automated classification of immunostaining patterns in breast tissue from the Human Protein Atlas. In Histopathology Image Analysis (HIMA): a MICCAI 2012 workshop, 2012. (External link).
- Interpretation and Adoption of the Concept of Enterprise-wide and Best of Breed Health IT within the New Zealand eHealth Community. In Health Informatics New Zeeland, 2012. (External link, fulltext:postprint).
- Time Does Not Heal Usability Issues!: Results from a Longitudinal Evaluation of a Health IT Deployment Performed at Three Swedish Hospital Units. 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).
- The usage of usability techniques in Scrum projects. In Human-Centered Software Engineering, volume 7623 of Lecture Notes in Computer Science, pp 331-341, Springer Berlin/Heidelberg, 2012. (DOI).
- Assessing and acquiring ethical leadership competence. 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).
- Assessing usability of IT systems. In Ergonomics for sustainability and growth, KTH Royal Institute of Technology, Stockholm, 2012. (External link, fulltext:print).
- Computerized support of personal and group skills for sustainability. International Conference on new technologies, education for sustainable development and critical pedagogy, 2012. (External link).
- ICT as a horsefly. In Critique, Democracy and Philosophy in 21st Century Information Society: Towards Critical Theories of Social Media, pp 38-38, 2012. (External link).
- Training and supporting education in sustainability by the use of an ICT tool. In New technologies, education for sustainable development and critical pedagogy, pp 225-231, ICTeESD, University of Crete, Rethymnon, Greece, 2012.
- Segmentation of virus particle candidates in transmission electron microscopy images. In Journal of Microscopy, volume 245, number 2, pp 140-147, Blackwell Publishing, 2012. (DOI).
- Learning histopathological patterns. In Journal of Pathology Informatics, volume 2, p 12, 2012. (DOI).
- The Vectorial Minimum Barrier Distance. In International Conference on Pattern Recognition, pp 792-795, 2012. (External link).
- In Support of Democratic Dialogue. 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.
- Tools for ethical and sustainable IT systems. In Creating and applying socially, ethically and professionally acceptable ICT systems: Current challenges and what is next?, pp 4-5, 2012. (External link).
- Coverage segmentation based on linear unmixing and minimization of perimeter and boundary thickness. In Pattern Recognition Letters, volume 33, number 6, pp 728-738, 2012. (DOI).
- Comparison of Restoration Quality on Square and Hexagonal Grids using Normalized Convolution. In Proceedings of the 21st International Conference on Pattern Recognition (ICPR), 2012.
- Aliasing Properties of Voxels in Three-Dimensional Sampling Lattices. In Large Scale Scientific Computing, volume 7116 of Lecture Notes in Computer Science, pp 507-514, 2012. (DOI).
- Comparison of restoration quality on square and hexagonal grids using normalized convolution. In Proc. 21st International Conference on Pattern Recognition, pp 3046-3049, 2012.
- Detection of Line Features in Digital Images of Building Structures. In Proceedings of IADIS International Conference Computer Graphics, Visualization, Computer Vision and Image Processing 2012 (CGVCVIP 2012), pp 163-167, 2012.
- Identifying all individuals in a honeybee hive: progress towards mapping all social interactions. In Visual observation and analysis of animal and insect behavior, pp 5-8, 2012. (fulltext:postprint).
- The big picture of UX is missing in Scrum projects. 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).
- Using cultural analysis as a tool to increase quality in organisational ergonomics. Ergonomic for Sustainability and Growth, 2012. (External link).
- What is cross-cultural?. In Advances in Design for Cross-Cultural Activities: Part 2, pp 408-416, 2012.
- Seeded Segmentation Based on Object Homogeneity. In Proceedings of the 21st International Conference on Pattern Recognition (ICPR), pp 21-24, 2012. (External link, External link).
- Smart Paint: A New Interactive Segmentation Method\\ Applied to MR Prostate Segmentation. In Prostate MR Image Segmentation Grand Challenge (PROMISE'12), a MICCAI 2012 workshop, 2012. (External link).
- Student reflections on collaborative technology in a globally distributed student project. In Proc. 42nd ASEE/IEEE Frontiers in Education Conference, pp 365-370, IEEE, Piscataway, NJ, 2012. (DOI).
- A non-destructive X-ray microtomography approach for measuring fibre length in short-fibre composites. In Composites Science And Technology, volume 72, number 15, pp 1901-1908, 2012. (DOI).
- Automated segmentation of free-lying cell nuclei in Pap smears for malignancy-associated change analysis. 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).
- Automated segmentation of free-lying cell nuclei in Pap smears for malignancy-associated change analysis. In Engineering in Medicine and Biology Society (EMBC), 2012 Annual International Conference of the IEEE, pp 5372-5375, 2012. (DOI).
- A Novel Algorithm for Computing Riemannian Geodesic Distance in Rectangular 2D Grids. 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.
- Towards User-Guided Quantitative Evaluation of Wrist Fractures in CT Images. In Computer Vision and Graphics: ICCVG 2012, volume 7594 of Lecture Notes in Computer Science, pp 204-211, Springer Berlin/Heidelberg, 2012. (DOI).
- Physically Co-Located Haptic Interaction with 3D Displays. In Proc. Haptics Symposium (HAPTICS), 2012 IEEE, pp 267-272, 2012. (DOI).
- Rendering stiffness with a prototype haptic glove actuated by an integrated piezoelectric motor. 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).
- Making isotropic 3D imaging at microscopic scale accessible to every lab. BioImage Informatics, 2012.
- Beyond cloud computing: why should society be allowed to say a word about it. In Creating and applying socially, ethically and professionally acceptable ICT systems: Current challenges and what is next?, p 4, 2012. (External link).
- Is the post-Turing ICT sustainable?. 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).
- Synchrotron radiation CT from the micro to nanoscale for the investigation of bone tissue. 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).
- Democracy has arrived!: A model for ethical decision making of players in MMOs. Meaningful Play 2012, 2012.
- Non-Random mtDNA Segregation Patterns Indicate a Metastable Heteroplasmic Segregation Unit in m.3243A>G Cybrid Cells. In PLOS ONE, volume 7, number 12, p e52080, 2012. (DOI, fulltext:print).
- Solving combined geospatial tasks using 2D and 3D bar charts. In Information Visualisation (IV), 2012 16th International Conference, Proceedings of the International Conference on Information Visualisation, pp 157-163, 2012. (DOI).
- Automatic measurement of compression wood cell attributes in fluorescence microscopy images. In Journal of Microscopy, volume 246, number 3, pp 298-308, 2012. (DOI).
- Optimization of semi-automated cell tracking using application-expert feed-back. In , 2012.
- Regional Zernike Moments for Texture Recognition. In Proceedings of the 21st International Conference on Pattern Recognition (ICPR), pp 1635-1638, 2012.
- The coverage model and its use in image processing. 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).
- Distance transform computation for digital distance functions. In Theoretical Computer Science, volume 448, pp 80-93, 2012. (DOI).
- Rigid template registration in MET images using CUDA. In VISAPP 2012: Proceedings of the International Conference on Computer Vision Theory and Applications, pp 418-422, SciTePress, Rome, 2012.
- Graph Based Line Segmentation on Cluttered Handwritten Manuscripts. In Proceedings of the 21st International Conference on Pattern Recognition, 2012, pp 1570-1573, IEEE, 2012. (fulltext:postprint).
- Visualising individual sequence-specific protein-DNA interactions in situ. In New Biotechnology, volume 29, number 5, pp 589-598, 2012. (DOI).
- An image analysis toolbox for high-throughput <em>C. elegans </em>assays. In Nature Methods, volume 9, number 7, pp 714-716, 2012. (DOI).
- High throughput phenotyping of model organisms. In BioImage Informatics 2012, pp 45-45, Dresden, Germany, 2012.