Follow
Gabriel Baum
Title
Cited by
Cited by
Year
Fork algebras in algebra, logic and computer science
MF Frias, GA Baum, AM Haeberer
Fundamenta Informaticae 32 (1), 1-25, 1997
401997
Reasoning about static and dynamic properties in alloy: A purely relational approach
MF Frias, CG López Pombo, GA Baum, NM Aguirre, TSE Maibaum
ACM Transactions on Software Engineering and Methodology (TOSEM) 14 (4), 478-526, 2005
312005
Fork algebras are representable
MF Frias, GA Baum, AM Haeberer, PAS Veloso
Bulletin of the Section of Logic 24 (2), 64-75, 1995
311995
On the smooth calculation of relational recursive expressions out of first-order non-constructive specifications involving quantifiers
AM Haeberer, GA Baum, G Schmidt
Formal Methods in Programming and Their Applications, 281-298, 1993
261993
From specifications to programs: A fork-algebraic approach to bridge the gap
GA Baum, MF Frias, AM Haeberer, PE Martínez López
International Symposium on Mathematical Foundations of Computer Science, 180-191, 1996
231996
Dependency relations between models in the Unified Process
C Pons, R Giandini, G Baum
Tenth International Workshop on Software Specification and Design. IWSSD-10 …, 2000
212000
Formal foundations of object-oriented modeling notations
C Pons, G Baum
ICFEM 2000. Third IEEE International Conference on Formal Engineering …, 2000
212000
Interpretability of First—Order Dynamic Logic in a Relational Calculus
MF Frias, GA Baum, TSE Maibaum
International Conference on Relational Methods in Computer Science, 66-80, 2001
182001
Specifying Relationships between models through the software development process
C Pons, R Giandini, G Baum
10th International Workshop on Software Specification and Design, USA, 2000
182000
Fork algebras
A Haeberer, M Frias, G Baum, P Veloso
Relational Methods in Computer Science, 54-69, 1997
181997
Fork algebras: past, present and future
M Frias, P Veloso, G Baum
Journal on Relational Methods in Computer Science 1, 181-216, 2004
172004
Ginga middleware and digital TV in Latin America
G Baum, LFG Soares
IT Professional 14 (4), 59-61, 2012
162012
Libro Blanco de la prospectiva TIC, Proyecto 2020
G Baum, A Artopoulos, C Aguerre, I Albornoz, V Robert
Ministry of Science, Technology and Production Innovation, Argentina, 2009
142009
Foundations of Object-oriented modeling notations in a dynamic logic framework, Fundamentals of Information Systems, Chapter 1, T. Polle, T. Ripke, K. Schewe Editors
C Pons, G Baum, M Felder
Pollc, T. Ripkc, KSchewe Editurs, Kluwl, 1999
141999
Foundations of Object-oriented modeling notations in a dynamic logic framework
C Pons, G Baum, M Felder
Fundamentals of Information Systems, 1-18, 1999
141999
A representation theorem for fork algebras
MF Frias, GA Baum, AM Haeberer, PAS Veloso
PUC-Rio, Dept. Informática, Res. Rept 1200, 29-93, 1993
131993
La educación en ciencia y tecnología como derecho social en la economía del conocimiento
G Baum, A Nemirovsky, N Sabelli
Revista de Trabajo 4 (5), 63-71, 2008
112008
Representability of fork algebras
MF Frias, AM Haeberer, PAS Veloso, GA Baum
Proceedings of the Logic Colloquium 94, 51, 1994
111994
On the representability of the 5-abstract relational algebra
GA Baum, AM Haeberer, PAS Veloso
IGPL Newsletter 1 (3), 3-4, 1992
111992
Taking Alloy to the Movies
MF Frias, CG López Pombo, GA Baum, NM Aguirre, T Maibaum
International Symposium of Formal Methods Europe, 678-697, 2003
102003
The system can't perform the operation now. Try again later.
Articles 1–20