×
Edit Profile (opens in new tab)

Lohar, Debasmita

Co-Author Distance
Author ID: lohar.debasmita Recent zbMATH articles by "Lohar, Debasmita"
Published as: Lohar, Debasmita
Documents Indexed: 1 Publication since 2021
Co-Authors: 4 Co-Authors with 1 Joint Publication
26 Co-Co-Authors

Co-Authors

0 single-authored
1 Christakis, Maria
1 Darulova, Eva
1 Jeangoudoux, Clothilde
1 Sobel, Joshua Z.

Serials

Fields

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

Publications by Year

Citations contained in zbMATH Open

1 Publication has been cited 1 time in 1 Document 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
A two-phase approach for conditional floating-point verification. Zbl 1474.68191
Lohar, Debasmita; Jeangoudoux, Clothilde; Sobel, Joshua; Darulova, Eva; Christakis, Maria
1
2021

Cited by 4 Authors

1 Lefaucheux, Engel
1 Ouaknine, Joel O.
1 Purser, David
1 Sharifi, Mohammadamin

Cited in 0 Serials

Cited in 1 Field

1 Computer science (68-XX)

Citations by Year