Old Web
English
Sign In
Acemap
>
authorDetail
>
Kristopher Brown
Kristopher Brown
Stanford University
Statistical physics
Quantum chemistry
Computational complexity theory
surface
Experimental data
4
Papers
1
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (4)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
DBgen: A Python Library for Defining Scalable, Maintainable, Accessible, Reconfigurable, Transparent (SMART) Data Pipelines
2021
ChemRxiv
Michael J. Statt
Kristopher Brown
Santosh K. Suram
Linda Hung
Daniel Schweigert
John M. Gregoire
Brian A. Rohr
Show All
Source
Cite
Save
Citations (0)
Pono: A Flexible and Extensible SMT-based Model Checker
2021
CAV | Computer Aided Verification
Makai Mann
Ahmed Irfan
Florian Lonsing
Yahan Yang
Hongce Zhang
Kristopher Brown
Aarti Gupta
Clark Barrett
Show All
Source
Cite
Save
Citations (1)
MCML: Combining physical constraints with experimental data for a multi-purpose meta-generalized gradient approximation
2021
Journal of Computational Chemistry
Kristopher Brown
Yasheng Maimaiti
Kai Trepte
Thomas Bligaard
Johannes Voss
Show All
Source
Cite
Save
Citations (0)
Smt-Switch: A Solver-Agnostic C++ API for SMT Solving
2021
SAT | Theory and Applications of Satisfiability Testing
Makai Mann
Amalee Wilson
Yoni Zohar
Lindsey Stuntz
Ahmed Irfan
Kristopher Brown
Caleb Donovick
Allison Guman
Cesare Tinelli
Clark Barrett
Show All
Source
Cite
Save
Citations (0)
1
map