Henri Habrias Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Pascal André [12]
2Henri Briand [1]
3Sébastien Faucou [11]
4B. Griech [6]
5J.-F. Hue [1]
6Peter Kokol [7] [9]
7Jean-Yves Lafaye [8]
8H. Lamande [4]
9Patrick Legrand [2]
10Vili Podgorelec [7] [9]
11Pascal Poizat [8]
12Violaine Prince [3]
13Nassim Hadj Rabia [7] [9]
14Y. Simon [1]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)