Concepedia

Maribel Fernández

MF

Statistics

Publications

39

Citations

1K

H-Index

20

Active since

1991

Affiliations

King's College London(Current)

Centre National de la Recherche Scientifique

École Normale Supérieure - PSL

École Polytechnique

Universidade de Brasília

Maribel Fernández is an author at King's College London specializing in computer science, engineering, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsSemanticsFormal VerificationSystems EngineeringInformation SecurityLanguageLinguistics

Publications per year

1991–2022

39

Publications

39

Nominal rewriting

Maribel Fernández, Murdoch J. Gabbay · Information and Computation · 2006 · 113 citations

Clinical cross-reactivity between amoxicillin and cephadroxil in patients allergic to amoxicillin and with good tolerance of penicillin

J. Sastre, Leovigildo Quijano, Ana Novalbos et al. · Allergy · 1996 · 77 citations

Allergy Medicine, Antibiotic Adjuvant, Immunology +22

Clinical cross-reactivity between amoxicillin and cephadroxil in patients allergic to amoxicillin and with good tolerance of penicillin

J. Sastre, Leovigildo Quijano, Ana Novalbos et al. · Allergy · 1996 · 67 citations

Drug Hypersensitivity, Allergy, Antibiotics +9

Nominal rewriting systems

Maribel Fernández, Murdoch J. Gabbay, Ian Mackie · 2004 · 54 citations

Engineering, Higher-order Logic, Semantics +19

A metamodel of access control for distributed environments: Applications and properties

Clara Bertolissi, Maribel Fernández · Information and Computation · 2014 · 46 citations

Engineering, Logical Access Control, Access Method +9

1–5 of 39