Daniele Nantes-Sobrinho

52 papers A 4B 8C 6Journal 24Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Nominal Approach to Equational Problems in Languages with Binders.
ACM Trans. Comput. Log.
Daniele Nantes-Sobrinho, Maribel Fernández, Deivid Vale, Mauricio Ayala-Rincón
2026 J jnl
Nominal anti-unification modulo equational theories.
J. Log. Algebraic Methods Program.
Alexander Baumgartner, Daniele Nantes-Sobrinho
2025 C conf
A Completion Procedure for Equational Rewriting Systems with Binders.
LOPSTR
Maribel Fernández, Daniele Nantes-Sobrinho, Daniella Santaguida
2025 J jnl
Compositional Symbolic Execution for the Next 700 Memory Models (Extended Version).
CoRR
Andreas Lööw, Seung Hoon Park, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Opale Sjöstedt, Philippa Gardner
2025 J jnl
Compositional Symbolic Execution for the Next 700 Memory Models.
Proc. ACM Program. Lang.
Andreas Lööw, Seung Hoon Park, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Opale Sjöstedt, Philippa Gardner
2025 J jnl
Correction to: Certified First-Order AC-Unification and Applications.
J. Autom. Reason.
Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Temur Kutsia, Daniele Nantes-Sobrinho
2025 C conf
Equational Generalization Problems with Atom-Variables.
CICM
Alexander Baumgartner, Temur Kutsia, Daniele Nantes-Sobrinho, Manfred Schmidt-Schauß
2025 J jnl
Equational Reasoning Modulo Commutativity in Languages with Binders (Extended Version).
CoRR
Ali K. Caires-Santos, Maribel Fernández, Daniele Nantes-Sobrinho
2025 A conf
Equational Reasoning Modulo Commutativity in Languages with Binders.
CADE
Ali K. Caires-Santos, Maribel Fernández, Daniele Nantes-Sobrinho
2025 J jnl
Generalization Problems with Atom-Variables in Languages with Binders and Equational Theories.
CoRR
Daniele Nantes-Sobrinho, Manfred Schmidt-Schauß, Alexander Baumgartner, Temur Kutsia
2025 J jnl
Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders.
CoRR
Maribel Fernández, Daniele Nantes-Sobrinho, Daniella Santaguida
2025 J jnl
Preface to Special Issue dedicated to LSFA 2021 and LSFA 2022.
Math. Struct. Comput. Sci.
Eduardo Bonelli, Daniele Nantes-Sobrinho
2025 — ed.
Proceedings Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2025, Birmingham, UK, 19 July 2025.
LFMTP@FSCD
Kaustuv Chaudhuri, Daniele Nantes-Sobrinho
2024 J jnl
Certified First-Order AC-Unification and Applications.
J. Autom. Reason.
Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Temur Kutsia, Daniele Nantes-Sobrinho
2024 J jnl
Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Artifact).
Dagstuhl Artifacts Ser.
Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Caroline Cronjäger, Nat Karmios, Petar Maksimovic, Philippa Gardner
2024 J jnl
Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version).
CoRR
Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Caroline Cronjäger, Petar Maksimovic, Philippa Gardner
2024 A conf
Compositional Symbolic Execution for Correctness and Incorrectness Reasoning.
ECOOP
Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Caroline Cronjäger, Petar Maksimovic, Philippa Gardner
2024 A conf
Matching Plans for Frame Inference in Compositional Reasoning.
ECOOP
Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Petar Maksimovic, Philippa Gardner
2024 — conf
Nominal Equational Rewriting and Narrowing.
LSFA
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Daniella Santaguida
2024 J jnl
Report on WiL 2024.
ACM SIGLOG News
Daniele Nantes-Sobrinho, Elaine Pimentel, Tephilla Prince
2024 B conf
Strong Nominal Semantics for Fixed-Point Constraints.
MFPS
Ali K. Caires-Santos, Maribel Fernández, Daniele Nantes-Sobrinho
2024 B conf
Typed Non-determinism in Concurrent Calculi: The Eager Way.
MFPS
Bas van den Heuvel, Daniele Nantes-Sobrinho, Joseph W. N. Paulus, Jorge A. Pérez
2023 C conf
Nominal AC-Matching.
CICM
Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Temur Kutsia, Daniele Nantes-Sobrinho
2023 J jnl
Non-Deterministic Functions as Non-Deterministic Processes (Extended Version).
Log. Methods Comput. Sci.
Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
2023 — ed.
Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications, LSFA 2022, Belo Horizonte, Brazil (hybrid), 23-24 September 2022.
LSFA
Daniele Nantes-Sobrinho, Pascal Fontaine
2023 C conf
Termination in Concurrency, Revisited.
PPDP
Joseph W. N. Paulus, Jorge A. Pérez, Daniele Nantes-Sobrinho
2023 J jnl
Termination in Concurrency, Revisited.
CoRR
Joseph W. N. Paulus, Jorge A. Pérez, Daniele Nantes-Sobrinho
2023 A conf
Towards Fast Nominal Anti-unification of Letrec-Expressions.
CADE
Manfred Schmidt-Schauß, Daniele Nantes-Sobrinho
2023 B conf
Typed Non-determinism in Functional and Concurrent Calculi.
APLAS
Bas van den Heuvel, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
2022 J jnl
Functions as Processes: The Case of Collapsing Non-determinism.
CoRR
Bas van den Heuvel, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
2022 B conf
Nominal Anti-Unification with Atom-Variables.
FSCD
Manfred Schmidt-Schauß, Daniele Nantes-Sobrinho
2021 J jnl
Formalising nominal C-unification generalised with protected variables.
Math. Struct. Comput. Sci.
Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho
2021 B conf
Nominal Equational Problems.
FoSSaCS
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale
2021 J jnl
Non-Deterministic Functions as Non-Deterministic Processes (Extended Version).
CoRR
Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
2021 B conf
Non-Deterministic Functions as Non-Deterministic Processes.
FSCD
Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
2021 J jnl
Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes (Extended Version).
CoRR
Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
2021 — conf
Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes.
TYPES
Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
2020 — conf
A, C, and AC Nominal Anti-Unification.
UNIF
Alexander Baumgartner, Daniele Nantes-Sobrinho
2020 — conf
An Investigation into General Nominal Equational Problems (Work in progress).
UNIF
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale
2020 J jnl
On Nominal Syntax and Permutation Fixed Points.
Log. Methods Comput. Sci.
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho
2019 C conf
A Certified Functional Nominal C-Unification Algorithm.
LOPSTR
Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho
2019 J jnl
A formalisation of nominal
Theor. Comput. Sci.
Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho, Ana Cristina Rocha Oliveira
2019 J jnl
On Nominal Syntax and Permutation Fixed Points.
CoRR
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho
2019 — conf
On Solving Nominal Disunification Constraints.
LSFA
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale
2018 — conf
A Formalisation of Nominal C-Matching through Unification with Protected Variables.
LSFA
Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho
2018 B conf
Fixed-Point Constraints for Nominal Equational Unification.
FSCD
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho
2017 J jnl
Intruder deduction problem for locally stable theories with normal forms and inverses.
Theor. Comput. Sci.
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho
2017 C conf
Nominal C-Unification.
LOPSTR
Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho
2017 J jnl
Nominal C-Unification.
CoRR
Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho
2017 — conf
On Solving Nominal Fixpoint Equations.
FroCoS
Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho
2016 — conf
A Formalisation of Nominal α-equivalence with A and AC Function Symbols.
LSFA
Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho
2016 B conf
Nominal Narrowing.
FSCD
Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho