Publications 2013
-
All for the price of few: (Parameterized verification through view abstraction)
. In Verification, Model Checking, and Abstract Interpretation, volume 7737 of Lecture Notes in Computer Science, pp 476-495, Springer Berlin/Heidelberg, 2013. (DOI
, fulltext:postprint
).
-
An Integrated Specification and Verification Technique for Highly Concurrent Data Structures
. In Tools and Algorithms for the Construction and Analysis of Systems, 2013. (fulltext:postprint
).
-
Analysis of message passing programs using SMT-solvers
. In Automated Technology for Verification and Analysis: ATVA 2013, volume 8172 of Lecture Notes in Computer Science, pp 272-286, Springer Berlin/Heidelberg, 2013. (DOI
).
-
MEMORAX, a Precise and Sound Tool for Automatic Fence Insertion under TSO
. In Tools and Algorithms for the Construction and Analysis of Systems, volume 7795 of Lecture Notes in Computer Science, pp 530-536, Springer Berlin/Heidelberg, 2013. (DOI
, fulltext:postprint
).
-
Monotonic abstraction for programs with multiply-linked structures
. In International Journal of Foundations of Computer Science, volume 24, number 2, pp 187-210, 2013. (DOI
, fulltext:postprint
).
-
Priced timed Petri nets
. In Logical Methods in Computer Science, volume 9, number 4, pp 10:1-51, 2013. (DOI
).
-
Push-down automata with gap-order constraints
. In Fundamentals of Software Engineering: FSEN 2013, volume 8161 of Lecture Notes in Computer Science, pp 199-216, Springer Berlin/Heidelberg, 2013. (DOI
).
-
Solving parity games on integer vectors
. In CONCUR 2013 – Concurrency Theory, volume 8052 of Lecture Notes in Computer Science, pp 106-120, Springer Berlin/Heidelberg, 2013. (DOI
).
-
Tools for software verification: Introduction to the special section from the seventeenth international conference on tools and algorithms for the construction and analysis of systems
. In International Journal on Software Tools for Technology Transfer, volume 15, number 2, pp 85-88, 2013. (DOI
).
-
Veri?cation of heap manipulating programs with ordered data by extended forest automata
. In Automated Technology for Verification and Analysis: ATVA 2013, volume 8172 of Lecture Notes in Computer Science, pp 224-239, Springer Berlin/Heidelberg, 2013. (DOI
, fulltext:postprint
).
-
Verification of Directed Acyclic Ad Hoc Networks
. In Formal Techniques for Distributed Systems: FORTE 2013, volume 7892 of Lecture Notes in Computer Science, pp 193-208, Springer Berlin/Heidelberg, 2013. (DOI
, fulltext:postprint
).
-
Verifying safety and liveness for the FlexTM hybrid transactional memory
. In , pp 785-790, Grenoble, France, 2013.
-
Geomemories - A Platform for Visualizing Historical, Environmental and Geospatial Changes of the Italian Landscape
. In ISPRS International Journal of Geo-Information. Special issue: Geospatial Monitoring and Modelling of Environmental Change, volume 2, number 2, pp 432-455, MDPI - Open Access Publishing, 2013. (DOI
, Fulltext
).
-
A numerical study of scaling relations for non-Newtonian thin-film flows with applications in ice sheet modelling
. In Quarterly Journal of Mechanics and Applied Mathematics, volume 66, pp 417-435, 2013. (DOI
).
-
Accuracy of the zeroth and second order shallow ice approximation: numerical and theoretical results
. In Geoscientific Model Development Discussions, volume 6, pp 4281-4325, 2013. (DOI
).
-
Accuracy of the zeroth- and second-order shallow-ice approximation: numerical and theoretical results
. In Geoscientific Model Development, volume 6, pp 2135-2152, 2013. (DOI
).
-
Atmospheric sound propagation over large-scale irregular terrain
. Technical report / Department of Information Technology, Uppsala University nr 2013-018, 2013. (fulltext
).
-
Stable and accurate simulation of phenomena in relativistic quantum mechanics
. In Proc. 11th International Conference on Mathematical and Numerical Aspects of Waves, pp 213-214, ENIT, Tunisia, 2013.
-
Bounds on the Lifetime of WSNs
. In , 2013. (DOI
).
-
Recognizing complexity: Visualization for skilled professionals in complex work situations
. In Building Bridges: HCI, Visualization, and Cognitive Ergonomics, Springer Berlin/Heidelberg, 2013. (fulltext:preprint
).
-
Scientific analysis by queries in extended SPARQL over a scalable e-Science data store
. In Proc. 9th International Conference on e-Science, pp 98-106, IEEE Computer Society, Los Alamitos, CA, 2013. (DOI
).
-
A theory for control-flow graph exploration
. In Automated Technology for Verification and Analysis: ATVA 2013, volume 8172 of Lecture Notes in Computer Science, pp 506-515, Springer Berlin/Heidelberg, 2013. (DOI
).
-
Kleene Algebra
. In Archive of Formal Proofs, 2013. (External link
).
-
Program Analysis and Verification Based on Kleene Algebra in Isabelle/HOL
. In Interactive Theorem Proving: ITP 2013, volume 7998 of Lecture Notes in Computer Science, pp 197-212, Springer Berlin/Heidelberg, 2013. (DOI
, fulltext:postprint
).
-
On using Erlang for parallelization: Experience from parallelizing Dialyzer
. In Trends in Functional Programming, volume 7829 of Lecture Notes in Computer Science, pp 295-310, Springer Berlin/Heidelberg, 2013. (DOI
).
-
?????????????????(What is "gender equal society"?): ??????????????? ???????????????? (Think about our life-style together)
. Sumida municipality (Tokyo metropolitan government), Tokyo, 2013. (External link
, summary
).
-
Designing "Open Education": How does the ICT-based system function as a new medium of participation for sustainability?
. In The possibilities of ethical ICT, pp 33-36, University of Southern Denmark, Kolding, 2013.
-
ICT supported crisis communication and dialog
. In The possibilities of ethical ICT, pp 37-41, University of Southern Denmark, Kolding, 2013.
-
Research in Computer/Information Ethics: A Gender Gap Analysis and Consequences
. In Ambiguous Technologies: Philosophical Issues, Practical Solutions, Human Nature, Universidade Autonoma de Lisboa, Lisbon, 2013.
-
Social Influence on Cooperation and Coordination
. In ICT-ethics: Sweden and Japan, volume 15 of Studies in Applied Ethics, pp 24-30, LiU Tryck, Linköping, 2013.
-
Social Media Supporting Democratic Dialogue
. In Ambiguous Technologies: Philosophical Issues, Practical Solutions, Human Nature, pp 36-43, Autónoma University, Lisbon, 2013.
-
Performing Decision-Theoretic Inference in Bayesian Network Ensemble Models
. In Twelfth Scandinavian Conference on Artificial Intelligence, volume 257 of Frontiers in Artificial Intelligence and Applications, pp 25-34, 2013. (DOI
).
-
Cluster detection and field-of-view quality rating: Applied to automated Pap-smear analysis
. In Proc. 2nd International Conference on Pattern Recognition Applications and Methods, pp 355-364, SciTePress, 2013. (fulltext:postprint
).
-
Adjacent ordered multi-pushdown systems
. In Developments in Language Theory: DLT 2013, volume 7907 of Lecture Notes in Computer Science, pp 58-69, Springer Berlin/Heidelberg, 2013. (DOI
).
-
A comparison of iterative methods to solve complex valued linear algebraic systems
. Technical report / Department of Information Technology, Uppsala University nr 2013-005, 2013. (fulltext
).
-
A general approach to analyse preconditioners for two-by-two block matrices
. In Numerical Linear Algebra with Applications, volume 20, pp 723-742, 2013. (DOI
).
-
Numerical and computational efficiency of solvers for two-phase problems
. In Computers and Mathematics with Applications, volume 65, pp 301-314, 2013. (DOI
).
-
Response to Comment on "Preconditioning of matrices partitioned in 2×2 block form: Eigenvalue estimates and Schwarz DD for mixed FEM"
. In Numerical Linear Algebra with Applications, volume 20, pp 536-539, 2013. (DOI
, Fulltext
).
-
Grand challenge: Implementation by frequently emitting parallel windows and user-defined aggregate functions
. In Proc. 7th ACM International Conference on Distributed Event-Based Systems, pp 325-330, ACM Press, New York, 2013. (DOI
).
-
Combined Secure Storage and Communication for the Internet of Things
. In IEEE International Conference on Sensing, Communication and Networking (IEEE SECON), 2013.
-
Efficient sampling in event-driven algorithms for reaction-diffusion processes
. In Communications in Computational Physics, volume 13, pp 958-984, 2013. (DOI
).
-
Computational precision of traffic equilibria sensitivities in automatic network design and road pricing
. In Procedia - Social and Behavioral Sciences, volume 80, pp 41-60, 2013. (DOI
).
-
Computational precision of traffic equilibria sensitivities in automatic network design and road pricing
. In Transportation Research Part B: Methodological, volume 57, pp 485-500, 2013. (DOI
).
-
An Algorithm for Parallel Calculation of Trigonometric and Exponential Functions
. In ACM International Conference on Computing Frontiers, 2013.
-
On matrices, automata, and double counting in constraint programming
. In Constraints, volume 18, number 1, pp 108-140, 2013. (DOI
).
-
On the reification of global constraints
. In Constraints, volume 18, number 1, pp 1-6, 2013. (DOI
).
-
Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning
. In SEFM 2013, 11th Int. Conf. on Software Engineering and Formal Methods, volume 8137 of Lecture Notes in Computer Science, pp 274-288, Springer, 2013. (DOI
, External link
).
-
A Weight Sequence Distance Function
. In : Mathematical Morphology and Its Applications to Signal and Image Processing, volume 7883 of Lecture Notes in Computer Science, pp 292-301, Springer Berlin/Heidelberg, 2013. (DOI
).
-
Duality based boundary conditions and dual consistent finite difference discretizations of the Navier–Stokes and Euler equations
. Technical report / Department of Information Technology, Uppsala University nr 2013-013, 2013. (fulltext
).
-
Duality based boundary treatment for the Euler and Navier-Stokes equations
. In Proc. 21st AIAA CFD Conference, volume 2013-2959 of Conference Proceeding Series, AIAA, 2013. (DOI
).
-
On the impact of boundary conditions on dual consistent finite difference discretizations
. In Journal of Computational Physics, volume 236, pp 41-55, 2013. (DOI
).
-
Stable and High-Order Finite Difference Methods for Multiphysics Flow Problems
Stabila finita differensmetoder med hög noggrannhetsordning för multifysik- och flödesproblem
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1004, Acta Universitatis Upsaliensis, Uppsala, 2013. (fulltext
).
-
The Sino–Swedish Master Programme in Computer Science and Software Engineering: Chinese students' experiences
. In Collaborative Academic Programs as a Contribution to Developing Nations: FICAP-1 Proceedings, pp 37-45, BrownWalker Press, Boca Raton, Fl, USA, 2013. (External link
, fulltext:postprint
).
-
Improving the stochastic watershed
. In Pattern Recognition Letters, volume 34, number 9, pp 993-1000, 2013. (DOI
, fulltext:postprint
).
-
Deriving Probability Density Functions from Probabilistic Functional Programs
. In Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings, volume 7795 of Lecture Notes in Computer Science, pp 508-522, Springer Berlin/Heidelberg, Berlin/Heidelberg, 2013. (DOI
, fulltext:postprint
).
-
Dual B-spline Snake for Interactive Myocardial Segmentation
. In , 2013.
-
Flexible and High-Speed System-Level Performance Analysis using Hardware-Accelerated Simulation
. In , Design, Automation & Test in Europe (DATE), Grenoble, France, 2013. (fulltext:postprint
).
-
Resilience and Opportunistic Forwarding: Beyond Average Value Analysis
. In CHANTS '13 Proceedings of the 8th ACM MobiCom workshop on Challenged networks, 2013.
-
Fast denoising techniques for transverse relaxation time estimation in MRI
. In Proc. 21st European Signal Processing Conference, 2013. (PDF
).
-
Hot Packets: A systematic evaluation of the effect of temperature on low power wireless transceivers
. In Proc. 5th Extreme Conference on Communication, pp 7-12, ACM Press, New York, 2013.
-
ISMM 2013 - 11th International Symposium on Mathematical Morphology
. In IAPR Newsletter, volume 35, number 4, pp 15-16, 2013.
-
A Parametric Tool for Applied Process Calculi
. In 13th International Conference on Application of Concurrency to System Design (ACSD 2013), International Conference on Application of Concurrency to System Design, pp 180-185, IEEE Computer Society, 2013. (DOI
).
-
Measure transformer semantics for Bayesian machine learning
. In Logical Methods in Computer Science, volume 9, number 3, p 11, 2013. (DOI
, arXiv page
).
-
Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics
. Volume 120 of Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2013. (DOI
, Fulltext
).
-
RELEASE: A high-level paradigm for reliable large-scale server software
. In Trends in Functional Programming, volume 7829 of Lecture Notes in Computer Science, pp 263-278, Springer Berlin/Heidelberg, 2013. (DOI
).
-
A fast and reliable approach to cell nuclei segmentation in PAP stained cervical smears
. In CSI Transactions on ICT, Springer India, 2013. (DOI
, External link
).
-
Efficient GPU-based skyline computation
. In Proceedings of the Ninth International Workshop on Data Management on New Hardware (DaMoN @ SIGMOD), 2013. (DOI
, External link
).
-
Design of depth of anesthesia controllers in the presence of model uncertainty
. In Proc. 21st Mediterranean Conference on Control and Automation, pp 213-218, 2013. (DOI
).
-
Existing but not explicit: The user perspective in Scrum projects in practice
. In Human-Computer Interaction – INTERACT 2013: Part III, volume 8119 of Lecture Notes in Computer Science, pp 762-779, Springer Berlin/Heidelberg, 2013. (DOI
).
-
Computer science students’ perception of computer network security
. In Proc. 1st International Conference on Learning and Teaching in Computing and Engineering, pp 204-207, IEEE Computer Society, Los Alamitos, CA, 2013. (DOI
, fulltext:postprint
).
-
Towards adaptive zero-knowledge protocols: A case study with Fiat–Shamir identification protocol
. In Proc. 9th Swedish National Computer Networking Workshop, pp 67-70, 2013.
-
DIAMOND: AdvanceD data management and InformAtics for the optimuM operatiON anD control of WWTPs
. In 11th IWA conference on Instrumentation, Control and Automation, 2013.
-
Fault detection of sensors in aeration control systems: the airflow ratio method
. In 11th IWA conference on Instrumentation, Control and Automation, 2013.
-
Increasing the number of DO sensors for aeration control in wastewater treatment: how much is gained?
. In 11th IWA conference on Instrumentation, Control and Automation, 2013.
-
Instrumentation, Control and Automation in wastewater—from London 1973 to Narbonne 2013
. In 11th IWA conference on Instrumentation, Control and Automation, 2013.
-
Long-term evaluation of full-scale ammonium control in three large WWTPs
. In 11th IWA conference on Instrumentation, Control and Automation, 2013.
-
Parameter scheduling in ammonium feedback control
. In 11th IWA conference on Instrumentation, Control and Automation, 2013.
-
Fördjupat lärande genom aktiverande examination
. In 4:e Utvecklingskonferensen för Sveriges ingenjörsutbildningar, pp 51-54, 2013.
-
Shared Resource Sensitivity in Task-Based Runtime Systems
. In Proc. 6th Swedish Workshop on Multi-Core Computing, Halmstad University Press, 2013. (fulltext:postprint
).
-
Efficient inter-core power and thermal balancing for multicore processors
. In Computing, volume 95, number 7, pp 537-566, 2013. (DOI
).
-
Assume-guarantee reasoning for safe component behaviours
. In Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers, volume 7684 LNCS of Lecture Notes in Computer Science, pp 92-109, 2013. (DOI
).
-
An Algebraic Theory of Interface Automata
. University of Oxford, 2013. (External link
).
-
Systematic testing for detecting concurrency errors in Erlang programs
. In Proc. 6th International Conference on Software Testing, Verification and Validation, pp 154-163, IEEE Computer Society, 2013. (DOI
).
-
Bayesian Inference Using Data Flow Analysis
. In ESEC/FSE '13: Proceedings of the 9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp 92-102, ACM Press, New York, NY, USA, 2013. (DOI
).
-
Beyond the Geneva Convention on the Treatment of Object Aliasing
. In Aliasing in Object-Oriented Programming: Types, Analysis, and Verification, volume 7850 of Lecture Notes in Computer Science, pp 1-6, Springer Berlin/Heidelberg, 2013. (DOI
).
-
Ownership Types: A Survey
. In Aliasing in Object-Oriented Programming: Types, Analysis, and Verification, volume 7850 of Lecture Notes in Computer Science, pp 15-58, Springer Berlin/Heidelberg, 2013. (DOI
).
-
Struntar regeringen i rätten till personlig integritet?
. In Svenska Dagbladet, volume 1 nov., Stockholm, 2013. (External link
).
-
Ranking function synthesis for bit-vector relations
. In Formal methods in system design, volume 43, number 1, pp 93-120, 2013. (DOI
).
-
Spatio-Temporal Keyword Queries in Social Networks
. In 17th East-European Conference on Advances in Databases and Information Systems (ADBIS), pp 70-83, 2013. (DOI
, External link
).
-
Salience-Based Parabolic Structuring Functions
. In Mathematical Morphology and Its Applications to Signal and Image Processing, volume 7883 of Lecture Notes in Computer Science, pp 183-194, Springer Berlin/Heidelberg, 2013. (DOI
).
-
Using open-ended group projects in HCI courses
. In Challenges from the Future: Bridging the gaps through HCI education, University of Cape Town, South Africa, 2013.
-
System and method for data classification and efficient virtual cache coherence without reverse translation
. 2013.
-
Control of shallow water and sediment continuity coupled system
. In MCSS. Mathematics of Control, Signals and Systems, volume 25, pp 387-406, 2013. (DOI
).
-
The well-posedness of diffuse interface modeling of surfactants in two-phase fluid flow
. In Wetting and Evaporation: Droplets of Pure and Complex Fluids, pp 80-81, Aix-Marseille Université, France, 2013.
-
A new quantitative approach for estimating bone cell connections from nano-CT images
. In Engineering in Medicine and Biology Society (EMBC), 2013 35th Annual International Conference of the IEEE, pp 3694-3697, IEEE, 2013. (DOI
).
-
Let the Tree Bloom: Scalable Opportunistic Routing with ORPL
. In , 2013.
-
Boundary waves and stability of perfectly matched layers II: Extensions to first order systems and numerical stability
. In Proc. 11th International Conference on Mathematical and Numerical Aspects of Waves, pp 301-302, ENIT, Tunisia, 2013.
-
Stable and high order accurate difference methods for the elastic wave equation in discontinuous media
. In Proc. 11th International Conference on Mathematical and Numerical Aspects of Waves, pp 197-198, ENIT, Tunisia, 2013.
-
Analysing the enacted object of learning in lab assignments in programming education
. In Proc. 1st International Conference on Learning and Teaching in Computing and Engineering, pp 208-211, IEEE Computer Society, Los Alamitos, CA, 2013. (DOI
, fulltext:postprint
).
-
Bandwidth Bandit: Quantitative Characterization of Memory Contention
. In Proc. 11th International Symposium on Code Generation and Optimization: CGO 2013, pp 99-108, IEEE Computer Society, 2013. (DOI
).
-
An adaptive discontinuous Galerkin multiscale method for elliptic problems
. In Multiscale Modeling & simulation, volume 11, pp 747-765, 2013. (DOI
).
-
Convergence of a discontinuous Galerkin multiscale method
. In SIAM Journal on Numerical Analysis, volume 51, pp 3351-3372, 2013. (DOI
).
-
Discontinuous Galerkin multiscale methods for convection dominated problems
. Technical report / Department of Information Technology, Uppsala University nr 2013-011, 2013. (fulltext
).
-
On discontinuous Galerkin multiscale methods
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2013-003, Uppsala University, 2013. (fulltext
).
-
Scaffolding pedagogic excellence in higher education
. In Improving Student Learning through Research and Scholarship, pp 164-176, Oxford Brookes University, UK, 2013. (fulltext:print
).
-
On diffuse interface modeling and simulation of surfactants in two-phase fluid flow
. In Communications in Computational Physics, volume 14, pp 879-915, 2013. (DOI
).
-
Well-posedness and stability of exact non-reflecting boundary conditions
. In Proc. 21st AIAA CFD Conference, volume 2013-2960 of Conference Proceeding Series, AIAA, 2013. (DOI
).
-
Verbal reports and domain-specific knowledge: a comparison between collegial and retrospective verbalisation
. In Cognition, Technology & Work, volume 15, number 3, pp 239-254, Springer London, 2013. (DOI
).
-
Epithelial Cell Layer Segmentation UsingGraph-cut and Its Application in TesticularTissue
. In , 2013.
-
Epithelial Cell Segmentation in Histological Images of Testicular Tissue Using Graph-Cut
. In Image Analysis and Processing – ICIAP 2013: Part II, volume 8157 of Lecture Notes in Computer Science, pp 201-208, 2013. (DOI
).
-
Convergence of methods for coupling of microscopic and mesoscopic reaction-diffusion simulations
. Technical report / Department of Information Technology, Uppsala University nr 2013-010, 2013. (fulltext
).
-
Automatic airspace sectorisation: A survey
. Computing Research Repository nr 1311.0653, 2013. (External link
).
-
Stable calculation of Gaussian-based RBF-FD stencils
. In Computers and Mathematics with Applications, volume 65, pp 627-637, 2013. (DOI
).
-
Dynamic landscapes: A model of context and contingency in evolution
. In Journal of Theoretical Biology, volume 334, pp 162-172, 2013. (DOI
).
-
Generation of implied constraints for automaton-induced decompositions
. In Proc. 25th International Conference on Tools with Artificial Intelligence, pp 1076-1083, IEEE Computer Society, 2013. (DOI
).
-
Blind Color Decomposition of Histological Images
. In IEEE Transactions on Medical Imaging, volume 32, number 6, pp 983-994, 2013. (DOI
).
-
A socio-technical comparison of rail traffic control between GB and Sweden
. In Rail Human Factors: Supporting reliability, safety and cost reduction, pp 367-376, Taylor & Francis, London, 2013. (fulltext:preprint
).
-
A Model-Learner Pattern for Bayesian Reasoning
. In Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, volume 48 of ACM SIGPLAN NOTICES, pp 403-416, Association for Computing Machinery (ACM), New York, NY, 2013. (DOI
).
-
Adaptive fast multipole methods on the GPU
. In Journal of Supercomputing, volume 63, pp 897-918, 2013. (DOI
).
-
A Riemann problem at a junction of open canals
. In Journal of Hyperbolic Differential Equations, volume 10, pp 431-460, 2013. (DOI
).
-
A delayed feedback control for network of open canals
. In International Journal of Dynamics and Control, volume 1, pp 316-329, 2013. (DOI
).
-
Transcription factor binding kinetics constrain noise suppression via negative feedback
. In Nature Communications, volume 4, pp 1864:1-5, 2013. (DOI
).
-
Improving OCBP-based scheduling for mixed-criticality sporadic task systems
. In Proc. 19th International Conference on Embedded and Real-Time Computing Systems and Applications, IEEE Computer Society, 2013.
-
FIFO cache analysis for WCET estimation: A quantitative approach
. In Proc. 16th Conference on Design, Automation and Test in Europe, pp 296-301, IEEE, Piscataway, NJ, 2013. (DOI
).
-
Finitary Real-Time Calculus: Efficient Performance Analysis of Distributed Embedded Systems
. In Proc. Real-Time Systems Symposium: RTSS 2013, IEEE Computer Society, 2013.
-
New Techniques for Building Timing-Predictable Embedded Systems
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1094, Acta Universitatis Upsaliensis, Uppsala, 2013. (fulltext
, preview image
).
-
Time-Dependent Problems and Difference Methods
. John Wiley & Sons, Hoboken, NJ, 2013. (DOI
).
-
Characteristic cut finite element methods for convection-diffusion problems on time dependent surfaces
. Technical report / Department of Information Technology, Uppsala University nr 2013-004, 2013. (fulltext
).
-
Optimising quality of information in data collection for mobile sensor networks
. In Proc. 21st International Symposium on Quality of Service, pp 163-172, IEEE Communications Society, 2013. (DOI
, Fulltext
).
-
Optimal RANSAC - Towards a Repeatable Algorithm for Finding the Optimal Set
. In Journal of WSCG, volume 21, number 1, pp 21-30, 2013.
-
Rotation Invariant Feature Matching - Based on Gaussian Filtered Log Polar Transform and Phase Correlation.
. In 8th International Symposium on Image and Signal Processing and Analysis: (ISPA 2013), pp 1-6, 2013.
-
Shortest Diagonal Triangulation of Convex Layers
. In The IASTED International Conference on Signal Processing, Pattern Recognition and Applications., pp 1-7, 2013.
-
UCHPC 2012: Fifth Workshop on UnConventional High Performance Computing
. In Euro-Par 2012: Parallel Processing Workshops, volume 7640 of Lecture Notes in Computer Science, pp 505-506, Springer Berlin/Heidelberg, 2013. (DOI
).
-
Constraints for Membership in Formal Languages under Systematic Search and Stochastic Local Search
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1027, Acta Universitatis Upsaliensis, Uppsala, 2013. (fulltext
).
-
Solving string constraints: The case for constraint programming
. In Principles and Practice of Constraint Programming: CP 2013, volume 8124 of Lecture Notes in Computer Science, pp 381-397, Springer Berlin/Heidelberg, 2013. (DOI
).
-
Underestimating the cost of a soft constraint is dangerous: Revisiting the edit-distance based soft regular constraint
. In Journal of Heuristics, volume 19, number 5, pp 729-756, 2013. (DOI
).
-
Parallel implementation of the Sherman–Morrison matrix inverse algorithm
. In Applied Parallel and Scientific Computing, volume 7782 of Lecture Notes in Computer Science, pp 206-219, Springer-Verlag, Berlin, 2013. (DOI
).
-
Droplet: A New Denial-of-Service Attack on Low Power Wireless Sensor Networks
. In , 2013.
-
Single molecule simulations in complex geometries with embedded dynamic one-dimensional structures
. Technical report / Department of Information Technology, Uppsala University nr 2013-009, 2013. (fulltext
).
-
Single molecule simulations in complex geometries with embedded dynamic one-dimensional structures
. In Journal of Chemical Physics, volume 139, pp 014103:1-11, 2013. (DOI
).
-
Stochastic Simulation of Reaction-Diffusion Processes
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1042, Acta Universitatis Upsaliensis, Uppsala, 2013. (fulltext
).
-
Oversampling for the multiscale finite element method
. In Multiscale Modeling & simulation, volume 11, pp 1149-1175, 2013. (DOI
).
-
SoNIC: Classifying interference in 802.15.4 sensor networks
. In Proc. 12th International Conference on Information Processing in Sensor Networks, pp 55-66, ACM Press, New York, 2013. (DOI
).
-
Towards TCP Communication with the Low Power Wireless Bus
. In , ACM SenSys, ACM, 2013. (DOI
, External link
).
-
Laguerre Domain Identification of the Elementary Motion Detector Model in Insect Vision
. In Adaptation and Learning in Control and Signal Processing, pp 623-628, International Federation of Automatic Control, 2013. (DOI
).
-
On identification of elementary motion detectors
. In Computational Models for Life Sciences: CMLS 2013, volume 1559 of AIP Conference Proceedings, pp 14-23, American Institute of Physics (AIP), Melville, NY, 2013. (DOI
).
-
Scientific computing on hybrid architectures
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2013-002, Uppsala University, 2013. (fulltext
).
-
Skitracker: Measuring skiing performance using a body-area network
. In Proc. 12th International Conference on Information Processing in Sensor Networks, pp 319-320, ACM Press, New York, 2013. (DOI
).
-
Empowerment or anxiety?: Research on deployment of online medical e-health services in Sweden
. In Bulletin of the American Society for Information Science and Technology, volume 39, number 5, pp 30-33, 2013. (DOI
).
-
Experiences and attitudes of patients reading their medical records: Differences between readers and recurrent readers
. In Information: Interactions and Impact (i<sup>3</sup>) 2013, Robert Gordon University, Aberdeen, UK, 2013.
-
System identification in a networked environment using second order statistical properties
. In Automatica, volume 49, number 2, pp 652-659, 2013. (DOI
).
-
Automated quantification of Zebrafish tail deformation for high-throughput drug screening
. In Proc. 10th International Symposium on Biomedical Imaging: From Nano to Macro, pp 902-905, IEEE, Piscataway, NJ, 2013. (DOI
).
-
Image-based screening of zebrafish
. In , 2013.
-
Light Tomography
. In , 2013.
-
Analysis of nuclei textures of fine needle aspirated cytology images for breast cancer diagnosis using complex Daubechies wavelets
. In Signal Processing, volume 93, number 10, pp 2828-2837, 2013. (DOI
).
-
Automated classification of immunostaining patterns in breast tissue from the Human Protein Atlas
. In Journal of Pathology Informatics, volume 4, number 14, 2013. (DOI
, External link
).
-
Color deconvolution method for breast tissue core biopsy images cell nuclei detection and analysis using multiresolution techniques
. In International Journal of Imaging and Robotics, volume 9, number 1, pp 61-72, 2013.
-
Comparing wireless flooding protocols using trace-based simulations
. In EURASIP Journal on Wireless Communications and Networking, pp 169:1-15, 2013. (DOI
, Fulltext
, fulltext:print
).
-
Evolving Systems – Engaged Users: Key Principles for Improving Region-wide Health IT Adoption
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1030, Acta Universitatis Upsaliensis, Uppsala, 2013. (fulltext
).
-
Interpretation of the Concepts of Enterprise-wide and Best of Breed IT within the New Zealand eHealth Community
. In Health Care and Informatics Review Online, volume 17, number 1, pp 11-17, 2013.
-
Secondary Users Interpretations on Key Concerns for Achieving an Effective and Efficient Region-wide Electronic Patient Record Usage
. In The 21st European Conference on Information Systems (ECIS 2013), AIS Electronic Library, 2013.
-
Collegial collaboration for safety: Assessing situation awareness by exploring cognitive strategies
. In Past History and Future Challenges of Human Work Interaction Design (HWID): Generating Cross-domain Knowledge about Connecting Work Analysis and Interaction Design, Workshop Proceedings Series of the INTERACT 2013 Conference, pp 35-40, 2013. (fulltext:print
).
-
En resa genom tänkandets labyrinter
. In Uppsala Nya Tidning, volume 02/04, Uppsala, 2013. (External link
).
-
Recognizing complexity: A prerequisite for skilled intuitive judgments and dynamic decisions
. In SPUDM24: Subjective Probability, Utility, and Decision Making, p 194, 2013. (Conference website
, fulltext:postprint
).
-
Non-parametric analysis of eye-tracking data by anomaly detection
. In Proc. 12th European Control Conference, pp 632-637, IEEE, 2013.
-
Parametric and non-parametric stochastic anomaly detection in analysis of eye-tracking data
. In Proc. 52nd Conference on Decision and Control, pp 2532-2537, IEEE, Piscataway, NJ, 2013. (DOI
).
-
Stochastic anomaly detection in eye-tracking data for quantification of motor symptoms in Parkinson's disease
. In International Symposium on Computational Models for Life Sciences: CMLS 2013, volume 1559 of AIP Conference Proceedings, pp 98-107, American Institute of Physics (AIP), Melville, NY, 2013. (DOI
).
-
Visual stimulus design in parameter estimation of the human smooth pursuit system from eye-tracking data
. In Proc. American Control Conference: ACC 2013, pp 887-892, American Automatic Control Council, 2013. (DOI
).
-
Finite element convergence for the Joule heating problem with mixed boundary conditions
. In BIT Numerical Mathematics, volume 53, pp 475-496, 2013. (DOI
).
-
Dynamic and speculative polyhedral parallelization of loop nests using binary code patterns
. In ICCS 2013, volume 18 of Procedia Computer Science, pp 2575-2578, 2013. (DOI
, fulltext:postprint
).
-
Online dynamic dependence analysis for speculative polyhedral parallelization
. In Euro-Par 2013 Parallel Processing, volume 8097 of Lecture Notes in Computer Science, pp 191-202, Springer Berlin/Heidelberg, 2013. (DOI
, fulltext:postprint
).
-
Swelling of cellulose fibres in composite materials: Constraint effects of the surrounding matrix
. In Composites Science And Technology, volume 74, pp 52-59, 2013. (DOI
).
-
Detecting multiple aliases in social media
. In Proc. 5th International Conference on Advances in Social Networks Analysis and Mining, pp 1004-1011, ACM Press, New York, 2013. (DOI
).
-
Airspace sectorisation using constraint-based local search
. In Proc. 10th USA/Europe Air Traffic Management Research and Development Seminar, Federal Aviation Administration, 2013. (fulltext:postprint
).
-
A quadratic extended edge-finding filtering algorithm for cumulative resource constraints
. In International Journal of Planning and Scheduling, volume 1, number 4, pp 264-284, 2013. (DOI
).
-
Angle of arrival localization in LTE using MIMO pre-coder index feedback
. In IEEE Communications Letters, volume 17, number 8, pp 1584-1587, 2013. (DOI
).
-
Can machines make ethical decisions?
. In Artificial Intelligence Applications and Innovations, volume 412 of IFIP Advances in Information and Communication Technology, pp 693-699, Springer Berlin/Heidelberg, 2013. (DOI
).
-
How to handle issues of security and privacy
. In ICT-ethics: Sweden and Japan, volume 15 of Studies in Applied Ethics, pp 54-60, LiU Tryck, Linköping, 2013.
-
IT security and sustainability
. In ICT for Sustainability: Sustainability, Social Accountability and Computing, ETH, Zurich, 2013. (External link
).
-
Methods for IT security and privacy
. In ICT, society and human beings, pp 155-158, IADIS Press, Prague, 2013.
-
Philosophizing as a usability method
. In Ambiguous Technologies: Philosophical Issues, Practical Solutions, Human Nature, pp 194-201, The International Society of Ethics and Information Technology, Lisbon, 2013. (External link
).
-
Tools and methods for security: Stimulating the skill to philosophize
. In European Intelligence and Security Informatics Conference: 2013, pp 163-165, IEEE Computer Society, 2013. (DOI
).
-
A New Perspective for Efficient Virtual-Cache Coherence
. In Proceedings of the 40th Annual International Symposium on Computer Architecture, pp 535-546, 2013. (DOI
).
-
In situ sequencing for RNA analysis in preserved tissue and cells
. In Nature Methods, volume 10, number 9, pp 857-860, 2013. (DOI
).
-
Large-Scale Analysis of Live Cells
. In , Lund University, 2013. (fulltext:print
).
-
Shape and volume of craniofacial cavities in intentional skull deformations
. In American Journal of Physical Anthropology, volume 151, number 1, pp 110-119, 2013. (DOI
).
-
Accelerated convergence for Schrödinger equations with non-smooth potentials
. Technical report / Department of Information Technology, Uppsala University nr 2013-007, 2013. (fulltext
).
-
Coupling of Gaussian beam and finite difference solvers for semiclassical Schrödinger equations
. Technical report / Department of Information Technology, Uppsala University nr 2013-019, 2013. (fulltext
).
-
Numerical Quantum Dynamics
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2013-005, Uppsala University, 2013. (fulltext
).
-
On the scalability of the Erlang term storage
. In Proc. 12th ACM SIGPLAN Workshop on Erlang, pp 15-26, ACM Press, New York, 2013. (DOI
).
-
A Galerkin radial basis function method for the Schrödinger equation
. In SIAM Journal on Scientific Computing, volume 35, pp A2832-A2855, 2013. (DOI
).
-
Towards Power Efficiency on Task-Based, Decoupled Access-Execute Models
. In PARMA 2013, 4th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures, 2013. (Conference website
, fulltext:postprint
).
-
Towards more efficient execution: a decoupled access-execute approach
. In Proc. 27th ACM International Conference on Supercomputing, pp 253-262, ACM Press, New York, 2013. (DOI
, fulltext:print
).
-
Femtosecond pump-probe spectroscopy for single trapped molecular ions
. In Proc. 18th International Conference on Ultrafast Phenomena, volume 41 of EPJ Web of Conferences, pp 02028:1-3, EDP Sciences, 2013. (DOI
).
-
Errors-in-variables identification using covariance matching and structural equation modeling
. In Proc. 52nd Conference on Decision and Control, pp 5852-5857, IEEE, Piscataway, NJ, 2013. (DOI
).
-
Boundary waves and stability of perfectly matched layers I
. In Proc. 11th International Conference on Mathematical and Numerical Aspects of Waves, pp 299-300, ENIT, Tunisia, 2013.
-
Discrete stability of perfectly matched layers for anisotropic wave equations in first and second order formulation
. In BIT Numerical Mathematics, volume 53, pp 641-663, 2013. (DOI
).
-
Evaluation of noise robustness for local binary pattern descriptors in texture classification
. In EURASIP Journal on Image and Video Processing, number 17, Springer, 2013. (DOI
, Fulltext
, fulltext:print
).
-
Democracy, human fallibility and ICT
. In The possibilities of ethical ICT, pp 295-301, University of Southern Denmark, Kolding, 2013.
-
A Symbolic Approach to the Analysis of Multi-Formalism Markov Reward Models
. In Theory and Application of Multi-Formalism Modeling, IGI Global, Pennsylvania, 2013. (External link
).
-
Component-based system design: analytic real-time interfaces for state-based component implementations
. In International Journal on Software Tools for Technology Transfer, volume 15, number 3, pp 155-170, Springer Berlin/Heidelberg, 2013. (DOI
).
-
With Real-time Performance Analysis and Monitoring to Timing Predictable Use of Multi-core Architectures
. In Runtime Verification, volume 8174 of Lecture Notes in Computer Science, pp 400-402, Springer Berlin/Heidelberg, 2013.
-
Brain pathology after mild traumatic brain injury: An exploratory study by repeated magnetic resonance examination
. In Journal of Rehabilitation Medicine, volume 45, number 8, pp 721-728, 2013. (DOI
, Fulltext
).
-
A variational multiscale method for Poisson's equation in mixed form
. In Numerical Mathematics and Advanced Applications: 2011, pp 713-721, Springer-Verlag, Berlin, 2013. (DOI
).
-
Gender-aware course reform in Scientific Computing
. In International journal of engineering education, volume 29, number 2, pp 403-414, 2013.
-
Radial basis function methods in computational finance
. In Proc. 13th International Conference on Computational and Mathematical Methods in Science and Engineering: Volume III, pp 895-906, Universidad de Almería, Spain, 2013.
-
Skors skönhet ur en matematikers perspektiv
. In Skor är huvudsaken: Sjutton kvinnliga forskares funderingar om skor, pp 30-31, Uppsala universitet, 2013.
-
Stable computation of differentiation matrices and scattered node stencils based on Gaussian radial basis functions
. In SIAM Journal on Scientific Computing, volume 35, pp A2096-A2119, 2013. (DOI
).
-
Uplink load based scheduling for CDMA systems
. In IEEE Communications Letters, volume 17, number 11, pp 2136-2139, 2013. (DOI
).
-
Preface: e-Science Applications and Tools
. In Future Generation Computer Systems, volume 29, number 8, pp 2115-2116, 2013. (DOI
).
-
Perceived 3D metric (or Euclidean) shape is merely ambiguous, not systematically distorted
. In Experimental Brain Research, volume 224, number 4, pp 551-555, 2013. (DOI
).
-
Coverage segmentation of thin structures by linear unmixing and local centre of gravity attraction
. In Proc. 8th International Symposium on Image and Signal Processing and Analysis, pp 83-88, IEEE Signal Processing Society, 2013. (DOI
).
-
Förstudierapport: Införande av verksamhetsstödjande IT-system. Problem, effekter och nytta
. Technical report / Department of Information Technology, Uppsala University nr 2013-024, 2013. (fulltext
).
-
Mind the gap: Towards a framework for analysing the deployment of IT systems from a sociotechnical perspective
. In Past History and Future Challenges of Human Work Interaction Design: Generating Cross-domain Knowledge about Connecting Work Analysis and Interaction Design, pp 28-33, University of Cape Town, South Africa, 2013.
-
A Skiplist-based Concurrent Priority Queue with Minimal Memory Contention
. In OPODIS 2013: 17th International Conference On Principles Of DIstributed Systems, volume 8304 of Lecture Notes in Computer Science, pp 206-220, Springer Berlin/Heidelberg, Berlin, 2013. (DOI
, External link
).
-
Interactive visual simulation for photovoltaic design and planning in the built environment
. In , 2013.
-
A cellular-centric service architecture for machine-to-machine (M2M) communications
. In IEEE wireless communications, volume 20, number 5, pp 143-151, IEEE Communications Society, 2013. (DOI
).
-
Identifying all individuals in a honeybee hive: progress towards mapping all social interactions
. In , 2013.
-
Mathematical Morphology and Its Applications to Signal and Image Processing: 11th International Symposium, ISMM 2013; Uppsala, Sweden, May 2013; Proceedings
. Volume 7883 of Lecture Notes in Computer Science, Springer, Berlin Heidelberg, 2013. (DOI
).
-
A priori power estimation of linear solvers on multi-core processors
. Technical report / Department of Information Technology, Uppsala University nr 2013-020, 2013. (fulltext
).
-
Suggesting a method to increase student activity and cultural awareness by inclusion of ethnographical elements in HCI education
. In Challenges from the Future: Bridging the gaps through HCI education, University of Cape Town, South Africa, 2013.
-
Using the intranet as a leadership strategy... and moving on
. In Abstracts. Arbetslivets föränderlighet: Individ-, Organisations- och Metodperspektiv, Stockholm, 2013.
-
Network-Wide Sensornet Checkpointing Made Practical
. In 10th European Conference on Wireless Sensor Networks, 2013.
-
Factors Enabling Information Propagation in a Social Network Site
. In The Influence of Technology on Social Network Analysis and Mining, pp 411-426, Springer Vienna, 2013. (DOI
, External link
).
-
Formation of multiple networks
. In Social Computing, Behavioral-Cultural Modeling and Prediction, pp 257-264, Springer Berlin Heidelberg, 2013. (DOI
, External link
).
-
From stars to galaxies: skyline queries on aggregate data
. In Proceedings of the 16th International Conference on Extending Database Technology, pp 477-488, 2013. (DOI
, External link
).
-
On multidimensional network measures
. In Italian Conference on Sistemi Evoluti per le Basi di Dati (SEBD), 2013.
-
Pareto Distance for Multi-layer Network Analysis
. In Social Computing, Behavioral-Cultural Modeling and Prediction, volume 7812 of Lecture Notes in Computer Science, pp 249-256, 2013. (DOI
, External link
).
-
SkyView: a user evaluation of the skyline operator
. In Proceedings of the ACM Conference on Information and Knowledge Management (CIKM), pp 2249-2254, 2013. (DOI
, External link
).
-
Debris removal in Pap-smear images
. In Computer Methods and Programs in Biomedicine, volume 111, number 1, pp 128-138, 2013. (DOI
, Fulltext
).
-
Image Analysis in Support of Computer-Assisted Cervical Cancer Screening
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1106, Acta Universitatis Upsaliensis, Uppsala, 2013. (fulltext
, preview image
).
-
Multi-resolution Cervical Cell Dataset
. External report (Blue series) nr 37, Centre for Image Analysis, Swedish University of Agricultural Sciences, Uppsala, Sweden, 2013. (fulltext
).
-
Faster Fuzzy Connectedness via Precomputation
. In Mathematical Morphology and Its Applications to Signal and Image Processing, volume 7883 of Lecture Notes in Computer Science, pp 476-483, Springer, 2013.
-
Quantification of the multiplicative uncertainty in the linearized minimally parameterized parsimonious Wiener model for the neuromuscular blockade in closed-loop anesthesia
. In Proc. 21st Mediterranean Conference on Control and Automation, pp 703-708, IEEE, Piscataway, NJ, 2013. (DOI
).
-
A solution to the stability issues with block norm summation by parts operators
. In Journal of Computational Physics, volume 253, pp 418-442, 2013. (DOI
).
-
Optimal diagonal-norm SBP operators
. Technical report / Department of Information Technology, Uppsala University nr 2013-016, 2013. (fulltext
).
-
Stable and accurate wave simulations in complex geometries and discontinuous media
. In Proc. 11th International Conference on Mathematical and Numerical Aspects of Waves, pp 201-202, ENIT, Tunisia, 2013.
-
Modeling of testosterone regulation by pulse-modulated feedback: An experimental data study
. In International Symposium on Computational Models for Life Sciences: CMLS 2013, volume 1559 of AIP Conference Proceedings, pp 333-342, American Institute of Physics (AIP), Melville, NY, 2013. (DOI
).
-
State estimation in linear time-invariant systems with unknown impulsive inputs
. In Proc. 12th European Control Conference, pp 1675-1680, IEEE, 2013.
-
Can first-year students program yet?: a study revisited
. In Proc. 9th International Computing Education Research Conference, pp 91-98, ACM Press, New York, 2013. (DOI
).
-
Contemplations on results from investigating the personal epistemology of computing students
. In Proc. 43rd ASEE/IEEE Frontiers in Education Conference, pp 825-831, IEEE, Piscataway, NJ, 2013. (DOI
).
-
Investigation into the personal epistemology of Computer Science students
. In Proc. 18th Conference on Innovation and Technology in Computer Science Education, pp 231-236, ACM Press, New York, 2013. (DOI
).
-
Stochastic diffusion processes on Cartesian meshes
. Technical report / Department of Information Technology, Uppsala University nr 2013-022, 2013. (fulltext
).
-
Supporting cyber-physical systems with wireless sensor networks: An outlook of software and services
. In Journal of the Indian Institute of Science, volume 93, number 3, pp 463-486, 2013.
-
A parametric propagator for discretely convex pairs of sum constraints
. In Principles and Practice of Constraint Programming: CP 2013, volume 8124 of Lecture Notes in Computer Science, pp 529-544, Springer Berlin/Heidelberg, 2013. (DOI
).
-
Des propagateurs indépendants des solveurs
. In Actes des Neuvièmes Journées Francophones de Programmation par Contraintes, pp 227-236, Aix-Marseille Université, France, 2013.
-
Electronically-switched Directional Antennas for Wireless Sensor Networks: A Full-stack Evaluation
. In IEEE SECON, 2013.
-
Executable modelling of dynamic software product lines in the ABS language
. In Proc. 5th International Workshop on Feature-Oriented Software Development, pp 17-24, ACM Press, New York, 2013. (DOI
, fulltext:postprint
).
-
Numerical upscaling of eigenvalue problems
. In Numerical Upscaling for Media with Deterministic and Stochastic Heterogeneity, volume 10 of Oberwolfach Reports, pp 402-404, EMS Publishing House, Zürich, Switzerland, 2013. (DOI
).
-
Majorization-minimization technique for multi-static radar code design
. In , 2013.
-
Radar code optimization for moving target detection
. In , 2013.
-
Unified Optimization Framework for Multi-Static Radar Code Design using Information-Theoretic Criteria
. In IEEE Transactions on Signal Processing, volume 61, number 21, pp 5401-5416, 2013. (DOI
).
-
MAPfastR: Quantitative trait loci mapping in outbred line crosses
. In G3: Genes, Genomes, Genetics, volume 3, pp 2147-2149, 2013. (DOI
, Fulltext
).
-
Breakdown of methods for phasing and imputation in the presence of double genotype sharing
. In PLOS ONE, volume 8, pp e60354:1-5, 2013. (DOI
, fulltext:print
).
-
Fast and accurate detection of multiple quantitative trait loci
. In Journal of Computational Biology, volume 20, pp 687-702, 2013. (DOI
).
-
Multi-Mode Monitoring for Mixed-Criticality Real-time Systems
. In Proc. 11th International Conference on Hardware/Software Codesign and System Synthesis, ACM Press, New York, 2013.
-
On providing location privacy for mobile sinks in wireless sensor networks
. In Wireless networks, volume 19, number 1, pp 115-130, 2013. (DOI
).
-
Cooperative localization by dual foot-mounted inertial sensors and inter-agent ranging
. In EURASIP Journal on Advances in Signal Processing, volume 2013, pp 164:1-17, 2013. (DOI
).
-
Kinematic, kinetic and electromyographic adaptation to speed and resistance in double poling cross country skiing
. In European Journal of Applied Physiology, volume 113, number 6, pp 1385-1394, 2013. (DOI
).
-
A New Algorithm for Computing Riemannian Geodesic Distance in Rectangular 2-D and 3-D Grids
. In International journal on artificial intelligence tools, volume 22, number 6, p 1360020, World Scientific, 2013. (DOI
).
-
High order stable finite difference methods for the Schrödinger equation
. In Journal of Scientific Computing, volume 55, pp 173-199, 2013. (DOI
).
-
On Packet Size and Error Correction Optimisations in Low-Power Wireless Networks
. In IEEE International Conference on Sensing, Communication and Networking (IEEE SECON), 2013.
-
Intracranial volume estimated with commonly used methods could introduce bias in studies including brain volume measurements
. In NeuroImage, volume 83, pp 355-360, 2013. (DOI
).
-
Conjugate heat transfer for the unsteady compressible Navier–Stokes equations using a multi-block coupling
. In Computers & Fluids, volume 72, pp 20-29, 2013. (DOI
).
-
Parameter estimation from wave propagation tests on a tube perforated by helical slots
. In Mechanical systems and signal processing, volume 40, number 1, pp 385-399, 2013. (DOI
).
-
Digital Distances and Integer Sequences
. In Lecture Notes in Computer Science, pp 169-179, 2013.
-
Minimal-delay distance transform for neighborhood-sequence distances in 2D and 3D
. In Computer Vision and Image Understanding, volume 117, number 4, pp 409-417, 2013. (DOI
).
-
Novice students' perception of learning in small groups
. In Enhancement and Innovation in Higher Education conference: 11 - 13 June 2013: conference materials, pp 123-131, 2013. (Post-conference publication
).
-
Professional communication skills for engineering professionals
. In Proc. 43rd ASEE/IEEE Frontiers in Education Conference, pp 257-263, IEEE, Piscataway, NJ, 2013. (DOI
).
-
Using Competencies to Structure Scientific Writing Education
. In HDI 2012 – Informatik für eine nachhaltige Zukunft, volume 5 of Commentarii informaticae didacticae (CID), pp 33-44, Universitätsverlag Potsdam, Potsdam, 2013. (External link
).
-
Precise 3D Angle Measurements in CT Wrist Images
. In Image Analysis and Processing – ICIAP 2013: Part II, volume 8157 of Lecture Notes in Computer Science, pp 479-488, Springer Berlin/Heidelberg, 2013. (DOI
).
-
Challenges from the Future: Bridging the Gaps through HCI Education
. In Human-Computer Interaction – INTERACT 2013: Part IV, volume 8120 of Lecture Notes in Computer Science, pp 779-779, Springer Berlin/Heidelberg, 2013.
-
A haptics-assisted cranio-maxillofacial surgery planning system for restoring skeletal anatomy in complex trauma cases
. In International Journal of Computer Assisted Radiology and Surgery, volume 8, number 6, pp 887-894, 2013. (DOI
, fulltext:print
).
-
Snap-to-fit, a Haptic 6 DOF Alignment Tool for Virtual Assembly
. In Proc. World Haptics (WHC), 2013 IEEE, pp 205-210, 2013. (DOI
).
-
SplineGrip - An Eight Degrees-of-Freedom Flexible Haptic Sculpting Tool
. In ACM SIGGRAPH 2013 Posters, 2013. (DOI
).
-
Adaptive filtering for enhancement of the osteocyte cell network in 3D microtomography images
. In IRBM, volume 34, number 1-SI, pp 48-52, 2013. (DOI
).
-
High-throughput hyperdimensional vertebrate phenotyping
. In Nature Communications, volume 4, p 1467, 2013. (DOI
).
-
Movement on Uneven Surfaces Displays Characteristic Features of Hop Diffusion
. In Biophysical Journal, volume 104, number 2, pp 524A-524A, 2013. (DOI
).
-
Secure compilation of Object-Oriented components to protected module architectures
. In Programming Languages and Systems, volume 8301 of Lecture Notes in Computer Science, pp 176-191, Springer Berlin/Heidelberg, 2013. (fulltext:postprint
).
-
It's not your father computing: Social and ethical issues of cloud computing
. In ICT for sustainability: Sustainability, Social accountability, and Computing, ETH Zurich, Zurich, 2013. (External link
).
-
Slow tech: Towards good, clean and fair ICT
. In The possibilities of ethical ICT, pp 384-390, University of Southern Denmark, Kolding, 2013.
-
The brave new world of socio-technical systems: Cloud computing
. In The possibilities of ethical ICT, pp 377-383, University of Southern Denmark, Kolding, 2013.
-
Self-calibrating total-mass controller for the neuromuscular blockade matching the anesthesiologists´ mindset
. In Proc. 21st Mediterranean Conference on Control and Automation, pp 723-728, 2013. (DOI
).
-
What is feedback?: Connecting student perceptions to assessment practices
. In Proc. 1st International Conference on Learning and Teaching in Computing and Engineering, pp 106-113, IEEE Computer Society, Los Alamitos, CA, 2013. (DOI
).
-
An adaptive compression algorithm in a deterministic world
. In Algorithmic Probability and Friends: Bayesian Prediction and Artificial Intelligence, volume 7070 of Lecture Notes in Computer Science, pp 299-305, Springer Berlin/Heidelberg, 2013. (DOI
).
-
Randomized gossip algorithms for achieving consensus on the majority vote
. In Proc. 11th IFAC International Workshop on Adaptation and Learning in Control and Signal Processing, 2013. (fulltext:print
).
-
Engagement in Computer Science and IT — What!: A matter of identity?
. In Proc. 1st International Conference on Learning and Teaching in Computing and Engineering, pp 114-121, IEEE Computer Society, Los Alamitos, CA, 2013. (DOI
, fulltext:postprint
).
-
Identity development of CS and IT students: What's the role of higher education?
. In Proc. 9th International Computing Education Research Conference, pp 187-188, ACM Press, New York, 2013. (DOI
).
-
Spectrum-preserving two-scale decompositions with applications to numerical homogenization and eigensolvers
. In Interplay of Theory and Numerics for Deterministic and Stochastic Homogenization, volume 10 of Oberwolfach Reports, pp 850-853, EMS Publishing House, Zürich, Switzerland, 2013. (DOI
).
-
An intrusive hybrid method for discontinuous two-phase flow under uncertainty
. In Computers & Fluids, volume 86, pp 228-239, 2013. (DOI
).
-
On stability and monotonicity requirements of finite difference approximations of stochastic conservation laws with random viscosity
. In Computer Methods in Applied Mechanics and Engineering, volume 258, pp 134-151, 2013. (DOI
).
-
Uncertainty Quantification and Numerical Methods for Conservation Laws
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1008, Acta Universitatis Upsaliensis, Uppsala, 2013. (fulltext
).
-
Viewing and analyzing slide scanner data using CellProfiler (work in progress)
. In European BioImage Analysis Symposium 2013, p 58, 2013.
-
Lithe: Lightweight Secure CoAP for the Internet of Things
. In IEEE Sensors Journal, volume 13, number 10, pp 3711-3720, 2013. (DOI
).
-
SVELTE: Real-time Intrusion Detection in the Internet of Things
. In Ad hoc networks, volume 11, number 8, pp 2661-2674, 2013. (DOI
).
-
Service support system modelling language for simulation-driven development of functional products
. In Procedia CIRP, volume 11, pp 420-424, 2013. (DOI
).
-
Transformations in Research, Higher Education and the Academic Market: The Breakdown of Scientific Thought
. Springer Science+Business Media B.V., Dordrecht, 2013.
-
Evaluating Battery Models in Wireless Sensor Networks
. In Wired/Wireless Internet Communication, volume 7889 of Lecture Notes in Computer Science, pp 29-42, Springer Berlin/Heidelberg, 2013. (DOI
).
-
Efficient parallel implementation of state estimation algorithms on multicore platforms
. In IEEE Transactions on Control Systems Technology, volume 21, number 1, pp 107-120, 2013. (DOI
).
-
Non-parametric anomaly detection in trajectorial data
. 2013.
-
Parallelization of stochastic estimation algorithms on multicore computational platforms
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2013-001, Uppsala University, 2013. (fulltext
).
-
Parallelization of the Kalman filter on multicore computational platforms
. In Control Engineering Practice, volume 21, number 9, pp 1188-1194, 2013. (DOI
).
-
Sparse iterative adaptive approach with application to source localization
. In Proceedings of the Fifth IEEE International Workshop on Computational Advances in Multi-Sensor Adaptive Processing, 2013.
-
Joint estimation of non-coherent returns for MIMO radar
. In Proc. 47th Asilomar Conference on Signals, Systems and Computers, IEEE, Piscataway, NJ, 2013.
-
Robust adaptive beamforming for MIMO monopulse radar
. In , 2013.
-
Bisphenol A exposure increases liver fat in juvenile fructose-fed Fischer 344 rats
. In Toxicology, volume 303, number 1, pp 125-132, 2013. (DOI
).
-
Quantification of total and visceral adipose tissue in fructose-fed rats using water-fat separated single echo MRI
. In Obesity, volume 21, number 9, pp E388-E395, 2013. (DOI
).
-
Classifying and Solving Horn Clauses for Verification
. In Fifth Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE), 2013.
-
Disjunctive Interpolants for Horn-Clause Verification
. In Computer Aided Verification: CAV 2013, volume 8044 of Lecture Notes in Computer Science, pp 347-363, Springer Berlin/Heidelberg, 2013. (DOI
).
-
Exploring Interpolants
. In Formal Methods in Computer-Aided Design (FMCAD), 2013.
-
A radial basis function partition of unity collocation method for convection-diffusion equations
. Technical report / Department of Information Technology, Uppsala University nr 2013-023, 2013. (fulltext
).
-
Precise explanation of success typing errors
. In Proc. ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, pp 33-42, ACM Press, New York, 2013. (DOI
).
-
Iterative methods for pricing American options under the Bates model
. In Procedia Computer Science, volume 18, pp 1136-1144, 2013. (DOI
).
-
Modeling performance variation due to cache sharing
. In Proc. 19th IEEE International Symposium on High Performance Computer Architecture, pp 155-166, IEEE Computer Society, 2013. (DOI
, fulltext:postprint
).
-
Checklista för god arbetsmiljö vid datorstött arbete
. Technical report / Department of Information Technology, Uppsala University nr 2013-027, 2013. (fulltext
).
-
Introducing a novel analysis technique for osseointegrated dental implants retrieved 29 years postsurgery
. In Clinical Implant Dentistry and Related Research, volume 15, number 4, pp 538-549, Wiley-Blackwell, 2013. (DOI
).
-
Can users control their data in social software?: An ethical analysis of control systems
. In Proc. Security and Privacy Workshops 2013, IEEE Computer Society, 2013. (DOI
).
-
Development of novel eHealth services for citizen use: Current system engineering vs. best practice in HCI
. In Human-Computer Interaction – INTERACT 2013: Part II, volume 8118 of Lecture Notes in Computer Science, pp 372-379, Springer Berlin/Heidelberg, 2013. (DOI
).
-
Development of patient access to electronic health records as a step towards ubiquitous public eHealth
. In European Journal of ePractice, volume 20, pp 21-36, 2013. (External link
).
-
Bounded strings for constraint programming
. In Proc. 25th International Conference on Tools with Artificial Intelligence, pp 1036-1043, IEEE Computer Society, 2013. (DOI
).
-
Real-time algorithm for changes detection in depth of anesthesia signals
. In Evolving Systems, volume 4, pp 3-12, 2013. (DOI
).
-
Dual-domain visual exploration of urban solar potential
. In Proc. Eurographics Workshop on Urban Data Modelling and Visualisation, 2013.
-
Evaluating 2D and 3D geovisualisations for basic spatial assessment
. In Behavior and Information Technology, volume 32, number 8, pp 845-858, 2013. (DOI
).
-
TLC: A tag-less cache for reducing dynamic first level cache energy
. In Proceedings of the 46th International Symposium on Microarchitecture, pp 49-61, ACM Press, New York, 2013. (DOI
, Conference website
).
-
One kilometer (1 km) electric solar wind sail tether produced automatically
. In Review of Scientific Instruments, volume 84, number 9, 2013. (DOI
).
-
Cloud Gaming: Architecture and Performance
. In IEEE Network, volume 27, number 4, pp 16-21, 2013. (DOI
).
-
A tool for visualizing and analyzing users on discussion boards
. In European Intelligence and Security Informatics Conference: 2013, pp 229-229, IEEE Computer Society, 2013. (DOI
, Fulltext
).
-
Author recognition in discussion boards
. In National Symposium on Technology and Methodology for Security and Crisis Management, 2013.
-
Factors influencing high quality low voltage TEM imaging of biological routinely stained specimen
. In Proceedings, part I, pp 321-322, 2013.
-
Towards automated Virus Detection and Identification using TEM
. In Proceedings, Part II, pp 397-398, 2013.
-
Stepwise conformation transitions for a semi-stiff ring polymer confined in a conical trap induced by the increasing external field or by cone's opening angle variation
. In Nanosystems: Physics, Chemistry, Mathematics, volume 4, number 2, pp 225-235, St. Petersburg National Research University of Information Technologies, Mechanics and Optics, 2013. (Fulltext
).
-
A fast algorithm for designing complementary sets of sequences
. In Signal Processing, volume 93, number 7, pp 2096-2102, 2013. (DOI
).
-
Joint design of the receive filter and transmit sequence for active sensing
. In IEEE Signal Processing Letters, volume 20, number 5, pp 423-426, 2013. (DOI
).
-
Introducing DVFS-Management in a Full-System Simulator
. In Proc. 21st International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, IEEE Computer Society, 2013.
-
Scalable Preservation, Reconstruction, and Querying of Databases in terms of Semantic Web Representations
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1052, Acta Universitatis Upsaliensis, Uppsala, 2013. (fulltext
).
-
Scalable reconstruction of RDF-archived relational databases
. In Proc. 5th International Workshop on Semantic Web Information Management, pp 5:1-4, ACM Press, New York, 2013. (DOI
).
-
Combinatorial Abstraction Refinement for Feasibility Analysis
. In IEEE 34TH REAL-TIME SYSTEMS SYMPOSIUM (RTSS 2013), Real-Time Systems Symposium-Proceedings, pp 340-349, 2013. (DOI
).
-
The fork-join real-time task model
. In ACM SIGBED Review, volume 10, number 2, pp 20-20, 2013. (DOI
, fulltext:print
).
-
Integrative educational approach oriented towards software and system development
. In International Journal of Engineering Pedagogy, volume 3, number 1, pp 36-43, 2013.
-
Teaching information and software security courses in regular and distance learning programs: Education theory and practice, framework, and examples
. In Proc. 4th Global Engineering Education Conference, pp 44-49, IEEE, Piscataway, NJ, 2013. (DOI
).
-
Model order estimation via penalizing adaptively the likelihood (PAL)
. In Signal Processing, volume 93, number 11, pp 2865-2871, 2013. (DOI
).
-
Parameter estimation of exponential signals: a system identification approach
. In Digital signal processing (Print), volume 23, number 5, pp 1565-1577, 2013. (DOI
).
-
The minimum barrier distance
. In Computer Vision and Image Understanding, volume 117, number 4, pp 429-437, 2013. (DOI
).
-
Accurate surface embedding for higher order finite elements
. In Proc. 12th ACM SIGGRAPH/Eurographics Symposium on Computer Animation, pp 187-192, ACM Press, New York, 2013. (DOI
).
-
A probabilistic template model for finding macromolecules in MET volume images
. In Pattern Recognition and Image Analysis, volume 7887 of Lecture Notes in Computer Science, pp 855-862, Springer Berlin/Heidelberg, 2013. (DOI
, fulltext:postprint
).
-
Can errors-in-variables systems be identified from closed-loop experiments?
. In Automatica, volume 49, number 2, pp 681-684, 2013. (DOI
).
-
Comparing some classes of bias-compensating least squares methods
. In Automatica, volume 49, number 3, pp 840-845, 2013. (DOI
).
-
Model validation methods for errors-in-variables estimation
. In Proc. 52nd Conference on Decision and Control, pp 3882-3887, IEEE, Piscataway, NJ, 2013. (DOI
).
-
On the accuracy of a covariance matching method for continuous-time errors-in-variables identification
. In Automatica, volume 49, number 10, pp 2982-2993, 2013. (DOI
).
-
A multiple model-based controller for NOx reduction in a Selective Catalytic Reduction system
. In Proc. 12th European Control Conference, pp 1970-1975, IEEE, 2013.
-
Molecular wave packet dynamics decelerated by solvent environment: A theoretical approach
. In Proc. 18th International Conference on Ultrafast Phenomena, volume 41 of EPJ Web of Conferences, pp 05043:1-3, EDP Sciences, 2013. (DOI
).
-
A task parallel implementation of a scattered node stencil-based solver for the shallow water equations
. In Proc. 6th Swedish Workshop on Multi-Core Computing, pp 33-36, Halmstad University, Halmstad, Sweden, 2013.
-
Resource-aware task scheduling
. In 4th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures (PARMA), p 6, Tech. Univ. Berlin, Germany, 2013. (fulltext:postprint
).
-
INDIGO: Secure CoAP for Smartphones- Enabling E2E Secure Communication in the 6Io
. In , 2013.
-
Accelerating COBAYA3 on multi-core CPU and GPU systems using PARALUTION
. In Proc. 2nd Joint International Conference on Supercomputing in Nuclear Applications and Monte Carlo, La Société Française d'Energie Nucléaire, Paris, France, 2013.
-
Analysis of collaboration applied to train drivers and train traffic controllers in Sweden
. In Rail Human Factors: Supporting reliability, safety and cost reduction, pp 389-398, Taylor & Francis, London, 2013. (fulltext:preprint
).
-
Designing train driver advisory systems for situation awareness
. In Rail Human Factors: Supporting reliability, safety and cost reduction, pp 150-159, Taylor & Francis, London, 2013. (fulltext:preprint
).
-
Improved Railway Service by Shared Traffic Information: Design Concepts for Traffic Control and Driver Advisory Systems
. In , pp 117-122, 2013. (DOI
).
-
High-throughput gene expression analysis at the level of single proteins using a microfluidic turbidostat and automated cell tracking
. In Philosophical Transactions of the Royal Society of London. Biological Sciences, volume 368, number 1611, pp 20120025:1-8, 2013. (DOI
).
-
Case specific finite element analysis of the strains experienced by osteocytes<em></em>
. In , 2013.
-
Investigation of the three-dimensional orientation of mineralized collagen fibrils in human lamellar bone using synchrotron X-ray phase nano-tomography
. In Acta Biomaterialia, volume 9, number 9, pp 8118-8127, 2013. (DOI
).
-
The 3D orientation of mineralized collagen fibrils in human lamellar bone and its mechanical consequences
. In , 2013.
-
Directional transmissions and receptions for high throughput burst forwarding
. In Proceedings of the 11th ACM Conference on Embedded Networked Sensor Systems, p 50, 2013. (DOI
, External link
).
-
Difference methods with boundary and interface treatment for wave equations
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2013-006, Uppsala University, 2013. (fulltext
).
-
Surface waves in almost incompressible elastic materials
. In Proc. 11th International Conference on Mathematical and Numerical Aspects of Waves, pp 375-376, ENIT, Tunisia, 2013. (External link
).
-
Understanding link dynamics in wireless sensor networks with dynamically steerable directional antennas
. In Wireless Sensor Networks: EWSN 2013, volume 7772 of Lecture Notes in Computer Science, pp 115-130, Springer Berlin/Heidelberg, 2013. (DOI
, fulltext:postprint
).
-
A uniformly well-conditioned, unfitted Nitsche method for interface problems
. In BIT Numerical Mathematics, volume 53, pp 791-820, 2013. (DOI
).
-
Feature Weight Optimization and Pruning in Historical Text Recognition
. In Advances of Visual Computing: 9th International Symposium, ISVC 2013, Rethymnon, Crete, Greece, July 29-31, 2013. Proceedings, Part II, volume 8034 of Lecture Notes in Computer Science, pp 98-107, Springer Berlin/Heidelberg, 2013. (DOI
, fulltext:postprint
).
-
Feature space denoising improves word spotting
. In Proc. 2nd International Workshop on Historical Document Imaging and Processing, pp 59-66, ACM Press, New York, 2013. (DOI
, fulltext:postprint
).
-
Routing Attacks and Countermeasures in the RPL-Based Internet of Things
. In International Journal of Distributed Sensor Networks, p 794326, 2013. (DOI
, fulltext:print
).
-
A Study of Packet Errors on Outdoor 802.15.4 Links
. In The 9th Swedish National Computer Networking Workshop 2013, 2013.
-
A long-term study of correlations between meteorological conditions and 802.15.4 link performance
. In Proc. 10th International Conference on Sensing, Communications, and Networking, pp 221-229, IEEE Communications Society, 2013. (DOI
).
-
Meteorological impact and transmission errors in outdoor wireless sensor networks
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2013-007, Uppsala University, 2013. (fulltext
).
-
Transmission errors in a sensor network at the edge of the world
. In Proc. 5th Extreme Conference on Communication, ACM Press, New York, 2013.
-
Postprocessing method for reducing phase effects in reconstructed microcomputed-tomography data
. In Optical Society of America. Journal A: Optics, Image Science, and Vision, volume 30, number 3, pp 455-461, 2013.
-
From slow food to slow tech: A reflection paper
. In ICT, society and human beings, pp 141-145, IADIS Press, Prague, 2013.
-
Data for benchmarking in nonlinear system identification
. Technical report / Department of Information Technology, Uppsala University nr 2013-006, Uppsala University, Uppsala, 2013. (External link
, fulltext
).
-
Three free data sets for development and benchmarking in nonlinear system identification
. In Proc. 12th European Control Conference, pp 2933-2938, IEEE, 2013.
-
Structured Aliasing
. In Aliasing in Object-Oriented Programming: Types, Analysis, and Verification, volume 7850 of Lecture Notes in Computer Science, pp 512-513, Springer Berlin/Heidelberg, 2013. (DOI
).
-
Model-based validation of streaming data
. In Proc. 7th ACM International Conference on Distributed Event-Based Systems, pp 107-113, ACM Press, New York, 2013. (DOI
).
-
Wideband source localization using sparse learning via iterative minimization
. In Signal Processing, volume 93, number 12 SI, pp 3504-3514, 2013. (DOI
).
-
Hybrid state observer with modulated correction for periodic systems under intrinsic impulsive feedback
. In , volume 12 of IFAC Proceedings Volumes, pp 119-124, 2013. (DOI
).
-
Enhanced Capon beamformer using regularized covariance matching
. In Proc. 5th International Workshop on Computational Advances in Multi-Sensor Adaptive Processing, pp 97-100, IEEE Press, Piscataway, NJ, 2013. (DOI
).
-
Bifurcation analysis for PID-controller tuning based on a minimal neuromuscular blockade model in closed-loop anesthesia
. In Proc. 52nd Conference on Decision and Control, pp 115-120, IEEE, Piscataway, NJ, 2013. (DOI
).
-
On discontinuous Galerkin for time integration in option pricing problems with adaptive finite differences in space
. In Numerical Analysis and Applied Mathematics: ICNAAM 2013, volume 1558 of AIP Conference Proceedings, pp 2373-2376, American Institute of Physics (AIP), Melville, NY, 2013. (DOI
).
-
Bells and Whistles: Advanced language features in psi-calculi
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2013-004, Uppsala University, 2013. (fulltext
).
-
Negative premises in applied process calculi
. Technical report / Department of Information Technology, Uppsala University nr 2013-014, 2013. (fulltext
).
-
Aeration control: a review
. In Water Science and Technology, volume 67, number 11, pp 2374-2398, 2013. (DOI
, fulltext:print
).
-
The optimal dissolved oxygen profile in a nitrifying activated sludge process: comparisons with ammonium feedback control
. In Water Science and Technology, volume 68, number 3, pp 641-649, 2013. (DOI
).