Some recent publications
(More publications here)
Books:

M. Fernández. Programming Languages and Operational Semantics: A Concise Overview.
Springer, UTiCS series, 2014. ISBN 9781447163688
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. Upperdivision 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 0954300637

M. Fernández. Models of computation  An introduction to computability theory. Springer, UTiCS series, 2009. ISBN10: 1848824335,
ISBN13: 9781848824331
From the reviews:
"The focus of this relatively short book is on newer objectoriented and interactionoriented 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 oneterm course ... . A valuable primer for students of programming languages. Summing Up: Highly recommended. Upperdivision 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)
Journals:
 E. Fairweather and M. Fernández. Typed Nominal Rewriting. ACM Transactions on Computational Logic (TOCL), 2018. pdf
 Mauricio AyalaRincón, Maribel Fernández, Ana Cristina Rocha Oliveira, Daniel Ventura. Nominal Essential Intersection Types. Theor. Comput. Sci. 672: 64100 (2018).
 M. Fernández, H. Kirchner, B. Pinaud, J. Vallet.
Labelledgraph 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  To appear.
 T. Altenkirch and M. Fernández, editors. Selected papers from RTA and TLCA 2015. Logical Methods in Computer Science, 2018  To appear.
 S. Alves and M. Fernández. A GraphBased Framework for the Analysis of Access Control Policies. Theoretical Computer Science, 2017.

Mauricio AyalaRincón, Maribel Fernández, Daniele NantesSobrinho. Intruder deduction problem for locally stable theories with normal forms and inverses. Theor. Comput. Sci. 672: 64100 (2017).

J Domínguez and M. Fernández. From Nominal to HigherOrder Rewriting and Back Again. International Journal Logical Methods in Computer Science, 2015.

F. Alarifi and M. Fernández. Towards PrivacyPreserving Web Metering Via UserCentric Hardware. ICST Transactions on Security and Safety 2(4):e4, 2015.
 C. Bertolissi and M. Fernández. A Metamodel 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.
 M. Fernández and C. Urban, editors. Theory and Applications of Abstraction, Substitution
and Naming. Special issue of the International Journal on Automated Reasoning  2011. DOI 10.1007/s1081701192172
Conferences and Workshops with Refereed Proceedings:
 M. Fernández, B. Thuraisingham. A Categorybased Model for ABAC. ABAC'18 Invited Talk. Conference on Data and Application Security and Privacy (CODASPY) 2018, Workshop on AttributeBased Access Control. Tempe, Arizona, March 2018. ACM Press.
 M. AyalaRincón, W. de CarvalhoSegundo, M. Fernández, D. NantesSobrinho. Nominal AC 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. AyalaRincón, W. de CarvalhoSegundo, M. Fernández, D. NantesSobrinho. 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. AyalaRincón, M. Fernández, D. NantesSobrinho. Nominal Narrowing. In Proceedings of International Conference on Formal Structures for Computation and Deduction. Porto, 2326 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 13 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  LeibnizZentrum fuer Informatik 2015, ISBN 9783939897859

S. Alves, S. Broda and M. Fernández. A typed language for events. In Proceedings of LOPSTR 2015, LogicBased Program Synthesis and Transformation, Siena, Italy, July 2015. Lecture Notes in Computer Science, Springer. pdf© Springer 2015.

Abeer S. AlHumaimeedy 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 1416, 2015. ISBN 9781450335164, pages 1930. ACM Press 2015.
 M. AyalaRincón, M. Fernández, M. J. Gabbay, A. C. RochaOliveira. Checking Overlaps of Nominal Rewriting Rules.
In Proceedings of Logical and Semantic Frameworks, with Applications (LSFA 2015), ENTCS 2016.
 M. AyalaRincón, M. Fernández, A. C. RochaOliveira. 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 CategoryBased Metamodel: A rewriting semantics. In Proceedings of LOPSTR 2014, LogicBased Program Synthesis and Transformation, Canterbury, September 2014. Lecture Notes in Computer Science, Springer. pdf© Springer 2014.
 Abeer AlHumaimeedy 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.
 Sandra Alves and Maribel Fernández.
A Framework for the Analysis of Access Control Policies with Emergency Management. 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 CategoryBased Access Control. In Proceedings of the 10th International Workshop on Security and Trust Management (in conjunction with ESORICS 2014), Wroclaw, Poland, September 1011, 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 HigherOrder 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 RoleBased Access Control. Proceedings of 10th International Workshop on Automated Specification and Verification of Web Systems (WWV 2014), Vienna, July 2014. EPTCS, 2014.
 M. Fernández, H. Kirchner, B. Pinaud. Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework. Proceedings of 3rd ETAPS Workshop on Graph Inspection and Traversal Engineering (GRAPHITE 2014), Grenoble, April 2014. EPTCS, 2014.
 M. Fernández and Marcelo Finger, editors. Proceedings of the 8th Workshop on Logical and Semantic Frameworks, with Applications, Sao Paulo, Brazil, September 2013. Volume 305, Pages 1140,
Electronic Notes in Theoretical Computer Science, Elsevier, 2014.

M. Fernandez, J. Terrell. Assembling the Proofs of Ordered Model Transformations. Proceedings of FESCA 2013, 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures, Rome, Italy, March 2013. EPTCS, 2013.
 M. Fernandez, I. Mackie, M. Walker. Bigraphical Nets. Proceedings of TERMGRAPH 2013, 7th International Workshop on Computing with Terms and Graphs, Rome, Italy, March 2013. EPTCS, 2013.
 M. AyalaRincon, M. Fernandez, D. NantesSobrinho. Elementary Deduction Problem for Locally Stable Theories with Normal Forms. Proceedings of LSFA 2012, EPTCS, 2013, pages 4560.

M. Fernandez, A. Rubio. Nominal Completion for Rewrite Systems with Binding. Proceedings of ICALP 2012, 39th International Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science, Springer, 2012.
 M. Fernandez, S. Maulat. Higherorder portgraph rewriting. Proceedings of LINEARITY 2012, ETAPS, Talinn, 2012. EPTCS., 2013, pages 2537.
 A. AlHumaimeedy and M. Fernandez.
General Dynamic Recovery for Compensating CSP.
Proceedings of the 8th Int. Workshop on Developments in Computation Models (DCM 2012), part of CiE 2012, Cambridge, June 2012. EPTCS.

M. Fernandez, H. Kirchner, O. Namet.
A Strategy Language for Graph Rewriting
. Proceedings of LOPSTR 2011, LogicBased Program Synthesis and Transformation, Odense, 2011. Lecture Notes in Computer Science, Springer.

E. Fairweather, M. Fernandez, M.J. Gabbay. Principal Types for Nominal Theories. Proceedings of the 18th International Symposium on Fundamentals of Computation Theory (FCT 2011), Oslo, August 2011, Lecture Notes in Computer Science, Springer.

S. Alves, M. Fernandez, M. Florido, I. Mackie. Linearity and
Recursion in a Typed Lambda Calculus. Proceedings of the
13th International ACMSIGPLAN Symposium on Principles and
Practice of Declarative Programming (PPDP 2011), Odense, 2011. ACM Press.
 M. Fernandez. Nominal Graphs  Joint GTVMT and TERMGRAPH Invited Talk. Abstract in Proceedings of TERMGRAPH 2011, EPTCS.
 O. Andrei, M. Fernandez, H. Kirchner, G. Melancon, O. Namet, B. Pinaud. PORGY: StrategyDriven Interactive Transformation of Graphs. Proceedings of TERMGRAPH 2011, EPTCS.
 S. Alves, M. Fernandez, I. Mackie. A new graphical calculus of proofs. Proceedings of TERMGRAPH 2011, EPTCS.

M. Fernández and K. Steinhoefel (eds.). Proceedings of URC* 2010, UG Research in Computer Science  Theory and Applications. King's College London, March 2010. IFCOLOG, Volume 1, 2011.
 C. Calves, M. Fernandez. The firstorder nominal link
Proceedings of LOPSTR 2010, LNCS 6564, Springer, 2011.
 A. Ali and M. Fernández. A Programming Language with RoleBased Access Control. Proceedings of URC* 2010, UG Research in Computer Science  Theory and Applications, London, March 2010. IFCOLOG Volume 1, 2011.
More publications here.
Maribel Fernandez
Department of Informatics, King's College London