![]() | ![]() |
2002 | ||
---|---|---|
2 | EE | David Fauthoux, Jean Paul Bahsoun: From Lens to Flow Structure. EurAsia-ICT 2002: 953-964 |
2001 | ||
1 | EE | Luis Fariñas del Cerro, David Fauthoux, Olivier Gasquet, Andreas Herzig, Dominique Longin, Fabio Massacci: Lotrec : The Generic Tableau Prover for Modal and Description Logics. IJCAR 2001: 453-458 |
1 | Jean Paul Bahsoun | [2] |
2 | Luis Fariñas del Cerro | [1] |
3 | Olivier Gasquet | [1] |
4 | Andreas Herzig | [1] |
5 | Dominique Longin | [1] |
6 | Fabio Massacci | [1] |