Andr Duarte
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2020–2022
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | CADE | Ground Joinability and Connectedness in the Superposition Calculus. | Andr Duarte, Konstantin Korovin |
| 2021 | IGARSS | A Machine Learning Approach to Detect Dead Trees Caused by Longhorned Borer in Eucalyptus Stands Using UAV Imagery. | Andr Duarte, Nuno Borralho, Mario Caetano |
| 2021 | TABLEAUX | AC Simplifications and Closure Redundancies in the Superposition Calculus. | Andr Duarte, Konstantin Korovin |
| 2020 | CADE | Implementing Superposition in iProver (System Description). | Andr Duarte, Konstantin Korovin |