Refereed publications from the IT research programmes 2017
Artificial Intelligence (Artificiell intelligens)
- System identification through online sparse Gaussian process regression with input noise. In IFAC Journal of Systems and Control, volume 2, pp 1-11, 2017. (DOI).
Automatic Control (Reglerteknik)
- System identification through online sparse Gaussian process regression with input noise. In IFAC Journal of Systems and Control, volume 2, pp 1-11, 2017. (DOI).
- Constrained SPICE in Volterra–Laguerre modeling of human smooth pursuit. In Proc. 1st Conference on Control Technology and Applications, pp 13-18, IEEE, 2017. (DOI, fulltext:postprint).
- Nonlinear dynamics of the human smooth pursuit system in health and disease: Model structure and parameter estimation. In Proc. 56th Conference on Decision and Control, pp 4692-4697, IEEE, 2017. (DOI, fulltext:postprint).
- Model order selection rules for covariance structure classification in radar. In IEEE Transactions on Signal Processing, volume 65, number 20, pp 5305-5317, 2017. (DOI).
- Non-linear modelling of the dissolved oxygen to ammonium dynamics in a nitrifying activated sludge process. In Proc. 12th IWA Specialized Conference on Instrumentation, Control and Automation, pp 85-93, 2017.
- Nonlinear system identification of the dissolved oxygen to effluent ammonia dynamics in an activated sludge process. In , volume 50:1 of IFAC-PapersOnLine, pp 3917-3922, 2017. (DOI).
- Discrete-time mapping for an impulsive Goodwin oscillator with three delays. In International Journal of Bifurcation and Chaos in Applied Sciences and Engineering, volume 27, number 12, 2017. (DOI).
- Deep Brain Stimulation therapies: a control-engineering perspective. In Proc. American Control Conference: ACC 2017, pp 104-109, IEEE, 2017. (DOI).
- Individualization of a surrounding tissue model in Deep Brain Stimulation. In Proc. 56th Conference on Decision and Control, pp 5919-5924, IEEE, Piscataway, NJ, 2017. (DOI).
- Semi-Individualized electrical models in deep brain stimulation: A variability analysis. In 2017 IEEE Conference on Control Technology and Applications (CCTA), pp 517-522, IEEE, 2017. (DOI).
- Steady-state analyses of activated sludge processes with plug-flow reactor. In Journal of Environmental Chemical Engineering, volume 5, number 1, pp 795-809, 2017. (DOI).
- Tremor Quantification through Event-based Movement Trajectory Modeling. In 2017 IEEE CONFERENCE ON CONTROL TECHNOLOGY AND APPLICATIONS (CCTA 2017), pp 542-547, IEEE, 2017. (DOI).
- Smoothed State Estimation via Efficient Solution of Linear Equations. In IFAC-PapersOnLine, volume 50, number 1, pp 1613-1618, 2017. (DOI).
- One-bit Compressive Sampling with Time-Varying Thresholds for Multiple Sinusoids. In 2017 IEEE 7th International Workshop on Computational Advances in Multi-Sensor Adaptive Processing (CAMSAP), IEEE, 2017. (DOI).
- Robust Tracking of Periodic Motion in the Plane using Inertial Sensor Data. In Proceedings of IEEE Sensors 2017, IEEE Sensors, pp 1041-1043, IEEE, Glasgow, Scotland, 2017. (DOI, fulltext:postprint).
- A Platform for Teaching Sensor Fusion Using a Smartphone. In International journal of engineering education, volume 33, number 2B, pp 781-789, 2017.
- Locating the Few: Sparsity-aware waveform design for active radar. In IEEE Transactions on Signal Processing, volume 65, number 3, pp 651-662, 2017. (DOI).
- Linearly constrained Gaussian processes. In Proc. 31st Conference on Neural Information Processing Systems, volume 30 of Advances in Neural Information Processing Systems, pp 1215-1224, 2017. (Abstract).
- Using Inertial Sensors for Position and Orientation Estimation. Now Publishers Inc., Boston, MA, 2017. (DOI).
- Improving the performance of cellular uplinks via power overbooking. In IET Communications, volume 11, number 9, pp 1512-1518, 2017. (DOI).
- Divide-and-Conquer with sequential Monte Carlo. In Journal of Computational And Graphical Statistics, volume 26, number 2, pp 445-458, 2017. (DOI).
- Tremor quantification through data-driven nonlinear system modeling. In Proc. 56th Conference on Decision and Control, pp 5943-5948, IEEE, Piscataway, NJ, 2017. (DOI).
- Data flow delay equalization for feedback control applications using 5G wireless dual connectivity. In Proc. 85th Vehicular Technology Conference, IEEE, Piscataway, NJ, 2017. (DOI).
- Experimental evaluation of joint position estimation using inertial sensors. In Proc. 20th International Conference on Information Fusion, pp 354-361, IEEE, Piscataway, NJ, 2017. (DOI, fulltext:preprint).
- Gaussian process regression for monitoring and fault detection of wastewater treatment processes. In Water Science and Technology, volume 75, number 12, pp 2952-2963, 2017. (DOI).
- Monitoring fouling on dissolved oxygen sensors in WRRFs with active fault detection. In Proc. 12th IWA Specialized Coference on Instrumentation, Control and Automation, 2017.
- Levodopa/carbidopa microtablets in Parkinson’s disease: A study of pharmacokinetics and blinded motor assessment. In European Journal of Clinical Pharmacology, volume 73, number 5, pp 563-571, 2017. (DOI, Fulltext).
- Blocking strategies and stability of particle Gibbs samplers. In Biometrika, volume 104, number 4, pp 953-969, 2017. (DOI, Fulltext, fulltext:print).
- Training signal design for correlated massive MIMO channel estimation. In IEEE Transactions on Wireless Communications, volume 16, number 2, pp 1135-1143, 2017. (DOI).
- Frequency domain identification of ARX models in the presence of additive input–output noise. In 20th IFAC World Congress, volume 50: 1 of IFAC-PapersOnLine, pp 6226-6231, Elsevier, 2017. (DOI).
- Frequency domain identification of complex sinusoids in the presence of additive noise. In 20th IFAC World Congress, volume 50:1 of IFAC-PapersOnLine, pp 6244-6250, Elsevier, 2017. (DOI).
- Analysis of electron energy loss spectroscopy data using geometric extraction methods. In Ultramicroscopy, volume 174, pp 14-26, 2017. (DOI).
- Tensor decompositions for the analysis of atomic resolution electron energy loss spectra. In Ultramicroscopy, volume 175, pp 36-45, 2017. (DOI).
- Unmixing hyperspectral data by using signal subspace sampling. In Ultramicroscopy, volume 182, pp 205-211, ELSEVIER SCIENCE BV, 2017. (DOI).
- A flexible state–space model for learning nonlinear dynamical systems. In Automatica, volume 80, pp 189-199, 2017. (DOI).
- An efficient method for sorting and quantifying individual social traits based on group-level behaviour. In Methods in Ecology and Evolution, volume 8, number 12, pp 1735-1744, 2017. (DOI).
- Errors-in-variables identification using maximum likelihood estimation in the frequency domain. In Automatica, volume 79, pp 131-143, 2017. (DOI).
- On robust input design for nonlinear dynamical models. In Automatica, volume 77, pp 268-278, PERGAMON-ELSEVIER SCIENCE LTD, 2017. (DOI).
- Loop-shaping feedback and feedforward control for networked systems with saturation and delay. In Asian Journal of Control, volume 19, number 4, pp 1329-1349, 2017. (DOI).
- Networked and delayed recursive identification of nonlinear systems. In Proc. 56th Conference on Decision and Control, pp 5851-5858, IEEE, Piscataway, NJ, 2017. (DOI).
- On the construction of probabilistic Newton-type algorithms. In Proc. 56th Conference on Decision and Control, pp 6499-6504, IEEE, Piscataway, NJ, 2017. (DOI).
- Prediction Performance After Learning in Gaussian Process Regression. In Proceedings of the 20th International Conference on Artificial Intelligence and Statistics, Proceedings of Machine Learning Research, pp 1264-1272, PMLR, Brookline, 2017. (Full text, Reference, fulltext:postprint).
- Design of a hybrid observer for an oscillator with an intrinsic pulse-modulated feedback. In Proc. American Control Conference: ACC 2017, pp 1175-1180, American Automatic Control Council, 2017. (DOI).
- Hybrid Observer for an Intrinsic Impulsive Feedback System. In IFAC-PapersOnLine, volume 50, number 1, pp 4570-4575, 2017. (DOI).
- Hybrid observers for an impulsive Goodwin’s oscillator subject to continuous exogenous signals. In 2017 IEEE 56Th Annual Conference on Decision and Control (Cdc), Proceedings / IEEE Conference on Decision and Control, pp 2396-2401, IEEE, Piscataway, NJ, 2017. (DOI).
- High-dimensional online adaptive filtering. In , volume 50:1 of IFAC-PapersOnLine, pp 14106-14111, Elsevier, 2017. (DOI).
- Scalable and Passive Wireless Network Clock Synchronization in LOS Environments. In IEEE Transactions on Wireless Communications, volume 16, number 6, pp 3536-3546, 2017. (DOI).
- A study protocol for applying user participation and co-learning: Lessons learned from the eBalance project. In International Journal of Environmental Research and Public Health, volume 14, number 5, MDPI AG, 2017. (DOI, Fulltext, fulltext:print).
Computational Science (Tillämpad beräkningsvetenskap)
- A hybrid method for the imputation of genomic data in livestock populations. In Genetics Selection Evolution, volume 49, 2017. (DOI, Fulltext).
- Large-scale virtual screening on public cloud resources with Apache Spark. In Journal of Cheminformatics, volume 9, 2017. (DOI, Fulltext).
- Vascular sprouts induce local attraction of proangiogenic neutrophils. In Journal of Leukocyte Biology, volume 102, pp 741-751, 2017. (DOI).
- Data-driven computational disease spread modeling: from measurement to parametrization and control. In Disease Modelling and Public Health: Part A, volume 36 of Handbook of Statistics, pp 305-328, Elsevier, 2017. (DOI).
- Multiscale simulation of stochastic reaction–diffusion networks. In Stochastic Processes, Multiscale Modeling, and Numerical Methods for Computational Cellular Biology, pp 55-79, Springer, 2017. (DOI).
- Stability and strong convergence for spatial stochastic kinetics. In Stochastic Processes, Multiscale Modeling, and Numerical Methods for Computational Cellular Biology, pp 109-125, Springer, 2017. (DOI).
- The role of chromatin density in cell population heterogeneity during stem cell differentiation. In Scientific Reports, volume 7, pp 13307:1-11, 2017. (DOI, Fulltext).
- Robustness analysis of spatiotemporal models in the presence of extrinsic fluctuations. In SIAM Journal on Applied Mathematics, volume 77, pp 1157-1183, 2017. (DOI).
- Mesoscopic-microscopic spatial stochastic simulation with automatic system partitioning. In Journal of Chemical Physics, volume 147, number 23, 2017. (DOI, fulltext:print).
- Cost-aware application development and management using CLOUD-METRIC. In Proc. 7th International Conference on Cloud Computing and Services Science, pp 515-522, SciTePress, Setúbal, Portugal, 2017. (DOI).
- Oriented clonal cell dynamics enables accurate growth and shaping of vertebrate cartilage. In eLIFE, volume 6, 2017. (DOI, Fulltext).
- Exposing inter-process information for efficient parallel discrete event simulation of spatial stochastic systems. In Proc. 5th ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, pp 53-64, ACM Press, New York, 2017. (DOI).
- Matrix-free finite-element computations on graphics processors with adaptively refined unstructured meshes. In Proc. 25th High Performance Computing Symposium, pp 1-12, The Society for Modeling and Simulation International, San Diego, CA, 2017.
- A flexible computational framework using R and Map-Reduce for permutation tests of massive genetic analysis of complex traits. In IEEE/ACM Transactions on Computational Biology & Bioinformatics, volume 14, pp 381-392, 2017. (DOI).
- Folk pedagogy and the geek gene: Geekiness quotient. In Proc. 48th SIGCSE Technical Symposium on Computer Science Education, pp 405-410, ACM Press, New York, 2017. (DOI).
- Examining manual and semi-automated methods of analysing MOOC data for computing education. In Proc. 17th International Conference on Computing Education Research: Koli Calling, pp 153-157, ACM Press, New York, 2017. (DOI).
- Artifact reduction in the CSPAD detectors used for LCLS experiments. In Journal of Synchrotron Radiation, volume 24, pp 1092-1097, 2017. (DOI).
- Folk Pedagogy: Nobody doesn't like active learning. In Proc. 13th International Computing Education Research Conference, pp 145-154, ACM Press, New York, 2017. (DOI).
- Multiscale stochastic neuron modeling – with applications in deep brain stimulation. In Proc. Summer Simulation Multiconference: 2017, pp 38:1-5, Society for Computer Simulation International, San Diego, CA, 2017. (Paper).
- Automated line-based sequential sampling and modeling algorithm for EMC near-field scanning. In IEEE transactions on electromagnetic compatibility (Print), volume 59, pp 704-709, 2017. (DOI).
- Constrained multi-objective antenna design optimization using surrogates. In International journal of numerical modelling, volume 30, pp e2248:1-5, 2017. (DOI).
- Multi-objective geometry optimization of a gas cyclone using triple-fidelity co-Kriging surrogate models. In Journal of Optimization Theory and Applications, volume 175, pp 172-193, 2017. (DOI, Fulltext).
- Surrogate assisted model reduction for stochastic biochemical reaction networks. In Proc. 49th Winter Simulation Conference, pp 1773-1783, IEEE, Piscataway, NJ, 2017. (DOI).
- In the liminal space: Software design as a threshold skill. In Practice and Evidence of the Scholarship of Teaching and Learning in Higher Education, volume 12, pp 333-351, 2017. (Article).
- Student software designs at the undergraduate midpoint. In ITiCSE '17: Proceedings of the 2017 ACM Conference on Innovation and Technology in Computer Science Education, pp 34-39, Association for Computing Machinery (ACM), 2017. (DOI).
- SNIC Science Cloud (SSC): A national-scale cloud infrastructure for Swedish academia. In Proc. 13th International Conference on e-Science, pp 219-227, IEEE Computer Society, Los Alamitos, CA, 2017. (DOI).
- Hands-on in computer programming education. In Proc. 13th International Computing Education Research Conference, pp 279-280, ACM Press, New York, 2017. (DOI).
- Practical thinking in programming education. In Proc. 17th International Conference on Computing Education Research: Koli Calling, pp 203-204, ACM Press, New York, 2017. (DOI).
Computer Architecture and Communication Systems
(Datorarkitektur och datorkommunikation)
- Exploring the performance limits of out-of-order commit. In Proc. 14th Computing Frontiers Conference, pp 211-220, ACM Press, New York, 2017. (DOI, attachment:print).
- An Ontology-based Context-aware System for Smart Homes: E-care@ home. In Sensors, volume 17, number 7, 2017.
- Addressing energy challenges in filter caches. In Proc. 29th International Symposium on Computer Architecture and High Performance Computing, pp 49-56, IEEE Computer Society, 2017. (DOI).
- Data Packet Transmission through Fat Tissue for Wireless Intra-Body Networks. In IEEE Journal of Electromagnetics, RF and Microwaves in Medicine and Biology, volume 1, number 2, pp 43-51, 2017. (DOI, fulltext:postprint).
- Human fat tissue: A microwave communication channel. In Proc. 1st MTT-S International Microwave Bio Conference, IEEE, 2017. (DOI).
- Intra-body microwave communication through adipose tissue. In Healthcare Technology Letters, volume 4, number 4, pp 115-121, 2017. (DOI, Fulltext, fulltext:print).
- Reliability of the fat tissue channel for intra-body microwave communication. In 2017 IEEE Conference on Antenna Measurements & Applications (CAMA), IEEE Conference on Antenna Measurements & Applications, pp 310-313, IEEE, 2017. (DOI, fulltext:postprint).
- Adaptive cache warming for faster simulations. In Proc. 9th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, ACM Press, New York, 2017. (DOI, Fulltext, fulltext:print).
- Transcending hardware limits with software out-of-order processing. In IEEE Computer Architecture Letters, volume 16, number 2, pp 162-165, 2017. (DOI).
- Analyzing Graphics Workloads on Tile-based GPUs. In Proc. 20th International Symposium on Workload Characterization, pp 108-109, IEEE, 2017. (DOI).
- Exploring scheduling effects on task performance with TaskInsight. In Supercomputing frontiers and innovations, volume 4, number 3, pp 91-98, 2017. (DOI, Fulltext).
- How to make tasks faster: Revealing the complex interactions of tasks in the memory system. In Proc. Companion 8th ACM International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, pp 1-3, ACM Press, New York, 2017. (DOI).
- TaskInsight: Understanding task schedules effects on memory and performance. In Proc. 8th International Workshop on Programming Models and Applications for Multicores and Manycores, pp 11-20, ACM Press, New York, 2017. (DOI, Fulltext).
- Understanding the interplay between task scheduling, memory and performance. In Proc. Companion 8th ACM International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, pp 21-23, ACM Press, New York, 2017. (DOI).
- A dedicated private-shared cache design for scalable multiprocessors. In Concurrency and Computation, volume 29, number 2, 2017. (DOI).
- Resource Aggregation for Task-Based Cholesky Factorization on Top of Heterogeneous Machines. In Euro-Par 2016: Parallel processing workshops, volume 10104 of Lecture Notes in Computer Science, pp 56-68, Springer Nature, 2017. (DOI).
- Analysis and experimental evaluation of IEEE 802.15.4e TSCH CSMA-CA Algorithm. In IEEE Transactions on Vehicular Technology, volume 66, number 2, pp 1573-1588, 2017. (DOI).
- Making batteries a first class element in the design and evaluation of embedded wireless systems. In Proc. 14th International Conference on Embedded Wireless Systems and Networks, pp 242-243, ACM Digital Library, 2017.
- Towards realistic lifetime estimation in battery-powered IoT devices. In Proceedings of the 15th ACM Conference on Embedded Network Sensor Systems Article No. 67, Association for Computing Machinery (ACM), 2017. (DOI).
- Protecting Glossy-based Wireless Networks from Packet Injection Attacks. In Proceeding of the 2017 IEEE 14th International Conference on Mobile Ad Hoc and Sensor Systems (MASS), IEEE International Conference on Mobile Ad-hoc and Sensor Systems, pp 37-45, IEEE, Orlando, 2017. (DOI).
- Resource-Efficient Detection of Elephant Rumbles. In SenSys '17 Proceedings of the 15th ACM Conference on Embedded Network Sensor Systems, 2017. (DOI).
- Automatic detection of extended data-race-free regions. In Proc. 15th International Symposium on Code Generation and Optimization, pp 14-26, IEEE Press, Piscataway, NJ, 2017. (Paper, fulltext:postprint).
- Run-Time Assurance for the E-care@home System. In , 2017.
- Investigating interference between LoRa and IEEE 802.15.4g networks. In Proc. 13th International Conference on Wireless and Mobile Computing, Networking and Communications, pp 441-448, IEEE, 2017. (DOI).
- Augmenting WSNs with Interoperable 802.15.4 Sensor Tags. In Proceedings of the 15th ACM Conference on Embedded Networked Sensor Systems, 2017. (DOI).
- Building the Internet of Things with bluetooth smart. In Ad hoc networks, volume 57, pp 19-31, 2017. (DOI).
- SecureSense: End-to-End Secure Communication Architecture for the Cloud-connected Internet of Things. In Future generations computer systems, volume 77, pp 40-51, 2017. (DOI).
- Efficient Self-Invalidation/Self-Downgrade for Critical Sections with Relaxed Semantics. In IEEE Transactions on Parallel and Distributed Systems, volume 28, number 12, pp 3413-3425, 2017. (DOI).
- Non-speculative load-load reordering in TSO. In Proc. 44th International Symposium on Computer Architecture, pp 187-200, ACM Press, New York, 2017. (DOI).
- Eloc: Locating Wild Elephants using Low-cost Infrasonic Detectors. In 2017 13Th International Conference On Distributed Computing In Sensor Systems (DCOSS), IEEE International Conference on Distributed Computing in Sensor Systems, pp 44-52, IEEE, 2017. (DOI).
- Poster: A Low-cost Elephant Localization System. In , 2017.
- A graphics tracing framework for exploring CPU+GPU memory systems. In Proc. 20th International Symposium on Workload Characterization, pp 54-65, IEEE, 2017. (DOI).
- A split cache hierarchy for enabling data-oriented optimizations. In Proc. 23rd International Symposium on High Performance Computer Architecture, pp 133-144, IEEE Computer Society, 2017. (DOI).
- <em>Intrusion Detection in the RPL-connected 6LoWPAN Networks</em>. In , 2017.
- Battery-free Visible Light Sensing. In Proceedings Of The 23rd Annual International Conference On Mobile Computing And Networking (MOBICOM '17), pp 582-584, 2017. (DOI).
- Demo: Battery-free Visible Light Sensing. In Proc. 4th ACM Workshop on Visible Light Communication Systems, pp 35-35, ACM Press, New York, 2017. (DOI).
- Enabling Ambient Backscatter Using a Low-Cost Software Defined Radio. In , 2017.
- Clairvoyance: Look-ahead compile-time scheduling. In Proc. 15th International Symposium on Code Generation and Optimization, pp 171-184, IEEE Press, Piscataway, NJ, 2017. (fulltext:postprint).
- Battery-free Visible Light Sensing. In Proc. 4th ACM Workshop on Visible Light Communication Systems, pp 3-8, ACM Press, New York, 2017. (DOI).
- Demo: LoRea: A backscatter architecture that achieves a long communication range. In Proc. 15th ACM Conference on Embedded Network Sensor Systems, ACM Press, New York, 2017. (DOI, External link).
- LoRea: A backscatter architecture that achieves a long communication range. In Proc. 15th ACM Conference on Embedded Network Sensor Systems, ACM Press, New York, 2017. (DOI, External link, fulltext:print).
- Towards wide-area backscatter networks. In Proc. 4th ACM Workshop on Hot Topics in Wireless, pp 49-53, ACM Press, New York, 2017. (DOI).
- Mitigating Inter-network Interference in LoRa Networks. In , 2017. (fulltext:postprint).
- Decoupled Access-Execute on ARM big.LITTLE. In Proc. 5th Workshop on High Performance Energy Efficient Embedded Systems, 2017. (External link).
Computer Systems (Datorteknik)
- An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures. In International Journal on Software Tools for Technology Transfer, volume 19, number 5, pp 549-563, SPRINGER HEIDELBERG, 2017. (DOI).
- Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction. In Journal of the ACM, volume 64, number 4, Association for Computing Machinery (ACM), 2017. (DOI).
- Context-bounded analysis for POWER. In Tools and Algorithms for the Construction and Analysis of Systems: Part II, volume 10206 of Lecture Notes in Computer Science, pp 56-74, Springer, 2017. (DOI, External link).
- Flatten and Conquer: A Framework for Efficient Analysis of String Constraints. In SIGPLAN notices, volume 52, number 6, pp 602-617, 2017. (DOI).
- Stateless model checking for TSO and PSO. In Acta Informatica, volume 54, number 8, pp 789-818, 2017. (DOI).
- Synthesis of Ada code from graph-based task models. In Proc. 32nd ACM Symposium on Applied Computing, pp 1467-1472, ACM Press, New York, 2017. (DOI).
- Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems. In MODELS, ALGORITHMS, LOGICS AND TOOLS: ESSAYS DEDICATED TO KIM GULDSTRAND LARSEN ON THE OCCASION OF HIS 60TH BIRTHDAY, volume 10460 of Lecture Notes in Computer Science, pp 623-639, SPRINGER INTERNATIONAL PUBLISHING AG, 2017. (DOI).
- A Taxonomy of Out-of-Order Instruction Commit. In 2017 Ieee International Symposium On Performance Analysis Of Systems And Software (Ispass), pp 135-136, IEEE Computer Society, Los Alamitos, 2017. (DOI).
- Emptiness of Ordered Multi-Pushdown Automata is 2ETIME-Complete. In International Journal of Foundations of Computer Science, volume 28, number 8, pp 945-975, 2017. (DOI).
- On the Upward/Downward Closures of Petri Nets?. In 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017), volume 83 of Leibniz International Proceedings in Informatics (LIPIcs), pp 49:1-49:14, Dagstuhl, Germany, 2017. (DOI, External link).
- Parity Games on Bounded Phase Multi-pushdown Systems. In Networked Systems: 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings, volume 10299 of Lecture Notes in Computer Science, pp 272-287, Cham, 2017. (DOI).
- Verification of Asynchronous Programs with Nested Locks. In 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, volume 93 of Leibniz International Proceedings in Informatics (LIPIcs), pp 11:1-11:14, Dagstuhl, Germany, 2017.
- Data Multi-Pushdown Automata. In The 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany, volume 85 of Leibniz International Proceedings in Informatics (LIPIcs), pp 38:1-38:17, Dagstuhl, Germany, 2017. (DOI).
- Preparing tomorrow's software engineers for work in a global environment. In IEEE Software, volume 34, number 1, pp 9-12, 2017. (DOI).
- Unexpected student behaviour and learning opportunities: Using the theory of planned behaviour to analyse a critical incident. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
- Learning to prove safety over parameterised concurrent systems. In Proceedings of the 17th International Conference on Formal Methods in Computer-Aided Design, pp 76-83, IEEE, 2017. (DOI, fulltext:postprint).
- Linguistic markers of a radicalized mind-set among extreme adopters. In Proc. 10th ACM International Conference on Web Search and Data Mining, pp 823-824, ACM Press, New York, 2017. (DOI).
- Systematic predicate abstraction using variable roles. In NASA Formal Methods, volume 10227 of Lecture Notes in Computer Science, pp 265-281, Springer, 2017. (DOI, fulltext:postprint).
- Fixed-Priority Schedulability of Sporadic Tasks on Uniprocessors is NP-hard. In 2017 IEEE Real-Time Systems Symposium (RTSS)<em></em>, Real-Time Systems Symposium-Proceedings, pp 139-146, IEEE, 2017. (DOI).
- Efficient Drone Hijacking Detection using Onboard Motion Sensors. In Proceedings Of The 2017 Design, Automation & Test In Europe Conference & Exhibition (DATE), Design Automation and Test in Europe Conference and Exhibition, pp 1414-1419, IEEE, 2017. (DOI).
- IoT Data Profiles: The Routines of Your Life Reveals Who You Are. In 2017 European Intelligence and Security Informatics Conference (EISIC), European Intelligence and Security Informatics Conference, pp 61-67, IEEE, 2017. (DOI).
- A diversity lens on the last decade of the FIE conference: Role models for the engineering community. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
- Experiences of teachers in computing as role models: a phenomenographic study. In Proc. 17th International Conference on Computing Education Research: Koli Calling, pp 133-137, ACM Press, New York, 2017. (DOI).
- Introducing Programming and Digital Competence in Swedish K–9 Education. In Informatics in Schools: Focus on Learning Programming, pp 117-128, Springer Nature, 2017. (DOI, fulltext:postprint).
- Deciding and Interpolating Algebraic Data Types by Reduction. In 2017 19th international symposium on symbolic and numeric algorithms for scientific computing (SYNASC 2017), International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, pp 145-152, IEEE, New York, 2017. (DOI).
- Gender Classification with Data Independent Features in Multiple Languages. In 2017 European Intelligence and Security Informatics Conference (EISIC), European Intelligence and Security Informatics Conference, pp 54-60, IEEE, 2017. (DOI).
- Semi-Federated Scheduling of Parallel Real-Time Tasks on Multiprocessors. In 2017 IEEE Real-Time Systems Symposium (RTSS), Real-Time Systems Symposium-Proceedings, pp 80-91, IEEE, 2017. (DOI).
- Author Profiling in the Wild. In 2017 European Intelligence and Security Informatics Conference (EISIC), European Intelligence and Security Informatics Conference, pp 155-158, IEEE, 2017. (DOI).
- Quantified heap invariants for object-oriented programs. In 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, volume 46 of EPiC Series in Computing, pp 368-384, 2017. (External link, fulltext:postprint).
- GECKO: Gamer Experience-Centric Bitrate Control Algorithm for Cloud Gaming. In Image and Graphics: 9th International Conference, ICIG 2017, Shanghai, China, September 13-15, 2017, Revised Selected Papers, Part II, volume 10667 of Lecture Notes in Computer Science, pp 325-335, Springer, 2017. (DOI).
- A deep learning approach for optimizing content delivering in cache-enabled HetNet. In Proc. 14th International Symposium on Wireless Communication Systems, pp 449-453, IEEE, 2017. (DOI).
- Fair termination for parameterized probabilistic concurrent systems. In Tools and Algorithms for the Construction and Analysis of Systems: Part I, volume 10205 of Lecture Notes in Computer Science, pp 499-517, Springer, 2017. (DOI, fulltext:postprint).
- Subtask scheduling for distributed robots in cloud manufacturing. In IEEE Systems Journal, volume 11, number 2, pp 941-950, 2017. (DOI).
- Exposing inter-process information for efficient parallel discrete event simulation of spatial stochastic systems. In Proc. 5th ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, pp 53-64, ACM Press, New York, 2017. (DOI).
- Cloud-Based Data Fusion in Green IoT for Smart Cities. In Proc. 14th International Conference on Embedded Wireless Systems and Networks, pp 216-217, ACM Digital Library, 2017.
- Path planning for aerial sensor networks with connectivity constraints. In 2017 IEEE International Conference on Communications (ICC), IEEE International Conference on Communications, IEEE, 2017. (DOI).
- First year computing students' perceptions of authenticity in assessment. In Proc. 22nd Conference on Innovation and Technology in Computer Science Education, pp 10-15, ACM Press, New York, 2017. (DOI, Fulltext).
- The authenticity of 'authentic' assessment: Some faculty perceptions. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
- An executable semantics for synchronous task graphs: From SDRT to Ada. In Reliable Software Technologies — Ada-Europe 2017, volume 10300 of Lecture Notes in Computer Science, pp 137-152, Springer, 2017. (DOI).
- Refinement of workload models for engine controllers by state space partitioning. In 29th Euromicro Conference on Real-Time Systems: ECRTS 2017, volume 76 of Leibniz International Proceedings in Informatics (LIPIcs), pp 11:1-22, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2017. (DOI, Fulltext).
- Development of a self-efficacy scale for digital competences in schools. In 2017 IEEE Frontiers in Education Conference (FIE): Proc. 47th ASEE/IEEE Frontiers in Education Conference, Frontiers in Education Conference, IEEE Press, 2017. (DOI, fulltext:postprint).
- Open-ended projects opened up – aspects of openness. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
- Why are we here?: Student perspectives on the goal of STEM higher education. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
- The Archetype Learning Method: Scaffolding teamwork competences in the engineering classroom. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
- Efficient Self-Invalidation/Self-Downgrade for Critical Sections with Relaxed Semantics. In IEEE Transactions on Parallel and Distributed Systems, volume 28, number 12, pp 3413-3425, 2017. (DOI).
- Profiling energy efficiency and data communications for mobile Internet of Things. In Wireless Communications & Mobile Computing, volume 17, 2017. (DOI, Fulltext, fulltext:print).
- POSTER: Putting the G back into GPU/CPU Systems Research. In 2017 26TH INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES (PACT), International Conference on Parallel Architectures and Compilation Techniques, pp 130-131, 2017. (DOI).
- Applying Real-Time Scheduling Theory to the Synchronous Data Flow Model of Computation. In , 2017. (DOI, Fulltext).
- Real-Time Scheduling and Analysis of OpenMP Task Systems with Tied Tasks. In 2017 IEEE Real-Time Systems Symposium (RTSS), Real-Time Systems Symposium-Proceedings, pp 92-103, IEEE, 2017. (DOI).
- Revisiting GPC and AND Connector in Real-Time Calculus. In 2017 IEEE Real-Time Systems Symposium (RTSS), Real-Time Systems Symposium-Proceedings, pp 255-265, IEEE, 2017. (DOI).
- Privacy-preserving social tie discovery based on cloaked human trajectories. In IEEE Transactions on Vehicular Technology, volume 66, number 2, pp 1619-1630, 2017. (DOI).
- A perspective from Vietnamese students on teaching of soft skills. In Proc. 5th International Conference on Learning and Teaching in Computing and Engineering, International Conference on Teaching and Learning in Computing and Engineering, pp 23-24, IEEE Computer Society, 2017. (DOI).
- Benchmarking OpenMP Programs for Real-Time Scheduling. In 2017 IEEE 23Rd International Conference On Embedded And Real-Time Computing Systems And Applications (RTSCA), IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, IEEE Computer Society, 2017. (DOI).
- Towards Customizable CPS: Composability, Efficiency and Predictability. In Formal Methods and Software Engineering, volume 10610 of Lecture Notes in Computer Science, pp 3-15, Springer, 2017. (DOI).
- An approximation framework for solvers and decision procedures. In Journal of automated reasoning, volume 58, number 1, pp 127-147, 2017. (DOI, Fulltext).
- On energy-efficient offloading in mobile cloud for real-time video applications. In IEEE transactions on circuits and systems for video technology (Print), volume 27, number 1, pp 170-181, 2017. (DOI).
Computing Education Research (Datavetenskapens didaktik)
- Why do female students choose to study CS in the Kingdom of Saudi Arabia?. In Proc. 5th International Conference on Learning and Teaching in Computing and Engineering, International Conference on Teaching and Learning in Computing and Engineering, pp 49-53, IEEE Computer Society, 2017. (DOI, fulltext:postprint).
- Preparing tomorrow's software engineers for work in a global environment. In IEEE Software, volume 34, number 1, pp 9-12, 2017. (DOI).
- Unexpected student behaviour and learning opportunities: Using the theory of planned behaviour to analyse a critical incident. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
- A diversity lens on the last decade of the FIE conference: Role models for the engineering community. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
- Experiences of teachers in computing as role models: a phenomenographic study. In Proc. 17th International Conference on Computing Education Research: Koli Calling, pp 133-137, ACM Press, New York, 2017. (DOI).
- Introducing Programming and Digital Competence in Swedish K–9 Education. In Informatics in Schools: Focus on Learning Programming, pp 117-128, Springer Nature, 2017. (DOI, fulltext:postprint).
- Folk pedagogy and the geek gene: Geekiness quotient. In Proc. 48th SIGCSE Technical Symposium on Computer Science Education, pp 405-410, ACM Press, New York, 2017. (DOI).
- First year computing students' perceptions of authenticity in assessment. In Proc. 22nd Conference on Innovation and Technology in Computer Science Education, pp 10-15, ACM Press, New York, 2017. (DOI, Fulltext).
- The authenticity of 'authentic' assessment: Some faculty perceptions. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
- Examining manual and semi-automated methods of analysing MOOC data for computing education. In Proc. 17th International Conference on Computing Education Research: Koli Calling, pp 153-157, ACM Press, New York, 2017. (DOI).
- Development of a self-efficacy scale for digital competences in schools. In 2017 IEEE Frontiers in Education Conference (FIE): Proc. 47th ASEE/IEEE Frontiers in Education Conference, Frontiers in Education Conference, IEEE Press, 2017. (DOI, fulltext:postprint).
- Exploring the critical incident technique to encourage reflection during project-based learning. In Proc. 17th International Conference on Computing Education: Koli Calling, pp 88-97, ACM Press, New York, 2017. (DOI).
- Open-ended projects opened up – aspects of openness. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
- Why are we here?: Student perspectives on the goal of STEM higher education. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
- The Archetype Learning Method: Scaffolding teamwork competences in the engineering classroom. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
- Folk Pedagogy: Nobody doesn't like active learning. In Proc. 13th International Computing Education Research Conference, pp 145-154, ACM Press, New York, 2017. (DOI).
- In the liminal space: Software design as a threshold skill. In Practice and Evidence of the Scholarship of Teaching and Learning in Higher Education, volume 12, pp 333-351, 2017. (Article).
- Student software designs at the undergraduate midpoint. In ITiCSE '17: Proceedings of the 2017 ACM Conference on Innovation and Technology in Computer Science Education, pp 34-39, Association for Computing Machinery (ACM), 2017. (DOI).
- How do first year students learn C programming in Bhutan?. In Proc. 5th International Conference on Learning and Teaching in Computing and Engineering, International Conference on Teaching and Learning in Computing and Engineering, pp 25-29, IEEE Computer Society, 2017. (DOI, fulltext:postprint).
- A perspective from Vietnamese students on teaching of soft skills. In Proc. 5th International Conference on Learning and Teaching in Computing and Engineering, International Conference on Teaching and Learning in Computing and Engineering, pp 23-24, IEEE Computer Society, 2017. (DOI).
- Digital Capital: A platform for developing computational thinking. In Proc. 17th International Conference on Computing Education Research: Koli Calling, pp 205-206, ACM Press, New York, 2017. (DOI).
- What computing instructors did last summer: Experiences and lessons learned. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
- Hands-on in computer programming education. In Proc. 13th International Computing Education Research Conference, pp 279-280, ACM Press, New York, 2017. (DOI).
- Practical thinking in programming education. In Proc. 17th International Conference on Computing Education Research: Koli Calling, pp 203-204, ACM Press, New York, 2017. (DOI).
Computing Science (Datalogi)
- Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction. In Journal of the ACM, volume 64, number 4, Association for Computing Machinery (ACM), 2017. (DOI).
- Stateless model checking for TSO and PSO. In Acta Informatica, volume 54, number 8, pp 789-818, 2017. (DOI).
- Why do female students choose to study CS in the Kingdom of Saudi Arabia?. In Proc. 5th International Conference on Learning and Teaching in Computing and Engineering, International Conference on Teaching and Learning in Computing and Engineering, pp 49-53, IEEE Computer Society, 2017. (DOI, fulltext:postprint).
- MiniZinc with strings. In Logic-Based Program Synthesis and Transformation, volume 10184 of Lecture Notes in Computer Science, pp 59-75, Springer, 2017. (DOI).
- Testing And Verifying Chain Repair Methods For CORFU Using Stateless Model Checking. In , volume 10510 of Lecture Notes in Computer Science, pp 227-242, Springer, Cham, 2017. (DOI, fulltext:postprint).
- The shared-memory interferences of Erlang/OTP built-ins. In Proceedings Of The 16Th Acm Sigplan International Workshop On Erlang (Erlang '17), pp 43-54, Association for Computing Machinery (ACM), New York, 2017. (DOI, fulltext:postprint).
- Proc. 10th Interaction and Concurrency Experience. Volume 261 of Electronic Proceedings in Theoretical Computer Science, Open Publishing Association, 2017. (DOI, Fulltext).
- A Join Operator for Property Graphs. In EDBT/ICDT Workshops, 2017.
- Deriving Probability Density Functions from Probabilistic Functional Programs. In Logical Methods in Computer Science, volume 13, number 2, 2017. (DOI, Fulltext).
- Mining for Safety using Interactive Trace Analysis. In Pre-Proceedings - Fifteenth International Workshop on Quantitative Aspects of Programming Languages and Systems, 2017. (Pre-Proceedings, fulltext:print).
- Spencer: Interactive Heap Analysis for the Masses. In 2017 IEEE/ACM 14th International Conference on Mining Software Repositories (MSR 2017), IEEE International Working Conference on Mining Software Repositories, pp 113-123, IEEE, 2017. (DOI, External link, fulltext:postprint).
- Unexpected student behaviour and learning opportunities: Using the theory of planned behaviour to analyse a critical incident. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
- Modelling and verification of user interactions using constraint programming. In Proc. 3rd International Conference on Software Quality, Reliability and Security, pp 541-547, IEEE Computer Society, 2017. (DOI).
- Actors without Borders: Amnesty for Imprisoned State. In , pp 10-20, 2017. (DOI, Fulltext, Fulltext, fulltext:postprint).
- Reference Capabilities for Concurrency & Scalability: an Experience Report. In , 2017. (fulltext:preprint).
- Relaxed Linear References for Lock-free Data Structures. In , pp 47:1-47:31, 2017. (DOI, Fulltext, External link, fulltext:postprint).
- Orca: GC and Type System Co-design for Actor Languages. In Proceedings of the ACM on Programming Languages, volume 1, number OOPSLA, pp 1-28, ACM, 2017. (DOI, Fulltext, External link, fulltext:print).
- A survey of active object languages. In ACM Computing Surveys, volume 50, number 5, Association for Computing Machinery (ACM), 2017. (DOI).
- Auto-tabling for subproblem presolving in MiniZinc. In Constraints, volume 22, number 4, pp 512-529, 2017. (DOI, Fulltext).
- Cost-Optimal Caching for D2D Networks with Presence of User Mobility. In GLOBECOM 2017 - 2017 IEEE Global Communications Conference, IEEE Global Communications Conference, IEEE, 2017. (DOI).
- Affine killing: Semantics for stopping the ParT. In Proc. 2nd International Workshop on Type-Driven Development, ACM Press, New York, 2017. (fulltext:postprint).
- Automatic generation of descriptions of time-series constraints. In IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI), Proceedings-International Conference on Tools With Artificial Intelligence, pp 102-109, IEEE Computer Society, 2017. (DOI).
- You can have it all: abstraction and good cache performance. In Onward! 2017: Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, pp 148-167, Association for Computing Machinery (ACM), 2017. (DOI, fulltext:print).
- Shortest Paths in Multiplex Networks. In Scientific Reports, volume 7, 2017. (DOI, Fulltext, fulltext:print).
- Concolic testing for functional languages. In Science of Computer Programming, volume 147, pp 109-134, 2017. (DOI).
- Stateless model checking of the Linux kernel's hierarchical read-copy-update (tree RCU). In Proc. 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, pp 172-181, ACM Press, New York, 2017. (DOI).
- A deep learning approach for optimizing content delivering in cache-enabled HetNet. In Proc. 14th International Symposium on Wireless Communication Systems, pp 449-453, IEEE, 2017. (DOI).
- Targeted property-based testing. In Proc. 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, pp 46-56, ACM Press, New York, 2017. (DOI).
- The authenticity of 'authentic' assessment: Some faculty perceptions. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
- VisDM-A Data Stream Visualization Platform. In Database Systems For Advanced Applications (DASFAA 2017), Proceedings Pt II, volume 10178 of Lecture Notes in Computer Science, pp 677-680, SPRINGER INTERNATIONAL PUBLISHING AG, 2017. (DOI).
- Examining manual and semi-automated methods of analysing MOOC data for computing education. In Proc. 17th International Conference on Computing Education Research: Koli Calling, pp 153-157, ACM Press, New York, 2017. (DOI).
- Exploring the critical incident technique to encourage reflection during project-based learning. In Proc. 17th International Conference on Computing Education: Koli Calling, pp 88-97, ACM Press, New York, 2017. (DOI).
- Open-ended projects opened up – aspects of openness. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
- Why are we here?: Student perspectives on the goal of STEM higher education. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
- Weak Nominal Modal Logic. In Formal Techniques for Distributed Objects, Components, and Systems, volume 10321 of Lecture Notes in Computer Science, pp 179-193, Springer, 2017. (DOI).
- Typed connector families and their semantics. In Science of Computer Programming, volume 146, pp 28-49, 2017. (DOI).
- The Contention Avoiding Concurrent Priority Queue. In Languages and Compilers for Parallel Computing, volume 10136 of Lecture Notes in Computer Science, pp 314-330, Springer, 2017. (DOI).
- Design and implementation of bounded-length sequence variables. In Integration of AI and OR Techniques in Constraint Programming, volume 10335 of Lecture Notes in Computer Science, pp 51-67, 2017. (DOI).
- Scaling Reliably: Improving the scalability of the Erlang distributed actor platform. In ACM Transactions on Programming Languages and Systems, volume 39, number 4, 2017. (DOI).
- A Radar Signal Processing Case Study for Dataflow Programming of Manycores. In Journal of Signal Processing Systems, volume 87, number 1, pp 49-62, 2017. (DOI).
- A perspective from Vietnamese students on teaching of soft skills. In Proc. 5th International Conference on Learning and Teaching in Computing and Engineering, International Conference on Teaching and Learning in Computing and Engineering, pp 23-24, IEEE Computer Society, 2017. (DOI).
- Digital Capital: A platform for developing computational thinking. In Proc. 17th International Conference on Computing Education Research: Koli Calling, pp 205-206, ACM Press, New York, 2017. (DOI).
- What computing instructors did last summer: Experiences and lessons learned. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
- Device Reliability Performance Awareness: Impact of RWA on EDFA Failure Reparation Cost in Optical Networks. In Proceedings of 2017 9Th International Workshop On Resilient Networks Design And Modeling (Rndm), IEEE, 2017.
- Mastery Learning-Like Teaching with Achievements. In , 2017. (fulltext:postprint).
- Scalable validation of industrial equipment using a functional DSMS. In Journal of Intelligent Information Systems, volume 48, number 3, pp 553-577, 2017. (DOI, Fulltext, fulltext:print).
- Type-assisted automatic garbage collection for lock-free data structures. In SIGPLAN notices, volume 52, number 9, pp 14-24, ACM Press, New York, 2017. (DOI).
- A Framework for Optimizing Multi-cell NOMA: Delivering Demand with Less Resource. In GLOBECOM 2017 - 2017 IEEE Global Communications Conference, IEEE Global Communications Conference, IEEE, 2017. (DOI).
- Energy-Aware Wireless Relay Selection in Load-Coupled OFDMA Cellular Networks. In IEEE Communications Letters, volume 21, number 1, pp 144-147, Institute of Electrical and Electronics Engineers (IEEE), 2017. (DOI).
- Joint CoMP-Cell Selection and Resource Allocation in Fronthaul-Constrained C-RAN. In Proc. 15th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks, IEEE, 2017. (DOI).
Image Analysis and Human-Computer Interaction
(Bildanalys och människa-datorinteraktion)
- Automated segmentation of lung field in HRCT images using active shape model. In Proc. 37th Region 10 Conference, pp 2516-2520, IEEE, 2017. (DOI).
- User experience in social human–robot interaction. In International Journal of Ambient Computing and Intelligence (IJACI), volume 8, number 2, pp 12-31, 2017. (DOI).
- Automated deep-phenotyping of the vertebrate brain. In eLIFE, volume 6, 2017. (DOI, Fulltext).
- Defining gestural interactions for large vertical touch displays. In Human-Computer Interaction – INTERACT 2017, volume 10513 of Lecture Notes in Computer Science, pp 36-55, Springer, 2017. (DOI).
- Tool use and collaborative work of dock assembly in practice. In Production & Manufacturing Research, volume 5, number 1, pp 164-190, 2017. (DOI, Fulltext, fulltext:print).
- Towards a distributed cognition perspective of the Swedish train traffic system. In Proceedings of the 13th SweCog Conference, pp 37-39, Högskolan i Skövde, 2017. (Proceedings, fulltext:postprint).
- Proceedings of the 13th SweCog Conference. University of Skövde, Skövde, 2017.
- Balancing between the conflicting interests of different stakeholders in research. In European Business Ethics Network: Research, Deree, American College of Greece College, Athens, 2017. (External link).
- Robots as companions in feelings and discussions. In Retfærdighed – Justice, Robophilosophy, pp 42-42, Copenhagen, 2017. (External link).
- Mathematical Morphology on Irregularly Sampled Signals. In Computer Vision – ACCV 2016 Workshops. ACCV 2016, volume 10117 of Lecture Notes in Computer Science, pp 506-520, Springer, 2017. (DOI).
- Mathematical morphology on irregularly sampled data in one dimension. In Mathematical Morphology - Theory and Applications, volume 2, number 1, pp 1-24, 2017. (DOI, Fulltext).
- Historical document binarization combining semantic labeling and graph cuts. In Image Analysis: Part I, volume 10269 of Lecture Notes in Computer Science, pp 386-396, Springer, 2017. (DOI, fulltext:postprint).
- Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications. Volume 10125 of Lecture Notes in Computer Science, Springer, 2017. (DOI).
- Image processing and its hardware support: Analysis vs synthesis - historical trends. In Image Analysis, SCIA 2017, Pt I, pp 3-14, Switzerland, 2017. (DOI).
- Decoding gene expression in 2D and 3D. In Image Analysis: Part II, volume 10270 of Lecture Notes in Computer Science, pp 257-268, Springer, 2017. (DOI, fulltext:postprint).
- Quantitative high-content/high-throughput microscopy analysis of lipid droplets in subject-specific adipogenesis models. In Cytometry Part A, volume 91, number 11, pp 1068-1077, 2017. (DOI).
- Unexpected student behaviour and learning opportunities: Using the theory of planned behaviour to analyse a critical incident. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
- A comprehensive structural, biochemical and biological profiling of the human NUDIX hydrolase family. In Nature Communications, volume 8, number 1, 2017. (DOI, Fulltext, fulltext:print).
- Detecting perceived quality of interaction with a robot using contextual features. In Autonomous Robots, volume 41, number 5, pp 1245-1261, 2017. (DOI).
- Using rapid prototyping to explore design implications for a pill-dispensing social agent. In Proc. 5th International Conference on Human Agent Interaction, pp 53-59, ACM Press, New York, 2017. (DOI).
- Single-cell analysis of human pancreas reveals transcriptional signatures of aging and somatic mutation patterns. In Cell, volume 171, number 2, pp 321-330.e14, 2017. (DOI).
- Osteochondrosis, Synovial Fossae, and Articular Indentations in the Talus and Distal Tibia of Growing Domestic Pigs and Wild Boars. In Veterinary pathology, volume 54, number 3, pp 445-456, 2017. (DOI).
- New computerized staging method to analyze mink testicular tissue in environmental research. In Environmental Toxicology and Chemistry, volume 36, number 1, pp 156-164, 2017. (DOI, Fulltext, fulltext:print).
- An exploratory study on the effect of auditory feedback on gaze behavior in a virtual throwing task with and without haptic feedback. In Proc. 14th Sound and Music Computing Conference, pp 242-249, Aalto University, Finland, 2017. (Fulltext).
- Using critical incidents in workshops to inform eHealth design. In Human-Computer Interaction: Part I, volume 10513 of Lecture Notes in Computer Science, pp 364-373, Springer, 2017. (DOI).
- Convolutional neural networks for false positive reduction of automatically detected cilia in low magnification TEM images. In Image Analysis: Part I, volume 10269 of Lecture Notes in Computer Science, pp 407-418, Springer, 2017. (DOI).
- An efficient descriptor based on radial line integration for fast non invariant matching and registration of microscopy images. In Advanced Concepts for Intelligent Vision Systems, volume 10617 of Lecture Notes in Computer Science, pp 723-734, Springer, 2017. (DOI).
- Investigating design implications towards a social robot as a memory trainer. In Proc. 5th International Conference on Human Agent Interaction, pp 5-10, ACM Press, New York, 2017. (DOI).
- Deep Fish: Deep Learning-Based Classification of Zebrafish Deformation for High-Throughput Screening. In Journal of Biomolecular Screening, volume 22, number 1, pp 102-107, 2017. (DOI).
- Knowledge Elicitation in Naturalistic Decision Making: Collegial Verbalisation with "Conspective Protocols". In Naturalistic Decision Making and Uncertainty: Proceedings of the 13th Bi-annual International Conference on Naturalistic Decision Making, pp 87-93, 2017. (fulltext:print).
- Characterization of interfacial stress transfer ability in acetylation-treated wood fibre composites using X-ray microtomography. In Industrial crops and products (Print), volume 95, pp 43-49, Elsevier, 2017. (DOI).
- Workshop on Robots for Learning-R4L. In HRI '17: Proceedings of the Companion of the 2017 ACM/IEEE International Conference on Human-Robot Interaction, ACM IEEE International Conference on Human-Robot Interaction, pp 423-424, Association for Computing Machinery (ACM), 2017. (DOI).
- Social drone companion for the home environment: a user-centric exploration. In Proc. 5th International Conference on Human Agent Interaction, pp 89-96, ACM Press, New York, 2017. (DOI).
- Assessing the ethical competence of organizations. In EBEN Annual Conference, University of Jyväskylä, Jyväskylä, Finland, 2017. (External link).
- Education for leaders’ ethical competence. In European Business Ethics Network: Research, Deree, American College of Greece College, Athens, 2017. (External link).
- Snowden’s revelations and the attitudes of students at Swedish universities. In Journal of Information, Communication and Ethics in Society, volume 15, number 3, pp 247-264, 2017. (DOI).
- Automated training of deep convolutional neural networks for cell segmentation. In Scientific Reports, volume 7, 2017. (DOI, Fulltext, fulltext:print).
- Spheroid segmentation using multiscale deep adversarial networks. In IEEE International Conference on Computer Vision, IEEE International Conference on Computer Vision Workshops, IEEE, 2017. (DOI).
- Convexity of marginal functions in the discrete case. In Analysis Meets Geometry: The Mikael Passare Memorial Volume, Trends in Mathematics, pp 287-309, Birkhäuser Verlag, Cham, 2017.
- Domains of holomorphy for Fourier transforms of solutions to discrete convolution equations. In Science China Mathematics, volume 60, number 6, pp 1005-1018, 2017. (DOI).
- How to best fold a triangle. In Mathematische Semesterberichte, volume 65, number 1, pp 65-89, 2017. (DOI, Fulltext).
- Mikael Passare (1959–2011). In Analysis Meets Geometry: The Mikael Passare Memorial Volume, Trends in Mathematics, pp 35-57, Birkhäuser Verlag, Cham, 2017.
- Covering a Euclidean line or hyperplane by dilations of its discretization. In Vietnam Journal of Mathematics, volume 45, number 3, pp 351-368, 2017. (DOI).
- Adding integral display properties to increase generalizability of a configural display. In Proceedings of the 13th SweCog Conference, Uppsala, October 26–27, 2017, pp 9-11, Skövde, 2017.
- Airway-tree segmentation in subjects with acute respiratory distress syndrome. In Image Analysis: Part II, volume 10270 of Lecture Notes in Computer Science, pp 76-87, Springer, 2017. (DOI).
- Classification of cross-sections for vascular skeleton extraction using convolutional neural networks. In Medical Image Understanding and Analysis, volume 723 of Communications in Computer and Information Science, pp 182-194, Springer, 2017. (DOI).
- Improved centerline tree detection of diseased peripheral arteries with a cascading algorithm for vascular segmentation. In Journal of Medical Imaging, volume 4, pp 024004:1-11, 2017. (DOI).
- On the precision of third person perspective augmented reality for target designation tasks. In Multimedia tools and applications, volume 76, number 14, pp 15279-15296, 2017. (DOI, Fulltext, fulltext:print).
- Passive in-vehicle driver breath alcohol detection using advanced sensor signal acquisition and fusion. In Traffic Injury Prevention, volume 18, pp S31-S36, 2017. (DOI, Fulltext, fulltext:print).
- Automated segmentation of human cervical-supraclavicular adipose tissue in magnetic resonance images. In Scientific Reports, volume 7, 2017. (DOI, Fulltext, fulltext:print).
- A license to kill: Improving UCSD in agile development. In Journal of Systems and Software, volume 123, pp 214-222, 2017. (DOI).
- Mechanochemical Polarization of Contiguous Cell Walls Shapes Plant Pavement Cells. In Developmental Cell, volume 43, number 3, pp 290-304, 2017. (DOI).
- Exact Evaluation of Targeted Stochastic Watershed Cuts. In Discrete Applied Mathematics, volume 216, number 2, pp 449-460, Elsevier, 2017. (DOI).
- SmartPaint: a tool for interactive segmentation of medical volume images. In Computer Methods In Biomechanics And Biomedical Engeineering-Imaging And Visualization, volume 5, number 1, pp 36-44, TAYLOR & FRANCIS LTD, 2017. (DOI).
- The Boolean Map Distance: Theory and Efficient Computation. In International Conference on Discrete Geometry for Computer Imagery, volume 10502 of Lecture notes in computer science, pp 335-346, Springer, 2017. (DOI).
- A short feature vector for image matching: The Log-Polar Magnitude feature descriptor. In PLOS ONE, volume 12, number 11, 2017. (DOI, Fulltext).
- Bridging Histology and Bioinformatics: Computational analysis of spatially resolved transcriptomics. In Proceedings of the IEEE, volume 105, number 3, pp 530-541, 2017. (DOI, Fulltext).
- Haptic communicative functions and their effects on communication in collaborative multimodal virtual environments. In Proc. 13th SweCog Conference, pp 63-64, Högskolan i Skövde, 2017. (fulltext:postprint).
- Using eye-tracking to study the effect of haptic feedback on visual focus during collaborative object managing in a multimodal virtual interface. In Proc. 13th SweCog Conference, pp 49-51, Högskolan i Skövde, 2017. (fulltext:postprint).
- An image based non-verbal behaviour analysis of HRI. In Social Robotics, volume 10652 of Lecture Notes in Computer Science, pp 23-31, Springer, 2017. (DOI).
- Scientometric analysis of the HAI conference. In Proc. 5th International Conference on Human Agent Interaction, pp 45-51, ACM Press, New York, 2017. (DOI).
- Assessing the digital work environment: A case study of digital transformation in higher education. In Proc. NES Conference: 2017, pp 382-386, 2017.
- Digital transformation and the changing role of student administrators: A case study. In European Journal of Higher Education IT, volume 4, number 1, pp 345-353, 2017. (Fulltext).
- Why are we here?: Student perspectives on the goal of STEM higher education. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
- Using anti-aliased signed distance fields for generating surgical guides and plates from CT images. In Journal of WSCG, volume 25, number 1, pp 11-20, 2017. (Fulltext, fulltext:print).
- BoneSplit – A 3D painting tool for interactive bone segmentation in CT images. In Pattern Recognition and Information Processing: PRIP 2016, volume 673 of Communications in Computer and Information Science, pp 3-13, Springer, 2017. (DOI).
- Exploring users' reactions towards tangible implicit probes for measuring human-robot engagement. In Social Robotics, volume 10652 of Lecture Notes in Computer Science, pp 402-412, Springer, 2017. (DOI, fulltext:postprint).
- A multidimensional perspective on the uncanny valley effect: Studying the interplay between a robot's appearance and interaction strategy. In Proc. Companion of 12th ACM/IEEE International Conference on Human-Robot Interaction, pp 363-364, ACM Press, New York, 2017. (DOI).
- Exploring the link between self-assessed mimicry and embodiment in HRI. In Proc. Companion of 12th ACM/IEEE International Conference on Human-Robot Interaction, pp 245-246, ACM Press, New York, 2017. (DOI).
- Investigating the influence of embodiment on facial mimicry in HRI using computer vision-based measures. In Proc. 26th International Symposium on Robot and Human Interactive Communication (Ro-Man), IEEE RO-MAN, pp 579-586, IEEE, 2017. (DOI).
- On the Difficult Task of TeachingComputer Ethics to Engineers. In CEPE/Ethicomp 2017: Electronic Collection, Università degli Studi di Torino, Torino, 2017. (External link).
- The Archetype Learning Method: Scaffolding teamwork competences in the engineering classroom. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
- How to Make Decisions with Algorithms: Ethical Decision-Making Using Algorithms within Predictive Analytics. In CEPE/Ethicomp 2017: ElectronicCollection, pp 1-13, Università degli Studi di Torino, Torino, 2017. (CEPE/Ethicomp 2017, fulltext).
- Influence of applied corneal endothelium image segmentation techniques on the clinical parameters. In Computerized Medical Imaging and Graphics, volume 55, pp 13-27, 2017. (DOI).
- Towards supporting remote cheering during running races with drone technology. In Proc. 35th Conference on Human Factors in Computing Systems: Extended Abstracts, pp 2867-2874, ACM Press, New York, 2017. (DOI).
- Skeletonization: Theory, Methods, and Applications. Computer Vision and Pattern Recognition, Academic Press, London, 2017. (DOI).
- Skeletonization and its applications – a review. In Skeletonization: Theory, Methods, and Applications, Computer Vision and Pattern Recognition, pp 3-42, Academic Press, London, 2017. (DOI).
- Differential neuroprotective effects of interleukin-1 receptor antagonist on spinal cord neurons after excitotoxic injury. In Neuroimmunomodulation, volume 24, pp 220-230, 2017. (DOI).
- Color map design for visualization in flood risk assessment. In International Journal of Geographical Information Science, volume 31, number 11, pp 2286-2309, 2017. (DOI, Fulltext).
- Can a teachable agent influence how students respond to competition in an educational game?. In Artificial Intelligence in Education, volume 10331 of Lecture Notes in Computer Science, pp 347-358, Springer, 2017. (DOI).
- Distance Between Vector-Valued Representations of Objects in Images with Application in Object Detection and Classification. In In Proc. of the 18th International Workshop on Combinatorial Image Analysis, IWCIA2017, volume 10256 of Lecture Notes in Computer Science, pp 243-255, Springer, 2017. (DOI).
- A concept for holistic whole body MRI data analysis, Imiomics. In PLOS ONE, volume 12, number 2, 2017. (DOI, Fulltext, fulltext:print).
- The Minimum Barrier Distance: A Summary of Recent Advances. In Discrete Geometry for Computer Imagery. DGCI 2017, volume 10502 of Lecture Notes in Computer Science, pp 57-68, Springer, 2017. (DOI, fulltext:postprint).
- Enhancement of cilia sub-structures by multiple instance registration and super-resolution reconstruction. In Image Analysis: Part II, volume 10270 of Lecture Notes in Computer Science, pp 362-374, Springer, 2017. (DOI).
- ProViz: a tool for explorative 3-D visualization and template matching in electron tomograms. In COMPUTER METHODS IN BIOMECHANICS AND BIOMEDICAL ENGINEERING-IMAGING AND VISUALIZATION, volume 5, number 6, pp 446-454, 2017. (DOI).
- Further analysis of clinical feasibility of OCT-based glaucoma diagnosis with Pigment epithelium central limit–Inner limit of the retina Minimal Distance (PIMD). In Ophthalmic Technologies XXVII, volume 10045 of Proc. SPIE, SPIE - International Society for Optical Engineering, Bellingham, WA, 2017. (DOI).
- Objective automated quantification of fluorescence signal in histological sections of rat lens. In Cytometry Part A, volume 91, number 8, pp 815-821, 2017. (DOI).
- Automatic document image binarization using Bayesian optimization. In Proc. 4th International Workshop on Historical Document Imaging and Processing, pp 89-94, ACM Press, New York, 2017. (DOI).
- On-the-fly historical handwritten text annotation. In Proc. 14th IAPR International Conference on Document Analysis and Recognition, pp 10-14, IEEE, 2017. (DOI).
- What computing instructors did last summer: Experiences and lessons learned. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
- Deep convolutional neural networks for detecting cellular changes due to malignancy. In Proc. 16th International Conference on Computer Vision Workshops, pp 82-89, IEEE Computer Society, 2017. (DOI).
- Neural Ctrl-F: Segmentation-free query-by-string word spotting in handwritten manuscript collections. In 2017 IEEE International Conference on Computer Vision (ICCV), IEEE International Conference on Computer Vision, pp 4443-4452, IEEE, 2017. (DOI, fulltext:postprint).
- Exploring proxemics for human-drone interaction. In Proc. 5th International Conference on Human Agent Interaction, pp 81-88, ACM Press, New York, 2017. (DOI).
- Less is More: Learning more with concurrent transmissions for energy-efficient flooding. In Proc. 14th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, pp 323-332, ACM Press, New York, 2017. (DOI).
- A study protocol for applying user participation and co-learning: Lessons learned from the eBalance project. In International Journal of Environmental Research and Public Health, volume 14, number 5, MDPI AG, 2017. (DOI, Fulltext, fulltext:print).
- Distance between vector-valued fuzzy sets based on intersection decomposition with applications in object detection. In Mathematical Morphology and its Applications to Signal and Image Processing, volume 10225 of Lecture Notes in Computer Science, pp 395-407, Springer, 2017. (DOI).
Numerical Analysis (Numerisk analys)
- A meshfree approach to non-Newtonian free surface ice flow: Application to the Haut Glacier d'Arolla. In Journal of Computational Physics, volume 330, pp 633-649, 2017. (DOI).
- Higher order derivative-free iterative methods with and without memory for systems of nonlinear equations. In Applied Mathematics and Computation, volume 314, pp 199-211, 2017. (DOI).
- Multilevel local time-stepping methods of Runge–Kutta-type for wave equations. In SIAM Journal on Scientific Computing, volume 39, pp A2020-A2048, 2017. (DOI).
- An explicit Hermite–Taylor method for the Schrödinger equation. In Communications in Computational Physics, volume 21, pp 1207-1230, 2017. (DOI).
- Estimates for the upscaling error in heterogeneous multiscale methods for wave propagation problems in locally periodic media. In Multiscale Modeling & simulation, volume 15, pp 948-976, 2017. (DOI).
- A preconditioner for optimal control problems, constrained by Stokes equation with a time-harmonic control. In Journal of Computational and Applied Mathematics, volume 310, pp 5-18, 2017. (DOI, fulltext:postprint).
- Comparison of preconditioned Krylov subspace iteration methods for PDE-constrained optimization problems: Stokes control. In Numerical Algorithms, volume 74, pp 19-37, 2017. (DOI, fulltext:postprint).
- Numerical solution of the viscous flow past a cylinder with a non-global yet spectrally convergent meshless collocation method. In Spectral and High Order Methods for Partial Differential Equations: ICOSAHOM 2016, volume 119 of Lecture Notes in Computational Science and Engineering, pp 495-507, Springer, 2017. (DOI).
- Optimizing a multigrid Runge–Kutta smoother for variable-coefficient convection–diffusion equations. In Linear Algebra and its Applications, volume 533, pp 507-535, 2017. (DOI).
- A fast direct solver for the advection–diffusion equation using low-rank approximation of the Green's function. In Spectral and High Order Methods for Partial Differential Equations: ICOSAHOM 2016, volume 119 of Lecture Notes in Computational Science and Engineering, pp 423-435, Springer, 2017. (DOI).
- Exploration of Toeplitz-like matrices with unbounded symbols is not a purely academic journey. In Sbornik. Mathematics, volume 208, number 11, pp 1602-1627, 2017. (DOI).
- Accurate and stable time stepping in ice sheet modeling. In Journal of Computational Physics, volume 329, pp 29-47, 2017. (DOI, fulltext:postprint).
- Backstepping stabilization of the linearized Saint-Venant–Exner model. In Automatica, volume 76, pp 345-354, 2017. (DOI).
- Control of shallow waves of two unmixed fluids by backstepping. In Annual Reviews in Control, volume 44, pp 211-225, 2017. (DOI).
- Function-based block multigrid strategy for a two-dimensional linear elasticity-type problem. In Computers and Mathematics with Applications, volume 74, pp 1015-1028, 2017. (DOI).
- Symbol-based multigrid methods for Galerkin B-spline isogeometric analysis. In SIAM Journal on Numerical Analysis, volume 55, pp 31-62, 2017. (DOI).
- Multiscale methods for problems with complex geometry. In Computer Methods in Applied Mechanics and Engineering, volume 321, pp 103-123, 2017. (DOI).
- Multiscale simulation of stochastic reaction–diffusion networks. In Stochastic Processes, Multiscale Modeling, and Numerical Methods for Computational Cellular Biology, pp 55-79, Springer, 2017. (DOI).
- Generalized Locally Toeplitz Sequences: Theory and Applications: Volume I. Springer, 2017. (DOI).
- Lusin theorem, GLT sequences and matrix computations: An application to the spectral analysis of PDE discretization matrices. In Journal of Mathematical Analysis and Applications, volume 446, pp 365-382, 2017. (DOI).
- Spectral analysis and spectral symbol of matrices in isogeometric Galerkin methods. In Mathematics of Computation, volume 86, number 305, pp 1343-1373, 2017. (DOI).
- The theory of generalized locally Toeplitz sequences: a review, an extension, and a few representative applications. In Large Truncated Toeplitz Matrices, Toeplitz Operators, and Related Topics, volume 259 of Operator Theory: Advances and Applications, pp 353-394, Springer, 2017. (DOI).
- Robustness analysis of spatiotemporal models in the presence of extrinsic fluctuations. In SIAM Journal on Applied Mathematics, volume 77, pp 1157-1183, 2017. (DOI).
- Contrast independent localization of multiscale problems. In Multiscale Modeling & simulation, volume 15, pp 1325-1355, 2017. (DOI).
- A phase-field microscale enhancement for macro models of capillary-driven contact point dynamics. In Journal of Computational Multiphase Flows, volume 9, pp 114-126, 2017. (DOI, Fulltext).
- A least squares radial basis function partition of unity method for solving PDEs. In SIAM Journal on Scientific Computing, volume 39, pp A2538-A2563, 2017. (DOI).
- A high-order accurate embedded boundary method for first order hyperbolic equations. In Journal of Computational Physics, volume 334, pp 255-279, 2017. (DOI).
- Diagonal-norm upwind SBP operators. In Journal of Computational Physics, volume 335, pp 283-310, 2017. (DOI).
- Excluded volume effects in on- and off-lattice reaction–diffusion models. In IET Systems Biology, volume 11, pp 55-64, 2017. (DOI).
- Multiscale modeling of diffusion in a crowded environment. In Bulletin of Mathematical Biology, volume 79, pp 2672-2695, 2017. (DOI).
- The generation of turbulent inflow boundary conditions using precursor channel flow simulations. In Computers & Fluids, volume 156, pp 21-33, 2017. (DOI).
- Numerical investigation of a viscous regularization of the Euler equations by entropy viscosity. In Computer Methods in Applied Mechanics and Engineering, volume 317, pp 128-152, 2017. (DOI, fulltext:postprint).
- Model Description Language (MDL): A Standard for Modeling and Simulation. In CPT: Pharmacometrics and Systems Pharmacology (PSP), volume 6, number 10, pp 647-650, WILEY, 2017. (DOI).
- Convergence of summation-by-parts finite difference methods for the wave equation. In Journal of Scientific Computing, volume 71, pp 219-245, 2017. (DOI, Fulltext).
- A higher order multi-step iterative method for computing the numerical solution of systems of nonlinear equations associated with nonlinear PDEs and ODEs. In Journal of Computational Analysis And Applications, volume 22, pp 445-461, 2017.
- Micromechanics of semicrystalline polymers: Towards quantitative predictions. In Mechanics research communications, volume 80, pp 4-9, 2017. (DOI).