| Fork algebras in algebra, logic and computer science MF Frias, GA Baum, AM Haeberer Fundamenta Informaticae 32 (1), 1-25, 1997 | 42 | 1997 |
| Fork algebras are representable MF Frias, GA Baum, AM Haeberer, PAS Veloso Bulletin of the Section of Logic 24 (2), 64-75, 1995 | 38 | 1995 |
| 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 |
| 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 | 27 | 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 | 26 | 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 | 22 | 2000 |
| Ginga middleware and digital TV in Latin America G Baum, LFG Soares IT Professional 14 (4), 59-61, 2012 | 20 | 2012 |
| 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 | 20 | 2001 |
| Fork algebras: past, present and future M Frias, P Veloso, G Baum Journal on Relational Methods in Computer Science 1, 181-216, 2004 | 19 | 2004 |
| Fork algebras A Haeberer, M Frias, G Baum, P Veloso Relational Methods in Computer Science, 54-69, 1997 | 19 | 1997 |
| Formal foundations of object-oriented modeling notations C Pons, G Baum ICFEM 2000. Third IEEE International Conference on Formal Engineering …, 2000 | 18 | 2000 |
| ¿ 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 | 17 | 2021 |
| 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 | 17 | 2008 |
| 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 | 16 | 2000 |
| 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 | 15 | 1999 |
| Foundations of Object-oriented modeling notations in a dynamic logic framework C Pons, G Baum, M Felder Fundamentals of Information Systems, 1-18, 1999 | 12 | 1999 |
| Representability of fork algebras MF Frias, AM Haeberer, PAS Veloso, GA Baum Proceedings of the Logic Colloquium 94, 51, 1994 | 12 | 1994 |
| 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 |
| 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 | 11 | 2003 |
