Maribel Fernandez
Maribel Fernandez
Professor of Computer Science, King's College London
Verified email at kcl.ac.uk - Homepage
Title
Cited by
Cited by
Year
Nominal rewriting
M Fernández, MJ Gabbay
Information and Computation 205 (6), 917-965, 2007
174*2007
Measurement of the Isolated Prompt Photon Production Cross Section in Collisions at
V Khachatryan, AM Sirunyan, A Tumasyan, W Adam, T Bergauer, ...
Physical review letters 106 (8), 082001, 2011
154*2011
Modularity of strong normalization in the algebraic-λ-cube
F Barbanera, M Fernández, H Geuvers
Journal of functional programming 7 (6), 613-660, 1997
114*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
72*2019
Closed reduction: explicit substitutions without -conversion
M Fernández, I Mackie, FR Sinot
Mathematical Structures in Computer Science 15 (2), 343, 2005
71*2005
A calculus for interaction nets
M Fernández, I Mackie
International Conference on Principles and Practice of Declarative …, 1999
641999
Modular termination of term rewriting systems revisited
M Fernández, JP Jouannaud
Recent Trends in Data Type Specification, 255-272, 1994
631994
Models of Computation: An Introduction to Computability Theory
M Fernández
Springer Science & Business Media, 2009
60*2009
Normalization results for typeable rewrite systems
S Van Bakel, M Fernández
Information and Computation 133 (2), 73-116, 1997
57*1997
Combining first and higher order rewrite systems with type assignment systems
F Barbanera, M Fernández
International Conference on Typed Lambda Calculi and Applications, 60-74, 1993
57*1993
A polynomial nominal unification algorithm
C Calvès, M Fernández
Theoretical Computer Science 403 (2-3), 285-306, 2008
56*2008
Term rewriting for access control
S Barker, M Fernández
IFIP Annual Conference on Data and Applications Security and Privacy, 179-193, 2006
562006
Dynamic event-based access control as term rewriting
C Bertolissi, M Fernández, S Barker
IFIP Annual Conference on Data and Applications Security and Privacy, 195-210, 2007
552007
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
48*2010
A metamodel of access control for distributed environments: Applications and properties
C Bertolissi, M Fernández
Information and Computation 238, 187-207, 2014
45*2014
Gödel’s system T revisited
S Alves, M Fernández, M Florido, I Mackie
Theoretical Computer Science 411 (11-13), 1484-1500, 2010
43*2010
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 (6), 393-437, 2005
39*2005
Narrowing based procedures for equational disunification
M Fernández
Applicable Algebra in Engineering, Communication and Computing 3 (1), 1-26, 1992
351992
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
332008
The system can't perform the operation now. Try again later.
Articles 1–20