| 2026 | CSL | The Ackermann Award 2025. | Maribel Fernndez, Prakash Panangaden |
| 2026 | FSCD | Equational Reasoning in Languages with Binders via Permutation Fixed-Points. | Ali K. Caires-Santos, Maribel Fernndez, Murdoch James Gabbay, Daniele Nantes-Sobrinho |
| 2026 | MFCS | Quantitative Equational Rewriting. | Besik Dundua, Georg Ehling, Santiago Escobar, Maribel Fernndez, Temur Kutsia |
| 2026 | SECRYPT | TrusTEE: Storage-Centric Secure Federated Learning with Trusted Execution and Policy Enforcement. | George Popescu-Craiova, Maribel Fernndez |
| 2025 | CADE | Equational Reasoning Modulo Commutativity in Languages with Binders. | Ali K. Caires-Santos, Maribel Fernndez, Daniele Nantes-Sobrinho |
| 2025 | CPP | Nominal Matching Logic with Fixpoints. | Mircea Sebe, Maribel Fernndez, James Cheney |
| 2025 | CSL | The Ackermann Award 2024. | Maribel Fernndez, Prakash Panangaden |
| 2025 | LOPSTR | A Completion Procedure for Equational Rewriting Systems with Binders. | Maribel Fernndez, Daniele Nantes-Sobrinho, Daniella Santaguida |
| 2025 | PPDP | Formalizing Languages with Binding Operators in Rewriting Logic. | Maribel Fernndez, Jos Meseguer |
| 2024 | CSL | The Ackermann Award 2023. | Maribel Fernndez, Jean Goubault-Larrecq, Delia Kesner |
| 2024 | LOPSTR | An Axiomatic Category-Based Access Control Model for Smart Homes. | Clara Bertolissi, Maribel Fernndez, Bhavani Thuraisingham |
| 2024 | PPDP | Hierarchical Higher-Order Port-Graphs: A Rewriting-Based Modelling Language. | Maribel Fernndez, Ian Mackie |
| 2023 | FSCD | Nominal Techniques for Software Specification and Verification (Invited Talk). | Maribel Fernndez |
| 2023 | LOPSTR | From Static to Dynamic Access Control Policies via Attribute-Based Category Mining. | Anna Bamberger, Maribel Fernndez |
| 2023 | LOPSTR | Unification Modulo Equational Theories in Languages with Binding Operators (Invited Talk). | Maribel Fernndez |
| 2023 | SACMAT | The Category-Based Approach to Access Control, Obligations and Privacy. | Maribel Fernndez |
| 2022 | FSCD | A Certified Algorithm for AC-Unification. | Mauricio Ayala-Rincn, Maribel Fernndez, Gabriel Ferreira Silva, Daniele Nantes Sobrinho |
| 2022 | PPDP | Nominal Matching Logic. | James Cheney, Maribel Fernndez |
| 2022 | SACMAT | Modular Composition of Access Control Policies: A Framework to Build Multi-Site Multi-Level Combinations. | Clara Bertolissi, Maribel Fernndez |
| 2021 | FOSSACS | Nominal Equational Problems. | Mauricio Ayala-Rincn, Maribel Fernndez, Daniele Nantes-Sobrinho, Deivid Vale |
| 2020 | ICFEM | A Reversible Operational Semantics for Imperative Programming Languages. | Maribel Fernndez, Ian Mackie |
| 2020 | PPDP | Finding Candidate Keys and 3NF via Strategic Port Graph Rewriting. | Maribel Fernndez, Jnos Varga |
| 2020 | SACMAT | A Data Access Model for Privacy-Preserving Cloud-IoT Architectures. | Maribel Fernndez, Alex Franch Tapia, Jenjira Jaimunk, Manuel Martinez Chamorro, Bhavani Thuraisingham |
| 2019 | FCT | Nominal Syntax with Atom Substitutions: Matching, Unification, Rewriting. | Jess Domnguez, Maribel Fernndez |
| 2019 | ICWS | Privacy-Preserving Architecture for Cloud-IoT Platforms. | Maribel Fernndez, Jenjira Jaimunk, Bhavani Thuraisingham |
| 2019 | LOPSTR | A Certified Functional Nominal C-Unification Algorithm. | Mauricio Ayala-Rincn, Maribel Fernndez, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho |
| 2019 | LOPSTR | A Port Graph Rewriting Approach to Relational Database Modelling. | Maribel Fernndez, Bruno Pinaud, Jnos Varga |
| 2018 | SACMAT | Towards a Privacy-Aware Qunatified Self Data Management Framework. | Bhavani Thuraisingham, Murat Kantarcioglu, Elisa Bertino, Jonathan Z. Bakdash, Maribel Fernndez |
| 2017 | LOPSTR | Nominal C-Unification. | Mauricio Ayala-Rincn, Washington de Carvalho Segundo, Maribel Fernndez, Daniele Nantes-Sobrinho |
| 2015 | LOPSTR | A Typed Language for Events. | Sandra Alves, Sabine Broda, Maribel Fernndez |
| 2015 | PPDP | Enhancing the specification and verification techniques of multiparty sessions in SOC. | Abeer S. Al-Humaimeedy, Maribel Fernndez |
| 2014 | CiE | Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY. | Maribel Fernndez, Hlne Kirchner, Ian Mackie, Bruno Pinaud |
| 2014 | LOPSTR | Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics. | Sandra Alves, Anatoli Degtyarev, Maribel Fernndez |
| 2014 | MFCS | Relating Nominal and Higher-Order Rewriting. | Jess Domnguez, Maribel Fernndez |
| 2014 | SecureComm | Towards Privacy-Preserving Web Metering via User-Centric Hardware. | Fahad Alarifi, Maribel Fernndez |
| 2012 | ICALP | Nominal Completion for Rewrite Systems with Binders. | Maribel Fernndez, Albert Rubio |
| 2011 | FCT | Principal Types for Nominal Theories. | Elliot Fairweather, Maribel Fernndez, Murdoch James Gabbay |
| 2011 | LOPSTR | A Strategy Language for Graph Rewriting. | Maribel Fernndez, Hlne Kirchner, Olivier Namet |
| 2011 | PPDP | Linearity and recursion in a typed Lambda-calculus. | Sandra Alves, Maribel Fernndez, Mrio Florido, Ian Mackie |
| 2010 | LOPSTR | The First-Order Nominal Link. | Christophe Calvs, Maribel Fernndez |
| 2008 | CRiSIS | An algebraic-functional framework for distributed access control. | Clara Bertolissi, Maribel Fernndez |
| 2008 | PPDP | A rewriting framework for the composition of access control policies. | Clara Bertolissi, Maribel Fernndez |
| 2008 | WoLLIC | Nominal Matching and Alpha-Equivalence. | Christophe Calvs, Maribel Fernndez |
| 2007 | DBSEC | Dynamic Event-Based Access Control as Term Rewriting. | Clara Bertolissi, Maribel Fernndez, Steve Barker |
| 2007 | FOSSACS | Iterator Types. | Sandra Alves, Maribel Fernndez, Mrio Florido, Ian Mackie |
| 2006 | CSL | The Power of Linear Functions. | Sandra Alves, Maribel Fernndez, Mrio Florido, Ian Mackie |
| 2006 | DBSEC | Term Rewriting for Access Control. | Steve Barker, Maribel Fernndez |
| 2006 | PPDP | A historic functional and object-oriented calculus. | Maribel Fernndez, Fabien Fleutot |
| 2005 | PPDP | Nominal rewriting with name generation: abstraction vs. locality. | Maribel Fernndez, Murdoch Gabbay |
| 2004 | PPDP | Nominal rewriting systems. | Maribel Fernndez, Murdoch Gabbay, Ian Mackie |
| 2002 | LOPSTR | An Operational Approach to Program Extraction in the Calculus of Constructions. | Maribel Fernndez, Paula Severi |
| 2000 | LATIN | A Theory of Operational Equivalence for Interaction Nets. | Maribel Fernndez, Ian Mackie |
| 1999 | CSL | Closed Reductions in the lambda-Calculus. | Maribel Fernndez, Ian Mackie |
| 1999 | PPDP | A Calculus for Interaction Nets. | Maribel Fernndez, Ian Mackie |
| 1998 | LICS | Coinductive Techniques for Operational Equivalence of Interaction Nets. | Maribel Fernndez, Ian Mackie |
| 1996 | ESOP | Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization. | Steffen van Bakel, Franco Barbanera, Maribel Fernndez |
| 1994 | COMPASS | Modular Termination of Term Rewriting Systems Revisited. | Maribel Fernndez, Jean-Pierre Jouannaud |
| 1994 | LICS | Modularity of Strong Normalization and Confluence in the algebraic-lambda-Cube | Franco Barbanera, Maribel Fernndez, Herman Geuvers |
| 1993 | ICALP | Modularity of Termination and Confluence in Combinations of Rewrite Systems with lambda_omega. | Franco Barbanera, Maribel Fernndez |
| 1992 | MFCS | Negation Elimination in Equational Formulae. | Hubert Comon, Maribel Fernndez |