Gabriel Baum

Publication Activity (10 Years)

Years Active: 1993-2016
Publications (10 Years): 2

Top Topics

Human Teaching Behavior

Robotic Systems

Minimally Invasive Surgery

Top Venues

Publications

Claudia Pons, Gabriela Pérez, Roxana S. Giandini, Gabriel Baum
Applying MDA and OMG Robotic Specification for Developing Robotic Systems. SAM (2016)
Severino Feliciano Morales, Omar Martínez Grassi, Claudia Pons, Gabriel Baum
Variable-Based Analysis for Traceability in QVT-R Model Transformations. CIbSE (2015)
Gabriel Baum, Luiz Fernando Gomes Soares
Ginga Middleware and Digital TV in Latin America. IT Prof. 14 (4) (2012)
Claudia Pons, Roxana S. Giandini, Gabriela Pérez, Gabriel Baum
A Two-level Calculus for Composing Hybrid QVT Transformations. CLEI Electron. J. 13 (1) (2010)
Claudia Pons, Roxana S. Giandini, Gabriela Pérez, Gabriel Baum
A Two-Level Calculus for Composing Hybrid QVT Transformations. SCCC (2009)
Martín Nordio, Ricardo Medel, Francisco Bavera, Jorge Aguirre, Gabriel Baum
A Framework for Execution of Secure Mobile Code based on Static Analysis. SCCC (2004)
Marcelo F. Frias, Carlos López Pombo, Gabriel Baum, Nazareno Aguirre, T. S. E. Maibaum
to the Movies. FME (2003)
Claudia Pons, Gabriel Baum
Reasoning about the correctness of software development process. ICSE (2002)
Claudia Pons, Gabriel Baum
Software Development Contracts. FFSE@CSMR (2001)
Marcelo F. Frias, Gabriel Baum, T. S. E. Maibaum
Interpretability of First-Order Dynamic Logic in a Relational Calculus. RelMiCS (2001)
Claudia Pons, Roxana S. Giandini, Gabriel Baum
Dependency Relations between Models in the Unified Process. IWSSD (2000)
Claudia Pons, Gabriel Baum
Formal Foundations of Object-Oriented Modeling Notations. ICFEM (2000)
Marcelo F. Frias, Gabriel Baum, Esteban de la Canal
How to say Greedy in Fork Algebras. RelMiCS (2000)
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. German-Argentinian Workshop on Information Technology (1999)
Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer
Representability and Program Construction within Fork Algebras. Log. J. IGPL 6 (2) (1998)
Gabriel Baum, Marcelo F. Frias, T. S. E. Maibaum
A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus. AMAST (1998)
Natalia A. Romero, María José Presso, Verónica Argañaraz, Gabriel Baum, Maximo Prieto
Purpose: Between Types and Code. ECOOP Workshops (1998)
Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer
A calculus for program construction based on fork algebras, generic algorithms and design strategies. RelMiCS (1998)
Claudia Pons, Gabriel Baum, Miguel Felder
Foundations of Object-Oriented Modeling Notation in a Dynamic Logic Framework. FMLDO (1998)
Claudia Pons, Gabriel Baum, Miguel Felder
A Dynamic Logic Model for the Formal Foundation of Object-Oriented Analysis and Design. SCCC (1998)
Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer
Representability and Program Construction within Fork Algebras (Part II). RelMiCS (1997)
Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer
Fork Algebras in Algebra, Logic and Computer Science. Fundam. Informaticae 32 (1) (1997)
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. MFCS (1996)
Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer
Adding Design Strategies to Fork Algebras. Ershov Memorial Conference (1996)
Armando Martin Haeberer, Gabriel Baum, Gunther Schmidt
On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving Quantifiers. Formal Methods in Programming and Their Applications (1993)
Gabriel Baum, Silvia E. Gordillo, Claudia Pons, Clara Smith, Carlos A. Tau
Conceptual Layers in an Object Oriented Database. An Unified Model. DASFAA (1993)