| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2001 | J | jnl |
J. Syst. Softw.
|
| 2000 | J | jnl |
J. Syst. Softw.
|
| 1999 | — | conf |
TOOLS (30)
|
| 1998 | — | conf |
TOOLS (26)
|
| 1998 | — | conf |
TOOLS (26)
|
| 1997 | — | conf |
US-Brazil Joint Workshops on the Formal Foundations of Software Systems
|
| 1997 | — | conf |
US-Brazil Joint Workshops on the Formal Foundations of Software Systems
|
| 1987 | — | conf |
SBES
|
| 1980 | — | conf |
Workshop on Data Abstraction, Databases and Conceptual Modelling
|
| 1978 | J | jnl |
Comput. Lang.
|
| 1976 | A | conf |
SIGCSE
|