| 2008 | ||
|---|---|---|
| 3 | EE | Tachio Terauchi, Adam Megacz: Inferring Channel Buffer Bounds Via Linear Programming. ESOP 2008: 284-298 |
| 2007 | ||
| 2 | EE | Adam Megacz: A coinductive monad for prop-bounded recursion. PLPV 2007: 11-20 |
| 2006 | ||
| 1 | EE | Adam Megacz: Scannerless Boolean Parsing. Electr. Notes Theor. Comput. Sci. 164(2): 97-102 (2006) |
| 1 | Tachio Terauchi | [3] |