Some recent publications (More publications here)

Books:

• 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)

Journals:

• S. Alves, M. Fernandez, M. Florido, I. Mackie. Linearity and Iterator Types for G"odel's System T.
  International Journal on Higher-Order and Symbolic Computation, Volume 23, Issue 1 (2011), Page 1-27, Springer. DOI: 10.1007/s10990-010-9060-x
  pdf©Springer 2010.
• M. Fernandez and C. Urban, editors. Theory and Applications of Abstraction, Substitution and Naming. Special issue of the International Journal on Automated Reasoning - to appear in 2011.
• S. Alves, M. Fernandez, M. Florido, I. Mackie. Goedel's System T Revisited.
  Theoretical Computer Science, 2010. http://dx.doi.org/10.1016/j.tcs.2009.11.014
  pdf©Elsevier 2010.
• C. Bertolissi and M. Fernandez. Distributed Event-Based Access Control.
  International Journal of Information and Computer Security, Vol. 3, Nos. 3/4, 2009. Inderscience. Special Issue, selected papers from Crisis 2008.
• C. Calves and M. Fernandez. Matching and Alpha-Equivalence Check for Nominal Terms.
  Journal of Computer and System Sciences. Special issue: Logic, Language and Comptuation (Selected papers from WOLLIC 2008). Elsevier, 2010. http://dx.doi.org/10.1016/j.jcss.2009.10.003
• C. Calves and M. Fernandez. A polynomial nominal unification algorithm.
  Theoretical Computer Science, 2008. http://dx.doi.org/10.1016/j.tcs.2008.05.012
• H. Cirstea and M. Fernandez, editors. Rewriting Calculi, Higher-order reductions and Patterns. Special issue of the Journal of Mathematical Structures in Computer Science, Volume 18, 2008. Cambridge University Press.
• M. Fernandez, M.J. Gabbay. Nominal Rewriting.
  Information and Computation 205, pages 917-965, 2007.
• M. Fernandez, I. Mackie, editors. More Developments in Computational Models, 2nd special issue of the Journal of Mathematical Structures in Computer Science, Volume 17(4), 2007. Cambridge University Press.
• M. Fernandez, C. Fox, S. Lappin, editors. Lambda-Calculus, Type Theory and Natural Language II, 2nd Special Issue of the Journal of Logic and Computation, Oxford University Press, 2007.
• M. Fernandez, I. Mackie, editors. Developments in Computational Models, Special issue of the Journal of Mathematical Structures in Computer Science, 16(4), 2006. Cambridge University Press.
• M. Fernandez, C. Fox, S. Lappin, editors. Lambda-Calculus, Type Theory and Natural Language, Special Issue of the Journal of Logic and Computation, Oxford University Press, 2005.
• M. Fernandez, I. Mackie, F-R. Sinot. Closed Reduction: Explicit Substitutions without alpha-conversion.
  Mathematical Structures in Computer Science, volume 15, issue 02. Cambridge University Press, 2005. Abstract
  Review by M. Dezani-Ciancaglini, MathSciNet
• M. Fernandez, I. Mackie, F-R. Sinot. Lambda-Calculus with Director Strings.
  Applicable Algebra in Engineering, Communication and Computing, Volume 15, Number 6, Pages 393 - 437, Springer-Verlag, 2005. Abstract.
  Review by M.W. Bunder, MathSciNet

Conferences and Workshops with Refereed Proceedings:

• 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 ACM-SIGPLAN Symposium on Principles and Practice of Declarative Programming} (PPDP 2011), Odense, 2011. ACM Press.
• M. Fernandez. Nominal Graphs - Joint GT-VMT and TERMGRAPH Invited Talk. Abstract in Proceedings of TERMGRAPH 2011, EPTCS.
• O. Andrei, M. Fernandez, H. Kirchner, G. Melancon, O. Namet, B. Pinaud. PORGY: Strategy-Driven 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 first-order nominal link Proceedings of LOPSTR 2010, LNCS 6564, Springer, 2011.
• M. Fernández and O. Namet. Strategic programming on graph rewriting systems
  In Proceedings of the International Workshop on Strategies in Rewriting, Proving, and Programming, Edinburgh, UK, 9th July 2010. Electronic Proceedings in Theoretical Computer Science, Volume 44, DOI 10.4204/EPTCS.44 ISSN: 2075-2180, December 2010.
• M. Fernández, editor. Proceedings of the 24th International Workshop on Unification. Electronic Proceedings in Theoretical Computer Science, Volume 42, DOI: 10.4204/EPTCS.42 ISSN: 2075-2180, December 2010.
• M. Fernández, T. Kutsia and W. Schreiner (eds.). Principles and Practice of Declarative Programming,
  Proceedings of the 12th International ACM SIGPLAN Symposium PPDP 2010. Hagenberg, Austria, July 2010. ACM Press.
• C. Bertolissi and M. Fernández. Rewrite Specifications of Access Control Policies in Distributed Environments. Proceedings of the 6th International Workshop on Security and Trust Management (STM 2010), Athens, Greece, September 2010. Lecture Notes in Computer Science, Springer, 2010.
  pdf©Springer 2010.
• M. Fernández and M.J. Gabbay. Closed nominal rewriting and efficiently computable nominal algebra equality. In Proceedings of the 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP 2010), FLoC 2010. EPTCS 34, 2010. pdf
• A. Ali and M. Fernández. A Programming Language with Role-Based Access Control. Proceedings of URC* 2010, UG Research in Computer Science - Theory and Applications, London, March 2010. IFCOLOG Volume 1, 2011.
• C. Bertolissi and M. Fernández. Category-based authorisation models: operational semantics and expressive power. In Proceedings of the International Symposium on Engineering Secure Software and Systems, ESSOS 2010, Pisa, 2010. Lecture Notes in Computer Science, Springer, 2010.
• M. Fernández, editor. Proceedings of the 9th International Workshop on Reduction Strategies in Rewriting and Programming. Electronic Proceedings in Theoretical Computer Science, Volume 15, DOI: 10.4204/EPTCS.15, ISSN: 2075-2180, January 2010.
• M. Fernández and N. Siafakas. Labelled lambda-calculi with explicit copy and erase.
  In Proceedings of Linearity 2009, Coimbra, Portugal, September 2009. Electronic Proceedings in Theoretical Computer Science, Volume 22, DOI: 10.4204/EPTCS.22, ISSN: 2075-2180, 2010.
• M. Fernández, I. Mackie, S. Sato, M. Walker. Recursive functions with pattern-matching in interaction nets.
  In Proceedings of TERMGRAPH 2009 - Electronic Notes in Theoretical Computer Science, Elsevier, 2009.
• M. Fernández and O. Namet. Graph creation, visualisation and transformation.
  In Proceedings of the 10th International Workshop on Rule Based Programming, RULE 2009, part of the Federated Conference on Rewriting, Deduction, Programming. Brasilia, June 2009. Electronic Proceedings in Theoretical Computer Science, 2009.
• C. Calves, M. Fernández. Nominal Matching and Alpha-Equivalence.
  In WOLLIC 2008, Edinburgh. LNAI 5110, Springer, 2008. pdf©Springer 2008.
• C. Bertolissi and M. Fernández. A rewriting framework for the composition of access control policies.
  In Proceedings of the 10th ACM-SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'08), Valencia, 2008. ACM Press.
• M. Fernández and N. Siafakas. New developments in abstract machines.
  In Proceedings of the 8th Workshop on Rewriting Strategies in Rewriting and Programming (WRS 2008), Castle Hagenberg, Austria, 2008. Electronic Notes in Theoretical Computer Science, Elsevier.
  pdf©Elsevier 2009.
• S. Barker, C. Bertolissi, M. Fernández. Action Control by Term Rewriting.
  3rd Int. Workshop on Security and Rewriting Techniques (SecReT 2008), associated to LICS and CSF, Pittsburgh, June 2008. Volume 234, Electronic Notes in Theoretical Computer Science, Elsevier, 2009.
• C. Bertolissi, M. Fernández. An algebraic-functional framework for distributed access control.
  In Proceedings of CRISIS 2008, 3rd International Conference on Risk and Security of Internet Systems, Tozeur, Tunisia, 2008. IEEEXplore.
• C. Bertolissi, M. Fernández. Time and Location Based Services with Access Control.
  In Proceedings of the 2nd IFIP International Conference on New Technologies, Mobility and Security, IEEEXplore. Presented at the International Workshop on Service computing, Context-aware, Location-aware and Positioning techniques (SCLP'08), Tangier, Morocco, 2008. pdf
• C. Bertolissi, M. Fernández, S. Barker. Dynamic Event-Based Access Control as Term Rewriting.
  Data and Applications Security XXI. 21st Annual IFIP WG 11.3 Working Conference on Data and Applications Security (DBSEC 2007), Redondo Beach, CA, USA, July 8-11, 2007, Proceedings. LNCS 4602, Springer, 2007. pdf©Springer 2007.
• S. Barker, M. Fernandez. Action Status Access Control as Term Rewriting.
  2nd Int. Workshop on Security and Rewriting Techniques (SecReT 2007), RDP 2007, Paris, June 2007.
• S. Alves, M. Fernandez, M. Florido, I. Mackie. Linear Recursive Functions
  In Rewriting, Computation and Proof, Essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday. LNCS 4600 Festchrift, Springer, 2007.
  pdf©Springer 2007.
• S. Alves, M. Fernandez, M. Florido, I. Mackie. Iterator Types
  Proceedings of FOSSACS 2007, Braga, Portugal, March 2007. LNCS 4423, Springer, 2007. pdf©Springer 2007.
• M. Fernandez and M.J. Gabbay. Curry style types for nominal terms.
  In the Proceedings of TYPES 2006, Lecture Notes in Computer Science 4502, Springer, 2007. pdf©Springer 2007.
• S. Alves, M. Fernandez, M. Florido, I. Mackie. The power of linear functions.
  Proceedings of the Int. Conf. Computer Science Logic (CSL 2006), Szeged, Hungary, September 2006. LNCS 4207, Springer, 2006. pdf©Springer 2006.
• S. Barker, M. Fernandez. Term rewriting for access control.
  Proceedings of the 20th Annual IFIP WG 11.3 Working Conference on Data and Applications Security (DBSec'2006), Sophia Antipolis, France, July 2006. LNCS, Springer, 2006. pdf©Springer 2006.
• M. Fernandez, F. Fleutot. A historic functional and object oriented calculus.
  Proc. of the 8th ACM-SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'06), Venice, 2006. ACM Press. pdf©ACM 2006.
• H. Cirstea, G. Faure, M. Fernandez, I. Mackie, F-R. Sinot. From functional programs to interaction nets via the rewriting calculus.
  Proceedings of the 6th International Workshop on Rewriting Strategies in Rewriting and Programming (WRS 2006), Electronic Notes in Theoretical Computer Science Volume 174, Issue 10, July 2007, Pages 39-56. Elsevier. http://dx.doi.org/10.1016/j.entcs.2007.02.046
• S. Alves, M. Fernandez, M. Florido, I. Mackie. The power of closed-reduction strategies.
  Proceedings of the 6th International Workshop on Rewriting Strategies in Rewriting and Programming (WRS 2006), Electronic Notes in Theoretical Computer Science Volume 174, Issue 10, July 2007, Pages 39-56. Elsevier. http://dx.doi.org/10.1016/j.entcs.2007.02.047
• M. Fernandez, R. Lammel (editors). Proceedings of the 7th Int. Workshop on Rule Based Programming (RULE'06), Seattle, 2006. Electronic Notes in Theoretical Computer Science, Volume 174, Issue 1, April 2007. Elsevier.
• M. Fernandez, C. Kirchner (editors). Proceedings of the 1st Int. Workshop on Security and Rewriting Techniques (SecReT 2006), Venice, 2006. Electronic Notes in Theoretical Computer Science, issue 4 of volume 171, 2007. Elsevier. http://dx.doi.org/10.1016/j.entcs.2007.02.052
• C. Calves, M. Fernandez. Implementing Nominal Unification.
  Proceedings 3rd Int. Workshop on Term Graph Rewriting (TERMGRAPH'06), Vienna, 2006. Electronic Notes in Theoretical Computer Science, Volume 176, Issue 1, 2007, Pages 25-37. pdf©ENTCS 2007, software (tar file).