| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2024 | — | conf |
From Computational Logic to Computational Biology
|
| 2013 | — | book |
|
| 2012 | — | conf |
HILT
|
| 2012 | — | conf |
HILT
|
| 2010 | Misc | conf |
Ada-Europe
|
| 2010 | — | conf |
SIGAda
|
| 2006 | Misc | conf |
Ada-Europe
|
| 2005 | Misc | conf |
Ada-Europe
|
| 2005 | — | conf |
SIGAda
|
| 2004 | Misc | conf |
Ada-Europe
|
| 2004 | — | conf |
SIGAda
|
| 2003 | — | conf |
IRTAW
|
| 1994 | — | conf |
TRI-Ada
|
| 1992 | J | jnl |
Commun. ACM
|
| 1992 | — | conf |
TRI-Ada
|
| 1992 | — | conf |
TRI-Ada
|
| 1991 | — | conf |
TRI-Ada
|
| 1990 | C | conf |
SETA
|
| 1985 | — | conf |
SIGAda
|
| 1984 | J | jnl |
IEEE Softw.
|
| 1982 | — | conf |
AdaTEC Conference on Ada
|
| 1981 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 1980 | — | conf |
SIGPLAN
|
| 1979 | A* | conf |
POPL
|
| 1979 | J | jnl |
ACM SIGPLAN Notices
|
| 1979 | J | jnl |
ACM Trans. Program. Lang. Syst.
|
| 1979 | — | conf |
ACM Annual Conference
|