×
Edit Profile (opens in new tab)

Sobel, Joshua Z.

Co-Author Distance
Author ID: sobel.joshua-z Recent zbMATH articles by "Sobel, Joshua Z."
Published as: Sobel, Joshua; Sobel, Joshua Z.
Documents Indexed: 3 Publications since 2021
Co-Authors: 9 Co-Authors with 3 Joint Publications
101 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
1 Bertram, Noah
1 Christakis, Maria
1 Darulova, Eva
1 Ding, Chen
1 Gildea, Daniel
1 Jeangoudoux, Clothilde
1 Lohar, Debasmita
1 Nargesian, Fatemeh
1 Pemmaraju, Sriram V.

Serials

Fields

3 Computer science (68-XX)
1 Numerical analysis (65-XX)

Publications by Year

Citations contained in zbMATH Open

2 Publications have been cited 2 times in 2 Documents Cited by ▼ Year ▼
A two-phase approach for conditional floating-point verification. Zbl 1474.68191
Lohar, Debasmita; Jeangoudoux, Clothilde; Sobel, Joshua; Darulova, Eva; Christakis, Maria
1
2021
AWLCO: all-window length co-occurrence. Zbl 1525.68209
Sobel, Joshua; Bertram, Noah; Ding, Chen; Nargesian, Fatemeh; Gildea, Daniel
1
2021
A two-phase approach for conditional floating-point verification. Zbl 1474.68191
Lohar, Debasmita; Jeangoudoux, Clothilde; Sobel, Joshua; Darulova, Eva; Christakis, Maria
1
2021
AWLCO: all-window length co-occurrence. Zbl 1525.68209
Sobel, Joshua; Bertram, Noah; Ding, Chen; Nargesian, Fatemeh; Gildea, Daniel
1
2021
all top 5

Cited by 7 Authors

1 Bille, Philip
1 Gørtz, Inge Li
1 Lefaucheux, Engel
1 Ouaknine, Joel O.
1 Purser, David
1 Sharifi, Mohammadamin
1 Stordalen, Tord Joakim

Cited in 0 Serials

Cited in 1 Field

2 Computer science (68-XX)

Citations by Year