Refereed publications from the IT research programs 2010
Automatic Control (Reglerteknik)
Chapters in book
- NARX identification of Hammerstein systems using least-squares support vector machines. In Block-oriented Nonlinear System Identification, volume 404 of Lecture Notes in Control and Information Sciences, pp 241-258, Springer-Verlag, Berlin, 2010. (DOI).
Articles in journal
- A robust sliding mode controller with internal model for closed-loop artificial pancreas. In Medical and Biological Engineering and Computing, volume 48, number 12, pp 1191-1201, 2010. (DOI).
- Internal model sliding mode control approach for glucose regulation in type 1 diabetes. In Biomedical Signal Processing and Control, volume 5, number 2, pp 94-102, 2010. (DOI).
- Analysis of radial velocity data by a novel adaptive approach. In Astronomical Journal, volume 139, number 2, pp 783-793, 2010. (DOI).
- Comments on "Iterative Estimation of Sinusoidal Signal Parameters". In IEEE Signal Processing Letters, volume 17, number 12, pp 1022-1023, 2010. (DOI).
- Linear Systems, Sparse Solutions, and Sudoku. In IEEE Signal Processing Letters, volume 17, number 1, pp 40-42, 2010. (DOI).
- Spectral analysis of nonuniformly sampled data — a review. In Digital signal processing (Print), volume 20, number 2, pp 359-378, 2010. (DOI).
- A Robust Methodology for In Vivo <em>T</em><sub>1</sub> Mapping. In Magnetic Resonance in Medicine, volume 64, number 4, pp 1057-1067, 2010. (DOI).
- Black-box identification of solar collector dynamics with variant time delay. In Control Engineering Practice, volume 18, number 10, pp 1133-1146, 2010. (DOI).
- Feedforward model predictive control of a non-linear solar collector plant with varying delays. In IET Control Theory and Applications, volume 4, number 8, pp 1421-1435, 2010. (DOI).
- Covariance-based approaches to aeroacoustic noise source analysis. In Journal of the Acoustical Society of America, volume 128, number 5, pp 2877-2887, 2010. (DOI).
- Fully automatic computation of diagonal loading levels for robust adaptive beamforming. In IEEE Transactions on Aerospace and Electronic Systems, volume 46, number 1, pp 449-458, 2010. (DOI).
- Spectral Estimation of Irregularly Sampled Exponentially Decaying Signals with Applications to RF Spectroscopy. In Journal of magnetic resonance, volume 203, number 1, pp 167-176, 2010. (DOI).
- Comments on "The equations of motion for a standing human reveal three mechanisms for balance" (A. Hof, Vol. 40, pp. 451–457). In Journal of Biomechanics, volume 43, number 16, pp 3244-3247, 2010. (DOI).
- On aperiodic correlation bounds. In IEEE Signal Processing Letters, volume 17, number 3, pp 253-256, 2010. (DOI).
- High resolution angle-Doppler imaging for MTI radar. In IEEE Transactions on Aerospace and Electronic Systems, volume 46, number 3, pp 1544-1556, 2010. (DOI).
- The phased array is the maximum SNR active array. In IEEE signal processing magazine (Print), volume 27, number 2, pp 143-144, 2010. (DOI).
- Covert underwater acoustic communications. In Journal of the Acoustical Society of America, volume 128, number 5, pp 2898-2909, 2010. (DOI).
- Directional sensitivity of continuous least-squares state estimators. In Systems & control letters (Print), volume 59, number 9, pp 571-577, 2010. (DOI).
- Unbalance estimation using linear and nonlinear regression. In Automatica, volume 46, number 11, pp 1752-1761, 2010. (DOI).
- Structure testing of wave propagation models used in identification of viscoelastic materials. In Automatica, volume 46, number 4, pp 728-734, 2010. (DOI).
- Iterative adaptive approaches to MIMO radar imaging. In IEEE Journal of Selected Topics in Signal Processing, volume 4, number 1, pp 5-20, 2010. (DOI).
- Probing Waveform Synthesis and Receiver Filter Design. In IEEE signal processing magazine (Print), volume 27, number 4, pp 99-112, 2010. (DOI).
- Algebraic Derivation of Elfving Theorem on Optimal Experiment Design and Some Connections With Sparse Estimation. In IEEE Signal Processing Letters, volume 17, number 8, pp 743-745, 2010. (DOI).
- Sequence sets with optimal integrated periodic correlation level. In IEEE Signal Processing Letters, volume 17, number 1, pp 63-66, 2010. (DOI).
- Primal and dual model representations in kernel-based learning. In Statistics Surveys, volume 4, pp 148-183, 2010. (DOI).
- Accuracy analysis of time domain maximum likelihood method and sample maximum likelihood method for errors-in-variables and output error identification. In Automatica, volume 46, number 4, pp 721-727, 2010. (DOI).
- Elite golfers' kinematic sequence in full-swing and partial-swing shots. In Sports Biomechanics, volume 9, number 4, pp 236-244, 2010. (DOI).
- Additive survival least-squares support vector machines. In Statistics in Medicine, volume 29, number 2, pp 296-308, 2010. (DOI).
- New square-root factorization of inverse Toeplitz matrices. In IEEE Signal Processing Letters, volume 17, number 2, pp 137-140, 2010. (DOI).
- RTT positioning field performance. In IEEE Transactions on Vehicular Technology, volume 59, number 7, pp 3656-3661, 2010. (DOI).
- Recursive noise floor estimation in WCDMA. In IEEE Transactions on Vehicular Technology, volume 59, number 5, pp 2615-2620, 2010. (DOI).
- A covariance fitting approach for correlated acoustic source mapping. In Journal of the Acoustical Society of America, volume 127, number 5, pp 2920-2931, 2010. (DOI).
- Source Localization and Sensing: A nonparametric iterative adaptive approach based on weighted least squares. In IEEE Transactions on Aerospace and Electronic Systems, volume 46, number 1, pp 425-443, 2010. (DOI).
- Application of a transition graph-based predictive algorithm to a solar air conditioning plant. In IEEE Transactions on Control Systems Technology, volume 18, number 5, pp 1162-1171, 2010. (DOI).
- Medio-lateral stability of sit-to-walk performance in older individuals with and without fear of falling. In Gait & Posture, volume 31, number 4, pp 438-443, 2010. (DOI).
Conference papers
- Contributions to the initialization of online identification algorithms for anæsthesia: the NeuroMuscular Blockade case study. In Proc. 18th Mediterranean Conference on Control and Automation, pp 1341-1346, IEEE, Piscataway, NJ, 2010. (DOI).
- Modeling radial velocity signals for exoplanet search applications. In The 7th International Conference on Informatics in Control, Automation and Robotics, Madeira, Portugal, 2010.
- Dynamic models with quantized output for modeling patient response to pharmacotherapy. In Proc. International Conference on Control Applications: CCA 2010, pp 1029-1034, IEEE, Piscataway, NJ, 2010. (DOI).
- Resource efficient operation of a class of wastewater treatment processes. In Proc. 2nd IWA Water and Energy Conference, pp 96-97, International Water Association, 2010.
- An iterative adaptive approach for blood velocity estimation using ultrasound. In The 18th European Signal Processing Conference, Aalborg, Denmark, 2010.
- Waveform design with stopband and correlation constraints for cognitive radar. In The 2nd International Workshop on Cognitive Information Processing, Elba, Italy, 2010.
- Wideband MIMO waveform design for transmit beampattern synthesis. In The 5th IEEE Waveform Diversity and Design Conference, Niagara Falls, Canada, 2010.
- Mathematical modeling and grey-box identification of the human smooth pursuit mechanism. In Proc. International Conference on Control Applications: CCA 2010, pp 1023-1028, IEEE, Piscataway, NJ, 2010. (DOI).
- Iterative adaptive approach for wide-band active sonar array processing. In IEEE Oceans 2010 Conference, Sydney, Australia, 2010.
- Merging PK/PD information in a minimally parameterized model of the NeuroMuscular Blockade. In Proc. 32nd International Conference of the IEEE Engineering in Medicine and Biology Society, pp 4602-4605, IEEE, Piscataway, NJ, 2010. (DOI).
- Online nonlinear identification of the effect of drugs in anæsthesia using a minimal parameterization and BIS measurements. In Proc. American Control Conference: ACC 2010, pp 4379-4384, American Automatic Control Council, 2010.
- Sub-optimal networked system identificationbased on covariance functions. In NecSys '10, 2nd IFAC Workshop on Distributed Estimationand Control in Networked Systems, 2010.
- Efficient adaptive filtering for smooth linear FIR models. In Proc. 18th European Signal Processing Conference, pp 2136-2140, European Association for Signal Processing, 2010. (fulltext).
- On the identification of monotone Wiener systems. In Proc. 49th Conference on Decision and Control, pp 7208-7213, IEEE, Piscataway, NJ, 2010. (DOI).
- Speedup and tracking accuracy evaluation of parallel particle filter algorithms implemented on a multicore architecture. In Proc. International Conference on Control Applications: CCA 2010, pp 440-445, IEEE, Piscataway, NJ, 2010. (DOI).
- Improved non-parametric sparse recovery with data matched penalties. In Proc. 2nd International Workshop on Cognitive Information Processing, pp 46-51, IEEE, Piscataway, NJ, 2010. (DOI).
- A new method for moving-average parameter estimation. In Proc. 44th Asilomar Conference on Signals, Systems and Computers, pp 1817-1820, IEEE, Piscataway, NJ, 2010. (DOI).
- Asymptotic accuracy of covariance function based errors-in-variables system parameter estimates. In Proc. 49th Conference on Decision and Control, pp 328-333, IEEE, Piscataway, NJ, 2010. (DOI).
- Errors-in-variables identification using a generalized instrumental variable estimation method. In Proc. 49th Conference on Decision and Control, pp 322-327, IEEE, Piscataway, NJ, 2010. (DOI).
- System identification for the errors-in-variables problem. In UKACC International Conference on CONTROL 2010, 2010.
- A new sparse sensing approach for MIMO radar imaging. In The 8th European Conference on Synthetic Aperture Radar, Aachen, Germany, 2010.
- Efficient sparse Bayesian learning via Gibbs sampling. In the 35th International Conference on Acoustics, Speech and Signal Processing, Dallas, USA, 2010.
- Recursive prediction error identification and scaling of non-linear systems with midpoint numerical integration. In 2010 American Control Conference: ACC 2010, Proceedings of the American Control Conference, pp 4510-4515, 2010.
- On the use of a clinical kernel in survival analysis. In Proc. 18th European Symposium on Artificial Neural Networks, pp 451-456, d-side publications, Evere, Belgium, 2010.
- On optimal input signal design for frequency response estimation. In The 49th IEEE Conference on Decision and Control, Atlanta, USA, 2010.
- Emergency call delivery standards impair cellular positioning accuracy. In Proc. International Conference on Communications: ICC 2010, pp 4655-4660, IEEE, Piscataway, NJ, 2010. (DOI).
- MIMO radar sparse angle-Doppler imaging for ground moving target indication. In IEEE International Radar Conference, Washington DC, USA, 2010.
- A regional Swedish consortium for research and education: Demand-driven research within wastewater and sludge management. In Proc. 2nd IWA Water and Energy Conference, pp 100-101, International Water Association, 2010.
- Learning control applied to continuous wastewater treatment systems: an initial study. In Proc. 2nd IWA Water and Energy Conference, pp 98-99, International Water Association, 2010.
Numerical Analysis (Numerisk analys)
Chapters in book
- Agglomeration multigrid for the vertex-centered dual discontinuous Galerkin method. In ADIGMA — A European Initiative on the Development of Adaptive Higher-Order Variational Methods for Aerospace Applications, volume 113 of Notes on Numerical Fluid Mechanics and Multidisciplinary Design, pp 301-308, Springer-Verlag, Berlin, 2010. (DOI).
- Incorporating a discontinuous Galerkin method into the existing vertex-centered edge-based finite volume solver Edge. In ADIGMA — A European Initiative on the Development of Adaptive Higher-Order Variational Methods for Aerospace Applications, volume 113 of Notes on Numerical Fluid Mechanics and Multidisciplinary Design, pp 39-52, Springer-Verlag, Berlin, 2010. (DOI).
- Threshold Concepts in Computer Science: an ongoing empirical investigation. In Threshold Concepts and Transformational Learning, pp 241-258, Sense Publishers, Rotterdam, The Netherlands, 2010.
Articles in journal
- Weak versus strong no-slip boundary conditions for the Navier-Stokes equations. In Engineering Applications of Computational Fluid Mechanics, volume 4, pp 29-38, 2010.
- Condition number analysis for various forms of block matrix preconditioners. In Electronic Transactions on Numerical Analysis, volume 36, pp 168-194, 2010.
- Robust AMLI methods for parabolic Crouzeix–Raviart FEM systems. In Journal of Computational and Applied Mathematics, volume 235, pp 380-390, 2010. (DOI).
- A note on radial basis function interpolant limits. In IMA Journal of Numerical Analysis, volume 30, pp 543-554, 2010. (DOI).
- Revisiting and Extending Interface Penalties for Multidomain Summation-by-Parts Operators. In Journal of Scientific Computing, volume 45, pp 118-150, 2010. (DOI).
- An adaptive algorithm for simulation of stochastic reaction-diffusion processes. In Journal of Computational Physics, volume 229, pp 343-360, 2010. (DOI).
- Rotational transport on a sphere: Local node refinement with radial basis functions. In Journal of Computational Physics, volume 229, pp 1954-1969, 2010. (DOI).
- A novel method for solving multiscale elliptic problems with randomly perturbed data. In Multiscale Modeling & simulation, volume 8, pp 977-996, 2010. (DOI).
- An algebraic variational multiscale–multigrid method for large eddy simulation of turbulent flow. In Computer Methods in Applied Mechanics and Engineering, volume 199, pp 853-864, 2010. (DOI).
- Costs and constraints from time-delayed feedback in small gene regulatory motifs. In Proceedings of the National Academy of Sciences of the United States of America, volume 107, pp 8171-8176, 2010. (DOI).
- Incorporating active transport of cellular cargo in stochastic mesoscopic models of living cells. In Multiscale Modeling & simulation, volume 8, pp 1691-1714, 2010. (DOI).
- Convergence analysis of finite element approximations of the Joule heating problem in three spatial dimensions. In BIT Numerical Mathematics, volume 50, pp 781-795, 2010. (DOI).
- Magnetohydrodynamic flow of a Sisko fluid in annular pipe: A numerical study. In International Journal for Numerical Methods in Fluids, volume 62, pp 1169-1180, 2010. (DOI).
- A stable and high-order accurate conjugate heat transfer problem. In Journal of Computational Physics, volume 229, pp 5440-5456, 2010. (DOI).
- Stable and accurate interpolation operators for high-order multiblock finite difference methods. In SIAM Journal on Scientific Computing, volume 32, pp 2298-2320, 2010. (DOI).
- Stable and accurate second-order formulation of the shifted wave equation. In Communications in Computational Physics, volume 7, pp 103-137, 2010. (DOI).
- A perfectly matched layer applied to a reactive scattering problem. In Journal of Chemical Physics, volume 133, pp 054306:1-11, 2010. (DOI).
- Fluid structure interaction problems: the necessity of a well posed, stable and accurate formulation. In Communications in Computational Physics, volume 8, pp 1111-1138, 2010. (DOI).
- A hybrid scheme for bore design optimization of a brass instrument. In Journal of the Acoustical Society of America, volume 128, pp 1391-1400, 2010. (DOI).
- Pricing American options using a space-time adaptive finite difference method. In Mathematics and Computers in Simulation, volume 80, pp 1922-1935, 2010. (DOI).
- Boundary procedures for the time-dependent Burgers' equation under uncertainty. In Acta Mathematica Scientia, volume 30, pp 539-550, 2010. (DOI).
- Density estimation of two-phase flow with multiscale and randomly perturbed data. In Advances in Water Resources, volume 33, pp 1130-1141, 2010. (DOI).
- A computational study of vortex-airfoil interaction using high-order finite difference methods. In Computers & Fluids, volume 39, pp 1267-1274, 2010. (DOI).
- High contrast microwave tomography using topology optimization techniques. In Journal of Computational and Applied Mathematics, volume 234, pp 1773-1780, 2010. (DOI).
- Microwave tomographic imaging as a sequence of topology optimization problems. In Optimization and Engineering, volume 11, pp 597-610, 2010. (DOI).
- Shape and topology optimization of an acoustic horn-lens combination. In Journal of Computational and Applied Mathematics, volume 234, pp 1781-1787, 2010. (DOI).
- Direct numerical simulations of localized disturbances in pipe Poiseuille flow. In Computers & Fluids, volume 39, pp 926-935, 2010. (DOI).
Conference proceedings (ed)
- Numerical Mathematics and Advanced Applications: 2009. Springer-Verlag, Berlin, 2010.
Conference papers
- Energy stability of the MUSCL scheme. In Numerical Mathematics and Advanced Applications: 2009, pp 61-68, Springer-Verlag, Berlin, 2010. (DOI).
- An additive matrix preconditioning method with application for domain decomposition and two-level matrix partitionings. In Large-Scale Scientific Computing, volume 5910 of Lecture Notes in Computer Science, pp 76-83, Springer-Verlag, Berlin, 2010. (DOI).
- Stable perfectly matched layers for the Schrödinger equations. In Numerical Mathematics and Advanced Applications: 2009, pp 287-295, Springer-Verlag, Berlin, 2010. (DOI).
- Simulations of acoustic waves in a turbo-fan engine air intake. In Proc. 16th AIAA/CEAS Aeroacoustics Conference, volume 2010-3999 of Conference Proceeding Series, AIAA, 2010.
- Generic finite element programming for massively parallel flow simulations. In Proc. ECCOMAS CFD Conference 2010, p 10, Tech. Univ. Lisbon, Portugal, 2010.
- Massively parallel finite element programming. In Recent Advances in the Message Passing Interface, volume 6305 of Lecture Notes in Computer Science, pp 122-131, Springer-Verlag, Berlin, 2010. (DOI).
- Numerical methods for uncertainty propagation in high speed flows. In Proc. ECCOMAS CFD Conference 2010, p 11, Tech. Univ. Lisbon, Portugal, 2010.
- Error control for simulations of a dissociative quantum system. In Numerical Mathematics and Advanced Applications: 2009, pp 523-531, Springer-Verlag, Berlin, 2010. (DOI).
- The Effect of Reynolds Number in High Order Accurate Calculations with Shock Diffraction. In Proc. 7th South African Conference on Computational and Applied Mechanics, pp 416-423, South African Association for Theoretical and Applied Mechanics, 2010. (fulltext:postprint).
- A stable and high order interface procedure for conjugate heat transfer problems. In Numerical Mathematics and Advanced Applications: 2009, pp 599-607, Springer-Verlag, Berlin, 2010. (DOI).
- Element-by-element Schur complement approximations for general nonsymmetric matrices of two-by-two block form. In Large-Scale Scientific Computing, volume 5910 of Lecture Notes in Computer Science, pp 108-115, Springer-Verlag, Berlin, 2010. (DOI).
- Efficiency of shock capturing schemes for Burgers' equation with boundary uncertainty. In Numerical Mathematics and Advanced Applications: 2009, pp 737-745, Springer-Verlag, Berlin, 2010. (DOI).
Computational Science (Tillämpad beräkningsvetenskap)
Chapters in book
- Threshold Concepts in Computer Science: an ongoing empirical investigation. In Threshold Concepts and Transformational Learning, pp 241-258, Sense Publishers, Rotterdam, The Netherlands, 2010.
Articles in journal
- The next-generation ARC middleware. In Annales des télécommunications, volume 65, pp 771-776, 2010. (DOI).
- CellMC: a multiplatform model compiler for the Cell Broadband Engine and x86. In Bioinformatics, volume 26, pp 426-428, 2010. (DOI).
- A Fourier-coefficient based solution of an optimal control problem in quantum chemistry. In Journal of Optimization Theory and Applications, volume 147, pp 491-506, 2010. (DOI).
- Efficient algorithms for multidimensional global optimization in genetic mapping of complex traits. In Advances and Applications in Bioinformatics and Chemistry, volume 3, pp 75-88, 2010. (DOI).
- Assessing a multiple QTL search using the variance component model. In Computational biology and chemistry (Print), volume 34, pp 34-41, 2010. (DOI).
Conference proceedings (ed)
- Numerical Mathematics and Advanced Applications: 2009. Springer-Verlag, Berlin, 2010.
Conference papers
- An implementation framework for solving high-dimensional PDEs on massively parallel computers. In Numerical Mathematics and Advanced Applications: 2009, pp 417-424, Springer-Verlag, Berlin, 2010. (DOI).
- A Grid-Enabled Problem Solving Environment for QTL Analysis in R. In Proc. 2nd International Conference on Bioinformatics and Computational Biology, pp 202-209, ISCA, Cary, NC, 2010.
- Error control for simulations of a dissociative quantum system. In Numerical Mathematics and Advanced Applications: 2009, pp 523-531, Springer-Verlag, Berlin, 2010. (DOI).
- Computing students learning computing informally. In Proc. 10th International Conference on Computing Education Research: Koli Calling, pp 43-48, ACM Press, New York, 2010. (DOI).
- Chelonia — a self-healing storage cloud. In Proc. 9th Cracow Grid Workshop, pp 5-12, ACC Cyfronet AGH, Kraków, Poland, 2010.
- Harnessing Surprise: Tales from students' transformational biographies. In Proc. 41st ACM Technical Symposium on Computer Science Education, pp 300-304, ACM Press, New York, 2010. (DOI).
- An efficient task-based approach for solving the <em>n</em>-body problem on multicore architectures. PARA 2010: State of the Art in Scientific and Parallel Computing, University of Iceland, Reykjavík, 2010. (fulltext:postprint).
- Analysis and visualization of information quality of technical documentation. In Proc. 4th European Conference on Information Management and Evaluation, pp 388-396, Academic Conferences, Reading, UK, 2010.
- Information quality testing. In Perspectives in Business Informatics Research, volume 64 of Lecture Notes in Business Information Processing, pp 14-26, Springer-Verlag, Berlin, 2010. (DOI).
Computer Systems (Datorteknik)
Chapters in book
- Efficient cache modeling with sparse data. In Processor and System-on-Chip Simulation, pp 193-209, Springer, New York, 2010. (DOI).
Articles in journal
- Sampled semantics of timed automata. In Logical Methods in Computer Science, volume 6, number 3, pp 14:1-37, 2010. (DOI).
- Well (and better) quasi-ordered transition systems. In Bulletin of Symbolic Logic, volume 16, number 4, pp 457-515, 2010.
- Introductory programming and the didactic triangle. In Australian Computer Science Communications, volume 32, number 2, pp 35-44, 2010. (External link).
- Constructive controversy as a way to create "true collaboration" in an open ended group project setting. In Australian Computer Science Communications, volume 32, number 2, pp 73-78, 2010. (External link).
- Engineering Education Research in Practice: Evolving use of open ended group projects as a pedagogical strategy for developing skills in global collaboration. In International journal of engineering education, volume 26, number 4, pp 795-806, 2010.
- The contribution of open ended group projects to international student collaborations. In ACM Inroads, volume 1, number 3, pp 79-84, 2010. (DOI).
- Adaptive random re-routing for differentiated QoS in sensor networks. In Computer journal, volume 53, number 7, pp 1052-1061, 2010. (DOI).
- Learning of event-recording automata. In Theoretical Computer Science, volume 411, number 47, pp 4029-4054, 2010. (DOI).
- SARC coherence: Scaling directory cache coherence in performance and power. In IEEE Micro, volume 30, number 5, pp 54-65, 2010. (DOI).
- Static worst-case execution time analysis of the ?C/OS-II real-time kernel. In Frontiers of Computer Science in China, volume 4, number 1, pp 17-27, 2010. (DOI).
- A delay-aware reliable event reporting framework for wireless sensor–actuator networks. In Ad hoc networks, volume 8, number 7, pp 694-707, 2010. (DOI).
- Does Quality Assurance Enhance the Quality of Computing Education?. In Australian Computer Science Communications, volume 32, number 2, pp 9-14, 2010. (External link, fulltext).
- Should we care about global intercultural collaboration?. In ACM Inroads, volume 1, number 3, pp 4-7, 2010. (DOI).
- Holistic approach to learning and teaching introductory object-oriented programming. In Computer Science Education, volume 20, number 2, pp 103-127, 2010. (DOI).
- Verifying parallel programs with dynamic communication structures. In Theoretical Computer Science, volume 411, pp 3460-3468, 2010. (DOI).
Conference proceedings (ed)
- Proc. 10th International Workshop on Symmetry in Constraint Satisfaction Problems. Department of Information Technology, Uppsala University, Uppsala, Sweden, 2010. (Proceedings).
- Proc. 9th International Workshop on Constraint Modelling and Reformulation. Department of Information Technology, Uppsala University, Uppsala, Sweden, 2010. (Programme).
Conference papers
- Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction. In Testing Software and Systems: ICTSS 2010, volume 6435 of Lecture Notes in Computer Science, pp 188-204, Springer-Verlag, Berlin, 2010. (DOI).
- Analyzing the security in the GSM radio network using attack jungles. In Leveraging Applications of Formal Methods, Verification, and Validation: Part I, volume 6415 of Lecture Notes in Computer Science, pp 60-74, Springer-Verlag, Berlin, 2010. (DOI).
- Constrained monotonic abstraction: A CEGAR for parameterized verification. In CONCUR 2010 – Concurrency Theory, volume 6269 of Lecture Notes in Computer Science, pp 86-101, Springer-Verlag, Berlin, 2010. (DOI).
- Forcing monotonicity in parameterized verification: From multisets to words. In SOFSEM 2010: Theory and Practice of Computer Science, volume 5901 of Lecture Notes in Computer Science, pp 1-15, Springer-Verlag, Berlin, 2010. (DOI).
- Simulation subsumption in Ramsey-based Büchi automata universality and inclusion testing. In Computer Aided Verification, volume 6174 of Lecture Notes in Computer Science, pp 132-147, Springer-Verlag, Berlin, 2010. (DOI).
- When simulation meets antichains: On checking language inclusion of nondeterministic finite (tree) automata. In Tools and Algorithms for the Construction and Analysis of Systems, volume 6015 of Lecture Notes in Computer Science, pp 158-174, Springer-Verlag, Berlin, 2010. (DOI).
- From multi to single stack automata. In CONCUR 2010 – Concurrency Theory, volume 6269 of Lecture Notes in Computer Science, pp 117-131, Springer-Verlag, Berlin, 2010. (DOI).
- Global model checking of ordered multi-pushdown systems. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science: FSTTCS 2010, volume 8 of Leibniz International Proceedings in Informatics, pp 216-227, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2010. (DOI).
- On the verification problem for weak memory models. In Proc. 37th ACM Symposium on Principles of Programming Languages, pp 7-18, ACM Press, New York, 2010. (DOI).
- On matrices, automata, and double counting. In Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, volume 6140 of Lecture Notes in Computer Science, pp 10-24, Springer-Verlag, Berlin, 2010. (DOI).
- Block-Parallel Programming for Real-time Embedded Applications. In Proc. 39th International Conference on Parallel Processing, pp 297-306, IEEE, Piscataway, NJ, 2010. (DOI, fulltext:postprint).
- Inferring Compact Models of Communication Protocol Entities. In Leveraging Applications of Formal Methods, Verification, and Validation: Part I, volume 6415 of Lecture Notes in Computer Science, pp 658-672, Springer-Verlag, Berlin, 2010. (DOI).
- Invariant synthesis for programs manipulating lists with unbounded data. In Computer Aided Verification, volume 6174 of Lecture Notes in Computer Science, pp 72-88, Springer-Verlag, Berlin, 2010. (DOI).
- Mode Switch: Adaptive use of delay-sensitive or energy-aware communication in IEEE 802.15.4-based networks. In Proc. 7th International Conference on Mobile Ad Hoc and Sensor Systems, pp 302-311, IEEE, Piscataway, NJ, 2010. (DOI).
- Experiences from using Constructive Controversy in an Open Ended Group Project. In Proc. 40th ASEE/IEEE Frontiers in Education Conference, pp S3D-1-5, IEEE, Piscataway, NJ, 2010. (DOI).
- StatCC: a statistical cache contention model. In Proc. 19th International Conference on Parallel Architectures and Compilation Techniques, pp 551-552, ACM Press, New York, 2010. (DOI).
- StatStack: Efficient modeling of LRU caches. In Proc. International Symposium on Performance Analysis of Systems and Software: ISPASS 2010, pp 55-65, IEEE, Piscataway, NJ, 2010. (DOI).
- Energy Framework: An extensible framework for simulating battery consumption in wireless networks. In Proc. 3rd International ICST Conference on Simulation Tools and Techniques, pp 20:1-4, ICST, Brussels, Belgium, 2010. (DOI, fulltext).
- Fixed-Priority Multiprocessor Scheduling with Liu & Layland's Utilization Bound. In Proc. 16th Real-Time and Embedded Technology and Applications Symposium, pp 165-174, IEEE, Piscataway, NJ, 2010. (DOI).
- Quality-of-Information Aware Data Delivery for Wireless Sensor Networks: Description and Experiments. In Proc. Wireless Communications and Networking Conference 2010, p 6, IEEE, Piscataway, NJ, 2010. (DOI).
- Interval-based models for run-time DVFS orchestration in superscalar processors. In Proc. 7th International Conference on Computing Frontiers, pp 287-296, ACM Press, New York, 2010. (DOI).
- Where replacement algorithms fail: a thorough analysis. In Proc. 7th International Conference on Computing Frontiers, pp 141-150, ACM Press, New York, 2010. (DOI).
- Minimizing Multi-Resource Energy for Real-Time Systems with Discrete Operation Modes. In Proc. 22nd Euromicro Conference on Real-Time Systems, pp 113-122, IEEE, Piscataway, NJ, 2010. (DOI).
- Combining abstract interpretation with model checking for timing analysis of multicore software. In Proc. Real-Time Systems Symposium: RTSS 2010, pp 339-349, IEEE, Piscataway, NJ, 2010. (DOI).
- Local search over relational databases. In Proc. 7th International Workshop on Local Search Techniques in Constraint Satisfaction, p 15, Department of Computing Science and Engineering, Université catholique de Louvain, Belgium, 2010. (Fulltext).
- Conveying Conceptions of Quality through Instruction. In Proc. 7th International Conference on the Quality of Information and Communications Technology, 2010.
- Developing Global Teamwork Skills: The Runestone Project. In Annual Global Engineering Education Conference (EDUCON): The Future of Global Learning in Engineering Education, IEEE, 2010. (fulltext).
- Enhancing Student Engagement in an Introductory Programming Course. In Proc. 40th ASEE/IEEE Frontiers in Education Conference, pp F1E-1-2, IEEE, Piscataway, NJ, 2010. (DOI).
- MLP-aware instruction queue resizing: The key to power-efficient performance. In Architecture of Computing Systems – ARCS 2010, volume 5974 of Lecture Notes in Computer Science, pp 113-125, Springer-Verlag, Berlin, 2010. (DOI).
- An adaptive cross-layer design for prioritized traffic in wireless communications. In Proc. 6th International Conference on Mobile Ad Hoc and Sensor Networks, pp 203-206, IEEE, Piscataway, NJ, 2010. (DOI).
- Repeatable experiments with mobile nodes in a relocatable WSN testbed. In Proc. 6th IEEE International Conference on Distributed Computing in Sensor Systems Workshops: DCOSSW 2010, pp 1-6, IEEE Computer Society, 2010. (DOI).
- Sensei-UU: a relocatable sensor network testbed. In Proc. 5th ACM International Workshop on Wireless Network Testbeds, Experimental Evaluation and Characterization, pp 63-70, ACM Press, 2010. (DOI).
- Secure Overlays: Making Static Key Distribution Schemes Work with Mobile Base Stations in WSNs. In Wired/Wireless Internet Communications, volume 6074 of Lecture Notes in Computer Science, pp 386-397, Springer-Verlag, Berlin, 2010. (DOI).
- Wireless sensor network deployment in mobile phones assisted environment. In Proc. 18th International Workshop on Quality of Service, p 9, IEEE, Piscataway, NJ, 2010. (DOI).
- Reducing Cache Pollution Through Detection and Elimination of Non-Temporal Memory Accesses. In Proc. International Conference for High Performance Computing, Networking, Storage and Analysis: SC 2010, p 11, IEEE, Piscataway, NJ, 2010. (DOI, fulltext:print).
- On realising a strategy for resilience in opportunistic networks. In Future Network and Mobile Summit, Florence, 2010.
- Contingency plans for air traffic flow and capacity management. In Proc. 9th Innovative Research Workshop and Exhibition, pp 119-126, EUROCONTROL Experimental Centre, Brétigny sur Orge, France, 2010. (fulltext).
- Contingency plans for air traffic management. In Principles and Practice of Constraint Programming – CP 2010, volume 6308 of Lecture Notes in Computer Science, pp 643-657, Springer-Verlag, Berlin, 2010. (DOI).
- A method for analyzing learning outcomes in project courses. In Proc. 40th ASEE/IEEE Frontiers in Education Conference, pp T4H-1-2, IEEE, Piscataway, NJ, 2010. (DOI).
- Multicore embedded systems: The timing problem and possible solutions. In Formal Methods and Software Engineering, volume 6447 of Lecture Notes in Computer Science, pp 22-23, Springer-Verlag, Berlin, 2010. (DOI).
Computing Science (Datalogi)
Chapters in book
- Inductive programming. In Encyclopedia of Machine Learning, pp 537-544, Springer, New York, 2010. (DOI).
- Programming by demonstration. In Encyclopedia of Machine Learning, pp 805-805, Springer, New York, 2010. (DOI).
- Trace-based programming. In Encyclopedia of Machine Learning, pp 989-989, Springer, New York, 2010. (DOI).
Articles in journal
- Automated Web Service Query Service. In International Journal of Web and Grid Services (IJWGS), volume 6, number 4, pp 400-423, 2010. (DOI).
- SPARQL queries to RDFS views of Topic Maps. In International Journal of Metadata, Semantics and Ontologies (IJMSO), volume 5, number 1, pp 1-16, Inderscience, 2010. (DOI).
Conference proceedings (ed)
- Proc. 10th International Workshop on Symmetry in Constraint Satisfaction Problems. Department of Information Technology, Uppsala University, Uppsala, Sweden, 2010. (Proceedings).
Conference papers
- On matrices, automata, and double counting. In Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, volume 6140 of Lecture Notes in Computer Science, pp 10-24, Springer-Verlag, Berlin, 2010. (DOI).
- Tribal ownership. In Proc. 1st International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, volume 45:10 of ACM SIGPLAN Notices, pp 618-633, ACM Press, New York, 2010. (DOI).
- Static detection of race conditions in Erlang. In Practical Aspects of Declarative Languages: PADL 2010, volume 5937 of Lecture Notes in Computer Science, pp 119-133, Springer-Verlag, Berlin, 2010. (DOI).
- A concurrent language with a uniform treatment of regions and locks. In Proc. 2nd Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software: PLACES 2009, volume 17 of Electronic Proceedings in Theoretical Computer Science, pp 79-93, 2010. (DOI).
- Race-free and memory-safe multithreading: Design and implementation in Cyclone. In Proc. 5th International Workshop on Types in Language Design and Implementation, pp 15-26, ACM Press, New York, 2010. (DOI).
- A Fully Abstract Symbolic Semantics for Psi-Calculi. In Proc. 6th Workshop on Structural Operational Semantics: SOS 2009, volume 18 of Electronic Proceedings in Theoretical Computer Science, pp 17-31, 2010. (DOI).
- Weak Equivalences in Psi-calculi. In Proc. 25th Symposium on Logic in Computer Science: LICS 2010, pp 322-331, IEEE, Piscataway, NJ, 2010. (DOI).
- Local search over relational databases. In Proc. 7th International Workshop on Local Search Techniques in Constraint Satisfaction, p 15, Department of Computing Science and Engineering, Université catholique de Louvain, Belgium, 2010. (Fulltext).
- Using static analysis to detect type errors and concurrency defects in Erlang programs. In Functional and Logic Programming: FLOPS 2010, volume 6009 of Lecture Notes in Computer Science, pp 13-18, Springer-Verlag, Berlin, 2010. (DOI).
- Agile software development and ISO-IEC software quality standards: Measuring economic benefits and calculating quantitative yields. In Proc. 25th International Forum on Systems/Software Cost Modeling, University of Southern California, Los Angeles, CA, 2010.
- Contingency plans for air traffic flow and capacity management. In Proc. 9th Innovative Research Workshop and Exhibition, pp 119-126, EUROCONTROL Experimental Centre, Brétigny sur Orge, France, 2010. (fulltext).
- Contingency plans for air traffic management. In Principles and Practice of Constraint Programming – CP 2010, volume 6308 of Lecture Notes in Computer Science, pp 643-657, Springer-Verlag, Berlin, 2010. (DOI).
- Scalable Splitting of Massive Data Streams. In Database Systems for Advanced Applications: Part II, volume 5982 of Lecture Notes in Computer Science, pp 184-198, Springer-Verlag, Berlin, 2010. (DOI, fulltext).
- Welterweight Java. In Objects, Models, Components, Patterns, volume 6141 of Lecture Notes in Computer Science, pp 97-116, Springer-Verlag, Berlin, 2010. (DOI).
Human-Computer Interaction (Människa-datorinteraktion)
Articles in journal
- Constructive controversy as a way to create "true collaboration" in an open ended group project setting. In Australian Computer Science Communications, volume 32, number 2, pp 73-78, 2010. (External link).
- Engineering Education Research in Practice: Evolving use of open ended group projects as a pedagogical strategy for developing skills in global collaboration. In International journal of engineering education, volume 26, number 4, pp 795-806, 2010.
- Different levels of 3D: An evaluation of visualized discrete spatiotemporal data in space-time cubes. In Information Visualization, volume 9, number 2, pp 152-164, 2010. (DOI).
- Evaluating 2D and 3D Visualizations of Spatiotemporal Information. In ACM Transactions on Applied Perception, volume 7, number 3, pp 19:1-23, 2010. (DOI).
- On the role of visual references in collaborative visualization. In Information Visualization, volume 9, number 2, pp 98-114, 2010. (DOI).
Conference papers
- Diversity in the construction of organization value. In Which values for which organisations, 2010. (External link).
- Towards a usability coaching method for institutionalizing usability in organisations. In Human-Computer Interaction, volume 332 of IFIP Advances in Information and Communication Technology, pp 86-97, Springer-Verlag, Berlin, 2010. (DOI).
- Experiences from using Constructive Controversy in an Open Ended Group Project. In Proc. 40th ASEE/IEEE Frontiers in Education Conference, pp S3D-1-5, IEEE, Piscataway, NJ, 2010. (DOI).
- Physicians' concept of time usage: A key concern in EPR deployment. World Computer Congress 2010, Springer-Verlag, Berlin, 2010. (DOI, Physicians Concept of Time Usage).
- Computer aided ethical IT systems design. In ETHICOMP 2010: The "backwards, forwards, and sideways" changes of ICT, pp 332-340, Universitat Rovira i Virgili, Tarragona, Spain, 2010. (External link).
- Information Technology, democratic societies and competitive markets. In An information law for the 21st Century, Nomiki Vivliothiki, Athens, 2010.
- Robots and systems as autonomous ethical agents. In INTECH 2010: Proceedings of the 11th International Conference on Intelligent Technologies, pp 5-9, Assumption University, Bangkok, 2010.
- What is Culture?: Toward Common Understandings of Culture in HCI. In Human-Computer Interaction, volume 332 of IFIP Advances in Information and Communication Technology, pp 133-141, Springer Berlin/Heidelberg, 2010. (DOI).
- Development and implementation of new principles and systems for train traffic control in Sweden. In Computers in Railways XII: Computer System Design and Operation in Railways and other Transit Systems, pp 441-450, WIT Press, Southampton, UK, 2010. (DOI).