Christiano Braga

Cited by

	All	Since 2020
Citations	2403	487
h-index	18	5
i10-index	24	2

180

135

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420256 7 11 14 30 37 38 90 94 156 156 164 146 133 156 154 112 125 137 108 82 89 135 84 83 14

Public access

View all

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Viviane Torres da SilvaIBM Research, BrazilVerified email at br.ibm.com
Manuel ClavelSenior Lecturer, Vietnamese-German UniversityVerified email at vgu.edu.vn
Alberto VerdejoAssociate Professor, Facultad de Informática, Universidad Complutense de Madrid, SpainVerified email at ucm.es
Peter Csaba OlveczkyProfessor of Computer Science, University of OsloVerified email at ifi.uio.no
Fabricio ChalubCatawikiVerified email at catawiki.nl
Edward HaeuslerProfessor of Computer Science, PUC-RioVerified email at inf.puc-rio.br
Azadeh FarzanAssociate Professor, University of TorontoVerified email at cs.toronto.edu
Alexandre SztajnbergFull Professor, Computer Science Department, Universidade do Estado do Rio de Janeiro (UERJ)Verified email at ime.uerj.br
Débora Christina Muchaluat SaadeMultimedia and Computer Networks, Computer Science Dept., Universidade Federal Fluminense (UFF)Verified email at ic.uff.br
Joel André Ferreira dos SantosCEFET/RJVerified email at eic.cefet-rj.br
Karen da Silva Figueiredo Medeiros R...UFMTVerified email at ic.ufmt.br
Peter D MossesSwansea University and Delft University of TechnologyVerified email at tudelft.nl
Carlos José Pereira de LucenaProfessor de Ciência da Computação, PUC-RioVerified email at inf.puc-rio.br
Arndt von StaaPUC-RioVerified email at inf.puc-rio.br
Leonardo de MouraAmazon Web ServicesVerified email at amazon.com
Julio Cesar Sampaio do Prado LeiteInstituto de Computação, UFBAVerified email at inf.puc-rio.br
Alexandre RademakerIBM Research and EMAp/FGVVerified email at br.ibm.com
Jean ZahnUniversidade Federal FluminenseVerified email at ic.uff.br
Marcus FontouraMicrosoftVerified email at microsoft.com

Christiano Braga

Associate Professor of Computer Science, Universidade Federal Fluminense

Verified email at ic.uff.br - Homepage

Formal methods and programming languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Some Tools M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott, ... All About Maude-A High-Performance Logical Framework, 667-693, 2007	1633	2007
Modular rewriting semantics of programming languages J Meseguer, C Braga International Conference on Algebraic Methodology and Software Technology …, 2004	69	2004
Rewriting logic as a semantic framework for modular structural operational semantics C Braga PhD thesis, Departamento de Informática, Pontificia Universidade Católica de …, 2001	59	2001
Model-driven security in practice: An industrial experience M Clavel, V da Silva, C Braga, M Egea European Conference on Model Driven Architecture-Foundations and …, 2008	58	2008
Maude MSOS tool F Chalub, C Braga Electronic Notes in Theoretical Computer Science 176 (4), 133-146, 2007	50	2007
Modeling norms in multi-agent systems with NormML K da Silva Figueiredo, VT da Silva, C de Oliveira Braga International Workshop on Coordination, Organizations, Institutions, and …, 2010	40	2010
Modular rewriting semantics in practice C Braga, J Meseguer Electronic Notes in Theoretical Computer Science 117, 393-416, 2005	39	2005
Maude action tool: Using reflection to map action semantics to rewriting logic C Braga, E Haeusler, J Meseguer, P Mosses Algebraic Methodology and Software Technology, 407-421, 2000	37	2000
A rewriting semantics for a software architecture description language A Rademaker, C Braga, A Sztajnberg Electronic Notes in Theoretical Computer Science 130, 345-377, 2005	35	2005
Mapping modular SOS to rewriting logic C Braga, EH Hæusler, J Meseguer, PD Mosses Proceedings of 12th LOPSTR 2664, 262-277, 2003	32*	2003
An implementation of Modular SOS in Maude F Chalub, C Braga Master’s thesis, Universidade Federal Fluminense, 2005	28	2005
Towards a Rewriting Semantics for a Software Architecture Description Language C Braga, A Sztajnberg Electronic Notes in Theoretical Computer Science 95, 149-168, 2004	26	2004
AutoRefactoring: A platform to build refactoring agents BF dos Santos Neto, M Ribeiro, VT Da Silva, C Braga, CJP De Lucena, ... Expert Systems with Applications 42 (3), 1652-1664, 2015	25	2015
AutoRefactoring: A platform to build refactoring agents BF dos Santos Neto, M Ribeiro, VT da Silva, C Braga, CJP de Lucena, ... Expert Systems with Applications 42 (3), 1652-1664, 2015	25	2015
A Modular Rewriting Semantics for CML. F Chalub, C Braga J. Univers. Comput. Sci. 10 (7), 789-807, 2004	25	2004
Using domain specific languages to instantiate object-oriented frameworks M Fontoura, C Braga, L Moura, C Lucena IEE Proceedings-Software 147 (4), 109-116, 2000	25	2000
A formal semantics for a quality of service contract language C Braga, F Chalub, A Sztajnberg Electronic Notes in Theoretical Computer Science 203 (7), 103-120, 2009	21	2009
Modular structural operational semantics with strategies C Braga, A Verdejo Electronic Notes in Theoretical Computer Science 175 (1), 3-17, 2007	20	2007
A transformation contract to generate aspects from access control policies C Braga Software & Systems Modeling 10 (3), 395-409, 2011	19	2011
A modeling language to model norms V Silva, C Braga, K Figueiredo COIN, 39-57, 2010	16	2010

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors