The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Henri Habrias: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Henri Briand, Henri Habrias, J.-F. Hue, Y. Simon
    Expert System for Translating an E-R Diagram into Databases. [Citation Graph (11, 8)][DBLP]
    ER, 1985, pp:199-206 [Conf]
  2. Henri Habrias, Patrick Legrand
    A Description of Rules through Occurring/Synthetic Cardinalities. [Citation Graph (2, 6)][DBLP]
    ER, 1988, pp:509-525 [Conf]
  3. Violaine Prince, Henri Habrias
    Value-Oriented and Object-Oriented Database Design with Reference to Time. [Citation Graph (0, 0)][DBLP]
    DEXA, 1990, pp:35-41 [Conf]
  4. Henri Habrias, Pascal Poizat, Jean-Yves Lafaye
    A Study of Collaborative Work: Answers to a Test on Formal Specification in B. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1856-1857 [Conf]
  5. Henri Habrias, B. Griech
    Formal Specification of Dynamic Constraints with the B Method. [Citation Graph (0, 0)][DBLP]
    ICFEM, 1997, pp:304-314 [Conf]
  6. Henri Habrias
    L'utilisation de la méthode NIAM pour construire une spécification formelle basée sur un état. [Citation Graph (0, 0)][DBLP]
    INFORSID, 1996, pp:79-98 [Conf]
  7. Henri Habrias, Pascal André
    Précondition et invariant - l'écriture de contraintes mal adaptées à un paradigme de spécification. [Citation Graph (0, 0)][DBLP]
    INFORSID, 2004, pp:387-403 [Conf]
  8. H. Lamande, Henri Habrias
    Towards a Joint Use of NIAM, JSD and Z Methods. [Citation Graph (0, 0)][DBLP]
    ORM, 1994, pp:167-191 [Conf]
  9. Henri Habrias, Sébastien Faucou
    Linking Paradigms, Semi-formal and Formal Notations. [Citation Graph (0, 0)][DBLP]
    TFM, 2004, pp:166-184 [Conf]
  10. Peter Kokol, Vili Podgorelec, Henri Habrias, Nassim Hadj Rabia
    Ranking the Complexity of NIAM Conceptual Schemas by Alpha Metric. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2000, v:35, n:3, pp:59-64 [Journal]
  11. Peter Kokol, Vili Podgorelec, Henri Habrias, Nassim Hadj Rabia
    The Complexity of Formal Specifications - Assessments by alpha-Metric. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1999, v:34, n:6, pp:84-88 [Journal]
  12. Henri Habrias
    L'enseignement de B. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:131-132 [Journal]

Search in 0.054secs, Finished in 0.055secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002