Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Distributed Watchpoints: Debugging Large Modular Robot Systems | 7 | 0.54 | 2008 |
| Model-driven construction of certified binaries | 5 | 0.44 | 2007 |
| Automated techniques for provably safe mobile code | 6 | 0.52 | 2003 |
| An Implementation of Parametrized Partial Evaluation | 3 | 0.85 | 1991 |