Lucas G. Freire - Concepedia

Author

Lucas G. Freire

Universidade Federal do Rio Grande do Sul ORCID

Also Known As

Freire, Lucas G., LUCAS DE OLIVEIRA FREIRE, Lucas Freire, Lucas G Freire, Lucas G. Freire, Lucas Grassi Freire

Publications

160

Citations

H-Index

Concepts

All Affiliations

Universidade Federal do Rio Grande do Sul

About

Lucas G. Freire is an author at Universidade Federal do Rio Grande do Sul specializing in computer engineering, program analysis, and system software.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	2	2	98
2	Education	1	1	11
3	Humanities	1	1	18
4	Language Studies	1	1	18
5	Social Sciences	1	1	11

Lucas G. Freire

Publications

127

Citations

H-Index

Page 1

	Year	Citations
Uncovering Bugs in P4 Programs with Assertion-based Verification Lucas G. Freire, Miguel Neves, Lucas dos Santos Leal, Program CheckingEngineeringVerificationComputer-aided VerificationP4 Programs	2018	67
Verification of P4 programs in feasible time using assertions Miguel Neves, Lucas G. Freire, Alberto Schaeffer-Filho, EngineeringVerificationComputer-aided VerificationSoftware EngineeringP4 Programs	2018	31
Peripheral possibilities: revealing originality and encouraging dialogue through a reconsideration of ‘marginal’ IR scholarship Helen Louise Turton, Lucas G. Freire Journal of International Relations and Development HumanitiesEncouraging DialogueSocial CriticismRevealing OriginalityScholarly Communication	2014	18
Religion and Politics in a Global Society: Comparative Perspectives from the Portuguese-Speaking World Lucas G. Freire The Review of Faith & International Affairs Global StudiesCultureGlobal SocietyReligion StudiesPolitical Culture	2014	11

Page 1