Statistics
Publications
1
Citations
129
H-Index
1
Active since
2017
Affiliations
University of California San Diego(Current)
Joshua Marxen is an author at University of California San Diego specializing in deductive verification, logic synthesis, and hardware information flow verification.
Publications per year
2017–2017
1
1
1–1 of 1