Publications

Lattes curriculum

http://lattes.cnpq.br/0535266455387139

DBLP

http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/b/Braga:Christiano.html

Selected publications

Christiano Braga, A Constructive Semantics for Basic Aspect Constructs, In: Symposium in honor of Prof. Peter Mosses, 2009, Udine. Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, 2009. v. 5700.	DOI
Christiano Braga, From Access Control Policies to an Aspect-Based Infrastructure: A Metamodel-Based Approach, Proceedings of Non-Functional System Properties in Domain Specific Modeling (NFPinDSML'09), MODELS Workshops 08, Michael Chaudron (Ed.), Lecture Notes in Computer Science, vol. 5421, pp. 243-256, Springer, 2008.	DOI
Christiano Braga, editor, Proceedings of the first workshop on Logical and Semantic Frameworks with Applications - LSFA'06, Natal, Brazil, Journal of Algorithms - Algorithms in Cognition, Informatics and Logic, ISSN 0196-6774, Special issue on the first workshop on Logical and Semantic Frameworks, with Applications, vol. 62/3-4, (preface) pp. 93-94, Elsevier, 2007.	DOI
Christiano Braga, Manuel Clavel, Francisco Durán, Steven Eker, Azadeh Farzan, Joe Hendrix, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Peter Olveczky, Miguel Palomino, Ralf Sasse, Mark-Oliver Stehr, Carolyn Talcott and Alberto Verdejo, All About Maude: A High-Performance Logical Framework, Lecture Notes in Computer Science, vol. 4350, chapter 21, pp. 667-693, Springer, 2007.	DOI
José Meseguer and Christiano Braga, Modular Rewriting Semantics of Programming Languages, in Charles Rattray, Savitri Maharaj and Carron Shankland Editors, Proceedings of the 10th International Conference of Algebraic Methodology and Software Technology, AMAST 2004, Stirling, UK, Lecture Notes in Computer Science, vol. 3116, pp. 364-378, Springer, July 2004.	DOI