MK

Matt Kaufmann

The University of Texas at Austin 0009-0004-5667-4888

158

Publications

2,797

Citations

24

h-index

44

i10-index

Loading papers...

Search by keywords

Filter by Type

Article (108)
Book Chapter (36)
Book (5)
Preprint (3)
Report (3)

Filter by Open Access Type

Open Access (39)
Closed Access (119)

Filter by Authors

Matt Kaufmann (158)
J Strother Moore (51)
Panagiotis Manolios (22)
Warren A. Hunt (17)
Shilpi Goel (6)

Filter by Topics

Logic, programming, and type systems (68)
Formal Methods in Verification (52)
Logic, Reasoning, and Knowledge (22)
Advanced Topology and Set Theory (19)
Parallel Computing and Optimization Techniques (18)