| Hippo | Proceedings of the VLDB Endowment | 2022 |
| Extrinsically typed operational semantics for functional languages | | 2020 |
| TraceSim: a method for calculating stack trace similarity | | 2020 |
| Evolving AL-FEC Application on 5G NGMN-Edge Computing Systems | Advances in Science, Technology and Engineering Systems | 2018 |
| Method Using Command Abstraction Library for Iterative Testing Security of Web Applications | | 2018 |
| On the Dynamic Shifting of the MapReduce Timeout | Advances in Data Mining and Database Management Book Series | 2016 |
| Higher income, larger loan? monotonicity testing of machine learning models | | 2020 |
| Decidable verification under a causally consistent shared memory | | 2020 |
| A Template Based Approach for Training NMT for Low-Resource Uralic Languages - A Pilot with Finnish | | 2019 |
| Segmentation and Classification of Brain Tumour Images | International Journal of Scientific Research in Science and Technology | 2021 |
| Extending Intel PML for hardware-assisted working set size estimation of VMs | | 2021 |
| Forecasting Megaelectron-Volt Electrons Inside Earth's Outer Radiation Belt: PreMevE 2.0 Based on Supervised Machine Learning Algorithms | Space Weather | 2020 |
| Protect Your Pacemaker: Blockchain based Authentication and Consented Authorization for Implanted Medical Devices | Procedia Computer Science | 2020 |
| Multi-instance multi-label learning for surgical image annotation | International Journal of Medical Robotics and Computer Assisted Surgery | 2020 |
| Jargon of Hadoop MapReduce scheduling techniques: a scientific categorization | Knowledge Engineering Review | 2019 |
| QuickCheck: using speculation to reduce the overhead of checks in NVM frameworks | | 2019 |
| Finite difference methods fengshui: alignment through a mathematics of arrays | | 2019 |
| Integrating runtime data with development data to monitor external quality: challenges from practice | | 2019 |
| Dependency Network-based Trust Management for Context-Aware Web Services | Procedia Computer Science | 2019 |
| Deep Residual Network with Self Attention Improves Person Re-Identification Accuracy | | 2019 |
| Compare less, defer more: scaling value-contexts based whole-program heap analyses | | 2019 |
| Linear capabilities for fully abstract compilation of separation-logic-verified code | | 2019 |
| Erlang as an enabling technology for resilient general-purpose applications on edge IoT networks | | 2019 |
| Exponential separation between shallow quantum circuits and unbounded fan-in shallow classical circuits | | 2019 |
| An analysis of MoLIC's consolidation | | 2019 |
| Triangulated surface flattening based on the physical shell model | Journal of Mechanical Science and Technology | 2018 |
| Multi-Path Convolutional Neural Network for Distant Supervised Relation Extraction | | 2018 |
| Microscopic Fusarium Detection and Verification with Convolutional Neural Networks | | 2018 |
| Mitigating the Latency-Accuracy Trade-off in Mobile Data Analytics Systems | | 2018 |
| Object-oriented recovery for non-volatile memory | | 2018 |
| Structural decompositions for problems with global constraints | Constraints | 2016 |
| A multimodal approach for extracting content descriptive metadata from lecture videos | Journal of Intelligent Information Systems | 2016 |
| Toward understanding compiler bugs in GCC and LLVM | | 2016 |
| Formal Description and Automatic Generation of Learning Spaces Based on Ontologies | Procedia Computer Science | 2016 |
| A semantic approach to remove incoherent items from a user profile and improve the accuracy of a recommender system | Journal of Intelligent Information Systems | 2016 |
| Designing ultra-low power systems with non-uniform sampling and event-driven logic | | 2014 |
