| 2008 | ||
|---|---|---|
| 3 | Johan M. Karlsson, Henrik Persson: Hierarchical structure of wireless systems - an analytical performance study. PIMRC 2008: 1-6 | |
| 1998 | ||
| 2 | Thierry Coquand, Henrik Persson: Gröbner Bases in Type Theory. TYPES 1998: 33-46 | |
| 1997 | ||
| 1 | Thierry Coquand, Henrik Persson: A Proof-Theoretical Investigation of Zantema's Problem. CSL 1997: 177-188 | |
| 1 | Thierry Coquand | [1] [2] |
| 2 | Johan M. Karlsson | [3] |