Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Nested Session Types | 0 | 0.34 | 2021 |
| Semi-Axiomatic Sequent Calculus. | 0 | 0.34 | 2020 |
| Substructural Proofs as Automata. | 0 | 0.34 | 2016 |
| Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication. | 12 | 0.62 | 2012 |
| Understanding and protecting privacy: formal semantics and principled audit mechanisms | 15 | 0.70 | 2011 |
| Linear logical voting protocols | 3 | 0.67 | 2011 |
| Experiences in the logical specification of the HIPAA and GLBA privacy laws | 28 | 1.05 | 2010 |
| An Authorization Logic With Explicit Time | 11 | 0.69 | 2008 |