Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Dynamic Truth Discovery on Numerical Data | 4 | 0.39 | 2018 |
| Modular Verification of Sequential Composition for Private Channels in Maude-NPA. | 0 | 0.34 | 2018 |
| Proteus: Power Proportional Memory Cache Cluster in Data Centers | 5 | 0.43 | 2013 |