Login / Signup
Chad Brown
Publication Activity (10 Years)
Years Active: 2016-2023
Publications (10 Years): 4
Top Topics
Invited Talk
Automated Theorem Provers
Wordnet
Set Theory
Top Venues
FM4M/MathUI/ThEdu/DP/WIP@CIKM
BMC Bioinform.
SMT
CoRR
</>
Publications
</>
Chad Brown
,
Adam Pease
,
Josef Urban
Translating SUMO-K to Higher-Order Set Theory.
CoRR
(2023)
Chad Brown
,
Mikolás Janota
First-Order Instantiation using Discriminating Terms.
SMT
(2021)
David Soong
,
Jeran Stratford
,
Herve Avet-Loiseau
,
Nizar Bahlis
,
Faith Davies
,
Angela Dispenzieri
,
A. Kate Sasser
,
Jordan M. Schecter
,
Ming Qi
,
Chad Brown
,
Wendell Jones
,
Jonathan J. Keats
,
Daniel Auclair
,
Christopher Chiu
,
Jason Powers
,
Michael Schaffer
CNV Radar: an improved method for somatic copy number alteration characterization in oncology.
BMC Bioinform.
21 (1) (2020)
Chad Brown
Invited talk: Developments, Libraries and Automated Theorem Provers.
FM4M/MathUI/ThEdu/DP/WIP@CIKM
(2016)