| Energy-Efficiency Comparison of Mobile Platforms and Applications: A Quantitative Approach | 1 | 0.36 | 2015 |
| BatteryExtender: an adaptive user-guided tool for power management of mobile devices | 3 | 0.36 | 2014 |
| Experimental Analysis of Application Specific Energy Efficiency of Data Centers with Heterogeneous Servers | 12 | 0.53 | 2012 |
| Predictable service overlay networks: Predictability through adaptive monitoring and efficient overlay construction and management | 1 | 0.37 | 2012 |
| Evaluation of QoS-compliant overlays under denial of service attacks | 0 | 0.34 | 2010 |
| Eventually perfect predicate detection in crash-affected finite average response time systems | 0 | 0.34 | 2010 |
| QoSMap: Achieving Quality and Resilience through Overlay Construction | 14 | 1.01 | 2009 |
| Predicate Detection Modality and Semantics in Three Partially Synchronous Models | 2 | 0.36 | 2008 |
| Investigation on Academic Research Software Development | 1 | 0.36 | 2008 |
| PSON: predictable service overlay networks. | 3 | 0.40 | 2007 |
| SyncProbe: Providing Assurance of Message Latency through Predictive Monitoring of Internet Paths | 2 | 0.37 | 2007 |
| Real-time predicate detection in timed asynchronous systems | 1 | 0.35 | 2007 |
| PaxonDHT: Achieving Consensus in Distributed Hash Tables | 6 | 0.51 | 2006 |
| Server selection with arbitrary distribution | 0 | 0.34 | 2005 |
| GRACE: Enabling collaborations in wide-area distributed systems | 6 | 0.56 | 2005 |
| A Unified Formal Specification for a Multi-Consistency Replication System for DHTs | 0 | 0.34 | 2005 |
| Brief announcement: controlled quorum selection in arbitrary topologies | 1 | 0.43 | 2005 |
| Towards Partially Synchronous Overlays: Issues and Challenges | 4 | 0.58 | 2005 |
| Brief announcement: the design of an internet-scale monitoring and assertion-checking infrastructure | 1 | 0.35 | 2004 |
| Efficient Data Aggregation Middleware for Wireless Sensor Networks | 10 | 0.65 | 2004 |
| A Formal Model for Eventual Consistency Semantics | 5 | 0.49 | 2002 |
| Simulation-Verification: Biting at the State Explosion Problem | 12 | 0.78 | 2001 |
| Using Modechart Modules for Testing Formal Specifications | 1 | 0.36 | 1999 |
| A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications | 5 | 0.74 | 1997 |
| A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications | 0 | 0.34 | 1997 |
| Performance aspects of dynamic re-allocation for partitioned data | 0 | 0.34 | 1996 |
