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
321995
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
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
271993
From specifications to programs: A fork-algebraic approach to bridge the gap
GA Baum, MF Frias, AM Haeberer, PEM 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
182000
Fork algebras: past, present and future
M Frias, P Veloso, G Baum
Journal on Relational Methods in Computer Science 1, 181-216, 2004
172004
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
172001
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
172000
Fork algebras
A Haeberer, M Frias, G Baum, P Veloso
Relational methods in computer science, 54-69, 1997
161997
Ginga middleware and digital TV in Latin America
G Baum, LFG Soares
IT Professional 14 (4), 59-61, 2012
142012
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
A representation theorem for fork algebras
MF Frias, GA Baum, AM Haeberer, PAS Veloso
Research report of Pontificia Universidade Católico do Rio de Janeiro MCC 29, 1993
141993
Foundations of Object-oriented modeling notations in a dynamic logic framework
C Pons, G Baum, M Felder
Fundamentals of Information Systems, 1-18, 1999
131999
Representability of fork algebras
MF Frias, AM Haeberer, PAS Veloso, GA Baum
Proceedings of the Logic Colloquium 94, 51, 1994
121994
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
112009
On the representability of the 5-abstract relational algebra
GA Baum, AM Haeberer, PAS Veloso
IGPL Newsletter 1 (3), 3-4, 1992
111992
Formal foundations of object-oriented modeling notations 3rd International Conference on Formal Engineering Methods, ICFEM 2000, York, UK
P Claudia, B Gabriel
IEEE Computer Society Press, 2000
102000
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
92008
The system can't perform the operation now. Try again later.
Articles 1–20