Gabriel A. Baum
List of publications from the DBLP Bibliography Server - FAQ
2005 | ||
---|---|---|
22 | EE | 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 | ||
21 | EE | 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 | ||
20 | EE | 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 | ||
19 | EE | Claudia Pons, Gabriel Baum: Reasoning about the correctness of software development process. ICSE 2002: 708 |
2001 | ||
18 | EE | Marcelo F. Frias, Gabriel Baum, T. S. E. Maibaum: Interpretability of First-Order Dynamic Logic in a Relational Calculus. RelMiCS 2001: 66-80 |
2000 | ||
17 | EE | Claudia Pons, Gabriel Baum: Formal Foundations of Object-Oriented Modeling Notations. ICFEM 2000: 101-110 |
16 | EE | Claudia Pons, Roxana S. Giandini, Gabriel Baum: Dependency Relations between Models in the Unified Process. IWSSD 2000: 149-158 |
15 | Marcelo F. Frias, Gabriel Baum, Esteban de la Canal: How to say Greedy in Fork Algebras. RelMiCS 2000: 75-84 | |
1999 | ||
14 | 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 | ||
13 | EE | 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 |
12 | EE | 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 |
11 | Claudia Pons, Gabriel Baum, Miguel Felder: Foundations of Object-Oriented Modeling Notation in a Dynamic Logic Framework. FMLDO 1998: 1-18 | |
10 | 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 | |
9 | EE | Claudia Pons, Gabriel Baum, Miguel Felder: A Dynamic Logic Model for the Formal Foundation of Object-Oriented Analysis and Design. SCCC 1998: 130-139 |
8 | EE | 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) |
7 | EE | Pablo E. Martínez López, Gabriel A. Baum: Fork Algebraic Datatypes. Logic Journal of the IGPL 6(4): 531-543 (1998) |
1997 | ||
6 | Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer: Representability and Program Construction within Fork Algebras (Part II). RelMiCS 1997: 351-358 | |
5 | Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer: Fork Algebras in Algebra, Logic and Computer Science. Fundam. Inform. 32(1): 1-25 (1997) | |
1996 | ||
4 | Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer: Adding Design Strategies to Fork Algebras. Ershov Memorial Conference 1996: 214-226 | |
3 | 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 | ||
2 | EE | 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 |
1 | 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 | [21] |
2 | Nazareno Aguirre | [20] [22] |
3 | Verónica Argañaraz | [12] |
4 | Francisco Bavera | [21] |
5 | Robert Büssow | [14] |
6 | Esteban de la Canal | [15] |
7 | Hartmut Ehrig | [14] |
8 | Miguel Felder | [9] [11] [14] |
9 | Marcelo F. Frias | [3] [4] [5] [6] [8] [10] [13] [15] [18] [20] [22] |
10 | Robert Geisler | [14] |
11 | Roxana S. Giandini | [16] |
12 | Silvia E. Gordillo | [2] |
13 | Armando Martin Haeberer | [1] [3] [4] [5] [6] [8] [10] |
14 | Stefan Jähnichen | [14] |
15 | Marcus Klar | [14] |
16 | Ralf-Detlef Kutsche | [14] |
17 | Pablo E. Martínez López | [3] [7] |
18 | T. S. E. Maibaum (Thomas Stephen Edward Maibaum) | [13] [18] [20] [22] |
19 | Stefan Mann | [14] |
20 | Ricardo Medel | [21] |
21 | Martín Nordio | [21] |
22 | Carlos López Pombo | [20] [22] |
23 | Claudia Pons | [2] [9] [11] [14] [16] [17] [19] |
24 | María José Presso | [12] |
25 | Maximo Prieto | [12] |
26 | Natalia A. Romero | [12] |
27 | Gunther Schmidt | [1] |
28 | Clara Smith | [2] |
29 | Carlos A. Tau | [2] |
30 | Sergio Waldoke | [14] |
31 | Herbert Weber | [14] |