The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gabriel Baum: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Gabriel Baum, Silvia E. Gordillo, Claudia Pons, Clara Smith, Carlos A. Tau
    Conceptual Layers in an Object Oriented Database. An Unified Model. [Citation Graph (1, 6)][DBLP]
    DASFAA, 1993, pp:141-147 [Conf]
  2. Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer
    A calculus for program construction based on fork algebras, generic algorithms and design strategies. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 1998, pp:75-79 [Conf]
  3. Marcelo F. Frias, Gabriel Baum, T. S. E. Maibaum
    Interpretability of First-Order Dynamic Logic in a Relational Calculus. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2001, pp:66-80 [Conf]
  4. Marcelo F. Frias, Gabriel Baum, Esteban de la Canal
    How to say Greedy in Fork Algebras. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2000, pp:75-84 [Conf]
  5. Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer
    Representability and Program Construction within Fork Algebras (Part II). [Citation Graph (0, 0)][DBLP]
    RelMiCS, 1997, pp:351-358 [Conf]
  6. Gabriel Baum, Marcelo F. Frias, T. S. E. Maibaum
    A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus. [Citation Graph (0, 0)][DBLP]
    AMAST, 1998, pp:91-105 [Conf]
  7. Natalia A. Romero, María José Presso, Verónica Argañaraz, Gabriel Baum, Maximo Prieto
    Purpose: Between Types and Code. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1998, pp:68-69 [Conf]
  8. Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer
    Adding Design Strategies to Fork Algebras. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 1996, pp:214-226 [Conf]
  9. Armando Martin Haeberer, Gabriel Baum, Gunther Schmidt
    On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving Quantifiers. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:281-298 [Conf]
  10. Marcelo F. Frias, Carlos López Pombo, Gabriel Baum, Nazareno Aguirre, T. S. E. Maibaum
    Taking Alloy to the Movies. [Citation Graph (0, 0)][DBLP]
    FME, 2003, pp:678-697 [Conf]
  11. Claudia Pons, Gabriel Baum, Miguel Felder
    Foundations of Object-Oriented Modeling Notation in a Dynamic Logic Framework. [Citation Graph (0, 0)][DBLP]
    FMLDO, 1998, pp:1-18 [Conf]
  12. Herbert Weber, Marcus Klar, Stefan Mann, Ralf-Detlef Kutsche, Stefan Jähnichen, Robert Büssow, Hartmut Ehrig, Robert Geisler, Gabriel Baum, Claudia Pons, Miguel Felder, Sergio Waldoke
    Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques. [Citation Graph (0, 0)][DBLP]
    German-Argentinian Workshop on Information Technology, 1999, pp:23-30 [Conf]
  13. Claudia Pons, Gabriel Baum
    Formal Foundations of Object-Oriented Modeling Notations. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2000, pp:101-110 [Conf]
  14. Claudia Pons, Gabriel Baum
    Reasoning about the correctness of software development process. [Citation Graph (0, 0)][DBLP]
    ICSE, 2002, pp:708- [Conf]
  15. Claudia Pons, Roxana S. Giandini, Gabriel Baum
    Dependency Relations between Models in the Unified Process. [Citation Graph (0, 0)][DBLP]
    IWSSD, 2000, pp:149-158 [Conf]
  16. Gabriel Baum, Marcelo F. Frias, Armando Martin Haeberer, Pablo E. Martínez López
    From Specifications to Programs: A Fork-Algebraic Approach to Bridge the Gap. [Citation Graph (0, 0)][DBLP]
    MFCS, 1996, pp:180-191 [Conf]
  17. Martín Nordio, Ricardo Medel, Francisco Bavera, Jorge Aguirre, Gabriel Baum
    A Framework for Execution of Secure Mobile Code based on Static Analysis. [Citation Graph (0, 0)][DBLP]
    SCCC, 2004, pp:59-66 [Conf]
  18. Claudia Pons, Gabriel Baum, Miguel Felder
    A Dynamic Logic Model for the Formal Foundation of Object-Oriented Analysis and Design. [Citation Graph (0, 0)][DBLP]
    SCCC, 1998, pp:130-139 [Conf]
  19. Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer
    Fork Algebras in Algebra, Logic and Computer Science. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1997, v:32, n:1, pp:1-25 [Journal]
  20. Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer
    Representability and Program Construction within Fork Algebras. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1998, v:6, n:2, pp:227-257 [Journal]

  21. A Two-Level Calculus for Composing Hybrid QVT Transformations. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
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