Gabriel A. Baum
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j6 |      | Gabriel Baum, Luiz Fernando Gomes Soares: Ginga Middleware and Digital TV in Latin America. IT Professional 14(4): 59-61 (2012) |
| 2010 | ||
| j5 | | Claudia Pons, Roxana S. Giandini, Gabriela Pérez, Gabriel Baum: A Two-level Calculus for Composing Hybrid QVT Transformations. CLEI Electron. J. 13(1) (2010) |
| 2009 | ||
| c19 | | Claudia Pons, Roxana S. Giandini, Gabriela Pérez, Gabriel Baum: A Two-Level Calculus for Composing Hybrid QVT Transformations. SCCC 2009: 105-114 |
| 2005 | ||
| j4 | | Marcelo F. Frias, Carlos López Pombo, Gabriel A. Baum, Nazareno Aguirre, T. S. E. Maibaum: Reasoning about static and dynamic properties in alloy: A purely relational approach. ACM Trans. Softw. Eng. Methodol. 14(4): 478-526 (2005) |
| 2004 | ||
| c18 | | Martín Nordio, Ricardo Medel, Francisco Bavera, Jorge Aguirre, Gabriel Baum: A Framework for Execution of Secure Mobile Code based on Static Analysis. SCCC 2004: 59-66 |
| 2003 | ||
| c17 | | Marcelo F. Frias, Carlos López Pombo, Gabriel Baum, Nazareno Aguirre, T. S. E. Maibaum: Taking Alloy to the Movies. FME 2003: 678-697 |
| 2002 | ||
| c16 | | Claudia Pons, Gabriel Baum: Reasoning about the correctness of software development process. ICSE 2002: 708 |
| 2001 | ||
| c15 | | Marcelo F. Frias, Gabriel Baum, T. S. E. Maibaum: Interpretability of First-Order Dynamic Logic in a Relational Calculus. RelMiCS 2001: 66-80 |
| 2000 | ||
| c14 |  | Marcelo F. Frias, Gabriel Baum, Esteban de la Canal: How to say Greedy in Fork Algebras. RelMiCS 2000: 75-84 |
| c13 | | Claudia Pons, Gabriel Baum: Formal Foundations of Object-Oriented Modeling Notations. ICFEM 2000: 101-110 |
| c12 | | Claudia Pons, Roxana S. Giandini, Gabriel Baum: Dependency Relations between Models in the Unified Process. IWSSD 2000: 149-158 |
| 1999 | ||
| c11 | | Herbert Weber, Marcus Klar, Stefan Mann, Ralf-Detlef Kutsche, Stefan Jähnichen, Robert Büssow, Hartmut Ehrig, Robert Geisler, Gabriel Baum, Claudia Pons, Miguel Felder, Sergio Waldoke: Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques. German-Argentinian Workshop on Information Technology 1999: 23-30 |
| 1998 | ||
| j3 | | Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer: Representability and Program Construction within Fork Algebras. Logic Journal of the IGPL 6(2): 227-257 (1998) |
| j2 | | Pablo E. Martínez López, Gabriel A. Baum: Fork Algebraic Datatypes. Logic Journal of the IGPL 6(4): 531-543 (1998) |
| c10 | | Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer: A calculus for program construction based on fork algebras, generic algorithms and design strategies. RelMiCS 1998: 75-79 |
| c9 | | Gabriel Baum, Marcelo F. Frias, T. S. E. Maibaum: A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus. AMAST 1998: 91-105 |
| c8 | | Natalia A. Romero, María José Presso, Verónica Argañaraz, Gabriel Baum, Maximo Prieto: Purpose: Between Types and Code. ECOOP Workshops 1998: 68-69 |
| c7 | | Claudia Pons, Gabriel Baum, Miguel Felder: Foundations of Object-Oriented Modeling Notation in a Dynamic Logic Framework. FMLDO 1998: 1-18 |
| c6 | | Claudia Pons, Gabriel Baum, Miguel Felder: A Dynamic Logic Model for the Formal Foundation of Object-Oriented Analysis and Design. SCCC 1998: 130-139 |
| 1997 | ||
| j1 | | Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer: Fork Algebras in Algebra, Logic and Computer Science. Fundam. Inform. 32(1): 1-25 (1997) |
| c5 | | Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer: Representability and Program Construction within Fork Algebras (Part II). RelMiCS 1997: 351-358 |
| 1996 | ||
| c4 | | Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer: Adding Design Strategies to Fork Algebras. Ershov Memorial Conference 1996: 214-226 |
| c3 | | Gabriel Baum, Marcelo F. Frias, Armando Martin Haeberer, Pablo E. Martínez López: From Specifications to Programs: A Fork-Algebraic Approach to Bridge the Gap. MFCS 1996: 180-191 |
| 1993 | ||
| c2 | | Gabriel Baum, Silvia E. Gordillo, Claudia Pons, Clara Smith, Carlos A. Tau: Conceptual Layers in an Object Oriented Database. An Unified Model. DASFAA 1993: 141-147 |
| c1 | | Armando Martin Haeberer, Gabriel Baum, Gunther Schmidt: On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving Quantifiers. Formal Methods in Programming and Their Applications 1993: 281-298 |
| 1 | Jorge Aguirre | |
| 2 | Nazareno Aguirre | |
| 3 | Verónica Argañaraz | |
| 4 | Francisco Bavera | |
| 5 | Robert Büssow | |
| 6 | Esteban de la Canal | |
| 7 | Hartmut Ehrig | |
| 8 | Miguel Felder | |
| 9 | Marcelo F. Frias (Marcelo Fabiùn Frias) | |
| 10 | Robert Geisler | |
| 11 | Roxana S. Giandini | |
| 12 | Silvia E. Gordillo | |
| 13 | Armando Martin Haeberer | |
| 14 | Stefan Jähnichen | |
| 15 | Marcus Klar | |
| 16 | Ralf-Detlef Kutsche | |
| 17 | Pablo E. Martínez López | |
| 18 | T. S. E. Maibaum (Thomas Stephen Edward Maibaum) | |
| 19 | Stefan Mann | |
| 20 | Ricardo Medel | |
| 21 | Martin Nordio (Martín Nordio) | |
| 22 | Carlos López Pombo (Carlos Gustavo López Pombo) | |
| 23 | Claudia Pons (Claudia Fabiana Pons) | |
| 24 | María José Presso | |
| 25 | Maximo Prieto | |
| 26 | Gabriela Pérez | |
| 27 | Natalia A. Romero | |
| 28 | Gunther Schmidt | |
| 29 | Clara Smith | |
| 30 | Luiz Fernando Gomes Soares | |
| 31 | Carlos A. Tau | |
| 32 | Sergio Waldoke | |
| 33 | Herbert Weber |
Colors in the list of coauthors
Last update Sun May 26 10:06:15 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page