Publications of
David Fauthoux, Jean-Paul Bahsoun
From Lens to Flow Structure
In : First EurAsian Conference on Advances in Information and Communication Technology (EURASIA-ICT), Shiraz- Iran, 29/10/02-31/10/02, Austrian computer society, October 2002.
Luis Fariñas del Cerro, David Fauthoux, Olivier Gasquet, Andreas Herzig, Dominique Longin, Fabio Massacci
Lotrec: a generic tableau prover for modal and description logics (regular paper)
In : International Joint Conference on Automated Reasoning (IJCAR 2001), Siena, Italy, 18/06/01-23/06/01, Vol. 2083, R. Goré, A. Leitsch, T. Nipkow (Eds.), Springer-Verlag, LNCS, pp. 453-458, 2001.
URL : http://www.irit.fr/publis/LILAC/Conf_internationales/2001_Farinas_et_al_IJCAR.pdf
BibTeX
Des grains aux aspects, proposition pour un modèle de programmation orienté-aspect
Master’s Thesis, Université Paul Sabatier, May 2004.