Some recent publications (More publications here)

Books:

• M. Fernández. Programming Languages and Operational Semantics: A Concise Overview.
  Springer, UTiCS series, 2014. ISBN 978-1-4471-6368-8
  From the reviews:
  "This text can serve as a complement to traditional undergraduate programming language course resources or as the main textbook for introductory courses in programming language operational semantics. The book is well organized, flows well, and is pleasant to read. ... Summing Up: Recommended. Upper-division undergraduates and faculty." (D. Papamichail, Choice, Vol. 52 (5), January, 2015)
  "There are many things in this book that would lead to its recommendation as a course textbook: it provides a good breadth of material, and a stepping stone from programming experience to more theoretical aspects of programming languages. ... it would be an excellent addition to a reference list that could be used to inform a solid understanding of programming language theory. (Sara Kalvala, Computing Reviews, July, 2014)
• M. Fernández. Programming Languages and Operational Semantics.
  Texts in Computing, Volume 1. King's College Publications, 2004. ISBN 0-9543006-3-7
• M. Fernández. Models of computation - An introduction to computability theory. Springer, UTiCS series, 2009. ISBN-10: 1848824335, ISBN-13: 978-1848824331
  From the reviews:
  "The focus of this relatively short book is on newer object-oriented and interaction-oriented models, including recent work in quantum computing and systems biology. ... the book is designed for advanced undergraduate and graduate students. ... Each chapter starts by clearly indicating what will be covered and ends with a series of exercises. ... the book as a whole is extremely well written. Definitions are clearly stated ... . Each model of computation is precisely defined, and the examples are clear and to the point." (K. Harrow, ACM Computing Reviews, September 2009)
  "It is a pleasure to see a book which takes a different approach to computer theory. ... This short book can be used for a one-term course ... . A valuable primer for students of programming languages. Summing Up: Highly recommended. Upper-division undergraduates and graduate students." (P. Cull, Choice, Vol. 47 (3), November 2009)
  "In the preface, the author writes to whom the book is addressed: to advanced undergraduate students, as a complement to programming languages or computability courses, and to postgraduate students who are interested in the theory of computation. If used as indicated, this is a magnificent book. Most of the chapters have exactly the amount of material that should be taught in an undergraduate course." (J. Guimaraes, The Book Review Column, 2012)

Book chapters:

• Nneka Ene, Maribel Fernández and Bruno Pinaud. A Strategic Graph Rewriting Model of Rational Negligence in Financial Markets. In G. Jaiani and D. Natroshvili (eds.), Applications of Mathematics and Informatics in Natural Sciences and Engineering (AMINSE 2019), Springer Proceedings in Mathematics and Statistics 334, 2020. https://doi.org/10.1007/978-3-030-56356-1_8 pdf
• Oana Andrei, Maribel Fernández, Hélène Kirchner and Bruno Pinaud. Strategy-Driven Exploration for Rule-Based Models of Biochemical Systems with PORGY. In Modeling Biomolecular Site Dynamics: Methods and Protocols. William S. Hlavacek (Ed.) Springer - Methods in Molecular Biology series, 2019. Springer link

Journals:

• Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Temur Kutsia, Daniele Nantes-Sobrinho. Certified First-Order AC-Unification and Applications. Journal of Automated Reasoning, 2024.
• C. Bertolissi, M. Fernández, B. Thuraisingham. Category-Based Administrative Access Control Policies. ACM Transactions on Privacy and Security, ACM Press, 2024.
• M. Fernández, J. Jaimunk, B. Thuraisingham. A Privacy-Preserving Architecture and Data-Sharing Model for Cloud-IoT Applications. IEEE Transactions on Dependable and Secure Computing, 2022 early publication, doi: 10.1109/TDSC.2022.3204720.
• Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho. Formalising nominal C-unification generalised with protected variables. Mathematical Structures in Computer Science. First published online May 2021. Cambridge University Press.
• Jesús Domínguez, Maribel Fernández, Nominal syntax with atom substitutions, Journal of Computer and System Sciences, Volume 119, 2021, Pages 34-59, ISSN 0022-0000, https://doi.org/10.1016/j.jcss.2021.01.002.
• Mauricio Ayala-Rincón, Maribel Fernández, Daniele Nantes-Sobrinho. On nominal syntax and permutation fixed points. Logical Methods in Computer Science, Volume 16, Issue 1 (2020). pdf
• Mauricio Ayala-Rincón, Washington de Carvalho-Segundo, Maribel Fernández, Daniele Nantes-Sobrinho, Ana Cristina Rocha Oliveira. A Formalisation of Nominal Alpha-Equivalence with A, C and AC Function Symbols. Theor. Comput. Sci. (2019). DOI 10.1016/j.tcs.2019.02.020 pdf
• E. Fairweather and M. Fernández. Typed Nominal Rewriting. ACM Transactions on Computational Logic (TOCL), 2018. pdf
• Mauricio Ayala-Rincón, Maribel Fernández, Ana Cristina Rocha Oliveira, Daniel Ventura. Nominal Essential Intersection Types. Theor. Comput. Sci. 672: 64-100 (2018).
• M. Fernández, H. Kirchner, B. Pinaud. Strategic Port Graph Rewriting: An Interactive Modelling Framework. Mathematical Structures in Computer Science, 2018.
• M. Fernández, H. Kirchner, B. Pinaud, J. Vallet. Labelled-graph strategic rewriting for social networks. Special Issue, Journal of Logic and Algebraic Methods in Programming (JLAMP), 2018.
• I. Cervesato and M. Fernández, editors. Linearity. Special issue of the International Journal on Automated Reasoning - 2019.
• T. Altenkirch and M. Fernández, editors. Selected papers from RTA and TLCA 2015. Logical Methods in Computer Science, 2019.
• S. Alves and M. Fernández. A Graph-Based Framework for the Analysis of Access Control Policies. Theoretical Computer Science, 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: 64-100 (2017).
• J Domínguez and M. Fernández. From Nominal to Higher-Order Rewriting and Back Again. International Journal Logical Methods in Computer Science, 2015.
• F. Alarifi and M. Fernández. Towards Privacy-Preserving Web Metering Via User-Centric Hardware. ICST Transactions on Security and Safety 2(4):e4, 2015.
• C. Bertolissi and M. Fernández. A Meta-model of Access Control for Distributed Environments: Applications and Properties. Information and Computation, volume 238, pp. 187 -- 207. Special Issue on Security and Rewriting Techniques, 2014. pdf©Elsevier 2014.
• M. Fernández and N. Siafakas. Labelled calculi of resources. Special issue: Linearity in Computation. Volume 24 Issue 3, Journal of Logic and Computation, OUP, 2014. doi: 10.1093/logcom/exs021 pdf at JLC
• S. Alves, M. Fernández, M. Florido, I. Mackie. Linearity: A Roadmap. Special issue: Linearity in Computation. Volume 24 Issue 3, Journal of Logic and Computation, OUP, 2014.

Conferences and Workshops with Refereed Proceedings:

• A. Bamberger and M. Fernández. Automated Generation and Update of Structured ABAC Policies. Proceedings of SAT-CPS at CODASPY 2024: 31-40, ACM Press.
• C. Bertolissi, M. Fernández, B. Thuraisingham. An Axiomatic Category-Based Access Con- trol Model for Smart Homes. Proceedings of LOPSTR 2024, Milan, September 2024. Lecture Notes in Computer Science, Springer.
• M. Fernández, I. Mackie. Hierarchical Higher-Order Port Graphs: A Rewriting-Based Modelling Language. Proceedings of the ACM Symposium on Principles and Practice of Declarative Programming, PPDP 2024, Milan, September 2024. ACM Press.
• M. Fernández, C.M. Poskitt (eds.). Proceedings of the 16th International Conference on Graph Transformation (ICGT 2023), LNCS vol. 13961, Springer.
• A. Bamberger and M. Fernández. From Static to Dynamic Access Control Policies via Attribute-Based Category Mining. In Proceedings of Logic-Based Program Synthesis and Transformation, LOPSTR 2023. Cascais, October 2023. Lecture Notes in Computer Science, Springer.
• M. Ayala-Rincón, M. Fernández, T. Kutsia, G. Ferreira Silva, D. Nantes-Sobrinho. Nominal AC-Matching. Proceedings of the 16th Conference on Intelligent Computer Mathematics, CICM 2023. LNCS.
• M. Fernández. Nominal Techniques for Software Specification and Verification. Proceedings of 29th CADE and 8th FSCD. LNCS and LIPICS (Abstract of Joint Invited Talk), 2023.
• M. Fernández, Ninghui Li, Mohammad Shehab (eds.). CODASPY '23: Proceedings of the Thirtheenth ACM Conference on Data and Application Security and Privacy, Charlotte NC, USA, April 24 - 26, 2023. ACM Press.
• J. Cheney and M. Fernández. Nominal Matching Logic. PPDP '22: Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming, September 2022. ACM Press https://doi.org/10.1145/3551357.3551375
• M. Fernández. The Category-Based Approach to Access Control, Obligations and Privacy. Proceedings of SACMAT 2023, 28th ACM Symposium on Access Control Models and Technologies. June 8--10, 2022. Abstract of Invited Talk.
• M. Fernández, Anupam Joshi, Rakesh Verma (eds.). CODASPY '22: Proceedings of the Twelfth ACM Conference on Data and Application Security and Privacy, Baltimore MD, USA, April 25 - 27, 2022. ACM Press. ISBN: 978-1-4503-9220-4
• C. Bertolissi, M. Fernández. Modular Composition of Access Control Policies: A Framework to Build Multi-Site Multi-Level Combinations. Proceedings of SACMAT 2022, 27th ACM Symposium on Access Control Models and Technologies. June 8--10, 2022. New York, NY, USA. ACM Press.
• M. Ayala-Rincón, M. Fernández, G. Ferreira Silva, D. Nantes-Sobrinho. A Certified Algorithm for AC-Unification. FSCD 2022, Proceedings of the International Conference on Formal Structures for Computation and Deduction, FSCD 2022, Haifa, August 2022 (part of FLoC). LiPICS, 2022.
• C. Bertolissi, M. Fernández, B. Thuraisingham. Graph-Based Specification of Admin-CBAC Policies. Proceedings of CODASPY 2021, 11th ACM Conference on Data and Application Security and Privacy, April 26-28, 2021. Virtual Event, USA. ACM Press.
• M. Ayala-Rincón, M. Fernández, D. Nantes-Sobrinho, D. Vale. Nominal Equational Problems. Foundations of Software Science and Computation Structures. 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings. Lecture Notes in Computer Science 12650, Springer. pdf
• M. Fernández (ed.). Proceedings of Logic-Based Program Synthesis and Transformation, 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7?9, 2020, Lecture Notes in Computer Science volume 12561, Springer, 2021.
• Maribel Fernández, Ian Mackie. A Reversible Operational Semantics for Imperative Programming Languages. Proceedings of the International Conference on Formal Engineering Methods, ICFEM 2020, Singapore March 2021. LNCS, Springer.
• Maribel Fernández, Janos Varga. Finding Candidate Keys and 3NF via Strategic Port Graph Rewriting. Proceedings of the ACM Conference on Principles and Practice of Declarative Programming, PPDP 2020. Bologna, Italy, September 2020. ACM Press.
• M. Fernández, A. Franch Tapia, J. Jaimunk, M. Martinez Chamorro, B. Thuraisingham. A Data-Access Model for Privacy-Preserving Cloud-IoT Architectures. Proceedings of SACMAT 2020, ACM Symposium on Access Control Models and Technologies, 10-12 June 2020. Barcelona. ACM Press.
• C. Bertolissi, M. Fernández, B. Thuraisingham. Admin-CBAC: An Administration Model for Category-Based Access Control. Proceedings of CODASPY 2020, 10th ACM Conference on Data and Application Security and Privacy March 16-18, 2020. New Orleans, USA. ACM Press.
• M. Fernández, Bruno Pinaud and Janos Varga. A Port Graph Rewriting Approach to Relational Database Modelling. Proceedings of LOPSTR 2019, Lecture Notes in Computer Science, Springer, 2020.
• M. Ayala-Rincón, M. Fernández, G. Ferreira Silva, Daniele Nantes-Sobrinho. A Certified Functional Nominal C-Unification Algorithm. Proceedings of LOPSTR 2019, Lecture Notes in Computer Science, Springer, 2020.
• M. Fernández and A. Muscholl (editors). Proceedings of the EACSL Annual Conference on Computer Science Logic (CSL 2020), LIPICS, 2020.
• J. Dominguez, M. Fernández. Nominal Syntax with Atom Substitution: Matching, Unification, Rewriting. Proceedings of FCT 2019, 22nd International Symposium on Fundamentals of Computation Theory, Copenhagen, August 2019. Lecture Notes in Computer Science, Springer.
• M. Fernández, J. Jaimunk, B. Thuraisingham. Privacy-Preserving Architecture for Cloud-IoT Platforms. Proceedings of IEEE ICWS 2019, IEEE International Conference on Web Services, July 2019, Milan. IEEE Press.
• M. Fernández, I. Mackie, B. Thuraisingham. Specification and Analysis of ABAC Policies via the Category-Based Metamodel. Proceedings of CODASPY 2019, 9th ACM Conference on Data and Application Security and Privacy March 25 - 27, 2019. Dallas, TX, USA. ACM Press.
• M. Fernández and I. Mackie (eds.). Proceedings of the 10th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2018, Oxford, 7 July 201 8 (part of FLoC). EPTCS 288, 2019.
• T. Erharhd, M. Fernández, V. de Paiva, L. Tortora de Falco (eds). Proceedings of the Joint Linearity and Trends in Linear Logic and Applications Workshops, Linearity-TLLA 2018, Oxford 7-8 July 2018, FLoC, EPTCS 292, 2019.
• M. Ayala-Rincón, M. Fernández, D. Nantes-Sobrinho. Fixed-Point Constraints for Nominal Equational Unification. In Proceedings of FSCD 2018 - International Conference on Formal Structures for Computation and Deduction. Oxford, 9-12 July 2018. LIPIcs, 108, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2018, ISBN 978-3-95977-077-4.
• M. Fernández, J. Jaimunk, B. Thuraisingham. Graph-Based Data Collection Policies for the Internet of Things. Proceedings of ICSS 2018 - Annual Industrial Control System Security (ICSS) Workshop, part of the 2018 Annual Computer Security Applications Conference. ACM Press.
• M. Fernández, B. Thuraisingham. A Category-based Model for ABAC. ABAC'18 Invited Talk. Conference on Data and Application Security and Privacy (CODASPY) 2018, Workshop on Attribute-Based Access Control. Tempe, Arizona, March 2018. ACM Press.
• M. Ayala-Rincón, W. de Carvalho-Segundo, M. Fernández, D. Nantes-Sobrinho. Nominal C Unification. Proceedings of LOPSTR 2017, LNCS, Springer 2018.
• N. Ene, M. Fernández, B. Pinaud. Attributed Hierarchical Port Graphs and Applications. Proceedings of WPTE 2017, EPTCS, 2018.
• M. Ayala-Rincón, W. de Carvalho-Segundo, M. Fernández, D. Nantes-Sobrinho. On solving nominal fixpoint equations. Proceedings of FroCoS 2017, LNAI, Springer 2017.
• M. Fernández, M. Kantarcioglu, B. Thuraisingham. A framework for secure data collection and management for Internet of Things. In Proceedings of the Second Industrial Control System Security (ICSS) Workshop (part of ACSAC), Los Angeles, December 2016. ACM Press.
• M. Ayala-Rincón, M. Fernández, D. Nantes-Sobrinho. Nominal Narrowing. In Proceedings of International Conference on Formal Structures for Computation and Deduction. Porto, 23-26 June 2016. LIPIcs, 2016.
• M. Fernández, H. Kirchner, B. Pinaud, J. Vallet. Labelled Graph Rewriting Meets Social Networks. In Proceedings of the International Workshop on Rewriting Logic and Applications (WRLA 2016). Eindhoven, April 2016. Lecture Notes in Computer Science. Springer.
• E. Fairweather, M. Fernández, N. Szasz, A. Tasistro. Dependent types for nominal terms with atom substitutions. In Proceedings of TLCA 2015, 13th International Conference on Typed Lambda Calculi and Applications, Warsaw, July 1-3 2015. Volume 38, LIPIcs, 2015.
• M. Fernández, editor. Proceedings of the 26th International Conference on Rewriting Techniques and Applications, RTA 2015. June 29 to July 1, 2015, Warsaw, Poland. LIPIcs 36, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2015, ISBN 978-3-939897-85-9
• S. Alves, S. Broda and M. Fernández. A typed language for events. In Proceedings of LOPSTR 2015, Logic-Based Program Synthesis and Transformation, Siena, Italy, July 2015. Lecture Notes in Computer Science, Springer. pdf© Springer 2015.
• Abeer S. Al-Humaimeedy and Maribel Fernández. Enhancing the specification and verification techniques of multiparty sessions in SOC. Proceedings of PPDP 2015, 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015. ISBN 978-1-4503-3516-4, pages 19-30. ACM Press 2015.
• M. Ayala-Rincón, M. Fernández, M. J. Gabbay, A. C. Rocha-Oliveira. Checking Overlaps of Nominal Rewriting Rules. In Proceedings of Logical and Semantic Frameworks, with Applications (LSFA 2015), ENTCS 2016.
• M. Ayala-Rincón, M. Fernández, A. C. Rocha-Oliveira. Completeness in PVS of a Nominal Unification Algorithm. In Proceedings of Logical and Semantic Frameworks, with Applications (LSFA 2015), ENTCS 2016.
• S. Alves, A. Degtyarev and M. Fernández. Access Control and Obligations in the Category-Based Metamodel: A rewriting semantics. In Proceedings of LOPSTR 2014, Logic-Based Program Synthesis and Transformation, Canterbury, September 2014. Lecture Notes in Computer Science, Springer. pdf© Springer 2014.
• Abeer Al-Humaimeedy and Maribel Fernández. Enabling Synchronous and Asynchronous Communications in CSP. Proceedings of the 9th Int. Workshop on Logic and Semantic Frameworks, with Applications. Brasilia, September 2014. ENTCS.
• A. Ali, M. Fernández. Hybrid enforcement of Category-Based Access Control. In Proceedings of the 10th International Workshop on Security and Trust Management (in conjunction with ESORICS 2014), Wroclaw, Poland, September 10-11, 2014. Lecture Notes in Computer Science, Springer, 2014.
• M. Fernández, H. Kirchner, I. Mackie, B. Pinaud. Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY. In Proceedings of Computability in Europe (CiE 2014, Budapest, June 2014). Invited paper (keynote presentation by the first author). Lecture Notes in Computer Science, Springer, 2014.
• J. Dominguez, M. Fernández. Relating Nominal and Higher-Order Rewriting. Proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science (MFCS 2014). Lecture Notes in Computer Science, Springer, 2014.
• A. Ali, M. Fernández. Static Enforcement of Role-Based Access Control. Proceedings of 10th International Workshop on Automated Specification and Verification of Web Systems (WWV 2014), Vienna, July 2014. EPTCS, 2014.

More publications here.

---

Maribel Fernandez
Department of Informatics, King's College London