Daniele Nantes Sobrinho

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 2

Top Topics

Improved Algorithm

Automated Reasoning

Expectation Maximization

Top Venues

ACM SIGLOG News

University of Brasília, Brazil (PHD)

Education History

University of Brasília, Brazil

PHD

Publications

Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes Sobrinho
A Certified Algorithm for AC-Unification. FSCD (2022)
Cláudia Nalon, Daniele Nantes Sobrinho, Elaine Pimentel, João Marcos
Brasilia Spring on Automated Reasoning. ACM SIGLOG News 5 (1) (2018)
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes Sobrinho
Elementary Deduction Problem for Locally Stable Theories with Normal Forms LSFA (2012)
Daniele Nantes Sobrinho, Mauricio Ayala-Rincón
Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures. WoLLIC (2010)