Henri Habrias
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1985–1999
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1999 | FM | A Study of Collaborative Work: Answers to a Test on Formal Specification in B. | Henri Habrias, Pascal Poizat, Jean-Yves Lafaye |
| 1997 | ICFEM | Formal Specification of Dynamic Constraints with the B Method. | Henri Habrias, B. Griech |
| 1990 | DEXA | Value-Oriented and Object-Oriented Database Design with Reference to Time. | Violaine Prince, Henri Habrias |
| 1988 | ER | A Description of Rules through Occurring/Synthetic Cardinalities. | Henri Habrias, Patrick Legrand |
| 1985 | ER | Expert System for Translating an E-R Diagram into Databases. | Henri Briand, Henri Habrias, J.-F. Hue, Y. Simon |