Conceptual Layers in an Object Oriented Database. An Unified Model. - Gabriel Baum; Silvia E. Gordillo; Claudia Pons; Clara Smith; Carlos A. Tau (DASFAA, 1993)

On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving Quantifiers. - Armando Martin Haeberer; Gabriel Baum; Gunther Schmidt 001 (Formal Methods in Programming and Their Applications, 1993)

Adding Design Strategies to Fork Algebras. - Marcelo F. Frias; Gabriel Baum; Armando Martin Haeberer (Ershov Memorial Conference, 1996)

From Specifications to Programs: A Fork-Algebraic Approach to Bridge the Gap. - Gabriel Baum; Marcelo F. Frias; Armando Martin Haeberer; Pablo E. Martínez López (MFCS, 1996)

Fork Algebras. - Armando Martin Haeberer; Marcelo F. Frias; Gabriel Baum; Paulo A. S. Veloso (Relational Methods in Computer Science, 1997)

Representability and Program Construction within Fork Algebras (Part II). - Marcelo F. Frias; Gabriel Baum; Armando Martin Haeberer (RelMiCS, 1997)

Fork Algebras in Algebra, Logic and Computer Science. - Marcelo F. Frias; Gabriel Baum; Armando Martin Haeberer (Fundam. Informaticae, 1997)

A calculus for program construction based on fork algebras, generic algorithms and design strategies. - Marcelo F. Frias; Gabriel Baum; Armando Martin Haeberer (RelMiCS, 1998)

A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus. - Gabriel Baum; Marcelo F. Frias; T. S. E. Maibaum (AMAST, 1998)

Purpose: Between Types and Code. - Natalia A. Romero; María José Presso; Verónica Argañaraz; Gabriel Baum; Maximo Prieto (ECOOP Workshops, 1998)

Foundations of Object-Oriented Modeling Notation in a Dynamic Logic Framework. - Claudia Pons; Gabriel Baum; Miguel Felder (FMLDO, 1998)

A Dynamic Logic Model for the Formal Foundation of Object-Oriented Analysis and Design. - Claudia Pons; Gabriel Baum; Miguel Felder (SCCC, 1998)

Representability and Program Construction within Fork Algebras. - Marcelo F. Frias; Gabriel Baum; Armando Martin Haeberer (Log. J. IGPL, 1998)

Fork Algebraic Datatypes. - Pablo E. Martínez López; Gabriel A. Baum (Log. J. IGPL, 1998)

Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques. - 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 (German-Argentinian Workshop on Information Technology, 1999)

How to say Greedy in Fork Algebras. - Marcelo F. Frias; Gabriel Baum; Esteban de la Canal (RelMiCS, 2000)

Formal Foundations of Object-Oriented Modeling Notations. - Claudia Pons; Gabriel Baum (ICFEM, 2000)

Dependency Relations between Models in the Unified Process. - Claudia Pons; Roxana S. Giandini; Gabriel Baum (IWSSD, 2000)

Interpretability of First-Order Dynamic Logic in a Relational Calculus. - Marcelo F. Frias; Gabriel Baum; T. S. E. Maibaum (RelMiCS, 2001)

Software Development Contracts. - Claudia Pons; Gabriel Baum (FFSE@CSMR, 2001)

Reasoning about the correctness of software development process. - Claudia Pons; Gabriel Baum (ICSE, 2002)

Taking Alloy to the Movies. - Marcelo F. Frias; Carlos López Pombo; Gabriel Baum; Nazareno Aguirre; T. S. E. Maibaum (FME, 2003)

A Framework for Execution of Secure Mobile Code based on Static Analysis. - Martín Nordio; Ricardo H. Medel; Francisco Bavera; Jorge Aguirre; Gabriel Baum (SCCC, 2004)

Reasoning about static and dynamic properties in alloy: A purely relational approach. - Marcelo F. Frias; Carlos López Pombo; Gabriel A. Baum; Nazareno Aguirre; T. S. E. Maibaum (ACM Trans. Softw. Eng. Methodol., 2005)

A Two-level Calculus for Composing Hybrid QVT Transformations. - Claudia Pons; Roxana S. Giandini; Gabriela Pérez; Gabriel Baum (CLEI Electron. J., 2010)

Ginga Middleware and Digital TV in Latin America. - Gabriel Baum; Luiz Fernando Gomes Soares (IT Prof., 2012)

Variable-Based Analysis for Traceability in QVT-R Model Transformations. - Severino Feliciano Morales; Omar Martínez Grassi; Claudia Pons; Gabriel Baum (CIbSE, 2015)

Applying MDA and OMG Robotic Specification for Developing Robotic Systems. - Claudia Pons; Gabriela Pérez; Roxana S. Giandini; Gabriel Baum (SAM, 2016)

Digitale Experimentierfelder zur Vernetzung in Technik und Wissen für eine digitale Landwirtschaft auf Zukunftsbetrieben in Baden-Württemberg. - Hauke Delfs; Annabell Cankaya; Anne Feiler; Markus Frank; Verena Klinger; Gabriel Baum; Christian Bauer (GIL, 2024)