Läser in ...
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Citat per år
Dubblettcitat
Följande artiklar är sammanfogade i Scholar. Deras
kombinerade citat
räknas endast för den första artikeln.
Sammanfogade citat
Antalet "Citeras av" inkluderar citat till följande artiklar i Scholar. Stjärnmärkta
*
citat kan skilja sig från artikeln i profilen.
Lägg till medförfattare
Medförfattare
Följ
Nya artiklar av denna författare
Nya källreferenser till denna författare
Nya artiklar relaterade till denna författares forskning
E-postadress för uppdateringar
Klar
Min profil
Mitt bibliotek
Statistik
Meddelande
Inställningar
Logga in
Logga in
Skapa en profil
Citeras av
Alla
Sedan 2019
Citat
10
10
h-index
2
2
i10-index
0
0
0
6
3
2022
2023
4
6
Offentlig åtkomst
Visa alla
Visa alla
2 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Följ
Joshua Sobel
PhD Student,
University of Iowa
Verifierad e-postadress på uiowa.edu
theoretical computer science
Artiklar
Citeras av
Offentlig åtkomst
Titel
Sortera
Sortera efter citat
Sortera efter år
Sortera efter titel
Citeras av
Citeras av
År
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
7
2021
AWLCO: All-Window Length Co-Occurrence
J Sobel, N Bertram, C Ding, F Nargesian, D Gildea
arXiv preprint arXiv:2011.14460
, 2020
3
2020
Exact Distributed Sampling
SV Pemmaraju, JZ Sobel
International Colloquium on Structural Information and Communication …
, 2023
2023
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–3
Visa fler
Integritet
Villkor
Hjälp
Om Scholar
Sök i hjälpen