| |
| 2007 | ||
|---|---|---|
| 3 | EE | Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Tom Ridge, Susmit Sarkar, Rok Strnisa: Ott: effective tool support for the working semanticist. ICFP 2007: 1-12 |
| 2005 | ||
| 2 | EE | Susmit Sarkar, Brigitte Pientka, Karl Crary: Small Proof Witnesses for LF. ICLP 2005: 387-401 |
| 2003 | ||
| 1 | EE | Karl Crary, Susmit Sarkar: Foundational Certified Code in a Metalogical Framework. CADE 2003: 106-120 |
| 1 | Karl Crary | [1] [2] |
| 2 | Francesco Zappa Nardelli | [3] |
| 3 | Scott Owens | [3] |
| 4 | Gilles Peskine | [3] |
| 5 | Brigitte Pientka | [2] |
| 6 | Tom Ridge | [3] |
| 7 | Peter Sewell | [3] |
| 8 | Rok Strnisa | [3] |