Daniele Nantes-Sobrinho

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 32

Top Topics

Function Symbols

Top Venues

Publications

Ali K. Caires-Santos, Maribel Fernández, Daniele Nantes-Sobrinho
Strong Nominal Semantics for Fixed-Point Constraints. CoRR (2024)
Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Caroline Cronjäger, Petar Maksimovic, Philippa Gardner
Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version). CoRR (2024)
Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Temur Kutsia, Daniele Nantes-Sobrinho
Nominal AC-Matching. CICM (2023)
Bas van den Heuvel, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
Typed Non-determinism in Functional and Concurrent Calculi. APLAS (2023)
Daniele Nantes-Sobrinho, Pascal Fontaine
Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications. CoRR (2023)
Joseph W. N. Paulus, Jorge A. Pérez, Daniele Nantes-Sobrinho
Termination in Concurrency, Revisited. PPDP (2023)
Joseph W. N. Paulus, Jorge A. Pérez, Daniele Nantes-Sobrinho
Termination in Concurrency, Revisited. CoRR (2023)
Manfred Schmidt-Schauß, Daniele Nantes-Sobrinho
Towards Fast Nominal Anti-unification of Letrec-Expressions. CADE (2023)
Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
Non-Deterministic Functions as Non-Deterministic Processes (Extended Version). Log. Methods Comput. Sci. 19 (4) (2023)
Manfred Schmidt-Schauß, Daniele Nantes-Sobrinho
Nominal Anti-Unification with Atom-Variables. FSCD (2022)
Bas van den Heuvel, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
Functions as Processes: The Case of Collapsing Non-determinism. CoRR (2022)
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale
Nominal Equational Problems. FoSSaCS (2021)
Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
Non-Deterministic Functions as Non-Deterministic Processes (Extended Version). CoRR (2021)
Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho
Formalising nominal C-unification generalised with protected variables. Math. Struct. Comput. Sci. 31 (3) (2021)
Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes. TYPES (2021)
Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
Non-Deterministic Functions as Non-Deterministic Processes. FSCD (2021)
Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes (Extended Version). CoRR (2021)
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho
On Nominal Syntax and Permutation Fixed Points. Log. Methods Comput. Sci. 16 (1) (2020)
Alexander Baumgartner, Daniele Nantes-Sobrinho
A, C, and AC Nominal Anti-Unification. UNIF (2020)
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale
An Investigation into General Nominal Equational Problems (Work in progress). UNIF (2020)
Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho, Ana Cristina Rocha Oliveira
-equivalence with A, C, and AC function symbols. Theor. Comput. Sci. 781 (2019)
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale
On Solving Nominal Disunification Constraints. LSFA (2019)
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho
On Nominal Syntax and Permutation Fixed Points. CoRR (2019)
Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho
A Certified Functional Nominal C-Unification Algorithm. LOPSTR (2019)
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho
Fixed-Point Constraints for Nominal Equational Unification. FSCD (2018)
Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho
A Formalisation of Nominal C-Matching through Unification with Protected Variables. LSFA (2018)
Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho
Nominal C-Unification. CoRR (2017)
Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho
Nominal C-Unification. LOPSTR (2017)
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho
Intruder deduction problem for locally stable theories with normal forms and inverses. Theor. Comput. Sci. 672 (2017)
Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho
On Solving Nominal Fixpoint Equations. FroCoS (2017)
Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho
A Formalisation of Nominal α-equivalence with A and AC Function Symbols. LSFA (2016)
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho
Nominal Narrowing. FSCD (2016)