( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Testing Interval Arithmetic Libraries, Including Their IEEE-1788 Compliance.

, , , и . PPAM (2), том 13827 из Lecture Notes in Computer Science, стр. 428-440. Springer, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Peter Benetschik

Stefan Benett

Werner Luis

Pia Luislampe

Mathieu Luisier

 

Другие публикации лиц с тем же именем

ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics., , , , , , , , , и 3 other автор(ы). ARCH@ADHS, том 80 из EPiC Series in Computing, стр. 32-54. EasyChair, (2021)Validated numerics with Python: the ValidiPy package., и . SciPy, стр. 65-71. scipy.org, (2014)ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants., , , , , , , , , и 2 other автор(ы). ARCH@SAFECOMP, том 90 из EPiC Series in Computing, стр. 142-184. EasyChair, (2022)ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics., , , , , , , , , и 3 other автор(ы). ARCH, том 74 из EPiC Series in Computing, стр. 49-75. EasyChair, (2020)ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants., , , , , , , , , и . ARCH@ADHS, том 80 из EPiC Series in Computing, стр. 90-119. EasyChair, (2021)Testing Interval Arithmetic Libraries, Including Their IEEE-1788 Compliance., , , и . PPAM (2), том 13827 из Lecture Notes in Computer Science, стр. 428-440. Springer, (2022)Verified propagation of imprecise probabilities in non-linear ODEs., , , , и . Int. J. Approx. Reason., (января 2024)ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics., , , , , , , , , и . ARCH@CPSIoTWeek, том 61 из EPiC Series in Computing, стр. 41-61. EasyChair, (2019)ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics., , , , , , , , , и 3 other автор(ы). ARCH, том 96 из EPiC Series in Computing, стр. 61-88. EasyChair, (2023)ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics., , , , , , , , , и 1 other автор(ы). ARCH@SAFECOMP, том 90 из EPiC Series in Computing, стр. 86-112. EasyChair, (2022)