( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Virtualization of HOL4 in Isabelle.

, , и . ITP, том 141 из LIPIcs, стр. 21:1-21:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)

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.

Manfred Immler

Harald Immler

Gerhard Immler

Gerhard Immler

Birgit Immler

 

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

The Poincaré-Bendixson Theorem., и . Arch. Formal Proofs, (2019)Formally Verified Computation of Enclosures of Solutions of Ordinary Differential Equations.. NASA Formal Methods, том 8430 из Lecture Notes in Computer Science, стр. 113-127. Springer, (2014)Smooth manifolds and types to sets for linear algebra in Isabelle/HOL., и . CPP, стр. 65-77. ACM, (2019)A Verified ODE Solver and the Lorenz Attractor.. J. Autom. Reason., 61 (1-4): 73-111 (2018)Gröbner Bases of Modules and Faugère's F4 Algorithm in Isabelle/HOL., и . CICM, том 11006 из Lecture Notes in Computer Science, стр. 178-193. Springer, (2018)ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics., , , , , , , , , и . ARCH@CPSIoTWeek, том 61 из EPiC Series in Computing, стр. 41-61. EasyChair, (2019)Verified Reachability Analysis of Continuous Systems.. TACAS, том 9035 из Lecture Notes in Computer Science, стр. 37-51. Springer, (2015)A Verified Enclosure for the Lorenz Attractor (Rough Diamond).. ITP, том 9236 из Lecture Notes in Computer Science, стр. 221-226. Springer, (2015)A Verified ODE Solver and Smale's 14th Problem (Ein Verifizierter GDGL-Löser und Smales 14. Problem). Technical University of Munich, Germany, (2018)ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics., , , , , , , , , и 3 other автор(ы). ARCH, том 74 из EPiC Series in Computing, стр. 49-75. EasyChair, (2020)