Nominal rewriting M Fernández, MJ Gabbay
Information and Computation 205 (6), 917-965, 2007
207 * 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
132 * 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
105 * 2019 Models of computation: an introduction to computability theory M Fernández
Springer Science & Business Media, 2009
74 2009 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 A metamodel of access control for distributed environments: Applications and properties C Bertolissi, M Fernández
Information and Computation 238, 187-207, 2014
73 * 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 A polynomial nominal unification algorithm C Calves, M Fernández
Theoretical Computer Science 403 (2-3), 285-306, 2008
65 * 2008 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 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
54 * 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
50 * 2010 Programming languages and operational semantics: a concise overview M Fernández
Springer, 2014
43 * 2014 Measurement of the 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
38 2008 
Mauricio Ayala RinconProfessor of Computer Science and Mathematics, Universidade de BrasiliaBestätigte E-Mail-Adresse bei unb.br
