Gabriel Baum

Gabriel A. Baum

	2005
22		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		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		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		Claudia Pons, Gabriel Baum: Reasoning about the correctness of software development process. ICSE 2002: 708
	2001
18		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		Claudia Pons, Gabriel Baum: Formal Foundations of Object-Oriented Modeling Notations. ICFEM 2000: 101-110
16		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		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		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		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		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		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		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

Coauthor Index

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]

Colors in the list of coauthors