| A Novel System Architecture for Automated Field-Based Tent Systems for Controlled-Environment Agriculture | 0 | 0.34 | 2021 |
| Enhanced Security of Building Automation Systems Through Microkernel-Based Controller Platforms | 0 | 0.34 | 2017 |
| Enhanced Security of Building Automation Systems Through Microkernel-Based Controller Platforms. | 0 | 0.34 | 2017 |
| Secure RTOS Architecture for Building Automation | 2 | 0.38 | 2015 |
| Symbolic Schedulability Analysis of Task Sets with Arbitrary Deadlines | 0 | 0.34 | 2010 |
| Integrating Dam Breach Modules to Analyze Earth Embankment Dams | 0 | 0.34 | 2010 |
| Symbolic Schedulability Analysis of Task Sets with Preemption Thresholds | 0 | 0.34 | 2010 |
| Model Checking Token-Based Distributed Mutual Exclusion Algorithms | 1 | 0.37 | 2009 |
| Verification of Distributed Mutual Exclusion Algorithms | 0 | 0.34 | 2008 |
| A generalized token-based mutual exclusion algorithm for wireless networks | 2 | 0.39 | 2007 |
| Education: A Multidisciplinary Real-Time Embedded-Systems Curriculum | 0 | 0.34 | 2002 |
| A self-stabilizing quorum-based protocol for maxima computing | 3 | 0.46 | 2002 |
| Domain-specific Metaware for Hydrologic Applications | 0 | 0.34 | 2002 |
| A General Block Transfer Protocol for CAN Kingdom | 0 | 0.34 | 2002 |
| A GIS-based modeling approach for implementation of sustainable farm management practices | 12 | 2.43 | 2000 |
| A structured approach to develop concurrent programs in UML | 7 | 0.61 | 2000 |
| Properties of nondominated k-coteries | 5 | 0.42 | 1997 |
| A Dynamic Probe Strategy for Quorum Systems | 6 | 0.62 | 1997 |
| A decentralized communication efficient distributed shared memory | 0 | 0.34 | 1996 |
| Erratum to “Nondominated k-coteries for multiple mutual exclusion” | 6 | 0.46 | 1996 |
| An Optimistic Protocol for a Linearizable Distributed Shared Memory System | 4 | 0.39 | 1996 |
| Variable-rate Timestamped Anti-entropy Protocols | 0 | 0.34 | 1995 |
| Nondominated k-coteries for multiple mutual exclusion | 23 | 1.22 | 1994 |
| An Efficient Implementation of Sequentially Consistent Distributed Shared Memories | 2 | 0.37 | 1994 |
| A quorum-based algorithm for parameterized semaphore operations | 0 | 0.34 | 1993 |
| Measures of Importance and Symmetry in Distributed Systems | 1 | 0.39 | 1993 |
| A General Method to Define Quorums | 4 | 0.47 | 1992 |
| Synchronization and concurrency measures for distributed computations | 7 | 0.59 | 1992 |
| A Distributed Algorithm for Parameterized Semaphore Operations | 0 | 0.34 | 1992 |
| A token based distributed mutual exclusion algorithm based on quorum agreements | 10 | 0.81 | 1991 |
| A DAG-based algorithm for distributed mutual exclusion | 37 | 2.00 | 1991 |
