| A Reactive Architectural Proposal for Fog/Edge Computing in the Internet of Things Paradigm with Application in Deep Learning | Springer Optimization and Its Applications | 2022 |
| Behind Enemy Lines | | 2019 |
| Horizontal and Vertical Scalability of Machine Learning Methods | Problems in Programming | 2019 |
| Organizational Adoption of New Communication Technologies | | 2014 |
| Performance Enhancements | | 2014 |
| Heart Rate Variability and Cardiovascular Dynamic Changes during Local Anesthesia | | 2012 |
| Scalable End-User Access to Big Data | | 2013 |
| Decidable verification under a causally consistent shared memory | | 2020 |
| A probabilistic separation logic | | 2020 |
| AI buzzwords explained | AI Matters | 2017 |
| Declarative programming over eventually consistent data stores | ACM SIGPLAN Notices | 2015 |
| Logical abstractions for noisy variational Quantum algorithm simulation | | 2021 |
| Capturing information processes with variable domains | Procedia Computer Science | 2020 |
| Behavioural Biometrics in VR | | 2019 |
| Intelligent Framework for Malware Detection with Convolutional Neural Network | | 2019 |
| A platform for diversity-driven test amplification | | 2019 |
| Exponential separation between shallow quantum circuits and unbounded fan-in shallow classical circuits | | 2019 |
| Understanding Affective Experiences with Conversational Agents | | 2019 |
| Exploration of memory hybridization for RDD caching in Spark | | 2019 |
| Designing Connected Resources for Older People | | 2018 |
| Reactive programming experience with REScala | | 2018 |
| Considering Documents in Lifelog Information Retrieval | | 2018 |
| Triangulated surface flattening based on the physical shell model | Journal of Mechanical Science and Technology | 2018 |
| Fine-Grained Address Space Layout Randomization on Program Load | Programming and Computer Software | 2018 |
| Applying graph kernels to model-driven engineering problems | | 2018 |
| Attached and detached closures in actors | | 2018 |
| Is this class thread-safe? inferring documentation using graph-based learning | | 2018 |
| Analyzing Accessed Content Sequences with HDP-based Models | | 2018 |
| Incentive-Compatible Diffusion | | 2018 |
| CUDAAdvisor: LLVM-based runtime profiling for modern GPUs | | 2018 |
| Dominance-based duplication simulation (DBDS): code duplication to enable compiler optimizations | | 2018 |
| Informatics, Information Science, and Computer Science | Scientific and Technical Information Processing | 2018 |
| Dominance-based duplication simulation (DBDS): code duplication to enable compiler optimizations | | 2018 |
| Finding missed compiler optimizations by differential testing | | 2018 |
| Sparse Compositional Local Metric Learning | | 2017 |
| AI buzzwords explained | AI Matters | 2017 |
| Declarative programming over eventually consistent data stores | | 2015 |
| Multimodal mobile-ambient transmedial twirling with environmental lighting to complement fluid perspective with phase-perturbed affordance projection | | 2014 |
| Usable Security: History, Themes, and Challenges | Synthesis Lectures on Information Security Privacy and Trust | 2014 |
| Children’s Internet Search: Using Roles to Understand Children’s Search Behavior | Synthesis Lectures on Information Concepts, Retrieval, and Services | 2014 |
| How can online store layout design and atmosphere influence consumer shopping intention on a website? | International Journal of Retail and Distribution Management | 2013 |
