| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2009 | J | jnl |
Comput. Lang. Syst. Struct.
|
| 2008 | — | conf |
AAMAS (Industry Track)
|
| 2007 | — | conf |
AITamI@IJCAI (best papers)
|
| 2007 | — | ed. |
ICDL
|
| 2006 | — | conf |
OOPSLA Companion
|
| 2005 | J | jnl |
Comput. Lang. Syst. Struct.
|
| 2004 | — | conf |
MMAS
|
| 2003 | J | jnl |
Tech. Sci. Informatiques
|
| 1999 | — | conf |
INFORSID
|
| 1994 | C | conf |
SEKE
|
| 1994 | — | ed. |
TOOLS (13)
|
| 1993 | — | ed. |
TOOLS (10)
|
| 1992 | — | conf |
TOOLS (7)
|
| 1991 | A | conf |
ECOOP
|
| 1978 | J | jnl |
Theor. Comput. Sci.
|
| 1977 | — | conf |
IFIP Congress
|
| 1977 | — | conf |
Theoretical Computer Science
|
| 1977 | J | jnl |
Acta Informatica
|
| 1977 | B | conf |
FCT
|
| 1975 | — | conf |
Automata Theory and Formal Languages
|
| 1972 | — | — |
Contribution a l'etude des monoides syntactiques et de certains groupes associes aux automates finis.
|
| 1971 | J | jnl |
Acta Informatica
|
| 1970 | A* | conf |
STOC
|