Refereed publications from the IT research programs 2009
Automatic Control (Reglerteknik)
- Sampled Data Errors in Variables Systems.. In SYSID 2009, IFAC 15th Symposium on System Identification, Saint-Malo, France, July 6-8, 2009., 2009.
- Scenario-based EM identification for FIR systems having quantized output data. In Proc. 15th IFAC Symposium on System Identification, pp 66-71, International Federation of Automatic Control, 2009.
- Three-degree of freedom adaptive power control for CDMA cellular systems. In Proc. 28th Global Telecommunications Conference, pp 2793-2798, IEEE Communications Society, 2009. (DOI).
- A simple model for the identification of drug effects. In Proc. 6th International Symposium on Intelligent Signal Processing, pp 269-273, IEEE, Piscataway, NJ, 2009. (DOI).
- An IQML type algorithm for AR parameter estimation from noisy covariance sequences. In Proc. 17th European Signal Processing Conference, pp 1022-1026, European Association for Signal Processing, 2009.
- Skin T1 Mapping at 1.5T, 3T, and 7T. In Proceedings of the ISMRM 2009, Honolulu, Hawaii, USA, 2009.
- An optimal prior knowledge-based DOA estimation method. In Proc. 17th European Signal Processing Conference, pp 869-873, European Association for Signal Processing, 2009.
- Une méthode optimale pour l'estimation des directions d'arrivées basée sur des connaissances a priori. In Proc. XXII Colloque GRETSI, p 4, 2009. (fulltext).
- Mathematical model of non-basal testosterone regulation in the male by pulse modulated feedback. In Automatica, volume 45, number 1, pp 78-85, 2009. (DOI).
- Doppler spectrogram analysis of human gait via iterative adaptive approach. In Electronics Letters, volume 45, number 3, pp 186-189, 2009. (DOI).
- Review of user parameter-free robust adaptive beamforming algorithms. In Digital signal processing (Print), volume 19, number 4, pp 567-582, 2009. (DOI).
- Temporal coordination of the sit-to-walk task in subjects with stroke and in controls. In Archives of Physical Medicine and Rehabilitation, volume 90, number 6, pp 1009-1017, 2009. (DOI).
- Model-based Slopping Warning in the LD Steel Converter Process. In Journal of Process Control, volume 19, number 6, pp 1000-1010, Elsevier, 2009. (DOI).
- Detection and Classification of Liquid Explosives Using NMR. In Proceedings of the 2009 IEEE International Conference on Acoustics, Speech, and Signal Processing: April 19 - 24, 2009, Taipei, Taiwan, pp 3053-3056, 2009. (DOI).
- NQR-Based Explosives Detection: An Overview. In Proceedings of the 9th International Symposium on Signals, Circuits and Systems, Iasi, Romania, July 9-10, 2009, 2009.
- Spectral Estimation of Damped Sinusoids in the Case of Irregularly Sampled Data. In Proceedings of the 9th International Symposium on Signals, Circuits and Systems, Iasi, Romania, July 9-10, 2009, 2009.
- A new input/output pairing strategy based on linear quadratic Gaussian control. In Proc. International Conference on Control and Automation: ICCA 2009, pp 978-982, IEEE, Piscataway, NJ, 2009. (DOI).
- Construction of unimodular sequence sets for periodic correlations. In Proc. 43rd Asilomar Conference on Signals, Systems and Computers, pp 136-140, IEEE, Piscataway, NJ, 2009. (DOI).
- Designing unimodular sequence sets with good correlations—including an application to MIMO radar. In IEEE Transactions on Signal Processing, volume 57, number 11, pp 4391-4405, 2009. (DOI).
- Spectral Analysis of Non-Uniformly Sampled Data: A New Approach Versus the Periodogram. In IEEE Digital Signal Processing Workshop, Marco Island, FL, USA, 2009, pp 375-380, 2009. (DOI).
- Unimodular sequence design for good autocorrelation properties. In Proceedings of the 2009 IEEE International Conference on Acoustics, Speech, and Signal Processing: April 19 - 24, 2009, Taipei, Taiwan, 2009.
- Unimodular sequence sets with good correlations for MIMO radar. In IEEE Radar Conference, Pasadena, CA, USA, 2009, 2009.
- Relations between bias-eliminating least squares, the Frisch scheme and extended compensated least squares methods for identifying errors-in-variables systems. In Automatica, volume 45, number 1, pp 277-282, 2009. (DOI).
- Iterative Space-Time Adaptive Processing. In IEEE Digital Signal Processing Workshop, Marco Island, FL, USA, 2009, pp 440-445, 2009. (DOI).
- MIMO Radar: Diversity means superiority. In MIMO Radar Signal Processing, pp 1-64, John Wiley & Sons, Hoboken, NJ, 2009.
- MIMO Radar Signal Processing. John Wiley & Sons, Hoboken, NJ, 2009.
- Elementwise decoupling and convergence of the Riccati equation in the SG algorithm. In Automatica, volume 45, number 6, pp 1524-1529, 2009. (DOI).
- Continuous-time errors-in-variables system identification through covariance matching without input signal modeling. In 2009 American Control Conference, St. Louis, Missouri, USA, June 10-12, 2009., 2009.
- Separation of waves governed by the one-dimensional wave equation: a stochastic systems approach. In Mechanical systems and signal processing, volume 23, number 3, pp 823-844, 2009. (DOI).
- Least conservative support and tolerance tubes. In IEEE Transactions on Information Theory, volume 55, number 8, pp 3799-3806, 2009. (DOI).
- Correlation matching approach for spectrum sensing in open spectrum communications. In IEEE Transactions on Signal Processing, volume 57, number 12, pp 4823-4836, 2009. (DOI).
- Validation of wave propagation modles used in nonparametric identification of viscoelastic materials. In SYSID 2009, IFAC 15th Symposium on System Identification, Saint-Malo, France, July 6-8, 2009., 2009.
- MIMO radar angle-range-doppler imaging. In IEEE Radar Conference, Pasadena, CA, USA, 2009, 2009.
- AECID fingerprinting positioning performance. In Proc. 28th Global Telecommunications Conference, pp 2767-2772, IEEE Communications Society, 2009. (DOI).
- Linear-Quadratic Optimal Time-varying Observers with Time-varying Guaranteed Convergence Rate. In IET Control Theory and Applications, volume 3, number 2, pp 181-188, 2009. (DOI).
- Missing data recovery via a nonparametric iterative adaptive approach. In Proceedings of the 2009 IEEE International Conference on Acoustics, Speech, and Signal Processing: April 19 - 24, 2009, Taipei, Taiwan, 2009.
- Missing data recovery via a nonparametric iterative adaptive approach. In IEEE Signal Processing Letters, volume 16, number 4, pp 241-244, 2009. (DOI).
- New algorithms for designing unimodular sequences with good correlation properties. In IEEE Transactions on Signal Processing, volume 57, number 4, pp 1415-1425, 2009. (DOI).
- On designing sequences with impulse-like periodic correlation. In IEEE Signal Processing Letters, volume 16, number 8, pp 703-706, 2009. (DOI).
- On maximum likelihood estimation in factor analysis: an algebraic derivation. In Signal Processing, volume 89, number 6, pp 1260-1262, 2009. (DOI).
- Spectral analysis of nonuniformly sampled data: a new approach versus the periodogram. In IEEE Transactions on Signal Processing, volume 57, number 3, pp 843-858, 2009. (DOI).
- A covariance matching approach for identifying errors-in-variables systems. In Automatica, volume 45, number 9, pp 2018-2031, 2009. (DOI).
- Identifying errors-in-variables systems by using a covariance matching approach. In SYSID 2009, IFAC 15th Symposium on System Identification, Saint-Malo, France, July 6-8, 2009, 2009.
- Sampling approximations for continuous-time identification. In SYSID 2009, IFAC 15th Symposium on System Identification, Saint-Malo, France, July 6-8, 2009., 2009.
- Probing waveform synthesis and receive filter design for active sensing systems. In SPIE Defense, Security and Sensing Conference, Orlando, FL, USA, 2009, 2009. (DOI).
- Range-Doppler imaging via a train of probing pulses. In IEEE Transactions on Signal Processing, volume 57, number 3, pp 1084-1097, 2009. (DOI).
- On estimation of cascade systems with common dynamics. In 15th IFAC Symposium on System Identification, Saint-Malo, France, 2009, 2009.
- Optimized search window alignment for A-GPS. In IEEE Transactions on Vehicular Technology, volume 58, number 8, pp 4670-4675, 2009. (DOI).
- RTT positioning in WCDMA. In Proc. 5th International Conference on Wireless and Mobile Communications, pp 303-308, IEEE Computer Society, 2009. (DOI).
- Soft uplink load estimation in WCDMA. In IEEE Transactions on Vehicular Technology, volume 58, number 2, pp 760-772, 2009. (DOI).
- ASEO: a method for the simultaneous estimation of single-trial event-related potentials and ongoing brain activities. In IEEE Transactions on Biomedical Engineering, volume 56, number 1, pp 111-121, 2009. (DOI).
- MIMO radar angle-doppler imaging via iterative space-time adaptive approach. In 4th IEEE International Waveform Diversity and Design Conference, Orlando, FL, USA, 2009, 2009.
- On MIMO radar transmission schemes for ground moving target indication. In Proc. 43rd Asilomar Conference on Signals, Systems and Computers, pp 1171-1175, IEEE, Piscataway, NJ, 2009. (DOI).
Numerical Analysis (Numerisk analys)
- Accurate and stable calculations involving shocks using a new hybrid scheme. In Proc. 19th AIAA CFD Conference, volume 2009-3985 of Conference Proceeding Series, AIAA, 2009.
- Equivalent operator preconditioning for elliptic problems. In Numerical Algorithms, volume 50, pp 297-380, 2009. (DOI).
- Preconditioning of boundary value problems using elementwise Schur complements. In SIAM Journal on Matrix Analysis and Applications, volume 31, pp 767-789, 2009. (DOI).
- The local Green's function method in singularly perturbed convection-diffusion problems. In Mathematics of Computation, volume 78, number 265, pp 153-170, 2009. (DOI).
- A discontinuous Galerkin extension of the vertex-centered edge-based finite volume method. In Communications in Computational Physics, volume 5, pp 456-468, 2009.
- Students' understanding of the concept of interface in a situated context. In Computer Science Education, volume 19, pp 15-36, 2009. (DOI).
- Analytical solutions for a single blade in vertical axis turbine motion in two dimensions. In European journal of mechanics. B, Fluids, volume 28, pp 506-520, 2009. (DOI).
- Analysis of stretched grids as buffer zones in aero-acoustic simulations. In Proc. 15th AIAA/CEAS Aeroacoustics Conference, volume 2009-3113 of Conference Proceeding Series, AIAA, 2009.
- Boundary values and finite difference methods for the single factor term structure equation. In Applied Mathematical Finance, volume 16, pp 253-259, 2009. (DOI).
- The influence of weak and strong solid wall boundary conditions on the convergence to steady-state of the Navier-Stokes equations. In Proc. 19th AIAA CFD Conference, volume 2009-3551 of Conference Proceeding Series, AIAA, 2009.
- Galerkin spectral method applied to the chemical master equation. In Communications in Computational Physics, volume 5, pp 871-896, 2009.
- Parallel in time simulation of multiscale stochastic chemical kinetics. In Multiscale Modeling & simulation, volume 8, pp 46-68, 2009. (DOI).
- Simulation of stochastic reaction-diffusion processes on unstructured meshes. In SIAM Journal on Scientific Computing, volume 31, pp 1774-1797, 2009. (DOI).
- Spectral approximation of solutions to the chemical master equation. In Journal of Computational and Applied Mathematics, volume 229, pp 208-221, 2009. (DOI).
- Multiscale Modeling and Simulation in Science. Volume 66 of Lecture Notes in Computational Science and Engineering, Springer-Verlag, Berlin, 2009.
- Analysis of mesh and boundary effects on the accuracy of node-centered finite volume schemes. In Proc. 19th AIAA CFD Conference, volume 2009-3651 of Conference Proceeding Series, AIAA, 2009.
- Analysis of the order of accuracy for node-centered finite volume schemes. In Applied Numerical Mathematics, volume 59, pp 2659-2676, 2009. (DOI).
- Nonparametric density estimation for randomly perturbed elliptic problems I: Computational methods, a posteriori analysis, and adaptive error control. In SIAM Journal on Scientific Computing, volume 31, pp 2935-2959, 2009. (DOI).
- Nonparametric density estimation for randomly perturbed elliptic problems II: Applications and adaptive modeling. In International Journal for Numerical Methods in Engineering, volume 80, pp 846-867, 2009. (DOI).
- Adaptive solution of the master equation in low dimensions. In Applied Numerical Mathematics, volume 59, pp 187-204, 2009. (DOI).
- Investigation of acceleration effects on missile aerodynamics using computational fluid dynamics. In Aerospace Science and Technology, volume 13, pp 197-203, 2009. (DOI).
- Adaptive stochastic hybrid simulation of biochemical reaction-diffusion models. In Proc. 3rd International Conference on Foundations of Systems Biology in Engineering, p 4, The Systems Biology Institute, 2009. (Preprint).
- A mixed adaptive variational multiscale method with applications in oil reservoir simulation. In Mathematical Models and Methods in Applied Sciences, volume 19, pp 1017-1042, 2009. (DOI).
- An adaptive variational multiscale method for convection-diffusion problems. In Communications in Numerical Methods in Engineering, volume 25, pp 65-79, 2009. (DOI).
- Implicit-explicit Runge-Kutta methods for stiff combustion problems. In Shock Waves: Volume 1, pp 299-304, Springer-Verlag, Berlin, 2009. (DOI).
- A highly accurate adaptive finite difference solver for the Black–Scholes equation. In International Journal of Computer Mathematics, volume 86, pp 2104-2121, 2009. (DOI).
- Measurements and numerical modelling of orifice flow in microchannels. In Proc. 41st AIAA Thermophysics Conference, volume 2009-4098 of Conference Proceeding Series, AIAA, 2009.
- Stable Boundary Treatment for the Wave Equation on Second-Order Form. In Journal of Scientific Computing, volume 41, pp 366-383, 2009. (DOI).
- Liminal spaces and learning computing. In European Journal of Engineering Education, volume 34, pp 383-391, 2009. (DOI).
- Computer Science Student Transformations: Changes and Causes. In SIGCSE Bulletin inroads, volume 41, number 3, pp 181-185, 2009. (DOI).
- Strictly stable high order difference methods for the compressible Euler and Navier-Stokes equations. In Computational Fluid Dynamics: 2006, pp 125-130, Springer-Verlag, Berlin, 2009. (DOI).
- A hybrid method for unsteady inviscid fluid flow. In Computers & Fluids, volume 38, pp 875-882, 2009. (DOI).
- A stable and conservative high order multi-block method for the compressible Navier-Stokes equations. In Journal of Computational Physics, volume 228, pp 9020-9035, 2009. (DOI).
- Shock and vortex calculations using a very high order accurate Euler and Navier-Stokes solver. In Journal of Mechanics and MEMS, volume 1, number 1, pp 19-26, 2009.
- Boundary procedures for the time-dependent stochastic Burgers' equation. In Proc. 19th AIAA CFD Conference, volume 2009-3550 of Conference Proceeding Series, AIAA, 2009.
- Numerical analysis of the Burgers' equation in the presence of uncertainty. In Journal of Computational Physics, volume 228, pp 8394-8412, 2009. (DOI).
- Fokker-Planck approximation of the master equation in molecular biology. In Computing and Visualization in Science, volume 12, pp 37-50, 2009. (DOI).
- Variation theory applied to students' conceptions of computer programming. In European Journal of Engineering Education, volume 34, pp 339-347, 2009. (DOI).
- Megapixel topology optimization on a graphics processing unit. In SIAM Review, volume 51, pp 707-721, 2009. (DOI).
- A conservative level set method for contact line dynamics. In Journal of Computational Physics, volume 228, pp 6361-6375, 2009. (DOI).
- Student Transformations: Are they computer scientists yet?. In Proc. 5th International Computing Education Research Workshop, pp 129-140, ACM Press, New York, 2009. (DOI).
Computational Science (Tillämpad beräkningsvetenskap)
- A grid portal for genetic analysis of complex traits. In Proc. 32nd International Convention on Information and Communication Technology, Electronics and Microelectronics: Volume I, pp 281-284, MIPRO, Rijeka, Croatia, 2009.
- Software Issues in Computational Science and Engineering. Volume 4:4 of International Journal of Computational Science and Engineering, 2009.
- Naturally Occurring Data as Research Instrument: Analyzing examination responses to study the novice programmer. In SIGCSE Bulletin inroads, volume 41, number 4, pp 156-173, 2009. (DOI).
- Liminal spaces and learning computing. In European Journal of Engineering Education, volume 34, pp 383-391, 2009. (DOI).
- New algorithms for evaluating the log-likelihood function derivatives in the AI-REML method. In Communications in statistics. Simulation and computation, volume 38, pp 1348-1364, 2009. (DOI).
- Computer Science Student Transformations: Changes and Causes. In SIGCSE Bulletin inroads, volume 41, number 3, pp 181-185, 2009. (DOI).
- cnF2freq: Efficient determination of genotype and haplotype probabilities in outbred populations using Markov models. In Bioinformatics and Computational Biology, volume 5462 of Lecture Notes in Computer Science, pp 307-319, Springer-Verlag, Berlin, 2009. (DOI).
- Parallel Structured Adaptive Mesh Refinement. In Parallel Computing: Numerics, Applications, and Trends, pp 147-173, Springer-Verlag, London, 2009. (DOI).
- Variation theory applied to students' conceptions of computer programming. In European Journal of Engineering Education, volume 34, pp 339-347, 2009. (DOI).
- Reconsidering algorithms for iterative solvers in the multicore era. In International Journal of Computational Science and Engineering, volume 4, pp 270-282, 2009. (DOI).
- A meta-model describing the development process of mobile learning. In Advances in Web Based Learning – ICWL 2009, volume 5686 of Lecture Notes in Computer Science, pp 454-463, Springer-Verlag, Berlin, 2009. (DOI).
- Current practice in mobile learning: A survey of research method and purpose. In Proc. 8th World Conference on Mobile and Contextual Learning, pp 103-111, University of Central Florida, Orlando, FL, 2009.
- Sharing experience from three initiatives in mobile learning: Lessons learned. In Proc. 17th International Conference on Computers in Education, pp 613-617, Asia-Pacific Society for Computers in Education, Jhongli City, Taiwan, 2009.
- Thinking ahead in mobile learning projects: A survey on risk assessment. In Proc. 8th International Conference on Perspectives in Business Informatics Research, pp 57-66, Kristianstad Academic Press, Sweden, 2009.
Computer Systems (Datorteknik)
- Approximated parameterized verification of infinite-state processes with global conditions. In Formal methods in system design, volume 34, number 2, pp 126-156, 2009. (DOI).
- Monotonic Abstraction: on Efficient Verification of Parameterized Systems. In International Journal of Foundations of Computer Science, volume 20, number 5, pp 779-801, 2009. (DOI).
- A uniform (bi-)simulation-based framework for reducing tree automata. In Electronical Notes in Theoretical Computer Science, volume 251, pp 27-48, 2009. (DOI).
- Composed bisimulation for tree automata. In International Journal of Foundations of Computer Science, volume 20, number 4, pp 685-700, 2009. (DOI).
- Universality of R-automata with value copying. In Electronical Notes in Theoretical Computer Science, volume 239, pp 131-141, 2009. (DOI).
- Learning computer science: Perceptions, actions and roles. In European Journal of Engineering Education, volume 34, pp 327-338, 2009. (DOI).
- Introducing an external mentor in an international open ended group project. In Proc. 39th ASEE/IEEE Frontiers in Education Conference, pp T2D-1-6, IEEE, Piscataway, NJ, 2009. (DOI).
- Students analyzing their collaboration in an international open ended group project. In Proc. 39th ASEE/IEEE Frontiers in Education Conference, pp M1D-1-6, IEEE, Piscataway, NJ, 2009. (DOI).
- A global software project: Developing a tablet PC capture platform for explanograms. In Proc. 8th International Conference on Computing Education Research: Koli Calling, volume 2009-004 of Technical report / Department of Information Technology, Uppsala University, pp 41-50, 2009. (Proceedings).
- Reflections on trustworthiness in phenomenographic research: Recognising purpose, context and change in the process of research. In Education as Change, volume 13, number 2, pp 339-355, 2009. (DOI, fulltext:postprint).
- Managing cross layer information in OMNeT++ simulations. 6th Swedish National Computer Networking Workshop (SNCNW'09), Uppsala, May 4-5, 2009, 2009. (fulltext).
- Dynamic structural symmetry breaking for constraint satisfaction problems. In Constraints, volume 14, number 4, pp 506-538, 2009. (DOI).
- Solving necklace constraint problems. In Journal of Algorithms, volume 64, number 2-3, pp 61-73, 2009. (DOI).
- Static and dynamic structural symmetry breaking. In Annals of Mathematics and Artificial Intelligence, volume 57, number 1, pp 37-57, 2009. (DOI).
- Cache-aware scheduling and analysis for multicores. In Proc. 9th ACM International Conference on Embedded Software, pp 245-254, ACM Press, New York, 2009. (DOI).
- Improving scalability of model-checking for minimizing buffer requirements of synchronous dataflow graphs. In Proc. 14th Asia and South Pacific Design Automation Conference, pp 715-720, IEEE, Piscataway, NJ, 2009. (DOI).
- New Response Time Bounds for Fixed Priority Multiprocessor Scheduling. In Proc. Real-Time Systems Symposium: RTSS 2009, pp 387-397, IEEE, Piscataway, NJ, 2009. (DOI).
- Dynamic demand-capacity balancing for air traffic management using constraint-based local search: First results. In Proc. 6th International Workshop on Local Search Techniques in Constraint Satisfaction, volume 5 of Electronic Proceedings in Theoretical Computer Science, pp 27-40, 2009. (DOI).
- Toward an <em>automaton</em> constraint for local search. In Proc. 6th International Workshop on Local Search Techniques in Constraint Satisfaction, volume 5 of Electronic Proceedings in Theoretical Computer Science, pp 13-25, 2009. (DOI).
- CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. In Proc. 14th International Conference on Engineering of Complex Computer Systems, pp 154-161, IEEE, Piscataway, NJ, 2009. (DOI).
- Evolution of an international collaborative student project. In Australian Computer Science Communications, volume 31, number 5, pp 111-118, 2009. (External link).
- WCET Analysis of the ?C/OS-II Real-Time Kernel. In Proc. 12th International Conference on Computational Science and Engineering: Vol. 2, pp 270-276, IEEE, Piscataway, NJ, 2009. (DOI).
- Helping students debug concurrent programs. In Koli Calling: Proc. 8th International Conference on Computing Education Research, volume 2009-004 of Technical report / Department of Information Technology, Uppsala University, pp 76-79, 2009. (Proceedings).
- How students develop concurrent programs. In Australian Computer Science Communications, volume 31, number 5, pp 129-138, 2009. (External link).
- Constrained optimisation over massive databases. In Proc. 16th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, volume 589 of CEUR Workshop Proceedings, p 16, Italian Association for Artificial Intelligence, 2009. (Proceedings).
- Protecting Receiver Privacy in Routing for Wireless Sensor Networks. In Mobile and Wireless Network Security: MWNS 2009, pp 63-74, Shaker Verlag, Aachen, Germany, 2009.
- An adaptive delay-minimized route design for wireless sensor–actuator networks. In IEEE Transactions on Vehicular Technology, volume 58, number 9, pp 5083-5094, 2009. (DOI).
- Information-Aware Traffic Reduction for Wireless Sensor Networks. In Proc. 34th Conference on Local Computer Networks, pp 451-458, IEEE, Piscataway, NJ, 2009. (DOI).
- On Providing Location Privacy for Mobile Sinks in Wireless Sensor Networks. In Proc. 12th ACM International Conference on Modeling, Analysis, and Simulation of Wireless and Mobile Systems, pp 116-123, ACM Press, New York, 2009. (DOI).
- On Providing Sink Anonymity for Sensor Networks. In Proc. 5th International Wireless Communications and Mobile Computing Conference, pp 269-273, ACM Press, New York, 2009. (DOI).
- Search-Based Picture Sharing With Mobile Phones: Demo. In ACM MobiHoc, New Orleans, 2009.
- Using Search to Enhance Picture Sharing with Mobile Phones: Demo. In ACM MobiSys, ACM, Krakow, 2009.
- Proc. 8th International Conference on Computing Education Research: Koli Calling. Volume 2009-004 of Technical report / Department of Information Technology, Uppsala University, 2009. (External link).
- Values and Objectives in Computing Education Research. In ACM Transactions on Computing Education, volume 9, number 3, pp 15:1-6, 2009. (DOI, fulltext:postprint).
- Sensei-UU: a flexible testbed for heterogeneous wireless sensor networks. In Testbeds and Research Infrastructures for the Development of Networks Communities and Workshops, 2009. TridentCom 2009. 5th International Conference on, pp 1-2, 2009. (DOI).
- A study of the message complexity for integrity preserving aggregation schemes used in wireless sensor networks. 6th Swedish National Computer Networking Workshop, Uppsala, Sweden, 2009.
- Reconsidering algorithms for iterative solvers in the multicore era. In International Journal of Computational Science and Engineering, volume 4, pp 270-282, 2009. (DOI).
- Bridges and problem solving: Swedish engineering students' conceptions of engineering in 2007. In Proc. 1st International Conference on Computer Supported Education: Volume 2, pp 5-12, Institute for Systems and Technologies of Information, Control and Communication, 2009.
- Modeling and analysis of thread-pools in an industrial communication platform. In Formal Methods and Software Engineering, volume 5885 of Lecture Notes in Computer Science, pp 367-386, Springer-Verlag, Berlin, 2009. (DOI).
- Revisiting constraint-directed search. In Information and Computation, volume 207, number 3, pp 438-457, 2009. (DOI).
Computing Science (Datalogi)
- Formalising the ?-calculus using nominal logic. In Logical Methods in Computer Science, volume 5, number 2, pp 16:1-36, 2009. (DOI, fulltext).
- Psi-calculi: Mobile processes, nominal data, and logic. In Proc. 24th Annual IEEE Symposium on Logic in Computer Science, pp 39-48, IEEE, Piscataway, NJ, 2009. (DOI).
- Psi-calculi in Isabelle. In Theorem Proving in Higher Order Logics, volume 5674 of Lecture Notes in Computer Science, pp 99-114, Springer-Verlag, Berlin, 2009. (DOI).
- Dynamic structural symmetry breaking for constraint satisfaction problems. In Constraints, volume 14, number 4, pp 506-538, 2009. (DOI).
- Solving necklace constraint problems. In Journal of Algorithms, volume 64, number 2-3, pp 61-73, 2009. (DOI).
- Static and dynamic structural symmetry breaking. In Annals of Mathematics and Artificial Intelligence, volume 57, number 1, pp 37-57, 2009. (DOI).
- Optimization and Execution of Complex Scientific Queries over Uncorrelated Experimental Data. In Scientific and Statistical Database Management, volume 5566 of Lecture Notes in Computer Science, pp 320-338, Springer-Verlag, Berlin, 2009. (DOI, fulltext).
- Mining long, sharable patterns in trajectories of moving objects. In Geoinformatica, volume 13, number 1, pp 27-55, 2009. (DOI).
- Dynamic demand-capacity balancing for air traffic management using constraint-based local search: First results. In Proc. 6th International Workshop on Local Search Techniques in Constraint Satisfaction, volume 5 of Electronic Proceedings in Theoretical Computer Science, pp 27-40, 2009. (DOI).
- Toward an <em>automaton</em> constraint for local search. In Proc. 6th International Workshop on Local Search Techniques in Constraint Satisfaction, volume 5 of Electronic Proceedings in Theoretical Computer Science, pp 13-25, 2009. (DOI).
- Relaying Controller Area Network Frames over Wireless Internetworks for Automotive Testing Applications. In Proc. 4th International Conference on Systems and Networks Communications, pp 1-5, IEEE, Piscataway, NJ, 2009. (DOI).
- Constrained optimisation over massive databases. In Proc. 16th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, volume 589 of CEUR Workshop Proceedings, p 16, Italian Association for Artificial Intelligence, 2009. (Proceedings).
- Adaptive Parallelization of Queries over Dependent Web Service Calls. In Proc. 25th International Conference on Data Engineering, pp 1725-1732, IEEE, Piscataway, NJ, 2009. (DOI).
- Web Service Query Service. In Proc. 11th International Conference on Information Integration and Web-based Applications and Services: iiWAS2009, volume 260 of books@ocg.at, pp 692-697, ACM Press, New York, 2009.
- Automatic refactoring of Erlang programs. In Proc. 11th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, pp 13-23, ACM Press, New York, 2009. (DOI).
- Revisiting constraint-directed search. In Information and Computation, volume 207, number 3, pp 438-457, 2009. (DOI).
Human-Computer Interaction (Människa-datorinteraktion)
- Introducing an external mentor in an international open ended group project. In Proc. 39th ASEE/IEEE Frontiers in Education Conference, pp T2D-1-6, IEEE, Piscataway, NJ, 2009. (DOI).
- Students analyzing their collaboration in an international open ended group project. In Proc. 39th ASEE/IEEE Frontiers in Education Conference, pp M1D-1-6, IEEE, Piscataway, NJ, 2009. (DOI).
- The social embedding of management control in knowledge-intensive firms. In Journal of Human Resource Costing & Accounting, volume 13, number 1, pp 9-28, 2009. (DOI).
- Hello World!: Experiencing usability methods without usability expertise. In Human-Computer Interaction – INTERACT 2009: Part II, volume 5727 of Lecture Notes in Computer Science, pp 550-565, Springer Berlin/Heidelberg, 2009. (DOI).
- Human-Computer Interaction – INTERACT 2009: Part I. Volume 5726 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 2009.
- Human-Computer Interaction – INTERACT 2009: Part II. Volume 5727 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 2009.
- User-Centred Systems Design as Organizational Change: A Longitudinal Action Research Project to Improve Usability and the Computerized Work Environment in a Public Authority. In International Journal of Technology and Human Interaction, volume 5, number 3, pp 13-53, 2009. (DOI).
- Computer supported ethical decision making. In 23rd European Conference on Operational Research, pp 193-193, Bonn, 2009. (Book of abstracts).
- Ethical usability of IT systems: How to consider relevant factors and how to find solutions. In Proceedings of the Fifth Asia-Pacific Computing and Philosophy Conference, Tokyo University, Tokyo, 2009. (External link).
- Logos for ethics. In Pathos for ethics: Leadership, excellence and the quest for sustainable future, Proceedings of 22nd European Business Ethics Network Annual Conference, 10-12 September 2009, Athens, 22nd EBEN A.C., Athens, 2009.
- Methods and tools for ethical usability. In Human-Computer Interaction – INTERACT 2009, volume 5727 of Lecture Notes in Computer Science, pp 946-947, Springer-Verlag, Berlin, 2009. (DOI).
- Designing for Complex Innovations in Health Care: Design Theory and Realist Evaluation Combined. In Proc. 4th International Conference on Design Science Research in Information Systems and Technology, pp 3:1-11, ACM Press, New York, 2009. (DOI).
- Enhancing ethical competence in organizations: How to process moral knowledge. In European Business Ethics Network Research Conference 2009, pp 60-61, Ben-Gurion University of the Negev, Beer-Sheva, Israel, 2009.
- Modelling complex ethical decision problems with operations research. In Omega: The International Journal of Management Science, volume 37, number 6, pp 1100-1108, 2009. (DOI).
- Computerized support for ethical analysis. In Computer ethics: Philosophical Enquiry, pp 425-437, Ionian University, Corfu, Greece, 2009.
- Evolution of an international collaborative student project. In Australian Computer Science Communications, volume 31, number 5, pp 111-118, 2009. (External link).
- Why good practice of OR is not enough: Ethical challenges for the OR practitioner. In Omega: The International Journal of Management Science, volume 37, number 6, pp 1089-1099, 2009. (DOI).
- User certification of workplace software: Assessing both artefact and usage. In Behavior and Information Technology, volume 28, number 2, pp 101-120, 2009. (DOI).