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
421997
Fork algebras are representable
MF Frias, GA Baum, AM Haeberer, PAS Veloso
Bulletin of the Section of Logic 24 (2), 64-75, 1995
381995
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
332005
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: International …, 2005
272005
From specifications to programs: A fork-algebraic approach to bridge the gap
GA Baum, MF Frias, AM Haeberer, PE Martínez López
Mathematical Foundations of Computer Science 1996: 21st International …, 1996
261996
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
222000
Ginga middleware and digital TV in Latin America
G Baum, LFG Soares
IT Professional 14 (4), 59-61, 2012
202012
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
202001
Fork algebras: past, present and future
M Frias, P Veloso, G Baum
Journal on Relational Methods in Computer Science 1, 181-216, 2004
192004
Fork algebras
A Haeberer, M Frias, G Baum, P Veloso
Relational Methods in Computer Science, 54-69, 1997
191997
¿ Qué industria de software promovemos y cuál necesitamos?
NC Moncaut, G Baum, V Robert
Universidad Nacional de San Martín. Instituto de Altos Estudios, 2021
182021
Formal foundations of object-oriented modeling notations
C Pons, G Baum
ICFEM 2000. Third IEEE International Conference on Formal Engineering …, 2000
182000
Libro Blanco de la prospectiva TIC, Proyecto 2020
G Baum, A Artopoulos, C Aguerre, I Albornoz, V Robert
Buenos Aires: Ministerio de Ciencia, Tecnología e Innovación Productiva, 51-79, 2008
172008
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
162000
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
151999
Foundations of Object-oriented modeling notations in a dynamic logic framework
C Pons, G Baum, M Felder
Fundamentals of Information Systems, 1-18, 1999
121999
Representability of fork algebras
MF Frias, AM Haeberer, PAS Veloso, GA Baum
Proceedings of the Logic Colloquium 94, 51, 1994
121994
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
121993
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
Taking Alloy to the Movies
MF Frias, CG López Pombo, GA Baum, NM Aguirre, T Maibaum
FME 2003: Formal Methods: International Symposium of Formal Methods Europe …, 2003
112003
The system can't perform the operation now. Try again later.
Articles 1–20