Publications 2014
- Distance Functions and Their Use in Adaptive Mathematical Morphology. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1137, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext, preview image).
- Optimal dynamic partial order reduction. In Proc. 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, volume 49:1 of ACM SIGPLAN NOTICES, pp 373-384, ACM Press, New York, 2014. (DOI).
- Block me if you can!: Context-sensitive parameterized verification. In Static Analysis: SAS 2014, volume 8723 of Lecture Notes in Computer Science, pp 1-17, Springer, 2014. (DOI, fulltext:postprint).
- Budget-bounded model-checking pushdown systems. In Formal methods in system design, volume 45, number 2, pp 273-301, 2014. (DOI).
- Computing optimal reachability costs in priced dense-timed pushdown automata. In Language and Automata Theory and Applications: LATA 2014, volume 8370 of Lecture Notes in Computer Science, pp 62-75, Springer Berlin/Heidelberg, 2014. (DOI).
- Infinite-state energy games. In Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014, ACM Press, New York, 2014. (DOI).
- Mediating for reduction (on minimizing alternating Buchi automata). In Theoretical Computer Science, volume 552, pp 26-43, 2014. (DOI).
- Stochastic Parity Games on Lossy Channel Systems. In Logical Methods in Computer Science, volume 10, number 4, 2014. (DOI, fulltext:print).
- String Constraints for Verification. In Computer Aided Verification - 26th International Conference, {CAV} 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna, Austria, July 18-22, 2014. Proceedings, pp 150-166, Springer, 2014. (DOI).
- Verification of Dynamic Register Automata. In Leibniz International Proceedings in Informatics: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2014), 2014. (fulltext:postprint).
- Zenoness for Timed Pushdown Automata. In Proceedings 15th International Workshop on Verification of Infinite-State Systems, {INFINITY} 2013, Hanoi, Vietnam, 14th October 2013., pp -47, 2014. (DOI).
- Low-Power Listening Goes Multi-Channel. In 2014 IEEE INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING IN SENSOR SYSTEMS (IEEE DCOSS 2014), IEEE International Conference on Distributed Computing in Sensor Systems, pp 2-9, 2014. (DOI).
- Impact of cultural and language background on learning Computer Science concepts. In Proc. 2nd International Conference on Learning and Teaching in Computing and Engineering, International Conference on Teaching and Learning in Computing and Engineering, pp 37-40, IEEE Computer Society, Los Alamitos, CA, 2014. (DOI).
- Computational predictions of glass-forming ability and crystallization tendency of drug molecules. In Molecular Pharmaceutics, volume 11, number 9, pp 3123-3132, 2014. (DOI).
- Atmospheric sound propagation over large-scale irregular terrain. In Journal of Scientific Computing, volume 61, pp 369-397, 2014. (DOI).
- High-fidelity numerical solution of the time-dependent Dirac equation. In Journal of Computational Physics, volume 262, pp 86-103, 2014. (DOI).
- Comparing a knowledge-based and a data-driven method in querying data streams for system fault detection: A hydraulic drive system application. In Computers in industry (Print), volume 65, number 8, pp 1126-1135, 2014. (DOI).
- Experimental and Computational Prediction of Glass Transition Temperature of Drugs. In JOURNAL OF CHEMICAL INFORMATION AND MODELING, volume 54, number 12, pp 3396-3403, 2014. (DOI).
- Recognizing complexity: Visualization for skilled professionals in complex work situations. In Building Bridges: HCI, Visualization, and Non-formal Modeling, volume 8345 of Lecture Notes in Computer Science, pp 47-66, Springer Berlin/Heidelberg, Heidelberg, 2014. (DOI).
- Ämnesdidaktisk forskning: Ett stöd för utbildningsexcellens. In I stort och smått – med studenten i fokus, volume 1 of Rapportserie från Enheten för kvalitetsutveckling och universitetspedagogik, pp 241-249, Uppsala universitet, 2014.
- Scientific data as RDF with arrays: Tight integration of SciSPARQL queries into MATLAB. In Proc. ISWC 2014 Posters & Demonstrations Track, volume 1272 of CEUR Workshop Proceedings, pp 221-224, RWTH Aachen University, 2014. (Fulltext).
- The Gradual Verifier. In NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings, volume 8430 of Lecture Notes in Computer Science, pp 313-327, Switzerland, 2014. (DOI, fulltext:postprint).
- Programming and automating mathematics in the Tarski-Kleene hierarchy. In Journal of Logical and Algebraic Methods in Programming, volume 83, number 2, pp 87-102, 2014. (DOI).
- ?????????????????? (The range of gender perspective in computer ethics research). In ??????? (The Japan Society of Management Information (JASMIN) Journal), volume 23, number 2, pp 158-161, The Japan Society for Management Information, Tokyo, 2014. (External link).
- Responsibility and Competence in Political Ethics. In Proceedings International Political Science Association, 23rd World Congress of Political Science, 2014: Challenges of contemporay governance, Montreal, 2014. (External link, Responsibility and Competence in Political Ethics).
- Activity profiles in online social media. In Proc. 6th International Conference on Advances in Social Networks Analysis and Mining, pp 850-855, IEEE Computer Society, 2014. (DOI).
- Adjacent Ordered Multi-Pushdown Systems. In International Journal of Foundations of Computer Science, volume 25, number 8, pp 1083-1096, 2014. (DOI).
- Context-Bounded Analysis of TSO Systems. In From Programs to Systems: The Systems perspective in Computing, volume 8415 of Lecture Notes in Computer Science, pp 21-38, Springer, 2014. (DOI).
- On Bounded Reachability Analysis of Shared Memory Systems. In {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014, New Delhi, India, 2014.
- Cognitive Radar Waveform Design for Spectral Coexistence in Signal-Dependent Interference. In , 2014.
- A comparison of iterative methods to solve complex valued linear algebraic systems. In Numerical Algorithms, volume 66, pp 811-841, 2014. (DOI).
- Building timing predictable embedded systems. In ACM Transactions on Embedded Computing Systems, volume 13, number 4, pp 82:1-37, 2014. (DOI).
- Document binarization using topological clustering guided Laplacian Energy Segmentation. In Proceedings International Conference on Frontiers in Handwriting Recognition (ICFHR), 2014, volume 14 of Frontiers in Handwriting Recognition, pp 523-528, 2014. (DOI, fulltext:preprint).
- Automated Tissue Image Analysis Using Pattern Recognition. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1175, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext, preview image).
- Image segmentation and identification of paired antibodies in breast tissue. In Computational & Mathematical Methods in Medicine, pp 647273:1-11, 2014. (DOI, Fulltext, fulltext:print).
- Connection between SPICE and Square-Root LASSO for sparse parameter estimation. In Signal Processing, volume 95, pp 10-14, 2014. (DOI).
- Distributed multi-query optimization of continuous clustering queries. In Proc. VLDB 2014 PhD Workshop, 2014. (fulltext:print).
- An evaluation of potential functions for regularized image deblurring. In Image Analysis and Recognition: Part I, volume 8814 of Lecture Notes in Computer Science, pp 150-158, Springer Berlin/Heidelberg, 2014. (DOI).
- Model-based protocol log generation for testing a telecommunication test harness using CLP. In Proc. 17th Conference on Design, Automation and Test in Europe, IEEE, Piscataway, NJ, 2014. (DOI).
- Model-based protocol log generation for testing a telecommunication test harness using CLP. In 2014 DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION (DATE), Design Automation and Test in Europe Conference and Expo, 2014.
- Linking prefixes and suffixes for constraints encoded using automata with accumulators. In Principles and Practice of Constraint Programming: CP 2014, volume 8656 of Lecture Notes in Computer Science, pp 142-157, Springer, 2014. (DOI).
- Propagating regular counting constraints. In Proc. 28th AAAI Conference on Artificial Intelligence: Volume 4, pp 2616-2622, AAAI Press, Palo Alto, CA, 2014. (External link).
- Toward sustainable development in constraint programming. In Constraints, volume 19, number 2, pp 139-149, 2014. (DOI).
- Quantitative and automated microscopy: Where do we stand after 80 years of research?. In Proc. 11th International Symposium on Biomedical Imaging, pp 274-277, IEEE Press, Piscataway, NJ, 2014. (DOI).
- Screening for Cervical Cancer Using Automated Analysis of PAP-Smears. In Computational & Mathematical Methods in Medicine, volume 2014, pp 842037:1-12, Hindawi Publishing Corporation, 2014. (DOI, fulltext:print).
- Duality based boundary conditions and dual consistent finite difference discretizations of the Navier–Stokes and Euler equations. In Journal of Computational Physics, volume 259, pp 135-153, 2014. (DOI).
- A glimpse into the cultural situatedness of computer science: Some insights from a pilot study. In Proc. 2nd International Conference on Learning and Teaching in Computing and Engineering, International Conference on Teaching and Learning in Computing and Engineering, pp 92-99, IEEE Computer Society, Los Alamitos, CA, 2014. (DOI, fulltext:postprint).
- Discipline-based staff development courses to promote a sustainable SOTL environment: An example from science and engineering at Uppsala University. In Proc. ICED 2014: Educational development in a changing world, pp 392-392, International Consortium for Educational Development, London, UK, 2014.
- Learning to develop learning and teaching of CS: a collaborative example. In Proc. 2nd International Conference on Learning and Teaching in Computing and Engineering, International Conference on Teaching and Learning in Computing and Engineering, pp 147-148, IEEE Computer Society, Los Alamitos, CA, 2014. (DOI, fulltext:preprint).
- Pedagogical development in engineering: A collaborative project between Saudi Arabia and Sweden. In Proc. World Engineering Education Forum, pp 967-968, 2014.
- The Development of Cooperation Between Al Baha University and Uppsala University, Sweden. In International Exhibition and Conference on Higher Education, Riyadh, Saudi Arabia, 2014.
- Opportunistic Networking: Congestion, Transfer Ordering and Resilience. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1148, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext, preview image).
- Resilience and Opportunistic Forwarding: Beyond Average Value Analysis. In Computer Communications, volume 48, number SI, pp 111-120, 2014. (DOI).
- Magnitude-constrained sequence design with application in MRI. In Proc. 39th IEEE International Conference on Acoustics, Speech, and Signal Processing, International Conference on Acoustics Speech and Signal Processing, pp 4943-4947, IEEE, Piscataway, NJ, 2014. (DOI).
- New approach to phase correction in multi-echo T<sub>2</sub> relaxometry. In Journal of magnetic resonance, volume 249, pp 100-107, 2014. (DOI).
- Parameter estimation approach to banding artifact reduction in balanced steady-state free precession. In Magnetic Resonance in Medicine, volume 72, number 3, pp 880-892, 2014. (DOI).
- Wave simulation in 2D heterogeneous transversely isotropic porous media with fractional attenuation: A Cartesian grid approach. In Journal of Computational Physics, volume 275, pp 118-142, 2014. (DOI).
- Temporal logics for concurrent recursive programs: Satisfiability and model checking. In Journal of Applied Logic, volume 12, number 4, pp 395-416, 2014. (DOI).
- A Sorted Semantic Framework for Applied Process Calculi (extended abstract). In Trustworthy Global Computing: TGC 2013, volume 8358 of Lecture Notes in Computer Science, pp 103-118, Springer Berlin/Heidelberg, 2014. (DOI).
- Proc. Combined 21st International Workshop on Expressiveness in Concurrency (EXPRESS 2014) and 11th Workshop on Structural Operational Semantics (SOS 2014). Volume 160 of Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2014. (DOI).
- Efficient numerical solution of discrete multi-component Cahn–Hilliard systems. In Computers and Mathematics with Applications, volume 67, pp 106-121, 2014. (DOI).
- Improved DCVD assessments of irradiated nuclear fuel using image analysis techniques. In , 2014.
- Towards unattended partial-defect verification of irradiated nuclear fuel assemblies using the DCVD. In , 2014. (Fulltext).
- Critical thinking, peer-writing, and the importance of feedback. In Proc. 44th ASEE/IEEE Frontiers in Education Conference, pp 1501-1507, IEEE Press, Piscataway, NJ, 2014. (DOI).
- Ekonomiadministratörernas IT-relaterade arbetsmiljö vid Uppsala universitet: En kortfattad rapport från KiA-projektet. Technical report / Department of Information Technology, Uppsala University nr 2014-003, 2014. (fulltext).
- On the establishment of user-centred perspectives. In Proc. 8th Nordic Conference on Human-Computer Interaction: Fun, Fast, Foundational, pp 103-112, ACM Press, New York, 2014. (DOI).
- Picro-Sirius-HTX Stain for Blind Color Decomposition of Histopathological Prostate Tissue. In Proc, IEEE 11th International Symposium on Biomedical Imaging (ISBI) 2014, pp 282-285, 2014.
- Analysis of simple bioreactor models: A comparison between Monod and Contois kinetics. In Proc. IWA Conference on Activated Sludge – 100 Years and Counting, IWA Publishing, 2014.
- Fault detection and isolation of sensors in aeration control systems. In Proc. IWA World Water Congress: 2014, IWA Publishing, 2014.
- Protocol log analysis with constraint programming: Work in progress. In Satisfiability Modulo Theories: SMT 2014, volume 1163 of CEUR Workshop Proceedings, pp 17-26, RWTH Aachen University, 2014. (Fulltext).
- Enhanced learning by promoting engineering competencies. In Proc. 44th ASEE/IEEE Frontiers in Education Conference, pp 2044-2049, IEEE Press, Piscataway, NJ, 2014. (DOI, Proceedings).
- Learning Extended Finite State Machines. In Software Engineering and Formal Methods. 12th International Conference, SEFM 2014, volume 8702 of Lecture Notes in Computer Science, pp 250-264, Springer International Publishing, 2014. (DOI, External link).
- Managing power constraints in a single-core scenario through power tokens. In Journal of Supercomputing, volume 68, number 1, pp 414-442, 2014. (DOI).
- A longitudinal study of gait function and characteristics of gait disturbances in individuals with Alzheimer's disease. In Gait & Posture, volume 39, number 4, pp 1022-1027, 2014. (DOI, Fulltext, fulltext:print).
- An algebraic theory of interface automata. In Theoretical Computer Science, volume 549, pp 146-174, 2014. (DOI).
- Compositional assume–guarantee reasoning for input/output component theories. In Science of Computer Programming, volume 91, pp 115-137, 2014. (DOI).
- Application of machine learning methods for fault detection in wastewater treatment plants. In Reglermöte, 2014.
- Periodical solutions in a pulse-modulated model of endocrine regulation with time-delay. In IEEE Transactions on Automatic Control, volume 59, number 3, pp 728-733, 2014. (DOI).
- An impulse-to-impulse discrete-time mapping for a time-delay impulsive system. In Automatica, volume 50, number 8, pp 2187-2190, 2014. (DOI).
- Efficient algorithm for finding the exact minimum barrier distance. In Computer Vision and Image Understanding, volume 123, pp 53-64, 2014. (DOI).
- Software-controlled processor stalls for time and energy efficient data locality optimization. In Proc. International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), pp 199-206, IEEE, Piscataway, NJ, 2014. (DOI, fulltext:postprint).
- Ethics, parliaments and members: learning to think ethically. In Challenges of contemporay governance, The International Political Science Association, Montreal, 2014. (External link).
- Parliamentary integrity systems: Parliamentarians’ ethical conduct, accountability and transparency. In , The University of Hull, UK, 2014. (External link).
- Low Voltage Mini TEM. In Proceedings, 2014.
- Accuracy of the Finite Element Method in Deep Brain Stimulation Modelling. In Proc. International Conference on Control Applications: CCA 2014, pp 1479-1484, IEEE, Piscataway, NJ, 2014. (DOI).
- Stimulation field coverage and target structure selectivity in field steering brain stimulation. In , 2014.
- Target coverage and selectivity in field steering brain stimulation. In Proc. 36th International Conference of the IEEE Engineering in Medicine and Biology Society, pp 522-525, IEEE, Piscataway, NJ, 2014. (DOI).
- A new set distance and its application to shape registration. In Pattern Analysis and Applications, volume 17, number 1, pp 141-152, 2014. (DOI).
- Adaptive Mathematical Morphology: a survey of the field. In Pattern Recognition Letters, volume 47, pp 18-28, 2014. (DOI).
- Controllers for the Verification of Communicating Multi-Pushdown Systems. In , Lecture Notes in Computer Science, pp 297-311, 2014.
- Reasoning about distributed systems: WYSIWYG. In , Leibniz International Proceedings in Informatics, 2014.
- Verifying Communicating Multi-pushdown Systems via Split-Width. In Automated Technology for Verification and Analysis, volume 8837 of Lecture Notes in Computer Science, pp 1-17, 2014. (DOI).
- On some sparsity related problems and the randomized Kaczmarz algorithm. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2014-003, Uppsala University, 2014. (fulltext).
- On the randomized Kaczmarz algorithm. In IEEE Signal Processing Letters, volume 21, number 3, pp 330-333, 2014. (DOI).
- Sparse estimation from noisy observations of an overdetermined linear system. In Automatica, volume 50, number 11, pp 2845-2851, 2014. (DOI).
- The Effects of Granularity and Adaptivity on Private/Shared Classification for Coherence. In , 2014.
- CPU and GPU performance of large scale numerical simulations in Geophysics. In Euro-Par 2014: Parallel Processing Workshops, Part I, volume 8805 of Lecture Notes in Computer Science, pp 12-23, Springer, 2014. (DOI).
- Parallel performance study of block-preconditioned iterative methods on multicore computer systems. Technical report / Department of Information Technology, Uppsala University nr 2014-007, 2014. (fulltext).
- An Emulation-based Method for Lifetime Estimation of Wireless Sensor Networks. In , pp 241-248, 2014. (DOI).
- Boundary waves and stability of the perfectly matched layer for the two space dimensional elastic wave equation in second order form. In SIAM Journal on Numerical Analysis, volume 52, pp 2883-2904, 2014. (DOI).
- Efficient and stable perfectly matched layer for CEM. In Applied Numerical Mathematics, volume 76, pp 34-47, 2014. (DOI).
- Numerical interaction of boundary waves with perfectly matched layers in two space dimensional elastic waveguides. In Wave motion, volume 51, pp 445-465, 2014. (DOI).
- Stable and high order accurate difference methods for the elastic wave equation in discontinuous media. In Journal of Computational Physics, volume 279, pp 37-62, 2014. (DOI).
- Stable and high-order accurate boundary treatments for the elastic wave equation on second-order form. In SIAM Journal on Scientific Computing, volume 36, pp A2787-A2818, 2014. (DOI).
- Teaching and learning with MOOCs: Computing academics' perspectives and engagement. In Proc. 19th Conference on Innovation and Technology in Computer Science Education, pp 9-14, ACM Press, New York, 2014. (DOI).
- Bounding and shaping the demand of generalized mixed-criticality sporadic task systems. In Real-time systems, volume 50, number 1, pp 48-86, 2014. (DOI, fulltext:postprint).
- A software based profiling method for obtaining speedup stacks on commodity multi-cores. In 2014 IEEE INTERNATIONAL SYMPOSIUM ON PERFORMANCE ANALYSIS OF SYSTEMS AND SOFTWARE (ISPASS): ISPASS 2014, IEEE International Symposium on Performance Analysis of Systems and Software-ISPASS, pp 148-157, IEEE Computer Society, 2014. (DOI).
- Uncertainty quantification for approximate p-quantiles for physical models with stochastic inputs. In SIAM/ASA Journal on Uncertainty Quantification, volume 2, pp 826-850, 2014. (DOI).
- A Case for Node-Local Runtime Parameter Adaptation in Wireless Sensor Networks. In Proc. 10th Swedish National Computer Networking Workshop, 2014.
- Approximations for the moments of nonstationary and state dependent birth–death queues. In Computing Research Repository, number 1406.6164, 2014. (DOI, External link).
- On the stability of stochastic jump kinetics. In Applied Mathematics, volume 5, pp 3217-3239, 2014. (DOI).
- X-ray laser imaging of biomolecules using multiple GPUs. In Parallel Processing and Applied Mathematics: Part I, volume 8384 of Lecture Notes in Computer Science, pp 480-489, Springer-Verlag, Berlin, 2014. (DOI).
- What's in your mind?: Collegial Verbalisation – An ecological approach to knowledge elicitation. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1147, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext, preview image).
- How do the dynamics of battery discharge affect sensor lifetime?. In 2014 11th Annual Conference on Wireless On-demand Network Systems and Services (WONS), pp 49-56, IEEE, Piscataway, NJ, 2014. (DOI).
- Automating regression verification. In ASE '14 Proceedings of the 29th ACM/IEEE international conference on Automated software engineering, pp 349-360, ACM Press, New York, 2014. (DOI).
- Propagators and violation functions for geometric and workload constraints arising in airspace sectorisation. Computing Research Repository nr 1401.7463, 2014. (External link).
- Dynamic budgeting for settling DRAM contention of co-running hard and soft real-time tasks. In Proc. 9th International Symposium on Industrial Embedded Systems, pp 151-159, IEEE, Piscataway, NJ, 2014. (DOI).
- Spectral analysis and spectral symbol of <em>d</em>-variate Q<sub><em>p</em></sub> Lagrangian FEM stiffness matrices. Technical report / Department of Information Technology, Uppsala University nr 2014-021, 2014. (fulltext).
- Tools for determining the asymptotic spectral distribution of Hermitian matrix-sequences and applications. Technical report / Department of Information Technology, Uppsala University nr 2014-022, 2014. (fulltext).
- Static safety guarantees for a low-level multithreaded language with regions. In Science of Computer Programming, volume 80, number Part B, pp 223-263, 2014. (DOI).
- Canine body composition quantification using 3 tesla fat–water MRI. In Journal of Magnetic Resonance Imaging, volume 39, number 2, pp 485-491, 2014. (DOI).
- Pixel Classification Using General Adaptive Neighborhood-Based Features. In Proceedings 22nd International Conference on Pattern Recognition (ICPR) 2014, International Conference on Pattern Recognition, pp 3750-3755, 2014. (DOI).
- Control challenges in mobile telecommunications. In The Impact of Control Technology, IEEE Control Systems Society, 2014. (Book).
- Tabular: a schema-driven probabilistic programming language. In Proc. 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, volume 49:1 of ACM SIGPLAN NOTICES, pp 321-334, ACM Press, New York, 2014. (DOI, fulltext:print).
- Adaptive Solvers for High-Dimensional PDE Problems on Clusters of Multicore Processors. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1199, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext, preview image).
- Data structures and algorithms for high-dimensional structured adaptive mesh refinement. Technical report / Department of Information Technology, Uppsala University nr 2014-019, 2014. (fulltext).
- Parallel data structures and algorithms for high-dimensional structured adaptive mesh refinement. Technical report / Department of Information Technology, Uppsala University nr 2014-020, 2014. (fulltext).
- Partitioned mixed-criticality scheduling on multiprocessor platforms. In Proc. 17th Conference on Design, Automation and Test in Europe, IEEE, Piscataway, NJ, 2014. (DOI).
- General and Efficient Response Time Analysis for EDF Scheduling. In Proc. 17th Conference on Design, Automation and Test in Europe, IEEE, Piscataway, NJ, 2014. (DOI).
- WCET Analysis with MRU Cache: Challenging LRU for Predictability. In ACM Transactions on Embedded Computing Systems, volume 13, number 4s, 2014. (DOI).
- Advancing concurrent system verification: Type based approach and tools. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2014-007, Uppsala University, 2014. (fulltext).
- The concept of mobility in single- and double handed manipulation. In Journal of Biomechanics, volume 47, number 14, pp 3569-3573, 2014. (DOI).
- Automatic Characterization of the Physiological Condition of the Carotid Artery in 2D Ultrasound Image Sequences Using Spatiotemporal and Spatiospectral 2D Maps.. In International Journal of Biomedical Imaging, volume 2014, 2014. (DOI, Fulltext, fulltext:print).
- Channel estimation using data embedded pilot in underwater acoustic communication. In OCEANS 2014: Taipei, IEEE Press, Piscataway, NJ, 2014. (DOI).
- A Chebyshev pseudospectral method to solve the space–time tempered fractional diffusion equation. In SIAM Journal on Scientific Computing, volume 36, pp A1797-A1812, 2014. (DOI).
- A cut finite element method for a Stokes interface problem. In Applied Numerical Mathematics, volume 85, pp 90-114, 2014. (DOI).
- A constraint programming approach for managing end-to-end requirements in sensor network macroprogramming. In Proc. 3rd International Conference on Sensor Networks, pp 28-40, SciTePress, Setúbal, Portugal, 2014. (DOI).
- Energy-efficient sensor selection for data quality and load balancing in wireless sensor networks. In Proc. 22nd International Symposium on Quality of Service, pp 338-343, IEEE Communications Society, 2014. (DOI).
- How to Promote Student Creativity and Learning using Tutorials in Teaching Graphics and Visualisation. In Proc. 16th International Conference on Geometry and Graphics, pp 626-633, Innsbruck University Press, 2014.
- How to promote student creativity and learning using tutorials in teaching graphics and visualisation. In Journal for Geometry and Graphics, volume 18, number 2, pp 237-245, 2014.
- Improved illumination correction that preserves medium sized objects. In Machine Graphics & Vision, volume 23, number 1/2, pp 3-20, 2014. (fulltext:postprint).
- Invariant Interest Point Detection Based on Variations of the Spinor Tensor. In WSCG, Communication papers proceedings , ISBN 978-80-86943-71-8, pp 49-56, 2014.
- Robust and Invariant Phase Based Local Feature Matching. In 22nd International Conference on Pattern Recognition (ICPR), 2014, International Conference on Pattern Recognition, pp 809-814, 2014. (DOI).
- Simple filter design for first and second order derivatives by a double filtering approach. In Pattern Recognition Letters, volume 42, pp 65-71, Elsevier, 2014. (DOI).
- Towards Automatic Stereo Pair Extraction for 3D Visualisation of Historical Aerial Photographs. In IC3D, the International Conference on 3D Imaging, pp 1-8, 2014.
- Local error estimates for adaptive simulation of the reaction–diffusion master equation via operator splitting. In Journal of Computational Physics, volume 266, pp 89-100, 2014. (DOI).
- A localized orthogonal decomposition method for semi-linear elliptic problems. In Mathematical Modelling and Numerical Analysis, volume 48, pp 1331-1349, 2014. (DOI).
- All is not lost: Understanding and exploiting packet corruption in outdoor sensor networks. In Wireless Sensor Networks: EWSN 2014, volume 8354 of Lecture Notes in Computer Science, pp 116-132, Springer Berlin/Heidelberg, 2014. (DOI).
- Sensor Networks and Their Radio Environment: On Testbeds, Interference, and Broken Packets. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1171, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext, preview image).
- Supporting Heterogeneous LCD/Camera Links. In Proc. 13th International Symposium on Information Processing in Sensor Networks, pp 289-290, IEEE Press, Piscataway, NJ, 2014. (DOI).
- Accessing osteocyte lacunar geometrical properties in human jaw bone on the submicron length scale using synchrotron radiation mu CT. In Journal of Microscopy, volume 255, number 3, pp 158-168, 2014. (DOI).
- Alterations of Mass Density and 3D Osteocyte Lacunar Properties in Bisphosphonate- Related Osteonecrotic Human Jaw Bone, a Synchrotron mu CT Study. In PLOS ONE, volume 9, number 2, p e88481, 2014. (DOI, fulltext:print).
- Poster Abstract: An Experimental Study of Attacks on the Availability of Glossy. In Real-World Wireless Sensor Networks, volume 281 of Lecture Notes in Electrical Engineering, pp 103-107, 2014. (DOI).
- Identification of the elementary motion detector model in fly motion vision from intracellularly recorded neural data. In , 2014. (DOI, Fulltext). Publication status: Submitted
- On Identification of Biological Systems. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1117, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext, preview image).
- Spatial excitation properties of sinusoidal grating stimuli in the identification of a layer of motion detectors. In , 2014. Publication status: Submitted
- Horn Clauses for Communicating Timed Systems. In Proceedings First Workshop on Horn Clauses for Verification and Synthesis, volume 169 of Electronic Proceedings in Theoretical Computer Science, pp 39-52, 2014. (DOI, fulltext:postprint).
- Dynamic autotuning of adaptive fast multipole methods on hybrid multicore CPU and GPU systems. In SIAM Journal on Scientific Computing, volume 36, pp C376-C399, 2014. (DOI).
- Automatic and portable cloud deployment for scientific simulations. In Proc. 12th International Conference on High Performance Computing and Simulation, pp 374-381, IEEE, Piscataway, NJ, 2014. (DOI).
- The pavement as a waveguide: Modeling, system identification, and parameter estimation. In IEEE Transactions on Instrumentation and Measurement, volume 63, number 8, pp 2052-2063, 2014. (DOI).
- Sparsity-Aided Radar Waveform Synthesis. In , 2014. (fulltext:postprint).
- Mood-Fatigue Analyzer: Towards context-aware mobile sensing applications for safe driving. In Proc. 1st ACM Workshop on Middleware for Context-Aware Applications in the IoT, pp 19-24, ACM Press, New York, 2014. (DOI).
- Multidimensional context-aware social network architecture for mobile crowdsensing. In IEEE Communications Magazine, volume 52, number 6, pp 78-87, 2014. (DOI).
- SAfeDJ Community: Situation-aware in-car music delivery for safe driving. In Proc. 20th International Conference on Mobile Computing and Networking, pp 363-365, ACM Press, New York, 2014. (DOI).
- Asymmetric nu-tube support vector regression. In Computational Statistics & Data Analysis, volume 77, pp 371-382, 2014. (DOI).
- Delegation-based Authentication and Authorization for the IP-based Internet of Things. In , 2014.
- Composition schemes for the stochastic differential equation describing collisional pitch-angle diffusion. In Computer Physics Communications, volume 185, pp 590-594, 2014. (DOI).
- On the bimodality in an introductory programming course: an analysis of student performance factors. Technical report / Department of Information Technology, Uppsala University nr 2014-006, 2014. (fulltext).
- An Evaluation of the Faster STORM Method for Super-resolution Microscopy. In Proceedings of the 22nd International Conference on Pattern Recognition, International Conference on Pattern Recognition, pp 4435-4440, 2014. (DOI).
- Evaluation of User Adoption during Three Module Deployments of Region-wide Electronic Patient Record Systems. In International Journal of Medical Informatics, volume 83, number 6, pp 438-449, 2014. (DOI).
- Authority and level of automation: Lessons to be learned in design of in-vehicle assistance systems. In Human-Computer Interaction: Applications and Services, Part III, volume 8512 of Lecture Notes in Computer Science, pp 413-424, Springer Berlin/Heidelberg, 2014. (DOI).
- Utvärdering av förändringar i trafikledarnas beslutsfattande: Delrapport I: Den svenska ansatsen till kontrollstrategier i ett nutidshistoriskt och vetenskapligt internationellt perspektiv. KAJT-rapport, Uppsala, 2014.
- Mathematical modeling of the human smooth pursuit system. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2014-001, Uppsala University, 2014. (fulltext).
- Volterra modeling of the smooth pursuit system with application to motor symptoms characterization in Parkinson's disease. In 2014 European Control Conference (ECC), pp 1856-1861, IEEE, 2014. (DOI).
- Dynamic and speculative polyhedral parallelization using compiler-generated skeletons. In International journal of parallel programming, volume 42, number 4, pp 529-545, 2014. (DOI).
- Fix the code. Don't tweak the hardware: A new compiler approach to Voltage–Frequency scaling. In Proc. 12th International Symposium on Code Generation and Optimization, pp 262-272, ACM Press, New York, 2014. (URL, fulltext:postprint).
- Performance isolation for real-time systems with Xen hypervisor on multi-cores. In Proc. 20th International Conference on Embedded and Real-Time Computing Systems and Applications, IEEE, Piscataway, NJ, 2014. (DOI).
- Effects of defects on the tensile strength of short-fibre composite materials. In Mechanics of materials, volume 75, pp 125-134, 2014. (DOI).
- Time profiles for identifying users in online environments. In Proc. 1st Joint Intelligence and Security Informatics Conference, pp 83-90, IEEE Computer Society, 2014. (DOI).
- Analysis and mining of tags, (micro)blogs, and virtual communities. In Encyclopedia of Social Network Analysis and Mining, pp 19-25, Springer, 2014. (DOI).
- A quadratic edge-finding filtering algorithm for cumulative resource constraints. In Constraints, volume 19, number 3, pp 243-269, 2014. (DOI).
- Filter Design with Hard Spectral Constraints. In Signal Processing Conference (EUSIPCO), 2014 Proceedings of the 22nd European, pp 391-395, 2014.
- Designing and using ethical autonomous agents. In Sweden – Kyoto Symposium, Kyoto University, Kyoto, 2014. (External link).
- Independent agents and ethics. In ICT and society, volume 431 of IFIP Advances in Information and Communication Technology, pp 39-46, Springer Berlin/Heidelberg, 2014. (DOI).
- Philosophical method and the conflict liberty-security. In Proceedings ETHICOMP 2014Li: berty and security in an age of ICTs, UPMC - Sorbonne Universités, Paris, 2014. (External link).
- Storebror vs lillebror. In Upsala Nya Tidning, volume 124, number 77, pp A5-A5, 2014. (External link).
- Supporting politicians’ skill to handle moral issues. In Proceedings of IPSA 23rd Congress on Political Science, 2014: Challenges of contemporay governance, The International Political Science Association, Montreal, 2014. (External link).
- Vi behöver etikstudier som uppfyller mål på flera nivåer. In Etikstudier – En del av den framtida ekonomutbildningen!, pp 20-20, S.E.R.O., Stockholm, 2014. (slides).
- A case for resource efficient prefetching in multicores. In Proc. International Symposium on Performance Analysis of Systems and Software: ISPASS 2014, pp 137-138, IEEE Computer Society, 2014. (DOI).
- A case for resource efficient prefetching in multicores. In Proc. 43rd International Conference on Parallel Processing, pp 101-110, IEEE Computer Society, 2014. (DOI).
- Resource conscious prefetching for irregular applications in multicores. In Proc. International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), pp 34-43, IEEE, Piscataway, NJ, 2014. (DOI).
- Orbital morphology in Crouzon-Pfeiffer and Apert syndromes before and after surgical correction:study by 3D cephalometry, semi-automatic segmentation and 3D shape comparison. In Proc. Computer Assisted Radiology and Surgery (CARS). Fukuoka, Japan, June 25-28, pp 192-193, Springer, 2014.
- Automated analysis of dynamic behavior of single cells in picoliter droplets. In Lab on a Chip, volume 14, pp 931-937, 2014. (DOI).
- Accelerated convergence for Schrödinger equations with non-smooth potentials. In BIT Numerical Mathematics, volume 54, pp 729-748, 2014. (DOI, fulltext:postprint).
- Stiff convergence of force-gradient operator splitting methods. Technical report / Department of Information Technology, Uppsala University nr 2014-004, 2014. (fulltext).
- 3D Texture Analysis in Renal Cell Carcinoma Tissue Image Grading. In Computational & Mathematical Methods in Medicine, volume 2014, pp 536217:1-12, Hindawi Publishing Corporation, 2014. (DOI, fulltext:print).
- Kiel rekoni rektojn kaj strekojn inter ?iuj kurboj kaj aliaj bildoj sur la komputila ekrano?. In Internacia Simpozio "Apliko de Esperanto en la profesia agado". Prelegaro, Vol. II., pp 72-92, Akademio Internacia de la Sciencoj, AIS, San Marino. AIS-Bulgario., Karlovo, BG, 2014. (External link).
- Låt oss förbättra samfundets ekonomi!. In SMS-Bulletinen, pp 12-13, Svenska matematikersamfundet, 2014.
- Pierre Lelong 1912–2011. In Normat, volume 60, number 2, pp 70-81, 2014.
- Stärk Normat genom att vidga dess bas!. In SMS-Bulletinen, p 13, 2014.
- Brief announcement: queue delegation locking. In Proc. 26th ACM Symposium on Parallelism in Algorithms and Architectures, pp 70-72, ACM Press, New York, 2014. (DOI, fulltext:print).
- Delegation locking libraries for improved performance of multithreaded programs. In Euro-Par 2014: Parallel Processing, volume 8632 of Lecture Notes in Computer Science, pp 572-583, Springer Berlin/Heidelberg, 2014. (DOI).
- Informatics and socio-technical challenges when designing solutions for integrated eCare. In Achieving Effective Integrated E-Care Beyond the Silos, pp 108-134, IGI Global, 2014. (DOI).
- Session types for broadcasting. In Proc. 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, volume 155 of Electronic Proceedings in Theoretical Computer Science, pp 25-31, 2014. (DOI, fulltext:print).
- Nucleophilic substitution dynamics: Comparing wave packet calculations with experiment. In Journal of Physical Chemistry A, volume 118, pp 4661-4669, 2014. (DOI).
- Backward sequential Monte Carlo for marginal smoothing. In Proc. 18th Workshop on Statistical Signal Processing, pp 368-371, IEEE, Piscataway, NJ, 2014. (DOI).
- Robust auxiliary particle filters using multiple importance sampling. In Proc. 18th Workshop on Statistical Signal Processing, pp 268-271, IEEE, Piscataway, NJ, 2014. (DOI).
- The 'Methods for designing for future autonomous systems' (MODAS) project: Developing the cab for a highly autonomous truck. In Advances in Human Aspects of Transportation, Part II: Proceedings of the 5th International Conference on Applied Human Factors and Ergonomics, pp 70-81, 2014.
- Automatic Virus Identification using TEM: Image Segmentation and Texture AnalysisAutomatisk identifiering av virus med hjälp av transmissionselektronmikroskopi: bildsegmentering och texturanalys. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1122, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext, preview image).
- Impact of code refactoring using object-oriented methodology on a scientific computing application. In Proc. 14th International Working Conference on Source Code Analysis and Manipulation, pp 125-134, IEEE Computer Society, Los Alamitos, CA, 2014. (DOI).
- Image Analysis Methods and Tools for Digital Histopathology Applications Relevant to Breast Cancer Diagnosis. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1128, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext, preview image).
- Multimodal histological image registration using locally rigid transforms. In IEEE Transactions on Biomedical Engineering, 2014. Publication status: Submitted
- Designing for Autonomy. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 105, Acta Universitatis Upsaliensis, Uppsala, 2014. (preview image, inside).
- Large-Scale Social Network Analysis. In Large-Scale Data Analytics, pp 155-187, Springer, 2014. (DOI).
- A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets. In Real-time systems, volume 50, number 5-6, pp 736-773, 2014. (DOI, fulltext:postprint).
- Priors for X-ray in-line phase tomography of heterogeneous objects. In Philosophical Transactions. Series A: Mathematical, physical, and engineering science, volume 372, number 2010, pp 20130129:1-9, 2014. (DOI).
- Operational Semantics for Secure Interoperation. In Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, 2014.
- On designing the transmission and reception of multistatic continuous active sonar systems. In IEEE Transactions on Aerospace and Electronic Systems, volume 50, number 1, pp 285-299, 2014. (DOI).
- Geovisualization of Uncertainty in Simulated Flood Maps. In Proceedings of the IADIS conference in Computer Graphics, Visualization, Computer Vision and Image Processing (CGCVIP), pp 206-214, 2014.
- Affine operations plus symmetry yield perception of metric shape with large perspective changes (? 45 degrees): Data and model. In Journal of Experimental Psychology: Human Perception and Performance, volume 40, number 1, pp 83-93, 2014. (DOI).
- Change and resistance to change in health care: Inertia in sociotechnical systems. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2014-005, Uppsala University, 2014. (fulltext).
- Towards using the creation of a mosaic as a metaphor for change. In Proc. 8th European Conference on IS Management and Evaluation (ECIME 2014), pp 377-379, Academic Conferences Publishing, Reading, UK, 2014.
- Linear time distances between fuzzy sets with applications to pattern matching and classification. In IEEE Transactions on Image Processing, volume 23, number 1, pp 126-136, 2014. (DOI).
- Optimizing optics and imaging for pattern recognition based screening tasks. In Proc. 22nd International Conference on Pattern Recognition, International Conference on Pattern Recognition, pp 3333-3338, IEEE Computer Society, 2014. (DOI).
- Light scattering in fibrous media with different degrees of in-plane fiber alignment. In Optics Express, volume 22, number 14, pp 16829-16840, 2014. (DOI).
- Particle Gibbs with ancestor sampling. In Journal of machine learning research, volume 15, pp 2145-2184, 2014.
- Use of cloud services in functional products: Availability implications. In Procedia CIRP, volume 16, pp 368-372, 2014. (DOI).
- On Bayesian channel estimation and FFT-based symbol detection in MIMO underwater acoustic communications. In IEEE Journal of Oceanic Engineering, volume 39, number 1, pp 59-73, 2014. (DOI).
- A Graph-Based Implementation of the Anti-Aliased Euclidean Distance Transform. In Proceedings 22nd International Conference on Pattern Recognition (ICPR), 2014, International Conference on Pattern Recognition, pp 1025-1030, 2014. (DOI).
- Anti-Aliased Euclidean Distance Transform on 3D Sampling Lattices. In Discrete Geometry for Computer Imagery: 18th IAPR International Conference, DGCI 2014, Siena, Italy, September 10-12, 2014. Proceedings, volume 8668 of Lecture Notes in Computer Science, pp 88-98, 2014. (DOI).
- Evaluation of prostate segmentation algorithms for MRI: The PROMISE12 challenge. In Medical Image Analysis, volume 18, number 2, pp 359-373, 2014. (DOI).
- Detection of Façade Regions in Street View Images from Split-and-Merge of Perspective Patches. In Journal of Image and Graphics, volume 2, number 1, pp 8-14, 2014. (External link).
- Matrix-free finite-element operator application on graphics processing units. In Euro-Par 2014: Parallel Processing Workshops, Part II, volume 8806 of Lecture Notes in Computer Science, pp 450-461, Springer, 2014. (DOI).
- On the impact of the heterogeneous multicore and many-core platforms on iterative solution methods and preconditioning techniques. In High-Performance Computing on Complex Environments, pp 13-32, Wiley-Blackwell, Hoboken, NJ, 2014. (DOI).
- Informal feedback rather than performance measurements: User-centred evaluation in Scrum projects. In Behavior and Information Technology, volume 33, number 11, pp 1118-1135, 2014. (DOI).
- On the integration of user centred design in agile development. In Proc. 8th Nordic Conference on Human-Computer Interaction: Fun, Fast, Foundational, pp 817-820, ACM Press, New York, 2014. (DOI).
- Continuous improvement in agile development practice: The case of value and non-value adding activities. In Human-Centered Software Engineering, volume 8742 of Lecture Notes in Computer Science, pp 57-72, Springer Berlin/Heidelberg, 2014. (DOI).
- Evaluating availability of functional products through simulation. In Simulation Modelling Practice and Theory, volume 47, pp 196-209, 2014. (DOI).
- Implementing a Vision: Studying Leaders’ Strategic Use of an Intranet while Exploring Ethnography within HCI. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 102, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext, preview image).
- Efficient and Flexible Sensornet Checkpointing. In Wireless Sensor Networks, volume 8354, pp -65, 2014. (DOI, Conference website).
- Simulation of stochastic diffusion via first exit times. Technical report / Department of Information Technology, Uppsala University nr 2014-012, 2014. (fulltext).
- Multiple social networks, data models and measures for. In Encyclopedia of Social Network Analysis and Mining, Springer, Berlin, 2014.
- Path-based and Whole Network Measures. In Encyclopedia of Social Network Analysis and Mining, Springer, Berlin, 2014.
- Taking the Big Picture: Representative Skylines based on Significance and Diversity. In The VLDB journal, volume 23, number 5, pp 795-815, Springer Berlin/Heidelberg, 2014. (DOI).
- An efficient algorithm for exact evaluation of stochastic watersheds. In Pattern Recognition Letters, volume 47, pp 80-84, 2014. (DOI).
- An interactive tool for deformable registration of volume images. In Symposium of the Swedish Society for Automated Image Analysis (SSBA), 2014.
- Exact evaluation of stochastic watersheds: From trees to general graphs. In Discrete Geometry for Computer Imagery, volume 8668 of Lecture Notes in Computer Science, pp 309-319, Springer Berlin/Heidelberg, 2014. (DOI).
- Energy-efficient automatic location-triggered applications on smartphones. In Computer Communications, volume 50, pp 29-40, 2014. (DOI).
- New insights into the mechanisms behind the strengthening of lignocellulosic fibrous networks with polyamines. In Cellulose, volume 21, number 6, pp 3941-3950, 2014. (DOI).
- A reduced MIMO Wiener model for recursive identification of the depth of anesthesia. In International journal of adaptive control and signal processing (Print), volume 28, number 12, pp 1357-1371, 2014. (DOI).
- Local identifiability and sensitivity analysis of neuromuscular blockade and depth of hypnosis models. In Computer Methods and Programs in Biomedicine, volume 113, number 1, pp 23-36, 2014. (DOI).
- Diagonal-norm summation by parts operators for finite difference approximations of third and fourth derivatives. In Journal of Computational Physics, volume 274, pp 432-454, 2014. (DOI).
- Optimal diagonal-norm SBP operators. In Journal of Computational Physics, volume 264, pp 91-111, 2014. (DOI).
- Pulse-modulated feedback in mathematical modeling and estimation of endocrine systems. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2014-006, Uppsala University, 2014. (fulltext).
- Recursive identification of Hammerstein models. In Proc. American Control Conference: ACC 2014, pp 2498-2503, American Automatic Control Council, 2014. (DOI).
- Subject-Level Quality Assurance in Computing: Experiences from three national perspectives. In Proc. 44th ASEE/IEEE Frontiers in Education Conference, pp 1189-1196, IEEE Press, Piscataway, NJ, 2014. (DOI, fulltext:postprint).
- Demo Abstract: SicsthSense - Dispersing the Cloud. 2014.
- Laguerre domain modeling of continuous time delay in the face of finite-dimensional perturbation. In , 2014. Publication status: Submitted
- A Structural Texture Approach for Characterising Malignancy Associated Changes in Pap Smears Based on Mean-Shift and the Watershed Transform. In Proc. 22nd International Conference on Pattern Recognition, International Conference on Pattern Recognition, pp 1189-1193, IEEE Computer Society, 2014. (DOI).
- Energy Efficient GPS Acquisition with Sparse-GPS. In , 2014.
- A propagator design framework for constraints over sequences. In Proc. 28th AAAI Conference on Artificial Intelligence: Volume 4, pp 2710-2716, AAAI Press, Palo Alto, CA, 2014. (External link).
- Localization of deep brain stimulation electrodes via metal artifacts in CT images. In Proc. 36th International Conference of the IEEE Engineering in Medicine and Biology Society, pp 1055-1058, Curran Associates, Inc., 2014. (DOI).
- Ubiquitous sensor data collection with mobile users. In Proc. 3rd International Conference on Computing, Networking and Communications, pp 561-566, IEEE Press, Piscataway, NJ, 2014. (DOI).
- Localization of elliptic multiscale problems. In Mathematics of Computation, volume 83, number 290, pp 2583-2603, 2014. (DOI).
- A Doppler robust design of transmit sequence and receive filter in the presence of signal-dependent interference. In IEEE Transactions on Signal Processing, volume 62, number 4, pp 772-785, 2014. (DOI).
- A max–min design of transmit sequence and receive filter. In Proc. 39th International Conference on Acoustics, Speech, and Signal Processing, pp 71-75, IEEE, Piscataway, NJ, 2014. (DOI, fulltext:postprint).
- Radar Code Design for Detection of Moving Targets. In IEEE Transactions on Aerospace and Electronic Systems, volume 50, number 4, pp 2762-2778, 2014. (DOI).
- Unimodular code design for MIMO radar using Bhattacharyya distance. In Proc. 39th International Conference on Acoustics, Speech, and Signal Processing, pp 5282-5286, IEEE, Piscataway, NJ, 2014. (DOI, fulltext:postprint).
- Quality-of-information-aware data collection for mobile sensor networks. In Pervasive and Mobile Computing, volume 11, pp 203-215, 2014. (DOI).
- Automatic Mapping of Standing Dead Trees after an Insect Outbreak Using the Window Independent Context Segmentation Method. In Journal of forestry, volume 112, number 6, pp 564-571, 2014. (DOI).
- Extending statistical cache models to support detailed pipeline simulators. In 2014 IEEE International Symposium On Performance Analysis Of Systems And Software (Ispass), IEEE International Symposium on Performance Analysis of Systems and Software-ISPASS, pp 86-95, IEEE Computer Society, 2014. (DOI).
- SADSense: Personalized Mobile Sensing for Seasonal Effects on Health. In Proc. 13th International Symposium on Information Processing in Sensor Networks, pp 295-296, IEEE Press, Piscataway, NJ, 2014. (DOI).
- Haggle: Opportunistic mobile content sharing using search. In Computer Communications, volume 48, pp 121-132, 2014. (DOI).
- A flexible boundary procedure for hyperbolic problems: Multiple penalty terms applied in a domain. In Communications in Computational Physics, volume 16, pp 541-570, 2014. (DOI).
- Model accuracy for active damping of a viscoelastic beam. In Preprints of the 19th World Congress, pp 4511-4516, 2014.
- Modelling and Control Methods with Applications to Mechanical Waves. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1174, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext, preview image).
- A Streaming Distance Transform Algorithm for Neighborhood-Sequence Distances. In Image Processing On Line, volume 4, pp 196-203, 2014. (DOI, External link).
- Approximate adjoint-based iterative learning control. In International Journal of Control, volume 87, number 5, pp 1028-1046, 2014. (DOI).
- On the stability and optimality of an output feedback control law. 2014.
- Output feedback control: Some methods and applications. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2014-002, Uppsala University, 2014. (fulltext).
- Custom Mandibular Implant Design with Deformable Models and Haptics. In Proc. Computer Assisted Radiology and Surgery (CARS). Fukuoka, Japan, June 25-28, pp 246-247, Springer Berlin/Heidelberg, 2014. (DOI).
- Finding keys for people with mild dementia: Not just a matter of beeping and flashing. In Proceedings 8th International Conference on Augmented Cognition, Foundations of Augmented Cognition: Advancing Human Performance and Decision-Making through Adaptive Systems, volume 8534 of Lecture Notes in Computer Science, pp 315-324, Springer Berlin/Heidelberg, 2014. (DOI).
- Instrumentation, control and automation in wastewater – from London 1973 to Narbonne 2013. In Water Science and Technology, volume 69, number 7, pp 1373-1385, 2014. (DOI).
- Modeling cache coherence misses on multicores. In 2014 IEEE INTERNATIONAL SYMPOSIUM ON PERFORMANCE ANALYSIS OF SYSTEMS AND SOFTWARE (ISPASS), IEEE International Symposium on Performance Analysis of Systems and Software-ISPASS, pp 96-105, IEEE, 2014. (DOI).
- Higher-order psi-calculi. In Mathematical Structures in Computer Science, volume 24, number 2, Cambridge University Press, 2014. (DOI, fulltext:postprint).
- Fully abstract trace semantics for low-level isolation mechanisms. In Symposium on Applied Computing, SAC 2014., pp 1562-1569, ACM Press, 2014. (DOI).
- Digital citizenship and social responsibility of computer professionals. In Mondo Digitale, volume XIII, number 49, pp 1-10, AICA, Milano, 2014. (External link).
- From computer ethics to future (and information) ethics: The challenge of Nano-Bots. In Ethical dimensions of bio-nanotechnology: Present and future applications in telemedicine, IGI Global, Hershey, PA, USA, 2014. (DOI).
- Slow Tech: The bridge between computer ethics and business ethics. In Proceedings 11th International Conference on human Choice and computers, HC11, 2014: ICT and society, volume 431 of IFIP Advances in Information and Communication Technology, pp 92-106, Springer Berlin/Heidelberg, Berlin/Heidelberg, 2014. (DOI, External link).
- AccAB – Processes and Roles for Accreditation of Computing Degrees at Al Baha University in Saudi Arabia. In Proc. World Engineering Education Forum, pp 969-970, 2014.
- Four feed-forward principles enhance students' perception of feedback as meaningful. In Proc. 2nd International Conference on Learning and Teaching in Computing and Engineering, International Conference on Teaching and Learning in Computing and Engineering, pp 272-277, IEEE Computer Society, Los Alamitos, CA, 2014. (DOI).
- Integrating global systems development skills into the engineering curriculum. In Proc. 3rd ASEE International Forum, pp 11088:1-8, American Society for Engineering Education, 2014.
- First year Computer Science and IT students' experience of participation in the discipline. In Proc. 2nd International Conference on Learning and Teaching in Computing and Engineering, pp 1-8, IEEE Computer Society, Los Alamitos, CA, 2014. (DOI, fulltext:preprint).
- Identity development in computing education: Theoretical perspectives and an implementation in the classroom. In Proc. 9th Workshop in Primary and Secondary Computing Education, pp 70-79, ACM Press, New York, 2014. (DOI).
- The role of students' identity development in higher education in computing. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2014-004, Uppsala University, 2014. (fulltext).
- A stochastic Galerkin method for the Euler equations with Roe variable transformation. In Journal of Computational Physics, volume 257, pp 481-500, 2014. (DOI).
- Large-Scale Analysis of Cells and Tissue. In , 2014.
- The Giga-pixel Challenge: Full Resolution Image Analysis – Without Losing the Big Picture: An open-source approach for multi-scale analysis and visualization of slide-scanner data. In , 2014. (fulltext:postprint).
- Nonlinear estimation of a parsimonious Wiener model for the neuromuscular blockade in closed-loop anesthesia. In Proc. 19th IFAC World Congress, pp 9258-9264, International Federation of Automatic Control, 2014. (DOI).
- Parallel recursive Bayesian estimation on multicore computational platforms using orthogonal basis functions. In Proc. American Control Conference: ACC 2014, pp 622-627, American Automatic Control Council, 2014. (DOI).
- Spectrally constrained waveform design. In IEEE signal processing magazine (Print), volume 31, number 3, pp 157-162, 2014. (DOI).
- Chunks and Tasks: A programming model for parallelization of dynamic algorithms. In Parallel Computing, volume 40, pp 328-343, 2014. (DOI).
- Interior eigenvalues from density matrix expansions in quantum mechanical molecular dynamics. In SIAM Journal on Scientific Computing, volume 36, pp B147-B170, 2014. (DOI, fulltext:postprint).
- More scalable ordered set for ETS using adaptation. In Proc. 13th ACM SIGPLAN Workshop on Erlang, pp 3-11, ACM Press, New York, 2014. (DOI).
- An IMEX-scheme for pricing options under stochastic volatility models with jumps. In SIAM Journal on Scientific Computing, volume 36, pp B817-B834, 2014. (DOI).
- Full Speed Ahead: Detailed Architectural Simulation at Near-Native Speed. Technical report / Department of Information Technology, Uppsala University nr 2014-005, 2014. (External link, fulltext).
- Understanding Multicore Performance: Efficient Memory System Modeling and Simulation. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1136, Acta Universitatis Upsaliensis, Uppsala, 2014. (preview image, fulltext).
- CPS2: a Contextual Privacy Framework for Social Software. In 10th International Conference on Security and Privacy in Communication Networks (SECURECOMM2014), Lecture Notes of the Institute for Computer Sciences Social Informatics and Telecommunications Engineering, pp 25-32, 2014. (DOI).
- Towards national deployment of online medical records and eHealth services. In Vitalis – Nordens ledande eHälsomöte 2014, pp 16-19, GUPEA, 2014. (Proceedings).
- Solving Geospatial Tasks in 2D and 3D Visualizations of Maps. In Information Visualisation: Techniques, Usability and Evaluation, pp 222-271, Cambridge Scholars Publishing, 2014.
- Researching the Use of the Internet: A Beginner's Guide. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 109, Acta Universitatis Upsaliensis, Uppsala, 2014. (preview image).
- The Direct-to-Data (D2D) Cache: Navigating the cache hierarchy with a single lookup. In Proc. 41st International Symposium on Computer Architecture, pp 133-144, IEEE Press, Piscataway, NJ, 2014. (DOI).
- Toeplitz matrices: Spectral properties and preconditioning in the CG method. Technical report / Department of Information Technology, Uppsala University nr 2014-024, 2014. (fulltext).
- Minimum sidelobe beampattern design for MIMO radar systems: A robust approach. In Proc. 39th International Conference on Acoustics, Speech, and Signal Processing, pp 5312-5316, IEEE, Piscataway, NJ, 2014. (DOI).
- Missing data in multiplex networks: a preliminary study. In , IEEE Computer Society, 2014.
- MOOCs and their impact on academics. In Proc. 14th International Conference on Computing Education Research: Koli Calling, pp 137-145, ACM Press, New York, 2014. (DOI).
- Nonlinear Modeling and Feedback Control of Drug Delivery in Anesthesia. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1187, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext, preview image).
- A Desk-Top Low voltage TEM for high quality imaging of biological specimen. In Proceedings, 2014.
- Automated multi-scale image acquisition for efficient particle detection and analysis using the mini-TEM. In Proceedings, 2014.
- MiniTEM - making ultra-structural pathology easier and accessible. In , 2014.
- The mini-TEM: high quality imaging and analysis of biological specimen. In Proceedings, 2014.
- Virus recognition based on local texture. In Proceedings 22nd International Conference on Pattern Recognition (ICPR), 2014, International Conference on Pattern Recognition, pp 3227-3232, 2014. (DOI).
- miniTEM - a desk-top TEM for fast and easy image acquisition and analysis. In , 2014.
- HTSeq-Hadoop: Extending HTSeq for Massively Parallel Sequencing Data Analysis using Hadoop. In Proc. 10th International Conference on e-Science, pp 317-323, IEEE Computer Society, 2014. (DOI).
- A tunable cache for approximate computing. In Proc. 10th International Symposium on Nanoscale Architectures, IEEE International Symposium on Nanoscale Architectures, pp 88-89, IEEE, Piscataway, NJ, 2014. (DOI).
- Power-Efficient Computer Architectures: Recent Advances. Morgan & Claypool Publishers, 2014. (DOI).
- Investigating population history using temporal genetic differentiation. In Molecular biology and evolution, volume 31, number 9, pp 2516-2527, 2014. (DOI).
- A Recursive Method for Enumeration of Costas Arrays. 2014. (fulltext).
- Approaching peak correlation bounds via alternating projections. In Proc. 39th International Conference on Acoustics, Speech, and Signal Processing, International Conference on Acoustics Speech and Signal Processing, pp 5317-5321, IEEE, Piscataway, NJ, 2014. (DOI).
- Design of Piecewise Linear Polyphase Sequences with Good Correlation Properties. In , 2014. (fulltext:postprint).
- Designing unimodular codes via quadratic optimization. In IEEE Transactions on Signal Processing, volume 62, number 5, pp 1221-1234, 2014. (DOI).
- MERIT: A monotonically error-bound improving technique for unimodular quadratic programming. In Proc. 39th International Conference on Acoustics, Speech, and Signal Processing, International Conference on Acoustics Speech and Signal Processing, pp 5656-5660, IEEE, Piscataway, NJ, 2014. (DOI, fulltext:postprint).
- On Prime Root-of-Unity Sequences with Perfect Periodic Correlation. In IEEE Transactions on Signal Processing, volume 62, number 20, pp 5458-5470, 2014. (DOI).
- On meeting the peak correlation bounds. In IEEE Transactions on Signal Processing, volume 62, number 5, pp 1210-1220, 2014. (DOI).
- Search for Costas Arrays Via Sparse Representation. In , 2014. (fulltext:postprint).
- Signal Design for Active Sensing and Communications. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 108, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext, preview image).
- Single-stage transmit beamforming design for MIMO radar. In Signal Processing, volume 102, pp 132-138, 2014. (DOI).
- A novel incentive negotiation mechanism for participatory sensing under budget constraints. In Proc. 22nd International Symposium on Quality of Service, pp 326-331, IEEE Communications Society, 2014. (DOI).
- Incentive mechanism for participatory sensing under budget constraints. In Proc. Wireless Communications and Networking Conference 2014, pp 3361-3366, IEEE Communications Society, 2014. (DOI).
- Frequency domain EIV identification:a Frisch Scheme approach. In IFAC 19th World Congress, 2014.
- Frequency domain maximum likelihood identificationof noisy input-output models. In IFAC 19th World Congress, 2014.
- Automous Technology - Sources of Confusion: A Model for Explanation and Prediction of Conceptual Shifts. In Ergonomics, volume 57, number 3, pp 455-470, Taylor & Francis, 2014. (DOI).
- Edge awareness: A dynamic safety perspective on four accidents/incidents. In Advances in Human Factors, Software and Systems Engineering: Proceedings of the Fifth International Conference on Applied Human Factors and Ergonomics, pp -179, 2014.
- Real-Time Workload Models: Expressiveness vs. Analysis Efficiency. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 103, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext, preview image).
- Refinement-based Exact Response-Time Analysis. In 2014 26TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS (ECRTS 2014), Euromicro Workshop on Real-Time Systems-Proceedings, pp 143-152, 2014. (DOI).
- Gridless compressive-sensing methods for frequency estimation: Points of tangency and links to basics. In Proc. 22nd European Signal Processing Conference, IEEE, Lisbon, Portugal, 2014.
- Weighted SPICE: A unifying approach for hyperparameter-free sparse estimation. In Digital signal processing (Print), volume 33, pp 1-12, 2014. (DOI).
- The Minimum Barrier Distance - Stability to seed point position. In Discrete Geometry for Computer Imagery, DGCI 2014, volume 8668 of Lecture Notes in Computer Science, pp 111-121, 2014. (DOI).
- Service guarantee exploration for mixed-criticality systems. In Proc. 20th International Conference on Embedded and Real-Time Computing Systems and Applications, IEEE, Piscataway, NJ, 2014. (DOI).
- Speculative program parallelization with scalable and decentralized runtime verification. In Runtime Verification, volume 8734 of Lecture Notes in Computer Science, pp 124-139, Springer Berlin/Heidelberg, 2014. (DOI, fulltext:postprint).
- Improving the response time analysis of global fixed-priority multiprocessor scheduling. In Proc. 20th International Conference on Embedded and Real-Time Computing Systems and Applications, IEEE, Piscataway, NJ, 2014. (DOI).
- Identification of jump Markov linear models using particle filters. In Proc. 53rd Conference on Decision and Control, pp 6504-6509, IEEE, Piscataway, NJ, 2014. (DOI).
- A unified framework for EIV identification methods in the presence of mutually correlated noises. In IFAC 19th World Congress, Elsevier, 2014.
- A unified framework for EIV identification methods when the measurement noises are mutually correlated. In Automatica, volume 50, number 12, pp 3216-3223, 2014. (DOI).
- Extended accuracy analysis of a covariance matching approach for identifying errors-in-variables systems. In Automatica, volume 50, number 10, pp 2597-2605, 2014. (DOI).
- NO<sub>x</sub> control for SCR systems using feedback linearisation. In 23rd ERNSI Workshop in System Identification, European Research Network System Identification, 2014.
- Nonlinear System Identification and Control Applied to Selective Catalytic Reduction Systems. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 106, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext, preview image).
- A broader threshold: Including skills as well as concepts in computing education. In Threshold Concepts: From personal practice to communities of practice, pp 154-158, NAIRTL, Cork, Ireland, 2014.
- Graduating students' designs — through a phenomenographic lens. In Proc. 10th International Computing Education Research Conference, pp 91-98, ACM Press, New York, 2014. (DOI).
- Programming course design: Phenomenographic approach to learning and teaching. In Proc. 2nd International Conference on Learning and Teaching in Computing and Engineering, pp 125-132, IEEE Computer Society, Los Alamitos, CA, 2014. (DOI, fulltext:postprint).
- Repertory grid interviews: Insights into personal constructs of novice programmers. In SAGE Research Methods Cases, Sage Publications, 2014. (DOI).
- A task parallel implementation of an RBF-generated finite difference method for the shallow water equations on the sphere. Technical report / Department of Information Technology, Uppsala University nr 2014-011, 2014. (fulltext).
- Scientific Computing on Multicore Architectures. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1139, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext, preview image).
- SuperGlue: A shared memory framework using data versioning for dependency-aware task-based parallelization. Technical report / Department of Information Technology, Uppsala University nr 2014-010, 2014. (fulltext).
- Extremum seeking control of the CANON process: Existence of multiple stationary solutions. In Journal of Process Control, volume 24, number 2, pp 348-356, 2014. (DOI).
- Scalable Numerical Queries by Algebraic Inequality Transformations. In Database Systems for Advanced Applications, Dasfaa 2014, PT I, volume 8421 of Lecture Notes in Computer Science, pp 95-109, 2014.
- Solutions to the problem of inconsistent plans in railway traffic operation. In Journal of Rail Transport Planning & Management, volume 4, number 4, pp 87-97, 2014. (DOI).
- 3D tree-ring analysis using helical X-ray tomography. In Dendrochronologia, volume 32, number 1, pp 39-46, 2014. (DOI).
- Directional Transmissions and Receptions for Burst Forwarding using Disjoint Paths. In Proc. 13th International Symposium on Information Processing in Sensor Networks, pp 307-308, IEEE Press, Piscataway, NJ, 2014.
- Using Directional Transmissions and Receptions to Reduce Contention in Wireless Sensor Networks. In Real-World Wireless Sensor Networks, volume 281 of Lecture Notes in Electrical Engineering, pp 205-213, 2014. (DOI, External link).
- Acoustic wave propagation in complicated geometries and heterogeneous media. In Journal of Scientific Computing, volume 61, pp 90-118, 2014. (DOI).
- Smartphone Support for Persons Who Stutter. In Proc. 13th International Symposium on Information Processing in Sensor Networks, pp 293-294, IEEE Press, Piscataway, NJ, 2014.
- Feature space de-noising for text recognition. In Proceedings of SSBA, 2014, 2014.
- Scribal Attribution using a Novel 3-D Quill-Curvature Feature Histogram. In Proceedings International Conference on Frontiers in Handwriting Recognition (ICFHR), 2014, 2014. (fulltext:postprint).
- Spotting words in medieval manuscripts. In Studia Neophilologica, volume 86, pp 171-186, 2014. (DOI, fulltext:print).
- Fast level-set based image segmentation using coherent propagation. In Medical physics (Lancaster), volume 41, pp 073501:1-11, 2014. (DOI).
- Stochastic reaction–diffusion processes with embedded lower-dimensional structures. In Bulletin of Mathematical Biology, volume 76, pp 819-853, 2014. (DOI).
- Characterisations of fibre networks in paper using micro computed tomography images. In Nordic Pulp & Paper Research Journal, volume 29, number 3, pp 468-475, 2014. (DOI).
- Understanding phase contrast artefacts in micro computed absorption tomography. In Proceedings SSBA 2014, Symposium on Image Analysis, 2014.
- Computers, time and speed: Five slow tech case studies. In ICT and society, volume 431 of IFIP Advances in Information and Communication Technology, pp 122-135, Springer Berlin/Heidelberg, Berlin/Heidelberg, 2014. (DOI, External link).
- Identifiability and limit cycles. Technical report / Department of Information Technology, Uppsala University nr 2014-016, Uppsala University, uppsala, 2014. (External link, fulltext).
- MATLAB Software for Identification of Nonlinear Autonomous Systems: Revision 1. Technical report / Department of Information Technology, Uppsala University nr 2014-014, Uppsala universitet, 2014. (Report in full-text, fulltext).
- MATLAB Software for Identification of Nonlinear Autonomous Systems: Revision 1. Technical report / Department of Information Technology, Uppsala University nr 2014-014, Uppsala universitet, Uppsala, 2014. (Report in fulltext, fulltext).
- On a limitation in networked flow control. Technical report / Department of Information Technology, Uppsala University nr 2014-009, 2014. (External link, fulltext).
- Spray: A Multi-Modal Localization System for Stationary Sensor Network Deployment. In 2014 11TH IEEE/IFIP ANNUAL CONFERENCE ON WIRELESS ON-DEMAND NETWORK SYSTEMS AND SERVICES (IEEE/IFIP WONS 2014), pp 25-32, IEEE, 2014.
- High- and low-throughput scoring of fat mass and body fat distribution in <em>C. elegans</em>. In Methods, volume 68, number 3, pp 492-499, 2014. (DOI).
- Information-centric collaborative data collection for mobile devices in wireless sensor networks. In Proc. International Conference on Communications: ICC 2014, pp 36-41, IEEE Communications Society, 2014. (DOI).
- Hybrid state observer for time-delay systems under intrinsic impulsive feedback. In Proc. 21st International Symposium on Mathematical Theory of Networks and Systems, pp 977-984, University of Groningen, The Netherlands, 2014.
- Estimation for the linear model with uncertain covariance matrices. In IEEE Transactions on Signal Processing, volume 62, number 6, pp 1525-1535, 2014. (DOI).
- Schedule-based sequential localization in asynchronous wireless networks. In EURASIP Journal on Advances in Signal Processing, volume 2014, pp 16:1-12, 2014. (DOI).
- Optimizing zone volumes in bioreactors described by Monod and Contois growth kinetics. In Proc. IWA World Water Congress: 2014, IWA Publishing, 2014.
- Steady-state analysis of simple activated sludge processes with Monod and Contois growth kinetics. In Proc. IWA Conference on Activated Sludge – 100 Years and Counting, IWA Publishing, 2014.
- Approximations for Model Construction. In Automated Reasoning, volume 8562 of Lecture Notes in Computer Science, pp 344-359, Springer, 2014. (DOI, fulltext:postprint).
- Understanding the Dynamic Caches on Intel Processors: Methods and Applications. In 2014 12th IEEE International Conference on Embedded and Ubiquitous Computing, pp 58-64, 2014. (DOI).
- Time Delay Induced Multistability and Complex Dynamics in an Impulsive Model of Endocrine Regulation. In 2014 European Control Conference (ECC), pp 2304-2309, 2014. (DOI).
- Bone canalicular network segmentation in 3D nano-CT images through geodesic voting and image tessellation. In Physics in Medicine and Biology, volume 59, number 9, pp 2155-2171, 2014. (DOI).
- Scaling Future Software: The Manycore Challenge. 2014. (External link).
- Evaluation of the Automatic methods for Building Extraction. In International Journal of Computers and Communications, volume 8, pp 171-176, 2014.
- Knowledge Based Single Building Extraction and Recognition. In Proceedings WSEAS International Conference on Computer Engineering and Applications, 2014, pp 29-35, 2014. (External link).
- TIME-SPACE VISUALISATION OF AMUR RIVER CHANNEL CHANGES DUE TO FLOODING DISASTER. In Proceedings of International Multidisciplinary Scientific GeoScience Conference (SGEM), 2014, 2014. (DOI, External link).
- Priorities Without Priorities: Representing Preemption in Psi-Calculi. In Proc. 21st International Workshop on Expressiveness in Concurrency, and 11th Workshop on Structural Operational Semantics, volume 160 of Electronic Proceedings in Theoretical Computer Science, pp 2-15, 2014. (DOI).
- Ammonium Feedback Control in Wastewater Treatment Plants. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 104, Acta Universitatis Upsaliensis, Uppsala, 2014. (fulltext, preview image).
- Lessons learnt from evaluating full-scale ammonium feedback control in three large wastewater treatment plants. In Water Science and Technology, volume 69, number 7, pp 1573-1580, 2014. (DOI).