Negation Elimination in Equational Formulae. - Hubert Comon; Maribel Fernández (MFCS, 1992)

Narrowing Based Procedures for Equational Disunification. - Maribel Fernández (Appl. Algebra Eng. Commun. Comput., 1992)

Strong Normalization of Typeable Rewrite Systems. - Steffen van Bakel; Maribel Fernández (HOA, 1993)

Modularity of Termination and Confluence in Combinations of Rewrite Systems with lambda_omega. - Franco Barbanera; Maribel Fernández (ICALP, 1993)

Combining First and Higher Order Rewrite Systems with Type Assignment Systems. - Franco Barbanera; Maribel Fernández (TLCA, 1993)

Modular Termination of Term Rewriting Systems Revisited. - Maribel Fernández; Jean-Pierre Jouannaud (COMPASS/ADT, 1994)

Modularity of Strong Normalization and Confluence in the algebraic-lambda-Cube - Franco Barbanera; Maribel Fernández; Herman Geuvers (LICS, 1994)

Approximation and Normalization Results for Typeable Term Rewriting Systems. - Steffen van Bakel; Maribel Fernández (HOA, 1995)

(Head-) Normalization of Typeable Rewrite Systems. - Steffen van Bakel; Maribel Fernández (RTA, 1995)

Normalization Properties of Typeable Term Rewriting Systems (Abstract). - Steffen van Bakel; Maribel Fernández (UNIF, 1995)

Interaction Nets and Term Rewriting Systems (Extended Abstract). - Maribel Fernández; Ian Mackie (CAAP, 1996)

Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization. - Steffen van Bakel; Franco Barbanera; Maribel Fernández (ESOP, 1996)

From Term Rewriting to Generalised Interaction Nets. - Maribel Fernández; Ian Mackie (PLILP, 1996)

AC Complement Problems: Satisfiability and Negation Elimination. - Maribel Fernández (J. Symb. Comput., 1996)

Intersection Type Assignment Systems with Higher-Order Algebraic Rewriting. - Franco Barbanera; Maribel Fernández (Theor. Comput. Sci., 1996)

On Object Calculus with Algebraic Rewriting. - Adriana B. Compagnoni; Maribel Fernández (PLILP, 1997)

Normalization Results for Typeable Rewrite Systems. - Steffen van Bakel; Maribel Fernández (Inf. Comput., 1997)

Modularity of Strong Normalization in the Algebraic-lambda-Cube. - Franco Barbanera; Maribel Fernández; Herman Geuvers (J. Funct. Program., 1997)

Coinductive Techniques for Operational Equivalence of Interaction Nets. - Maribel Fernández; Ian Mackie (LICS, 1998)

Negation Elimination in Empty or Permutative Theories. - Maribel Fernández (J. Symb. Comput., 1998)

Type assignment and termination of interaction nets. - Maribel Fernández (Math. Struct. Comput. Sci., 1998)

Interaction Nets and Term-Rewriting Systems. - Maribel Fernández; Ian Mackie (Theor. Comput. Sci., 1998)

Closed Reductions in the lambda-Calculus. - Maribel Fernández; Ian Mackie (CSL, 1999)

A Calculus for Interaction Nets. - Maribel Fernández; Ian Mackie (PPDP, 1999)

Polymorphic Intersection Type Assignment for Rewrite Systems with Abstractions and beta-Rule. - Steffen van Bakel; Franco Barbanera; Maribel Fernández (TYPES, 1999)

A Theory of Operational Equivalence for Interaction Nets. - Maribel Fernández; Ian Mackie (LATIN, 2000)

Combining interaction nets with externally defined programs. - Maribel Fernández; Ian Mackie; Jorge Sousa Pinto (APPIA-GULP-PRODE, 2001)

Call-by-Value lambda-Graph Rewriting Without Rewriting. - Maribel Fernández; Ian Mackie (ICGT, 2002)

An Operational Approach to Program Extraction in the Calculus of Constructions. - Maribel Fernández; Paula Severi (LOPSTR, 2002)

Interaction Nets with McCarthy's amb. - Maribel Fernández; Lionel Khalil (EXPRESS, 2002)

A Higher-Order Calculus for Graph Transformation. - Maribel Fernández; Ian Mackie; Jorge Sousa Pinto (TERMGRAPH, 2002)

Efficient Reductions with Director Strings. - François-Régis Sinot; Maribel Fernández; Ian Mackie (RTA, 2003)

Reduction Strategies for Program Extraction. - Maribel Fernández; Ian Mackie; Paula Severi; Nora Szasz (CLEI Electron. J., 2003)

Interaction Nets with McCarthy's amb: Properties and Applications. - Maribel Fernández; Lionel Khalil (Nord. J. Comput., 2003)

Normalization, approximation, and semantics for combinator systems. - Steffen van Bakel; Maribel Fernández (Theor. Comput. Sci., 2003)

Operational equivalence for interaction nets. - Maribel Fernández; Ian Mackie (Theor. Comput. Sci., 2003)

Programming Languages and Operational Semantics. - Maribel Fernández (College Publications, 2004)

Workshop TERMGRAPH 2004. - Maribel Fernández (ICGT, 2004)

Nominal rewriting systems. - Maribel Fernández; Murdoch Gabbay; Ian Mackie (PPDP, 2004)

Preface. - Maribel Fernández (TERMGRAPH, 2004)

Nominal rewriting with name generation: abstraction vs. locality. - Maribel Fernández; Murdoch Gabbay (PPDP, 2005)

Lambda-Calculus with Director Strings. - Maribel Fernández; Ian Mackie; François-Régis Sinot (Appl. Algebra Eng. Commun. Comput., 2005)

Preface. - Maribel Fernández; Ian Mackie (DCM@ICALP, 2005)

Interaction Nets vs. the rho-calculus: Introducing Bigraphical Nets. - Maribel Fernández; Ian Mackie; François-Régis Sinot (EXPRESS, 2005)

Closed reduction: explicit substitutions without alpha-conversion. - Maribel Fernández; Ian Mackie; François-Régis Sinot (Math. Struct. Comput. Sci., 2005)

The Power of Linear Functions. - Sandra Alves; Maribel Fernández; Mário Florido; Ian Mackie (CSL, 2006)

Term Rewriting for Access Control. - Steve Barker; Maribel Fernández (DBSec, 2006)

A historic functional and object-oriented calculus. - Maribel Fernández; Fabien Fleutot (PPDP, 2006)

Curry-Style Types for Nominal Terms. - Maribel Fernández; Murdoch Gabbay (TYPES, 2006)

The Power of Closed Reduction Strategies. - Sandra Alves; Maribel Fernández; Mário Florido; Ian Mackie (WRS@FLoC, 2006)

Implementing Nominal Unification. - Christophe Calvès; Maribel Fernández (TERMGRAPH@ETAPS, 2006)

From Functional Programs to Interaction Nets via the Rewriting Calculus. - Horatiu Cirstea; Germain Faure; Maribel Fernández; Ian Mackie; François-Régis Sinot (WRS@FLoC, 2006)

Preface. - Maribel Fernández; Claude Kirchner (SecReT@ICALP, 2006)

Preface. - Maribel Fernández; Ralf Lämmel (RULE@FLoC, 2006)

Developments in computational models: introduction. - Maribel Fernández; Ian Mackie (Math. Struct. Comput. Sci., 2006)

Linear Recursive Functions. - Sandra Alves; Maribel Fernández; Mário Florido; Ian Mackie (Rewriting, Computation and Proof, 2007)

Dynamic Event-Based Access Control as Term Rewriting. - Clara Bertolissi; Maribel Fernández; Steve Barker (DBSec, 2007)

Iterator Types. - Sandra Alves; Maribel Fernández; Mário Florido; Ian Mackie (FoSSaCS, 2007)

Nominal rewriting. - Maribel Fernández; Murdoch Gabbay (Inf. Comput., 2007)

More developments in computational models: introduction. - Maribel Fernández; Ian Mackie (Math. Struct. Comput. Sci., 2007)

An algebraic-functional framework for distributed access control. - Clara Bertolissi; Maribel Fernández (CRiSIS, 2008)

Time and Location Based Services with Access Control. - Clara Bertolissi; Maribel Fernández (NTMS, 2008)

A rewriting framework for the composition of access control policies. - Clara Bertolissi; Maribel Fernández (PPDP, 2008)

Nominal Matching and Alpha-Equivalence. - Christophe Calvès; Maribel Fernández (WoLLIC, 2008)

Action Control by Term Rewriting. - Steve Barker; Clara Bertolissi; Maribel Fernández (SecReT@LICS/CSF, 2008)

New Developments in Environment Machines. - Maribel Fernández; Nikolaos Siafakas (WRS@RTA, 2008)

Lambda Calculus, Type Theory, and Natural Language II. - Chris Fox; Maribel Fernández; Shalom Lappin (J. Log. Comput., 2008)

Rewriting calculi, higher-order reductions and patterns: introduction. - Horatiu Cirstea; Maribel Fernández (Math. Struct. Comput. Sci., 2008)

A polynomial nominal unification algorithm. - Christophe Calvès; Maribel Fernández (Theor. Comput. Sci., 2008)

Graph Creation, Visualisation and Transformation - Maribel Fernández; Olivier Namet (RULE, 2009)

Labelled Lambda-calculi with Explicit Copy and Erase - Maribel Fernández; Nikolaos Siafakas (LINEARITY, 2009)

Recursive Functions with Pattern Matching in Interaction Nets. - Maribel Fernández; Ian Mackie; Shinya Sato; Matthew Walker (TERMGRAPH@ETAPS, 2009)

Distributed event-based access control. - Clara Bertolissi; Maribel Fernández (Int. J. Inf. Comput. Secur., 2009)

Rewriting Corner. - Maribel Fernández (J. Log. Comput., 2009)

Models of Computation - An Introduction to Computability Theory. - Maribel Fernández (Springer, 2009)

Category-Based Authorisation Models: Operational Semantics and Expressive Power. - Clara Bertolissi; Maribel Fernández (ESSoS, 2010)

The First-Order Nominal Link. - Christophe Calvès; Maribel Fernández (LOPSTR, 2010)

Rewrite Specifications of Access Control Policies in Distributed Environments. - Clara Bertolissi; Maribel Fernández (STM, 2010)

Linear Recursion - Sandra Alves; Maribel Fernández; Mário Florido; Ian Mackie (CoRR, 2010)

Closed nominal rewriting and efficiently computable nominal algebra equality - Maribel Fernández; Murdoch James Gabbay (LFMTP, 2010)

Strategic programming on graph rewriting systems - Maribel Fernández; Olivier Namet (IWS, 2010)

Matching and alpha-equivalence check for nominal terms. - Christophe Calvès; Maribel Fernández (J. Comput. Syst. Sci., 2010)

Linearity and iterator types for Gödel's System. - Sandra Alves; Maribel Fernández; Mário Florido; Ian Mackie (High. Order Symb. Comput., 2010)

Gödel's system tau revisited. - Sandra Alves; Maribel Fernández; Mário Florido; Ian Mackie (Theor. Comput. Sci., 2010)

Principal Types for Nominal Theories. - Elliot Fairweather; Maribel Fernández; Murdoch James Gabbay (FCT, 2011)

A Strategy Language for Graph Rewriting. - Maribel Fernández; Hélène Kirchner; Olivier Namet (LOPSTR, 2011)

Linearity and recursion in a typed Lambda-calculus. - Sandra Alves; Maribel Fernández; Mário Florido; Ian Mackie (PPDP, 2011)

PORGY: Strategy-Driven Interactive Transformation of Graphs - Oana Andrei; Maribel Fernández; Hélène Kirchner; Guy Melançon; Olivier Namet; Bruno Pinaud (TERMGRAPH, 2011)

A new graphical calculus of proofs - Sandra Alves; Maribel Fernández; Ian Mackie (TERMGRAPH, 2011)

Nominal Completion for Rewrite Systems with Binders. - Maribel Fernández; Albert Rubio (ICALP (2), 2012)

General dynamic recovery for compensating CSP. - Abeer S. Al-Humaimeedy; Maribel Fernández (DCM, 2012)

Higher-order port-graph rewriting - Maribel Fernández; Sébastien Maulat (LINEARITY, 2012)

Elementary Deduction Problem for Locally Stable Theories with Normal Forms - Mauricio Ayala-Rincón; Maribel Fernández; Daniele Nantes Sobrinho (LSFA, 2012)

Preface: Theory and Applications of Abstraction, Substitution and Naming. - Maribel Fernández; Christian Urban (J. Autom. Reason., 2012)

Assembling the Proofs of Ordered Model Transformations - Maribel Fernández; Jeffrey Terrell (FESCA, 2013)

Bigraphical Nets - Maribel Fernández; Ian Mackie; Matthew Walker (TERMGRAPH, 2013)

Preface. - Maribel Fernández; Marcelo Finger (LSFA, 2013)

Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY. - Maribel Fernández; Hélène Kirchner; Ian Mackie; Bruno Pinaud (CiE, 2014)

Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics. - Sandra Alves; Anatoli Degtyarev; Maribel Fernández (LOPSTR, 2014)

Relating Nominal and Higher-Order Rewriting. - Jesús Domínguez; Maribel Fernández (MFCS (1), 2014)

Hybrid Enforcement of Category-Based Access Control. - Asad Ali 001; Maribel Fernández (STM, 2014)

Static Enforcement of Role-Based Access Control. - Asad Ali 001; Maribel Fernández (WWV, 2014)

Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework. - Maribel Fernández; Hélène Kirchner; Bruno Pinaud (GRAPHITE, 2014)

Enabling Synchronous and Asynchronous Communications in CSP for SOC. - Abeer S. Al-Humaimeedy; Maribel Fernández (LSFA, 2014)

A Framework for the Analysis of Access Control Policies with Emergency Management. - Sandra Alves; Maribel Fernández (LSFA, 2014)

A metamodel of access control for distributed environments: Applications and properties. - Clara Bertolissi; Maribel Fernández (Inf. Comput., 2014)

Linearity: A Roadmap. - Sandra Alves; Maribel Fernández; Mário Florido; Ian Mackie (J. Log. Comput., 2014)

Labelled calculi of resources. - Maribel Fernández; Nikolaos Siafakas (J. Log. Comput., 2014)

Programming Languages and Operational Semantics - A Concise Overview - Maribel Fernández (Springer, 2014)

A Typed Language for Events. - Sandra Alves; Sabine Broda; Maribel Fernández (LOPSTR, 2015)

Enhancing the specification and verification techniques of multiparty sessions in SOC. - Abeer S. Al-Humaimeedy; Maribel Fernández (PPDP, 2015)

Dependent Types for Nominal Terms with Atom Substitutions. - Elliot Fairweather; Maribel Fernández; Nora Szasz; Alvaro Tasistro (TLCA, 2015)

From nominal to higher-order rewriting and back again. - Jesús Domínguez; Maribel Fernández (Log. Methods Comput. Sci., 2015)

Checking Overlaps of Nominal Rewriting Rules. - Mauricio Ayala-Rincón; Maribel Fernández; Murdoch James Gabbay; Ana Cristina Rocha Oliveira (LSFA, 2015)

Completeness in PVS of a Nominal Unification Algorithm. - Mauricio Ayala-Rincón; Maribel Fernández; Ana Cristina Rocha Oliveira (LSFA, 2015)

Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory. - Ernesto Copello; Alvaro Tasistro; Nora Szasz; Ana Bove; Maribel Fernández (LSFA, 2015)

Towards Privacy-Preserving Web Metering Via User-Centric Hardware. - Fahad Alarifi; Maribel Fernández (EAI Endorsed Trans. Security Safety, 2015)

A Framework for Secure Data Collection and Management for Internet of Things. - Maribel Fernández; Murat Kantarcioglu; Bhavani Thuraisingham (ICSS, 2016)

Nominal Narrowing. - Mauricio Ayala-Rincón; Maribel Fernández; Daniele Nantes-Sobrinho (FSCD, 2016)

Labelled Graph Rewriting Meets Social Networks. - Maribel Fernández; Hélène Kirchner; Bruno Pinaud; Jason Vallet (WRLA, 2016)

A Formalisation of Nominal α-equivalence with A and AC Function Symbols. - Mauricio Ayala-Rincón; Washington de Carvalho Segundo; Maribel Fernández; Daniele Nantes-Sobrinho (LSFA, 2016)

PORGY : a Visual Analytics Platform for System Modelling and Analysis Based on Graph Rewriting. - Bruno Pinaud; Oana Andrei; Maribel Fernández; Hélène Kirchner; Guy Melançon; Jason Vallet (EGC, 2017)

On Solving Nominal Fixpoint Equations. - Mauricio Ayala-Rincón; Washington de Carvalho Segundo; Maribel Fernández; Daniele Nantes-Sobrinho (FroCoS, 2017)

Nominal C-Unification. - Mauricio Ayala-Rincón; Washington de Carvalho Segundo; Maribel Fernández; Daniele Nantes-Sobrinho (LOPSTR, 2017)

Attributed Hierarchical Port Graphs and Applications. - Nneka Chinelo Ene; Maribel Fernández; Bruno Pinaud (WPTE@FSCD, 2017)

Labelled Port Graph - A Formal Structure for Models and Computations. - Maribel Fernández; Hélène Kirchner; Bruno Pinaud (LSFA, 2017)

A graph-based framework for the analysis of access control policies. - Sandra Alves; Maribel Fernández (Theor. Comput. Sci., 2017)

Intruder deduction problem for locally stable theories with normal forms and inverses. - Mauricio Ayala-Rincón; Maribel Fernández; Daniele Nantes-Sobrinho (Theor. Comput. Sci., 2017)

Graph-Based Data-Collection Policies for the Internet of Things. - Maribel Fernández; Jenjira Jaimunk; Bhavani Thuraisingham (ICSS, 2018)

Fixed-Point Constraints for Nominal Equational Unification. - Mauricio Ayala-Rincón; Maribel Fernández; Daniele Nantes-Sobrinho (FSCD, 2018)

Towards a Privacy-Aware Qunatified Self Data Management Framework. - Bhavani Thuraisingham; Murat Kantarcioglu; Elisa Bertino; Jonathan Z. Bakdash; Maribel Fernández (SACMAT, 2018)

A Formalisation of Nominal C-Matching through Unification with Protected Variables. - Mauricio Ayala-Rincón; Washington de Carvalho Segundo; Maribel Fernández; Daniele Nantes-Sobrinho (LSFA, 2018)

Labelled graph strategic rewriting for social networks. - Maribel Fernández; Hélène Kirchner; Bruno Pinaud; Jason Vallet (J. Log. Algebraic Methods Program., 2018)

Nominal essential intersection types. - Mauricio Ayala-Rincón; Maribel Fernández; Ana Cristina Rocha Oliveira; Daniel Lima Ventura (Theor. Comput. Sci., 2018)

Typed Nominal Rewriting. - Elliot Fairweather; Maribel Fernández (ACM Trans. Comput. Log., 2018)

Specification and Analysis of ABAC Policies via the Category-based Metamodel. - Maribel Fernández; Ian Mackie; Bhavani Thuraisingham (CODASPY, 2019)

Nominal Syntax with Atom Substitutions: Matching, Unification, Rewriting. - Jesús Domínguez; Maribel Fernández (FCT, 2019)

Privacy-Preserving Architecture for Cloud-IoT Platforms. - Maribel Fernández; Jenjira Jaimunk; Bhavani Thuraisingham (ICWS, 2019)

A Certified Functional Nominal C-Unification Algorithm. - Mauricio Ayala-Rincón; Maribel Fernández; Gabriel Ferreira Silva; Daniele Nantes-Sobrinho (LOPSTR, 2019)

A Port Graph Rewriting Approach to Relational Database Modelling. - Maribel Fernández; Bruno Pinaud; János Varga (LOPSTR, 2019)

On Solving Nominal Disunification Constraints. - Mauricio Ayala-Rincón; Maribel Fernández; Daniele Nantes-Sobrinho; Deivid Vale (LSFA, 2019)

Preface to the Special Issue on Linearity. - Iliano Cervesato; Maribel Fernández (J. Autom. Reason., 2019)

Strategic port graph rewriting: an interactive modelling framework. - Maribel Fernández; Hélène Kirchner; Bruno Pinaud (Math. Struct. Comput. Sci., 2019)

A formalisation of nominal α-equivalence with A, C, and AC function symbols. - Mauricio Ayala-Rincón; Washington de Carvalho Segundo; Maribel Fernández; Daniele Nantes-Sobrinho; Ana Cristina Rocha Oliveira (Theor. Comput. Sci., 2019)

Admin-CBAC: An Administration Model for Category-Based Access Control. - Clara Bertolissi; Maribel Fernández; Bhavani Thuraisingham (CODASPY, 2020)

A Reversible Operational Semantics for Imperative Programming Languages. - Maribel Fernández; Ian Mackie (ICFEM, 2020)

EVL: A Typed Higher-order Functional Language for Events. - Sandra Alves; Maribel Fernández; Miguel Ramos 002 (LSFA, 2020)

Finding Candidate Keys and 3NF via Strategic Port Graph Rewriting. - Maribel Fernández; János Varga (PPDP, 2020)

A Data Access Model for Privacy-Preserving Cloud-IoT Architectures. - Maribel Fernández; Alex Franch Tapia; Jenjira Jaimunk; Manuel Martinez Chamorro; Bhavani Thuraisingham (SACMAT, 2020)

An Investigation into General Nominal Equational Problems (Work in progress). - Mauricio Ayala-Rincón; Maribel Fernández; Daniele Nantes-Sobrinho; Deivid Vale (UNIF, 2020)

On Nominal Syntax and Permutation Fixed Points. - Mauricio Ayala-Rincón; Maribel Fernández; Daniele Nantes-Sobrinho (Log. Methods Comput. Sci., 2020)

Graph-Based Specification of Admin-CBAC Policies. - Clara Bertolissi; Maribel Fernández; Bhavani Thuraisingham (CODASPY, 2021)

Nominal Equational Problems. - Mauricio Ayala-Rincón; Maribel Fernández; Daniele Nantes-Sobrinho; Deivid Vale (FoSSaCS, 2021)

EVL: a typed functional language for event processing. - Sandra Alves; Maribel Fernández; Miguel Ramos 002 (CoRR, 2021)

Nominal syntax with atom substitutions. - Jesús Domínguez; Maribel Fernández (J. Comput. Syst. Sci., 2021)

Formalising nominal C-unification generalised with protected variables. - Mauricio Ayala-Rincón; Washington de Carvalho Segundo; Maribel Fernández; Gabriel Ferreira Silva; Daniele Nantes-Sobrinho (Math. Struct. Comput. Sci., 2021)

A Certified Algorithm for AC-Unification. - Mauricio Ayala-Rincón; Maribel Fernández; Gabriel Ferreira Silva; Daniele Nantes Sobrinho (FSCD, 2022)

Nominal Matching Logic. - James Cheney; Maribel Fernández (PPDP, 2022)

Modular Composition of Access Control Policies: A Framework to Build Multi-Site Multi-Level Combinations. - Clara Bertolissi; Maribel Fernández (SACMAT, 2022)

Nominal Techniques for Software Specification and Verification (Invited Talk). - Maribel Fernández (FSCD, 2023)

From Static to Dynamic Access Control Policies via Attribute-Based Category Mining. - Anna Bamberger; Maribel Fernández (LOPSTR, 2023)

Unification Modulo Equational Theories in Languages with Binding Operators (Invited Talk). - Maribel Fernández (LOPSTR, 2023)

Nominal AC-Matching. - Mauricio Ayala-Rincón; Maribel Fernández; Gabriel Ferreira Silva; Temur Kutsia; Daniele Nantes-Sobrinho (CICM, 2023)

The Category-Based Approach to Access Control, Obligations and Privacy. - Maribel Fernández (SACMAT, 2023)

A Privacy-Preserving Architecture and Data-Sharing Model for Cloud-IoT Applications. - Maribel Fernández; Jenjira Jaimunk; Bhavani Thuraisingham (IEEE Trans. Dependable Secur. Comput., 2023)

Automated Generation and Update of Structured ABAC Policies. - Anna Bamberger; Maribel Fernández (SAT-CPS@CODASPY, 2024)

The Ackermann Award 2023. - Maribel Fernández; Jean Goubault-Larrecq; Delia Kesner (CSL, 2024)

An Axiomatic Category-Based Access Control Model for Smart Homes. - Clara Bertolissi; Maribel Fernández; Bhavani Thuraisingham (LOPSTR, 2024)

Hierarchical Higher-Order Port-Graphs: A Rewriting-Based Modelling Language. - Maribel Fernández; Ian Mackie (PPDP, 2024)

Strong Nominal Semantics for Fixed-Point Constraints. - Ali K. Caires-Santos; Maribel Fernández; Daniele Nantes-Sobrinho (CoRR, 2024)

Nominal Equational Rewriting and Narrowing. - Mauricio Ayala-Rincón; Maribel Fernández; Daniele Nantes-Sobrinho; Daniella Santaguida (LSFA, 2024)

Certified First-Order AC-Unification and Applications. - Mauricio Ayala-Rincón; Maribel Fernández; Gabriel Ferreira Silva; Temur Kutsia; Daniele Nantes-Sobrinho (J. Autom. Reason., 2024)

Equational Reasoning Modulo Commutativity in Languages with Binders. - Ali K. Caires-Santos; Maribel Fernández; Daniele Nantes-Sobrinho (CADE, 2025)

Nominal Matching Logic with Fixpoints. - Mircea Sebe; Maribel Fernández; James Cheney (CPP, 2025)

The Ackermann Award 2024. - Maribel Fernández; Prakash Panangaden (CSL, 2025)

Equational Reasoning Modulo Commutativity in Languages with Binders (Extended Version). - Ali K. Caires-Santos; Maribel Fernández; Daniele Nantes-Sobrinho (CoRR, 2025)

Category-Based Administrative Access Control Policies. - Clara Bertolissi; Maribel Fernández; Bhavani Thuraisingham (ACM Trans. Priv. Secur., 2025)

Correction to: Certified First-Order AC-Unification and Applications. - Mauricio Ayala-Rincón; Maribel Fernández; Gabriel Ferreira Silva; Temur Kutsia; Daniele Nantes-Sobrinho (J. Autom. Reason., 2025)

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders. - Maribel Fernández; Daniele Nantes-Sobrinho; Daniella Santaguida (CoRR, 2025)