Maribel Fernández

209 papers A* 3A 3B 24C 34Journal 54Unranked 75

Year	Rank	Type	Title / 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	B	`conf`	The Ackermann Award 2025. CSL Maribel Fernández, Prakash Panangaden
2025	B	`ed.`	10th International Conference on Formal Structures for Computation and Deduction, FSCD 2025, Birmingham, UK, July 14-20, 2025 FSCD Maribel Fernández
2025	C	`conf`	A Completion Procedure for Equational Rewriting Systems with Binders. LOPSTR Maribel Fernández, Daniele Nantes-Sobrinho, Daniella Santaguida
2025	—	`conf`	Access Control Administration for Smart Homes. STM Clara Bertolissi, Maribel Fernández
2025	J	`jnl`	Category-Based Administrative Access Control Policies. ACM Trans. Priv. Secur. Clara Bertolissi, Maribel Fernández, Bhavani Thuraisingham
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	—	`conf`	Dependently Sorted Nominal Signatures. LFMTP@FSCD Maribel Fernández, Miguel Pagano, Nora Szasz, Álvaro Tasistro
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	C	`conf`	Formalizing Languages with Binding Operators in Rewriting Logic. PPDP Maribel Fernández, José Meseguer
2025	—	`conf`	Mining Attribute-Based Access Control Policies via Categorisation. NordSec Karthikeya S. M. Yelisetty, Gaurav Madkaikar, Anna Bamberger, Maribel Fernández, Shamik Sural
2025	J	`jnl`	Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders. CoRR Maribel Fernández, Daniele Nantes-Sobrinho, Daniella Santaguida
2025	B	`conf`	Nominal Matching Logic with Fixpoints. CPP Mircea Sebe, Maribel Fernández, James Cheney
2025	B	`conf`	The Ackermann Award 2024. CSL Maribel Fernández, Prakash Panangaden
2024	C	`conf`	An Axiomatic Category-Based Access Control Model for Smart Homes. LOPSTR Clara Bertolissi, Maribel Fernández, Bhavani Thuraisingham
2024	—	`conf`	Automated Generation and Update of Structured ABAC Policies. SAT-CPS@CODASPY Anna Bamberger, Maribel Fernández
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	C	`conf`	Hierarchical Higher-Order Port-Graphs: A Rewriting-Based Modelling Language. PPDP Maribel Fernández, Ian Mackie
2024	—	`conf`	Nominal Equational Rewriting and Narrowing. LSFA Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Daniella Santaguida
2024	B	`conf`	Strong Nominal Semantics for Fixed-Point Constraints. MFPS Ali K. Caires-Santos, Maribel Fernández, Daniele Nantes-Sobrinho
2024	B	`conf`	The Ackermann Award 2023. CSL Maribel Fernández, Jean Goubault-Larrecq, Delia Kesner
2023	J	`jnl`	A Privacy-Preserving Architecture and Data-Sharing Model for Cloud-IoT Applications. IEEE Trans. Dependable Secur. Comput. Maribel Fernández, Jenjira Jaimunk, Bhavani Thuraisingham
2023	C	`conf`	From Static to Dynamic Access Control Policies via Attribute-Based Category Mining. LOPSTR Anna Bamberger, Maribel Fernández
2023	B	`ed.`	Graph Transformation - 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19-20, 2023, Proceedings ICGT Maribel Fernández, Christopher M. Poskitt
2023	C	`conf`	Nominal AC-Matching. CICM Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Temur Kutsia, Daniele Nantes-Sobrinho
2023	B	`conf`	Nominal Techniques for Software Specification and Verification (Invited Talk). FSCD Maribel Fernández
2023	—	`ed.`	Proceedings of the Thirteenth ACM Conference on Data and Application Security and Privacy, CODASPY 2023, Charlotte, NC, USA, April 24-26, 2023. CODASPY Mohamed Shehab, Maribel Fernández, Ninghui Li
2023	C	`conf`	The Category-Based Approach to Access Control, Obligations and Privacy. SACMAT Maribel Fernández
2023	C	`conf`	Unification Modulo Equational Theories in Languages with Binding Operators (Invited Talk). LOPSTR Maribel Fernández
2022	B	`conf`	A Certified Algorithm for AC-Unification. FSCD Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes Sobrinho
2022	—	`ed.`	CODASPY '22: Twelveth ACM Conference on Data and Application Security and Privacy, Baltimore, MD, USA, April 24 - 27, 2022 CODASPY Anupam Joshi, Maribel Fernández, Rakesh M. Verma
2022	C	`conf`	Modular Composition of Access Control Policies: A Framework to Build Multi-Site Multi-Level Combinations. SACMAT Clara Bertolissi, Maribel Fernández
2022	C	`conf`	Nominal Matching Logic. PPDP James Cheney, Maribel Fernández
2022	J	`jnl`	Nominal Matching Logic. CoRR James Cheney, Maribel Fernández
2021	J	`jnl`	EVL: a typed functional language for event processing. CoRR Sandra Alves, Maribel Fernández, Miguel Ramos
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	—	`conf`	Graph-Based Specification of Admin-CBAC Policies. CODASPY Clara Bertolissi, Maribel Fernández, Bhavani Thuraisingham
2021	C	`ed.`	Logic-Based Program Synthesis and Transformation - 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings LOPSTR Maribel Fernández
2021	B	`conf`	Nominal Equational Problems. FoSSaCS Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho, Deivid Vale
2021	J	`jnl`	Nominal syntax with atom substitutions. J. Comput. Syst. Sci. Jesús Domínguez, Maribel Fernández
2020	B	`ed.`	28th EACSL Annual Conference on Computer Science Logic, CSL 2020, Barcelona, Spain, January 13-16, 2020 CSL Maribel Fernández, Anca Muscholl
2020	C	`conf`	A Data Access Model for Privacy-Preserving Cloud-IoT Architectures. SACMAT Maribel Fernández, Alex Franch Tapia, Jenjira Jaimunk, Manuel Martinez Chamorro, Bhavani Thuraisingham
2020	C	`conf`	A Reversible Operational Semantics for Imperative Programming Languages. ICFEM Maribel Fernández, Ian Mackie
2020	—	`conf`	Admin-CBAC: An Administration Model for Category-Based Access Control. CODASPY Clara Bertolissi, Maribel Fernández, Bhavani Thuraisingham
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	—	`conf`	EVL: A Typed Higher-order Functional Language for Events. LSFA Sandra Alves, Maribel Fernández, Miguel Ramos
2020	C	`conf`	Finding Candidate Keys and 3NF via Strategic Port Graph Rewriting. PPDP Maribel Fernández, János Varga
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	C	`conf`	A Port Graph Rewriting Approach to Relational Database Modelling. LOPSTR Maribel Fernández, Bruno Pinaud, János Varga
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	B	`conf`	Nominal Syntax with Atom Substitutions: Matching, Unification, Rewriting. FCT Jesús Domínguez, Maribel Fernández
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
2019	J	`jnl`	Preface to the Special Issue on Linearity. J. Autom. Reason. Iliano Cervesato, Maribel Fernández
2019	A	`conf`	Privacy-Preserving Architecture for Cloud-IoT Platforms. ICWS Maribel Fernández, Jenjira Jaimunk, Bhavani Thuraisingham
2019	—	`ed.`	Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford, UK, 7-8 July 2018. Linearity-TLLA@FLoC Thomas Ehrhard, Maribel Fernández, Valeria de Paiva, Lorenzo Tortora de Falco
2019	—	`ed.`	Proceedings Tenth International Workshop on Computing with Terms and Graphs, TERMGRAPH@FSCD 2018, Oxford, UK, 7th July 2018. TERMGRAPH@FSCD Maribel Fernández, Ian Mackie
2019	—	`conf`	Specification and Analysis of ABAC Policies via the Category-based Metamodel. CODASPY Maribel Fernández, Ian Mackie, Bhavani Thuraisingham
2019	J	`jnl`	Strategic port graph rewriting: an interactive modelling framework. Math. Struct. Comput. Sci. Maribel Fernández, Hélène Kirchner, Bruno Pinaud
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
2018	—	`conf`	Graph-Based Data-Collection Policies for the Internet of Things. ICSS Maribel Fernández, Jenjira Jaimunk, Bhavani Thuraisingham
2018	J	`jnl`	Labelled graph strategic rewriting for social networks. J. Log. Algebraic Methods Program. Maribel Fernández, Hélène Kirchner, Bruno Pinaud, Jason Vallet
2018	J	`jnl`	Nominal essential intersection types. Theor. Comput. Sci. Mauricio Ayala-Rincón, Maribel Fernández, Ana Cristina Rocha Oliveira, Daniel Lima Ventura
2018	C	`conf`	Towards a Privacy-Aware Qunatified Self Data Management Framework. SACMAT Bhavani Thuraisingham, Murat Kantarcioglu, Elisa Bertino, Jonathan Z. Bakdash, Maribel Fernández
2018	J	`jnl`	Typed Nominal Rewriting. ACM Trans. Comput. Log. Elliot Fairweather, Maribel Fernández
2017	J	`jnl`	A graph-based framework for the analysis of access control policies. Theor. Comput. Sci. Sandra Alves, Maribel Fernández
2017	—	`conf`	Attributed Hierarchical Port Graphs and Applications. WPTE@FSCD Nneka Chinelo Ene, Maribel Fernández, Bruno Pinaud
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	—	`conf`	Labelled Port Graph - A Formal Structure for Models and Computations. LSFA Maribel Fernández, Hélène Kirchner, Bruno Pinaud
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
2017	—	`conf`	PORGY : a Visual Analytics Platform for System Modelling and Analysis Based on Graph Rewriting. EGC Bruno Pinaud, Oana Andrei, Maribel Fernández, Hélène Kirchner, Guy Melançon, Jason Vallet
2017	—	`ed.`	Proceedings Fourth International Workshop on Linearity, LINEARITY 2016, Porto, Portugal, 25 June 2016. LINEARITY Iliano Cervesato, Maribel Fernández
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	—	`conf`	A Framework for Secure Data Collection and Management for Internet of Things. ICSS Maribel Fernández, Murat Kantarcioglu, Bhavani Thuraisingham
2016	—	`conf`	Labelled Graph Rewriting Meets Social Networks. WRLA Maribel Fernández, Hélène Kirchner, Bruno Pinaud, Jason Vallet
2016	B	`conf`	Nominal Narrowing. FSCD Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho
2015	—	`ed.`	26th International Conference on Rewriting Techniques and Applications, RTA 2015, Warsaw, Poland, June 29 - July 1, 2015 RTA Maribel Fernández
2015	C	`conf`	A Typed Language for Events. LOPSTR Sandra Alves, Sabine Broda, Maribel Fernández
2015	—	`conf`	Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory. LSFA Ernesto Copello, Alvaro Tasistro, Nora Szasz, Ana Bove, Maribel Fernández
2015	—	`conf`	Checking Overlaps of Nominal Rewriting Rules. LSFA Mauricio Ayala-Rincón, Maribel Fernández, Murdoch James Gabbay, Ana Cristina Rocha Oliveira
2015	—	`conf`	Completeness in PVS of a Nominal Unification Algorithm. LSFA Mauricio Ayala-Rincón, Maribel Fernández, Ana Cristina Rocha Oliveira
2015	—	`conf`	Dependent Types for Nominal Terms with Atom Substitutions. TLCA Elliot Fairweather, Maribel Fernández, Nora Szasz, Alvaro Tasistro
2015	C	`conf`	Enhancing the specification and verification techniques of multiparty sessions in SOC. PPDP Abeer S. Al-Humaimeedy, Maribel Fernández
2015	J	`jnl`	From nominal to higher-order rewriting and back again. Log. Methods Comput. Sci. Jesús Domínguez, Maribel Fernández
2015	J	`jnl`	Towards Privacy-Preserving Web Metering Via User-Centric Hardware. EAI Endorsed Trans. Security Safety Fahad Alarifi, Maribel Fernández
2014	—	`conf`	A Framework for the Analysis of Access Control Policies with Emergency Management. LSFA Sandra Alves, Maribel Fernández
2014	J	`jnl`	A metamodel of access control for distributed environments: Applications and properties. Inf. Comput. Clara Bertolissi, Maribel Fernández
2014	C	`conf`	Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics. LOPSTR Sandra Alves, Anatoli Degtyarev, Maribel Fernández
2014	—	`conf`	Enabling Synchronous and Asynchronous Communications in CSP for SOC. LSFA Abeer S. Al-Humaimeedy, Maribel Fernández
2014	—	`conf`	Hybrid Enforcement of Category-Based Access Control. STM Asad Ali, Maribel Fernández
2014	J	`jnl`	Labelled calculi of resources. J. Log. Comput. Maribel Fernández, Nikolaos Siafakas
2014	J	`jnl`	Linearity: A Roadmap. J. Log. Comput. Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
2014	—	`ed.`	Proceedings of the 8th Workshop on Logical and Semantic Frameworks, LSFA 2013, São Paulo, Brazil, September 2-3, 2013 LSFA Maribel Fernández, Marcelo Finger
2014	—	`book`	Programming Languages and Operational Semantics - A Concise Overview Maribel Fernández
2014	—	`conf`	Relating Nominal and Higher-Order Rewriting. MFCS (1) Jesús Domínguez, Maribel Fernández
2014	—	`conf`	Static Enforcement of Role-Based Access Control. WWV Asad Ali, Maribel Fernández
2014	—	`conf`	Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework. GRAPHITE Maribel Fernández, Hélène Kirchner, Bruno Pinaud
2014	—	`conf`	Towards Privacy-Preserving Web Metering via User-Centric Hardware. SecureComm (2) Fahad Alarifi, Maribel Fernández
2014	C	`conf`	Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY. CiE Maribel Fernández, Hélène Kirchner, Ian Mackie, Bruno Pinaud
2013	—	`conf`	Assembling the Proofs of Ordered Model Transformations FESCA Maribel Fernández, Jeffrey Terrell
2013	—	`conf`	Bigraphical Nets TERMGRAPH Maribel Fernández, Ian Mackie, Matthew Walker
2013	—	`conf`	Preface. LSFA Maribel Fernández, Marcelo Finger
2012	—	`conf`	Elementary Deduction Problem for Locally Stable Theories with Normal Forms LSFA Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes Sobrinho
2012	—	`conf`	General dynamic recovery for compensating CSP. DCM Abeer S. Al-Humaimeedy, Maribel Fernández
2012	—	`conf`	Higher-order port-graph rewriting LINEARITY Maribel Fernández, Sébastien Maulat
2012	—	`conf`	Nominal Completion for Rewrite Systems with Binders. ICALP (2) Maribel Fernández, Albert Rubio
2012	J	`jnl`	Preface: Theory and Applications of Abstraction, Substitution and Naming. J. Autom. Reason. Maribel Fernández, Christian Urban
2011	C	`conf`	A Strategy Language for Graph Rewriting. LOPSTR Maribel Fernández, Hélène Kirchner, Olivier Namet
2011	—	`conf`	A new graphical calculus of proofs TERMGRAPH Sandra Alves, Maribel Fernández, Ian Mackie
2011	C	`conf`	Linearity and recursion in a typed Lambda-calculus. PPDP Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
2011	—	`conf`	PORGY: Strategy-Driven Interactive Transformation of Graphs TERMGRAPH Oana Andrei, Maribel Fernández, Hélène Kirchner, Guy Melançon, Olivier Namet, Bruno Pinaud
2011	B	`conf`	Principal Types for Nominal Theories. FCT Elliot Fairweather, Maribel Fernández, Murdoch James Gabbay
2010	—	`conf`	Category-Based Authorisation Models: Operational Semantics and Expressive Power. ESSoS Clara Bertolissi, Maribel Fernández
2010	—	`conf`	Closed nominal rewriting and efficiently computable nominal algebra equality LFMTP Maribel Fernández, Murdoch James Gabbay
2010	J	`jnl`	Gödel's system tau revisited. Theor. Comput. Sci. Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
2010	J	`jnl`	Linear Recursion CoRR Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
2010	J	`jnl`	Linearity and iterator types for Gödel's System. High. Order Symb. Comput. Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
2010	J	`jnl`	Matching and alpha-equivalence check for nominal terms. J. Comput. Syst. Sci. Christophe Calvès, Maribel Fernández
2010	—	`ed.`	Proceedings 24th International Workshop on Unification, UNIF 2010, Edinburgh, United Kingdom, 14th July 2010. UNIF Maribel Fernández
2010	C	`ed.`	Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria PPDP Temur Kutsia, Wolfgang Schreiner, Maribel Fernández
2010	—	`conf`	Rewrite Specifications of Access Control Policies in Distributed Environments. STM Clara Bertolissi, Maribel Fernández
2010	—	`conf`	Strategic programming on graph rewriting systems IWS Maribel Fernández, Olivier Namet
2010	C	`conf`	The First-Order Nominal Link. LOPSTR Christophe Calvès, Maribel Fernández
2009	J	`jnl`	Distributed event-based access control. Int. J. Inf. Comput. Secur. Clara Bertolissi, Maribel Fernández
2009	—	`conf`	Graph Creation, Visualisation and Transformation RULE Maribel Fernández, Olivier Namet
2009	—	`conf`	Labelled Lambda-calculi with Explicit Copy and Erase LINEARITY Maribel Fernández, Nikolaos Siafakas
2009	—	`book`	Models of Computation - An Introduction to Computability Theory. Maribel Fernández
2009	—	`ed.`	Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2009, Brasilia, Brazil, 28th June 2009. WRS Maribel Fernández
2009	—	`conf`	Recursive Functions with Pattern Matching in Interaction Nets. TERMGRAPH@ETAPS Maribel Fernández, Ian Mackie, Shinya Sato, Matthew Walker
2009	J	`jnl`	Rewriting Corner. J. Log. Comput. Maribel Fernández
2008	J	`jnl`	A polynomial nominal unification algorithm. Theor. Comput. Sci. Christophe Calvès, Maribel Fernández
2008	C	`conf`	A rewriting framework for the composition of access control policies. PPDP Clara Bertolissi, Maribel Fernández
2008	—	`conf`	Action Control by Term Rewriting. SecReT@LICS/CSF Steve Barker, Clara Bertolissi, Maribel Fernández
2008	C	`conf`	An algebraic-functional framework for distributed access control. CRiSIS Clara Bertolissi, Maribel Fernández
2008	J	`jnl`	Lambda Calculus, Type Theory, and Natural Language II. J. Log. Comput. Chris Fox, Maribel Fernández, Shalom Lappin
2008	—	`conf`	New Developments in Environment Machines. WRS@RTA Maribel Fernández, Nikolaos Siafakas
2008	C	`conf`	Nominal Matching and Alpha-Equivalence. WoLLIC Christophe Calvès, Maribel Fernández
2008	J	`jnl`	Rewriting calculi, higher-order reductions and patterns: introduction. Math. Struct. Comput. Sci. Horatiu Cirstea, Maribel Fernández
2008	—	`conf`	Time and Location Based Services with Access Control. NTMS Clara Bertolissi, Maribel Fernández
2007	B	`conf`	Dynamic Event-Based Access Control as Term Rewriting. DBSec Clara Bertolissi, Maribel Fernández, Steve Barker
2007	B	`conf`	Iterator Types. FoSSaCS Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
2007	—	`conf`	Linear Recursive Functions. Rewriting, Computation and Proof Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
2007	J	`jnl`	More developments in computational models: introduction. Math. Struct. Comput. Sci. Maribel Fernández, Ian Mackie
2007	J	`jnl`	Nominal rewriting. Inf. Comput. Maribel Fernández, Murdoch Gabbay
2007	—	`ed.`	Proceedings of the 7th International Workshop on Rule Based Programming, RULE@FLoC 2006, Seattle, WA, USA, August 11, 2006 RULE@FLoC Maribel Fernández, Ralf Lämmel
2007	—	`ed.`	Proceedings of the First International Workshop on Security and Rewriting Techniques, SecReT@ICALP 2006, Venice, Italy, July 15, 2006 SecReT@ICALP Maribel Fernández, Claude Kirchner
2006	C	`conf`	A historic functional and object-oriented calculus. PPDP Maribel Fernández, Fabien Fleutot
2006	—	`conf`	Curry-Style Types for Nominal Terms. TYPES Maribel Fernández, Murdoch Gabbay
2006	J	`jnl`	Developments in computational models: introduction. Math. Struct. Comput. Sci. Maribel Fernández, Ian Mackie
2006	—	`conf`	From Functional Programs to Interaction Nets via the Rewriting Calculus. WRS@FLoC Horatiu Cirstea, Germain Faure, Maribel Fernández, Ian Mackie, François-Régis Sinot
2006	—	`conf`	Implementing Nominal Unification. TERMGRAPH@ETAPS Christophe Calvès, Maribel Fernández
2006	—	`conf`	Preface. SecReT@ICALP Maribel Fernández, Claude Kirchner
2006	—	`conf`	Preface. RULE@FLoC Maribel Fernández, Ralf Lämmel
2006	—	`ed.`	Proceedings of the First International Workshop on Developments in Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005 DCM@ICALP Maribel Fernández, Ian Mackie
2006	B	`conf`	Term Rewriting for Access Control. DBSec Steve Barker, Maribel Fernández
2006	—	`conf`	The Power of Closed Reduction Strategies. WRS@FLoC Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
2006	B	`conf`	The Power of Linear Functions. CSL Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
2005	J	`jnl`	Closed reduction: explicit substitutions without alpha-conversion. Math. Struct. Comput. Sci. Maribel Fernández, Ian Mackie, François-Régis Sinot
2005	—	`conf`	Interaction Nets vs. the EXPRESS Maribel Fernández, Ian Mackie, François-Régis Sinot
2005	J	`jnl`	Lambda-Calculus with Director Strings. Appl. Algebra Eng. Commun. Comput. Maribel Fernández, Ian Mackie, François-Régis Sinot
2005	C	`conf`	Nominal rewriting with name generation: abstraction vs. locality. PPDP Maribel Fernández, Murdoch Gabbay
2005	—	`conf`	Preface. DCM@ICALP Maribel Fernández, Ian Mackie
2005	—	`ed.`	Proceedings of the 2nd International Workshop on Term Graph Rewriting, TERMGRAPH 2004, Rome, Italy, October 2, 2004 TERMGRAPH Maribel Fernández
2004	C	`conf`	Nominal rewriting systems. PPDP Maribel Fernández, Murdoch Gabbay, Ian Mackie
2004	—	`conf`	Preface. TERMGRAPH Maribel Fernández
2004	—	`book`	Programming Languages and Operational Semantics. Maribel Fernández
2004	B	`conf`	Workshop TERMGRAPH 2004. ICGT Maribel Fernández
2003	—	`conf`	Efficient Reductions with Director Strings. RTA François-Régis Sinot, Maribel Fernández, Ian Mackie
2003	J	`jnl`	Interaction Nets with McCarthy's amb: Properties and Applications. Nord. J. Comput. Maribel Fernández, Lionel Khalil
2003	J	`jnl`	Normalization, approximation, and semantics for combinator systems. Theor. Comput. Sci. Steffen van Bakel, Maribel Fernández
2003	J	`jnl`	Operational equivalence for interaction nets. Theor. Comput. Sci. Maribel Fernández, Ian Mackie
2003	J	`jnl`	Reduction Strategies for Program Extraction. CLEI Electron. J. Maribel Fernández, Ian Mackie, Paula Severi, Nora Szasz
2002	—	`conf`	A Higher-Order Calculus for Graph Transformation. TERMGRAPH Maribel Fernández, Ian Mackie, Jorge Sousa Pinto
2002	C	`conf`	An Operational Approach to Program Extraction in the Calculus of Constructions. LOPSTR Maribel Fernández, Paula Severi
2002	B	`conf`	Call-by-Value lambda-Graph Rewriting Without Rewriting. ICGT Maribel Fernández, Ian Mackie
2002	—	`conf`	Interaction Nets with McCarthy's amb. EXPRESS Maribel Fernández, Lionel Khalil
2001	—	`conf`	Combining interaction nets with externally defined programs. APPIA-GULP-PRODE Maribel Fernández, Ian Mackie, Jorge Sousa Pinto
2000	B	`conf`	A Theory of Operational Equivalence for Interaction Nets. LATIN Maribel Fernández, Ian Mackie
1999	C	`conf`	A Calculus for Interaction Nets. PPDP Maribel Fernández, Ian Mackie
1999	B	`conf`	Closed Reductions in the lambda-Calculus. CSL Maribel Fernández, Ian Mackie
1999	—	`conf`	Polymorphic Intersection Type Assignment for Rewrite Systems with Abstractions and TYPES Steffen van Bakel, Franco Barbanera, Maribel Fernández
1998	A*	`conf`	Coinductive Techniques for Operational Equivalence of Interaction Nets. LICS Maribel Fernández, Ian Mackie
1998	J	`jnl`	Interaction Nets and Term-Rewriting Systems. Theor. Comput. Sci. Maribel Fernández, Ian Mackie
1998	J	`jnl`	Negation Elimination in Empty or Permutative Theories. J. Symb. Comput. Maribel Fernández
1998	J	`jnl`	Type assignment and termination of interaction nets. Math. Struct. Comput. Sci. Maribel Fernández
1997	J	`jnl`	Modularity of Strong Normalization in the Algebraic-lambda-Cube. J. Funct. Program. Franco Barbanera, Maribel Fernández, Herman Geuvers
1997	J	`jnl`	Normalization Results for Typeable Rewrite Systems. Inf. Comput. Steffen van Bakel, Maribel Fernández
1997	—	`conf`	On Object Calculus with Algebraic Rewriting. PLILP Adriana B. Compagnoni, Maribel Fernández
1996	J	`jnl`	AC Complement Problems: Satisfiability and Negation Elimination. J. Symb. Comput. Maribel Fernández
1996	—	`conf`	From Term Rewriting to Generalised Interaction Nets. PLILP Maribel Fernández, Ian Mackie
1996	—	`conf`	Interaction Nets and Term Rewriting Systems (Extended Abstract). CAAP Maribel Fernández, Ian Mackie
1996	J	`jnl`	Intersection Type Assignment Systems with Higher-Order Algebraic Rewriting. Theor. Comput. Sci. Franco Barbanera, Maribel Fernández
1996	A	`conf`	Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization. ESOP Steffen van Bakel, Franco Barbanera, Maribel Fernández
1995	—	`conf`	(Head-) Normalization of Typeable Rewrite Systems. RTA Steffen van Bakel, Maribel Fernández
1995	—	`conf`	Approximation and Normalization Results for Typeable Term Rewriting Systems. HOA Steffen van Bakel, Maribel Fernández
1995	—	`conf`	Normalization Properties of Typeable Term Rewriting Systems (Abstract). UNIF Steffen van Bakel, Maribel Fernández
1994	—	`conf`	Modular Termination of Term Rewriting Systems Revisited. COMPASS/ADT Maribel Fernández, Jean-Pierre Jouannaud
1994	A*	`conf`	Modularity of Strong Normalization and Confluence in the algebraic-lambda-Cube LICS Franco Barbanera, Maribel Fernández, Herman Geuvers
1993	—	`conf`	AC Complement Problems: Satisfiability and Negation Elimination. RTA Maribel Fernández
1993	—	`conf`	Combining First and Higher Order Rewrite Systems with Type Assignment Systems. TLCA Franco Barbanera, Maribel Fernández
1993	A*	`conf`	Modularity of Termination and Confluence in Combinations of Rewrite Systems with lambda_omega. ICALP Franco Barbanera, Maribel Fernández
1993	—	`conf`	Strong Normalization of Typeable Rewrite Systems. HOA Steffen van Bakel, Maribel Fernández
1992	J	`jnl`	Narrowing Based Procedures for Equational Disunification. Appl. Algebra Eng. Commun. Comput. Maribel Fernández
1992	B	`conf`	Negation Elimination in Equational Formulae. MFCS Hubert Comon, Maribel Fernández