Concepedia

Gabriel Alfredo Baum

GA

4

Publications

101

Citations

4

H-Index

1997

Active since

Affiliations

Universidad Nacional de La Plata(Current)

Pontifícia Universidade Católica do Rio de Janeiro

Universidad de Buenos Aires

Gabriel Alfredo Baum is an author at Universidad Nacional de La Plata specializing in computer science, formal methods, and automated reasoning.

ORCID

Top concepts

Publications per year

1997–2012

4

Publications

4

Fork Algebras in Algebra, Logic and Computer Science

Marcelo F. Frias, Gabriel Alfredo Baum, Armando M. Haeberer · Fundamenta Informaticae · 1997 · 55 citations

, , +9

Reasoning about static and dynamic properties in alloy

Marcelo F. Frias, Carlos G. López Pombo, Gabriel Alfredo Baum et al. · ACM Transactions on Software Engineering and Methodology · 2005 · 20 citations

, , +20

Fork Algebras: Past, Present and Future

Marcelo F. Frias, Paulo A. S. Veloso, Gabriel Alfredo Baum · 2004 · 15 citations

Ginga Middleware and Digital TV in Latin America

Gabriel Alfredo Baum, Luiz Fernando Gomes Soares · IT Professional · 2012 · 11 citations

, , +18

Rows per page

1–4 of 4