Gabriel Baum - RankMe

30 papers A* 1B 2C 1Journal 4Unranked 21

Year	Rank	Type	Title / 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