Gabriel Baum
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1993–2003
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2003 | FM | Taking | Marcelo F. Frias, Carlos Lpez Pombo, Gabriel Baum, Nazareno Aguirre, T. S. E. Maibaum |
| 2002 | ICSE | Reasoning about the correctness of software development process. | Claudia Pons, Gabriel Baum |
| 2000 | ICFEM | Formal Foundations of Object-Oriented Modeling Notations. | Claudia Pons, Gabriel Baum |
| 1996 | MFCS | From Specifications to Programs: A Fork-Algebraic Approach to Bridge the Gap. | Gabriel Baum, Marcelo F. Frias, Armando Martin Haeberer, Pablo E. Martnez Lpez |
| 1993 | DASFAA | Conceptual Layers in an Object Oriented Database. An Unified Model. | Gabriel Baum, Silvia E. Gordillo, Claudia Pons, Clara Smith, Carlos A. Tau |