Folgen
Joshua Sobel
Joshua Sobel
PhD Student, University of Iowa
Bestätigte E-Mail-Adresse bei uiowa.edu
Titel
Zitiert von
Zitiert von
Jahr
A two-phase approach for conditional floating-point verification
D Lohar, C Jeangoudoux, J Sobel, E Darulova, M Christakis
Tools and Algorithms for the Construction and Analysis of Systems: 27th …, 2021
62021
AWLCO: All-Window Length Co-Occurrence
J Sobel, N Bertram, C Ding, F Nargesian, D Gildea
arXiv preprint arXiv:2011.14460, 2020
32020
Exact Distributed Sampling
SV Pemmaraju, JZ Sobel
International Colloquium on Structural Information and Communication …, 2023
2023
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–3