| Secure information flow connections | 0 | 0.34 | 2022 |
| Normalising Lustre Preserves Security | 0 | 0.34 | 2021 |
| Security Types for Synchronous Data Flow Systems | 0 | 0.34 | 2020 |
| DHOOM: Reusing Design-for-Debug Hardware for Online Monitoring | 1 | 0.36 | 2019 |
| Only Connect, Securely. | 0 | 0.34 | 2019 |
| Lightweight Classification of IoT Malware based on Image Recognition. | 4 | 0.44 | 2018 |
| Best-by-simulations: A framework for comparing efficiency of reconfigurable architectures on workloads with deadlines. | 0 | 0.34 | 2018 |
| Best-By-Simulations: A Framework For Comparing Efficiency Of Reconfigurable Multicore Architectures On Workloads With Deadlines | 0 | 0.34 | 2017 |
| Dynamic core allocation for energy efficient video decoding in homogeneous and heterogeneous multicore architectures | 2 | 0.37 | 2016 |
| prasavGraph: Android based Labour Monitoring. | 0 | 0.34 | 2016 |
| Pravah: Parameterised Information Flow Control In E-Health | 0 | 0.34 | 2016 |
| Self-Similarity Breeds Resilience | 0 | 0.34 | 2016 |
| Program Execution On Reconfigurable Multicore Architectures | 0 | 0.34 | 2016 |
| A Switch, in Time. | 0 | 0.34 | 2015 |
| Limited Mobility, Eventual Stability. | 0 | 0.34 | 2015 |
| ReKonf: Dynamically reconfigurable multiCore architecture. | 2 | 0.43 | 2014 |
| Energy Efficient Dynamic Core Allocation for Video Decoding in Embedded Multicore Architectures | 0 | 0.34 | 2014 |
| mDROID - An Affordable Android based mHealth System. | 0 | 0.34 | 2014 |
| A Modular Android-Based Multi-sensor mHealth System | 0 | 0.34 | 2014 |
| ReKonf: A Reconfigurable Adaptive ManyCore Architecture | 7 | 0.56 | 2012 |
| An Operational Model for Multiprocessors with Caches | 2 | 0.42 | 2010 |
| Universal rich presence framework for intelligent call management | 0 | 0.34 | 2010 |
| An axiomatic basis for communication. | 13 | 2.29 | 2007 |
| FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings | 37 | 1.62 | 2007 |
| Divide and concur: employing chandra and toueg's consensus algorithm in a multi-level setting | 0 | 0.34 | 2005 |
| Effective Chemistry for Synchrony and Asynchrony | 1 | 0.35 | 2004 |
| Modelling IP Mobility | 5 | 0.55 | 2000 |
| Foundations of Software Technology and Theoretical Computer Science, 20th Conference, FST TCS 2000 New Delhi, India, December 13-15, 2000, Proceedings | 31 | 2.55 | 2000 |
| Reflecting BDDs in Coq | 18 | 0.97 | 2000 |
| The Game of the Name in Cryptographic Tables | 11 | 1.12 | 1999 |
| Models for mobile computing agents | 6 | 1.22 | 1996 |
| Localities and Failures (Extended Abstract) | 26 | 3.63 | 1994 |
| Operational and algebraic semantics for Facile: a symmetric integration of concurrent and functional programming | 35 | 4.81 | 1990 |
| Facile: a symmetric integration of concurrent and functional programming | 100 | 12.61 | 1989 |
