| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2017 | J | jnl |
Comput. Networks
|
| 2016 | J | jnl |
Ad Hoc Networks
|
| 2013 | Misc | conf |
COMAD
|
| 2011 | B | conf |
WCNC
|
| 2007 | J | jnl |
Int. J. Web Based Learn. Teach. Technol.
|
| 2007 | — | conf |
ACM Great Lakes Symposium on VLSI
|
| 2007 | — | conf |
WEBIST (3)
|
| 2007 | — | conf |
ICCTA
|
| 2006 | — | conf |
ISQED
|
| 2006 | — | conf |
WEBIST (2)
|
| 2006 | — | conf |
WEBIST (Selected Papers)
|
| 2006 | — | conf |
WEBIST (2)
|
| 2006 | — | conf |
ISVLSI
|
| 2004 | J | jnl |
J. Funct. Program.
|
| 2002 | J | jnl |
Int. J. Shape Model.
|
| 2001 | — | conf |
Scottish Functional Programming Workshop
|
| 2000 | C | conf |
GMP
|
| 2000 | J | jnl |
Int. J. Shape Model.
|
| 2000 | J | jnl |
Int. J. Shape Model.
|
| 1999 | — | conf |
Symposium on Solid Modeling and Applications
|
| 1999 | J | jnl |
Comput. Aided Des.
|
| 1998 | — | conf |
PROLAMAT
|
| 1997 | — | conf |
Symposium on Solid Modeling and Applications
|
| 1993 | J | jnl |
J. Funct. Program.
|
| 1992 | J | jnl |
Sci. Comput. Program.
|
| 1989 | — | book |
Elements of functional programming.
|