Maribel Fernández
King's College London(GB)King's College School(GB)
Publications by Year
Research Areas
Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Formal Methods in Verification, semigroups and automata theory, Access Control and Trust
Most-Cited Works
- → Curry-Style Types for Nominal Terms(2007)304 cited
- → Nominal rewriting(2006)113 cited
- → Clinical cross-reactivity between amoxicillin and cephadroxil in patients allergic to amoxicillin and with good tolerance of penicillin(1996)77 cited
- → Nominal rewriting systems(2004)54 cited
- → A Calculus for Interaction Nets(1999)48 cited
- → A metamodel of access control for distributed environments: Applications and properties(2014)46 cited
- → Dynamic Event-Based Access Control as Term Rewriting