Daniele Nantes-Sobrinho
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
7
Active years
2017–2026
Best venue rank
B
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FSCD | Equational Reasoning in Languages with Binders via Permutation Fixed-Points. | Ali K. Caires-Santos, Maribel Fernndez, Murdoch James Gabbay, Daniele Nantes-Sobrinho |
| 2025 | CADE | Equational Reasoning Modulo Commutativity in Languages with Binders. | Ali K. Caires-Santos, Maribel Fernndez, Daniele Nantes-Sobrinho |
| 2025 | LOPSTR | A Completion Procedure for Equational Rewriting Systems with Binders. | Maribel Fernndez, Daniele Nantes-Sobrinho, Daniella Santaguida |
| 2024 | ECOOP | Compositional Symbolic Execution for Correctness and Incorrectness Reasoning. | Andreas Lw, Daniele Nantes-Sobrinho, Sacha-lie Ayoun, Caroline Cronjger, Petar Maksimovic, Philippa Gardner |
| 2024 | ECOOP | Matching Plans for Frame Inference in Compositional Reasoning. | Andreas Lw, Daniele Nantes-Sobrinho, Sacha-lie Ayoun, Petar Maksimovic, Philippa Gardner |
| 2023 | APLAS | Typed Non-determinism in Functional and Concurrent Calculi. | Bas van den Heuvel, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Prez |
| 2023 | CADE | Towards Fast Nominal Anti-unification of Letrec-Expressions. | Manfred Schmidt-Schau, Daniele Nantes-Sobrinho |
| 2023 | PPDP | Termination in Concurrency, Revisited. | Joseph W. N. Paulus, Jorge A. Prez, Daniele Nantes-Sobrinho |
| 2022 | FSCD | Nominal Anti-Unification with Atom-Variables. | Manfred Schmidt-Schau, Daniele Nantes-Sobrinho |
| 2021 | FOSSACS | Nominal Equational Problems. | Mauricio Ayala-Rincn, Maribel Fernndez, Daniele Nantes-Sobrinho, Deivid Vale |
| 2021 | FSCD | Non-Deterministic Functions as Non-Deterministic Processes. | Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Prez |
| 2019 | LOPSTR | A Certified Functional Nominal C-Unification Algorithm. | Mauricio Ayala-Rincn, Maribel Fernndez, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho |
| 2017 | LOPSTR | Nominal C-Unification. | Mauricio Ayala-Rincn, Washington de Carvalho Segundo, Maribel Fernndez, Daniele Nantes-Sobrinho |