Gabriel Baum
TitleCited byYear
Fork algebras in algebra, logic and computer science
MF Frias, GA Baum, AM Haeberer
Fundamenta Informaticae 32 (1), 1-25, 1997
411997
Fork algebras are representable
MF Frias, GA Baum, AM Haeberer, PAS Veloso
Bulletin of the Section of Logic 24 (2), 64-75, 1995
311995
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
282005
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, 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
Proceedings of the 10th International Workshop on Software Specification and …, 2000
202000
Formal foundations of object-oriented modeling notations
C Pons, G Baum
ICFEM 2000. Third IEEE International Conference on Formal Engineering …, 2000
182000
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
Fork algebras: past, present and future
M Frias, P Veloso, G Baum
Journal on Relational Methods in Computer Science 1, 181-216, 2004
152004
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
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
121993
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
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
A Logic for Real-Time Systems Specification Its Algebraic Semantics and Equational Calculus
GA Baum, MF Frias, TSE Maibaum
International Conference on Algebraic Methodology and Software Technology …, 1999
101999
Representability and program construction within fork algebras
MF Frias, AM Haeberer, GA Baum
Logic Journal of the IGPL 6 (2), 227-257, 1998
101998
The system can't perform the operation now. Try again later.
Articles 1–20