Tim French
0000-0002-0748-8040
Publication & Citation Trends
Publications
0 total
No publications found.
Research Topics
Logic, Reasoning, and Knowledge
(53)
Formal Methods in Verification
(41)
Melanoma and MAPK Pathways
(41)
Logic, programming, and type systems
(38)
Multi-Agent Systems and Negotiation
(25)
Affiliations
AstraZeneca (United Kingdom)
University of Southern California
DePaul University
Memorial Sloan Kettering Cancer Center
University of Bedfordshire