David Fauthoux

According to our database, David Fauthoux authored at least 2 papers between 2001 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

From Lens to Flow Structure.

David Fauthoux, Jean Paul Bahsoun

Proceedings of the EurAsia-ICT 2002: Information and Communication Technology, 2002

2001

Lotrec : The Generic Tableau Prover for Modal and Description Logics.

Luis Fariñas del Cerro, David Fauthoux, Olivier Gasquet, Andreas Herzig, Dominique Longin, Fabio Massacci

Proceedings of the Automated Reasoning, First International Joint Conference, 2001