Expert System for Translating an E-R Diagram into Databases. - Henri Briand; Henri Habrias; J.-F. Hue; Y. Simon (ER, 1985)

A Description of Rules through Occurring/Synthetic Cardinalities. - Henri Habrias; Patrick Legrand (ER, 1988)

Value-Oriented and Object-Oriented Database Design with Reference to Time. - Violaine Prince; Henri Habrias (DEXA, 1990)

Towards a Joint Use of NIAM, JSD and Z Methods. - H. Lamande; Henri Habrias (ORM, 1994)

Diachronie et synchronie en spécification, une illustration en Z. - Henri Habrias; Pascal Bernard; Alain Vailly (INFORSID, 1995)

L'utilisation de la méthode NIAM pour construire une spécification formelle basée sur un état. - Henri Habrias (INFORSID, 1996)

Formal Specification of Dynamic Constraints with the B Method. - Henri Habrias; B. Griech (ICFEM, 1997)

A Study of Collaborative Work: Answers to a Test on Formal Specification in B. - Henri Habrias; Pascal Poizat; Jean-Yves Lafaye (World Congress on Formal Methods, 1999)

The Complexity of Formal Specifications - Assessments by alpha-Metric. - Peter Kokol; Vili Podgorelec; Henri Habrias; Nassim Hadj Rabia (ACM SIGPLAN Notices, 1999)

Ranking the Complexity of NIAM Conceptual Schemas by Alpha Metric. - Peter Kokol; Vili Podgorelec; Henri Habrias; Nassim Hadj Rabia (ACM SIGPLAN Notices, 2000)

L'enseignement de B. - Henri Habrias (Tech. Sci. Informatiques, 2003)

Précondition et invariant - l'écriture de contraintes mal adaptées à un paradigme de spécification. - Henri Habrias; Pascal André (INFORSID, 2004)

Linking Paradigms, Semi-formal and Formal Notations. - Henri Habrias; Sébastien Faucou (TFM, 2004)