Login / Signup
Junaid Rasheed
ORCID
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 2
Top Topics
Theorem Prover
Instruction Set
Sparse Matrices
Fast Fourier Transform
Top Venues
CoRR
SEFM
</>
Publications
</>
Junaid Rasheed
,
Michal Konecný
Auto-Active Verification of Floating-Point Programs via Nonlinear Real Provers.
SEFM
(2022)
Junaid Rasheed
,
Michal Konecný
Auto-active Verification of Floating-point Programs via Nonlinear Real Provers.
CoRR
(2022)