| Fork algebras in algebra, logic and computer science MF Frias, GA Baum, AM Haeberer Fundamenta Informaticae 32 (1), 1-25, 1997 | 40 | 1997 |
| 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 | 33 | 2005 |
| Fork algebras are representable MF Frias, GA Baum, AM Haeberer, PAS Veloso Bulletin of the Section of Logic 24 (2), 64-75, 1995 | 33 | 1995 |
| 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 | 24 | 2005 |
| 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 | 24 | 1996 |
| 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 | 21 | 2000 |
| Formal foundations of object-oriented modeling notations C Pons, G Baum ICFEM 2000. Third IEEE International Conference on Formal Engineering …, 2000 | 20 | 2000 |
| Interpretability of First—Order Dynamic Logic in a Relational Calculus MF Frias, GA Baum, TSE Maibaum Relational Methods in Computer Science: 6th International Conference …, 2002 | 19 | 2002 |
| Ginga middleware and digital TV in Latin America G Baum, LFG Soares IT Professional 14 (4), 59-61, 2012 | 18 | 2012 |
| Fork algebras: past, present and future M Frias, P Veloso, G Baum Journal on Relational Methods in Computer Science 1, 181-216, 2004 | 18 | 2004 |
| Fork algebras A Haeberer, M Frias, G Baum, P Veloso Relational Methods in Computer Science, 54-69, 1997 | 18 | 1997 |
| 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 | 17 | 2000 |
| 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 | 15 | 2009 |
| 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 | 14 | 1999 |
| 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 | 12 | 1993 |
| 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 | 11 | 2008 |
| Foundations of Object-oriented modeling notations in a dynamic logic framework C Pons, G Baum, M Felder Fundamentals of Information Systems, 1-18, 1999 | 11 | 1999 |
| Representability of fork algebras MF Frias, AM Haeberer, PAS Veloso, GA Baum Proceedings of the Logic Colloquium 94, 51, 1994 | 11 | 1994 |
| 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 | 10 | 2003 |
| On the representability of the 5-abstract relational algebra GA Baum, AM Haeberer, PAS Veloso IGPL Newsletter 1 (3), 3-4, 1992 | 10 | 1992 |
