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 transformation contract to generate aspects from access control policies, Software and Systems Modeling DOI 10.1007/s10270-010-0156-x, Springer, 2010.	DOI
Christiano Braga and E. Hermann Haeusler, Lightweight analysis of access control models with description logic, Innovations in Systems and Software Engineering 6:115-123, Springer, 2010.	DOI
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, 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
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott, Christiano Braga, Azadeh Farzan, Joe Hendrix, Peter Ölveczky, Miguel Palomino, Ralf Sasse, Mark-Oliver Stehr 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