24 Jul 20252cites
Global & Community Health: Feasibility of Remote Training for Carotid Artery Ultrasound and Holter Recording in a Resource-Limited SettingPublisher siteNeurology, Cerebrovascular and Carotid Artery Diseases
Active, last published 2026
In logic, programming, and type systems
María García de la
Banda
Scholar“Research focused on Logic, programming, and type systems and adjacent fields.”
Claim Your Profile28
H-index
2.6k
Citations
María has not officially claimed their profile. If you are María, claim it free.
Claim Your Profile
Pioneer
LOCKED
Pathfinder
LOCKED
Scholar
EARNED
Innovator
LOCKED
Inventor
LOCKED
Catalyst
LOCKED
Expert
UPGRADE
01 · About the work
What I study
aría García de la Banda is a researcher working on Logic, programming, and type systems. A fuller summary will appear once they update their profile.
02 · Reach
Publication output and reach
María's work has been cited 2,574 times across 1 active year. Bars show publications per year; the line shows cumulative citation totals across publications first appearing in each year.
03 · Research focus
Topics
Logic, programming, and type systems×53Constraint Satisfaction and Optimization×46Formal Methods in Verification×45Model-Driven Software Engineering Techniques×24Logic, Reasoning, and Knowledge×21
04 · Where I am
Affiliations
Affiliation on published researchUniversity Teaching Hospital, ZambiaDrawn from the institution listed on this researcher’s published work.
05 · Selected work
Recent publications
1 workExpert Academic Profiles go further
Citation trend analytics, exportable publication records, and direct enquiry routing from industry and funders.
Are you María?
Claim it to verify your details, connect with industry partners, and explore Fractional Domain Expert opportunities through MARATTO™.
African researchers are full of potential that too often goes unrecognised. Your MARATTO™ profile gives your work the commercial pathway it deserves.
Claim Your Profile
Free to claim · takes a minute to verify it’s you