| Nominal rewriting M Fernández, MJ Gabbay Information and Computation 205 (6), 917-965, 2007 | 201* | 2007 |
| Modularity of strong normalization in the algebraic-λ-cube F Barbanera, M Fernández, H Geuvers Journal of functional programming 7 (6), 613-660, 1997 | 131* | 1997 |
| Strategic port graph rewriting: an interactive modelling framework M Fernández, H Kirchner, B Pinaud Mathematical Structures in Computer Science 29 (5), 615-662, 2019 | 101* | 2019 |
| Closed reduction: explicit substitutions without-conversion M Fernández, I Mackie, FR Sinot Mathematical Structures in Computer Science 15 (2), 343-381, 2005 | 74* | 2005 |
| Models of computation: an introduction to computability theory M Fernández Springer Science & Business Media, 2009 | 72 | 2009 |
| A metamodel of access control for distributed environments: Applications and properties C Bertolissi, M Fernández Information and Computation 238, 187-207, 2014 | 70* | 2014 |
| A calculus for interaction nets M Fernández, I Mackie Principles and Practice of Declarative Programming: International Conference …, 1999 | 68 | 1999 |
| Modular termination of term rewriting systems revisited M Fernández, JP Jouannaud Recent Trends in Data Type Specification: 10th Workshop on Specification of …, 2005 | 67 | 2005 |
| Dynamic event-based access control as term rewriting C Bertolissi, M Fernández, S Barker Data and Applications Security XXI: 21st Annual IFIP WG 11.3 Working …, 2007 | 64 | 2007 |
| A polynomial nominal unification algorithm C Calves, M Fernández Theoretical Computer Science 403 (2-3), 285-306, 2008 | 63* | 2008 |
| Term rewriting for access control S Barker, M Fernández Data and Applications Security XX: 20th Annual IFIP WG 11.3 Working …, 2006 | 60 | 2006 |
| Combining first and higher order rewrite systems with type assignment systems F Barbanera, M Fernández Typed Lambda Calculi and Applications: International Conference on Typed …, 2005 | 59* | 2005 |
| Normalization results for typeable rewrite systems S van Bakel, M Fernández Information and Computation 133 (2), 73-116, 1997 | 59* | 1997 |
| Matching and alpha-equivalence check for nominal terms C Calvès, M Fernández Journal of Computer and System Sciences 76 (5), 283-301, 2010 | 52* | 2010 |
| Gödel’s system T revisited S Alves, M Fernández, M Florido, I Mackie Theoretical Computer Science 411 (11-13), 1484-1500, 2010 | 49* | 2010 |
| Programming languages and operational semantics: a concise overview M Fernández Springer, 2014 | 42* | 2014 |
| Measurement of the lifetime in pp collisions at TeV S Chatrchyan, V Khachatryan, AM Sirunyan, A Tumasyan, W Adam, ... Journal of High Energy Physics 2013 (7), 1-32, 2013 | 42 | 2013 |
| Interaction nets and term-rewriting systems M Fernández, I Mackie Theoretical Computer Science 190 (1), 3-39, 1998 | 40* | 1998 |
| Lambda-calculus with director strings M Fernández, I Mackie, FR Sinot Applicable Algebra in Engineering, Communication and Computing 15, 393-437, 2005 | 39* | 2005 |
| A rewriting framework for the composition of access control policies C Bertolissi, M Fernández Proceedings of the 10th international ACM SIGPLAN conference on Principles …, 2008 | 37 | 2008 |
Mauricio Ayala RinconProfessor of Computer Science and Mathematics, Universidade de BrasiliaVerified email at unb.br
