Christiano Braga
发表
José Meseguer,
Peter D. Mosses,
Edward Hermann Haeusler,
2000,
AMAST.
Christiano Braga,
Roberto Menezes,
Thiago Comicio,
2011,
SBMF.
Débora C. Muchaluat-Saade,
Joel André Ferreira dos Santos,
Christiano Braga,
2012,
SLE.
Fabricio Chalub,
Christiano Braga,
Fabricio Chalub,
2007,
WRLA.
Peter Csaba Ölveczky,
Christiano Braga,
2015,
Lecture Notes in Computer Science.
Arndt von Staa,
Christiano Braga,
Julio Cesar Sampaio do Prado Leitte,
1998
.
José Meseguer,
Peter D. Mosses,
Edward Hermann Haeusler,
2002,
LOPSTR.
Peter Csaba Ölveczky,
Francisco Durán,
José Meseguer,
2019,
All About Maude.
Débora C. Muchaluat-Saade,
Joel André Ferreira dos Santos,
Christiano Braga,
2013,
WebMedia.
Diego N. Brandão,
Christiano Braga,
Andre Metelo,
2018,
ICCSA.
Viviane Torres da Silva,
Manuel Clavel,
Marina Egea,
2008,
ECMDA-FA.
Alberto Verdejo,
Christiano Braga,
Christiano Braga,
2007,
SOS@CONCUR.
Débora C. Muchaluat-Saade,
Cécile Roisin,
Joel André Ferreira dos Santos,
2015,
DocEng.
Narciso Martí-Oliet,
Christiano Braga,
2016,
Sci. Comput. Program..
Christiano Braga,
Christiano Braga,
2018,
SAC.
José Meseguer,
Christiano Braga,
2004,
WRLA.
Paulo Blauth Menezes,
Christiano Braga,
Hugo Farias,
2016,
SBMF.
Christiano Braga,
Cassio Santos,
2013,
SBMF.
Compiler Construction with Basic Programming Languages Constructs and Generalized Interpreting Automata
pdf
Christiano Braga,
Christiano Braga,
2018,
ArXiv.
Viviane Torres da Silva,
Christiano Braga,
Karen da Silva Figueiredo,
2010,
COIN@AAMAS&MALLOW.
Christiano Braga,
2017,
Sci. Comput. Program..
Peter Csaba Ölveczky,
Christiano Braga,
2015
.
Alexandre Sztajnberg,
Christiano Braga,
2004,
Electron. Notes Theor. Comput. Sci..
Arndt von Staa,
Julio Cesar Sampaio do Prado Leite,
Christiano Braga,
1998,
J. Softw. Maintenance Res. Pract..
Viviane Torres da Silva,
Christiano Braga,
Cassio Santos,
2014,
Sci. Comput. Program..
Alexandre Sztajnberg,
Alexandre Rademaker,
Christiano Braga,
2005,
Electron. Notes Theor. Comput. Sci..
Fabricio Chalub,
Christiano Braga,
2004,
J. Univers. Comput. Sci..
José Meseguer,
Christiano Braga,
2004,
AMAST.
Alexandre Sztajnberg,
Fabricio Chalub,
Christiano Braga,
2009,
Electron. Notes Theor. Comput. Sci..
Viviane Torres da Silva,
Christiano Braga,
Laura Costa Sarkis,
2016,
SAC.
Viviane Torres da Silva,
Christiano Braga,
Jean Zahn,
2015,
ICEIS.
Carlos José Pereira de Lucena,
Viviane Torres da Silva,
Baldoino Fonseca dos Santos Neto,
2015,
Expert Syst. Appl..
Christiano Braga,
2008,
MoDELS Workshops.
Christiano Braga,
Christiano Braga,
2009,
Semantics and Algebraic Specification.
Carlos José Pereira de Lucena,
Marcus Fontoura,
Leonardo Mendonça de Moura,
2000,
IEE Proc. Softw..
Christiano Braga,
Bruno Lopes,
Christiano Braga,
2015,
SBMF.
Christiano Braga,
Roberto Menezes,
Thiago Comicio,
2012,
IET Softw..
Narciso Martí-Oliet,
Christiano Braga,
2014,
Lecture Notes in Computer Science.
Christiano Braga,
Peter Csaba Christiano Braga Peter Csaba Ölveczky Ölveczky,
2016
.
Christiano Braga,
Christiano Braga,
2001
.
Edward Hermann Haeusler,
Christiano Braga,
E. Haeusler,
2010,
Innovations in Systems and Software Engineering.
Débora C. Muchaluat-Saade,
Joel André Ferreira dos Santos,
Christiano Braga,
2015,
Sci. Comput. Program..
Christiano Braga,
Christiano Braga,
2011,
Software & Systems Modeling.
Christiano Braga,
2007,
J. Algorithms.
Viviane Torres da Silva,
Christiano Braga,
V. Silva,
2009,
Normative Multi-Agent Systems.
José Luiz Fiadeiro,
Christiano Braga,
2014,
Sci. Comput. Program..
Edward Hermann Haeusler,
Christiano Braga,
E. Haeusler,
2017,
ArXiv.
Débora C. Muchaluat-Saade,
Joel André Ferreira dos Santos,
Christiano Braga,
2013,
SBMF.
Christiano Braga,
Narciso Mart'i-Oliet,
Christiano Braga,
2021,
ArXiv.