Christiano Braga

Christiano de O. Braga

2008
13	EE	Manuel Clavel, Viviane da Silva, Christiano Braga, Marina Egea: Model-Driven Security in Practice: An Industrial Experience. ECMDA-FA 2008: 326-337
2007
12	EE	Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Christiano Braga, Azadeh Farzan, Joe Hendrix, Peter Csaba Ölveczky, Miguel Palomino, Ralf Sasse, Mark-Oliver Stehr, Alberto Verdejo: Some Tools. All About Maude 2007: 667-693
11	EE	Christiano Braga, Alberto Verdejo: Modular Structural Operational Semantics with Strategies. Electr. Notes Theor. Comput. Sci. 175(1): 3-17 (2007)
10	EE	Fabricio Chalub, Christiano Braga: Maude MSOS Tool. Electr. Notes Theor. Comput. Sci. 176(4): 133-146 (2007)
9	EE	Christiano Braga: Special issue: LSFA'06. J. Algorithms 62(3-4): 93-94 (2007)
2005
8	EE	Christiano Braga, José Meseguer: Modular Rewriting Semantics in Practice. Electr. Notes Theor. Comput. Sci. 117: 393-416 (2005)
7	EE	Alexandre Rademaker, Christiano de O. Braga, Alexandre Sztajnberg: A Rewriting Semantics for a Software Architecture Description Language. Electr. Notes Theor. Comput. Sci. 130: 345-377 (2005)
2004
6	EE	José Meseguer, Christiano Braga: Modular Rewriting Semantics of Programming Languages. AMAST 2004: 364-378
5	EE	Christiano Braga, Alexandre Sztajnberg: Towards a Rewriting Semantics for a Software Architecture Description Language. Electr. Notes Theor. Comput. Sci. 95: 149-168 (2004)
4	EE	Fabricio Chalub, Christiano Braga: A Modular Rewriting Semantics for CML. J. UCS 10(7): 789-807 (2004)
2002
3	EE	Christiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses: Mapping Modular SOS to Rewriting Logic. LOPSTR 2002: 262-277
2000
2	EE	Christiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses: Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic. AMAST 2000: 407-421
1998
1	EE	Christiano Braga, Arndt von Staa, Julio Cesar Sampaio do Prado Leite: Documentu: a flexible architecture for documentation production based on a reverse-engineering strategy. Journal of Software Maintenance 10(4): 279-303 (1998)

Coauthor Index

1	Fabricio Chalub	[4] [10]
2	Manuel Clavel	[12] [13]
3	Francisco Durán	[12]
4	Marina Egea	[13]
5	Steven Eker	[12]
6	Azadeh Farzan	[12]
7	Edward Hermann Haeusler	[2] [3]
8	Joe Hendrix	[12]
9	Julio Cesar Sampaio do Prado Leite	[1]
10	Patrick Lincoln	[12]
11	Narciso Martí-Oliet	[12]
12	José Meseguer	[2] [3] [6] [8] [12]
13	Peter D. Mosses	[2] [3]
14	Peter Csaba Ölveczky	[12]
15	Miguel Palomino	[12]
16	Alexandre Rademaker	[7]
17	Ralf Sasse	[12]
18	Viviane da Silva	[13]
19	Arndt von Staa	[1]
20	Mark-Oliver Stehr	[12]
21	Alexandre Sztajnberg	[5] [7]
22	Carolyn L. Talcott	[12]
23	Alberto Verdejo	[11] [12]

Colors in the list of coauthors