Gabriel Baum

30 papers A* 1B 2C 1Journal 4Unranked 21
YearRankTypeTitle / Venue / Authors
2026 — conf
"Digital in Applikation und Bildung": mehrjährige teilflächenspezifische Düngungsversuche auf "Zukunftsbetrieben" und Wissenstransfer in Baden-Württemberg.
GIL
Annabell Cankaya, Hauke Delfs, Verena Klinger, Anne Feiler, Christian Bauer, Gabriel Baum, Markus Frank
2025 — conf
Microlearning als nachhaltige Lernmethode zum Erwerb digitaler Kompetenzen an den Fachschulen für Landwirtschaft.
GIL
Verena Klinger, Annabell Cankaya, Anne Feiler, Hauke Delfs, Gabriel Baum, Markus Frank, Christian Bauer
2024 — conf
Digitale Experimentierfelder zur Vernetzung in Technik und Wissen für eine digitale Landwirtschaft auf Zukunftsbetrieben in Baden-Württemberg.
GIL
Hauke Delfs, Annabell Cankaya, Anne Feiler, Markus Frank, Verena Klinger, Gabriel Baum, Christian Bauer
2016 — conf
Applying MDA and OMG Robotic Specification for Developing Robotic Systems.
SAM
Claudia Pons, Gabriela Pérez, Roxana S. Giandini, Gabriel Baum
2015 — conf
Variable-Based Analysis for Traceability in QVT-R Model Transformations.
CIbSE
Severino Feliciano Morales, Omar Martínez Grassi, Claudia Pons, Gabriel Baum
2012 J jnl
Ginga Middleware and Digital TV in Latin America.
IT Prof.
Gabriel Baum, Luiz Fernando Gomes Soares
2010 J jnl
A Two-level Calculus for Composing Hybrid QVT Transformations.
CLEI Electron. J.
Claudia Pons, Roxana S. Giandini, Gabriela Pérez, Gabriel Baum
2009 — conf
A Two-Level Calculus for Composing Hybrid QVT Transformations.
SCCC
Claudia Pons, Roxana S. Giandini, Gabriela Pérez, Gabriel Baum
2004 — conf
A Framework for Execution of Secure Mobile Code based on Static Analysis.
SCCC
Martín Nordio, Ricardo H. Medel, Francisco Bavera, Jorge Aguirre, Gabriel Baum
2003 — conf
Taking
FME
Marcelo F. Frias, Carlos López Pombo, Gabriel Baum, Nazareno Aguirre, T. S. E. Maibaum
2002 A* conf
Reasoning about the correctness of software development process.
ICSE
Claudia Pons, Gabriel Baum
2001 — conf
Interpretability of First-Order Dynamic Logic in a Relational Calculus.
RelMiCS
Marcelo F. Frias, Gabriel Baum, T. S. E. Maibaum
2001 — conf
Software Development Contracts.
FFSE@CSMR
Claudia Pons, Gabriel Baum
2000 — conf
Dependency Relations between Models in the Unified Process.
IWSSD
Claudia Pons, Roxana S. Giandini, Gabriel Baum
2000 C conf
Formal Foundations of Object-Oriented Modeling Notations.
ICFEM
Claudia Pons, Gabriel Baum
2000 — conf
How to say Greedy in Fork Algebras.
RelMiCS
Marcelo F. Frias, Gabriel Baum, Esteban de la Canal
1999 — conf
Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques.
German-Argentinian Workshop on Information Technology
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
1998 — conf
A Dynamic Logic Model for the Formal Foundation of Object-Oriented Analysis and Design.
SCCC
Claudia Pons, Gabriel Baum, Miguel Felder
1998 — conf
A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus.
AMAST
Gabriel Baum, Marcelo F. Frias, T. S. E. Maibaum
1998 — conf
A calculus for program construction based on fork algebras, generic algorithms and design strategies.
RelMiCS
Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer
1998 — conf
Foundations of Object-Oriented Modeling Notation in a Dynamic Logic Framework.
FMLDO
Claudia Pons, Gabriel Baum, Miguel Felder
1998 — conf
Purpose: Between Types and Code.
ECOOP Workshops
Natalia A. Romero, María José Presso, Verónica Argañaraz, Gabriel Baum, Maximo Prieto
1998 J jnl
Representability and Program Construction within Fork Algebras.
Log. J. IGPL
Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer
1997 J jnl
Fork Algebras in Algebra, Logic and Computer Science.
Fundam. Informaticae
Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer
1997 — ch.
Fork Algebras.
Relational Methods in Computer Science
Armando Martin Haeberer, Marcelo F. Frias, Gabriel Baum, Paulo A. S. Veloso
1997 — conf
Representability and Program Construction within Fork Algebras (Part II).
RelMiCS
Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer
1996 — conf
Adding Design Strategies to Fork Algebras.
Ershov Memorial Conference
Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer
1996 B conf
From Specifications to Programs: A Fork-Algebraic Approach to Bridge the Gap.
MFCS
Gabriel Baum, Marcelo F. Frias, Armando Martin Haeberer, Pablo E. Martínez López
1993 B conf
Conceptual Layers in an Object Oriented Database. An Unified Model.
DASFAA
Gabriel Baum, Silvia E. Gordillo, Claudia Pons, Clara Smith, Carlos A. Tau
1993 — conf
On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving Quantifiers.
Formal Methods in Programming and Their Applications
Armando Martin Haeberer, Gabriel Baum, Gunther Schmidt