| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2023 | J | jnl |
J. Inf. Technol. Tour.
|
| 2019 | — | conf |
From Software Engineering to Formal Methods and Tools, and Back
|
| 2018 | — | conf |
REFSQ Workshops
|
| 1998 | Misc | conf |
MUC
|
| 1997 | Misc | conf |
EPIA
|
| 1997 | — | conf |
CIFEr
|
| 1997 | — | conf |
Implementation of Functional Languages
|
| 1997 | J | jnl |
Int. J. Speech Technol.
|
| 1996 | B | conf |
COLING
|
| 1996 | J | jnl |
J. Math. Imaging Vis.
|
| 1996 | — | conf |
FAPR
|
| 1995 | J | jnl |
Comput. Graph.
|
| 1995 | Misc | conf |
MUC
|
| 1994 | — | conf |
ISOOMS
|
| 1994 | — | conf |
Data-based control of the search space generated by multiple knowledge bases for speech recognition.
ICSLP
|
| 1994 | B | conf |
INLG
|
| 1994 | — | book |
Reasoning by analogy and causality - a model and application.
|
| 1994 | — | conf |
AISMC
|
| 1993 | — | conf |
EUROSPEECH
|
| 1993 | — | conf |
EUROSPEECH
|
| 1993 | — | conf |
WPC
|
| 1993 | — | conf |
EUROSPEECH
|
| 1992 | B | conf |
Intelligent Tutoring Systems
|
| 1992 | — | conf |
AISMC
|
| 1989 | — | conf |
Alvey Vision Conference
|
| 1988 | C | conf |
IPMU
|
| 1986 | C | conf |
IPMU
|