JS

J Strother Moore

The University of Texas at Austin 0000-0002-9628-1702

206

Publications

7,260

Citations

33

h-index

65

i10-index

Loading papers...

Search by keywords

Filter by Type

Article (116)
Book Chapter (76)
Book (7)
Dissertation (4)
Other (3)

Filter by Open Access Type

Open Access (28)
Closed Access (179)

Filter by Authors

J Strother Moore (207)
Robert S. Boyer (54)
Matt Kaufmann (51)
Panagiotis Manolios (18)
Matthias Felleisen (9)

Filter by Topics

Logic, programming, and type systems (114)
Formal Methods in Verification (64)
Logic, Reasoning, and Knowledge (31)
Parallel Computing and Optimization Techniques (30)
Embedded Systems Design Techniques (14)