Concepedia

David Gilbert

DG

13

Publications

332

Citations

11

H-Index

1998

Active since

Affiliations

City, University of London(Current)

Universidade Estadual de Campinas (UNICAMP)

Southern Illinois University Carbondale

David Gilbert is an author at City, University of London specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsAutomated ReasoningLanguageMedicineNeurologyLinguisticsBrain InjuryData ScienceNeuroscience

Publications per year

1998–2024

13

Publications

13

Motif-based searching in TOPS protein topology databases.

David Gilbert, David R. Westhead, Nozomi Nagano et al. · Bioinformatics · 1999 · 95 citations · Full text

Nicotinamide reduces acute cortical neuronal death and edema in the traumatically injured brain

Michael R. Hoane, David Gilbert, Michael A. Holland et al. · Neuroscience Letters · 2006 · 58 citations

Neurorehabilitation, Traumatic Brain Injury, Injured Brain +14

A general theory of action languages

A. A. Letichevsky, David Gilbert · Cybernetics and Systems Analysis · 1998 · 35 citations

Philosophy Of Language, Representation Theory, Action Pattern +5

BLIMP Tracer: Integrating Build Impact Analysis with Code Review

Ruiyin Wen, David Gilbert, Michael G. Roche et al. · 2018 · 22 citations

Software Maintenance, Engineering, Software Engineering +18

Modular Sequent Calculi for Classical Modal Logics

David Gilbert, Paolo Maffezioli · Studia Logica · 2014 · 18 citations · Full text

Modular Sequent Calculi, Engineering, Substructural Logic +4

Rows per page

1–5 of 13