Sergei I. Zhilin

Publication Activity (10 Years)

Years Active: 2005-2022
Publications (10 Years): 2

Top Topics

Provably Correct

Development Environment

Interval Arithmetic

Top Venues

Reliab. Comput.

Publications

Nathalie Revol, Luis Benet, Luca Ferranti, Sergei I. Zhilin
Testing Interval Arithmetic Libraries, Including Their IEEE-1788 Compliance. PPAM (2) (2022)
Nathalie Revol, Luis Benet, Luca Ferranti, Sergei I. Zhilin
Testing interval arithmetic libraries, including their IEEE-1788 compliance. CoRR (2022)
Dmitry Yu. Nadezhin, Sergei I. Zhilin
JInterval Library: Principles, Development, and Perspectives. Reliab. Comput. 19 (3) (2013)
Sergei I. Zhilin
On Fitting Empirical Data under Interval Error. Reliab. Comput. 11 (5) (2005)