| |
| 2003 | ||
|---|---|---|
| 4 | EE | Andrew W. Appel, Neophytos G. Michael, Aaron Stump, Roberto Virga: A Trustworthy Proof Checker. J. Autom. Reasoning 31(3-4): 231-260 (2003) |
| 2002 | ||
| 3 | EE | Amal J. Ahmed, Andrew W. Appel, Roberto Virga: A Stratified Semantics of General References A Stratified Semantics of General References. LICS 2002: 75- |
| 2000 | ||
| 2 | EE | Roberto Virga: Efficient Substitution in Hoare Logic Expressions. Electr. Notes Theor. Comput. Sci. 41(3): (2000) |
| 1996 | ||
| 1 | Roberto Virga: Higher-Order Superposition for Dependent Types. RTA 1996: 123-137 | |
| 1 | Amal Ahmed (Amal J. Ahmed) | [3] |
| 2 | Andrew W. Appel | [3] [4] |
| 3 | Neophytos G. Michael | [4] |
| 4 | Aaron Stump | [4] |