Lucas G. Freire

Publications

127

Citations

H-Index

2014

Active since

Affiliations

Universidade Federal do Rio Grande do Sul(Current)

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

ORCID

Top concepts

EngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationComputer Engineering

Publications per year

2014–2018

Publications

Uncovering Bugs in P4 Programs with Assertion-based Verification

Lucas G. Freire, Miguel Neves, Lucas dos Santos Leal et al. · 2018 · 67 citations · Full text

Program Checking, Engineering, Verification +18

Verification of P4 programs in feasible time using assertions

Miguel Neves, Lucas G. Freire, Alberto Schaeffer-Filho et al. · 2018 · 31 citations

Engineering, Verification, Computer-aided Verification +19

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 · 2014 · 18 citations

Humanities, Encouraging Dialogue, Social Criticism +9

Religion and Politics in a Global Society: Comparative Perspectives from the Portuguese-Speaking World

Lucas G. Freire · The Review of Faith & International Affairs · 2014 · 11 citations

Global Studies, Culture, Global Society +9

Rows per page

1–4 of 4