( en | de | ru )

 

Disambiguation of "Sinz, Carsten"

Author of the publication

copydeleteadd this publication to your clipboard
Geometric Path Enumeration for Equivalence Verification of Neural Networks.

, , , and . ICTAI, page 200-208. IEEE, (2021)

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. You can also use the button next to the name to display some publications already assigned to the person.

Carsten Sinz

C Sinz

Fabian Sinz

Heinz Sinz

Emil Sinz

 

Other publications of authors with the same name

Configuration, and . IEEE Intelligent Systems, 22 (1): 78-90 (2007)Handling Automotive Hardware/Software Co-Configurations with Integer Difference Logic., and . VaMoS, page 103-111. ACM, (2024)Recognition of Nested Gates in CNF Formulas., , and . SAT, volume 9340 of Lecture Notes in Computer Science, page 255-271. Springer, (2015)Verifying Equivalence Properties of Neural Networks with ReLU Activation Functions., , and . CP, volume 12333 of Lecture Notes in Computer Science, page 868-884. Springer, (2020)Integrating Static Code Analysis Toolchains., , , , , , and . CoRR, (2024)Refined Modularization for Bounded Model Checking Through Precondition Generation., , and . ICFEM, volume 13478 of Lecture Notes in Computer Science, page 209-226. Springer, (2022)Geometric Path Enumeration for Equivalence Verification of Neural Networks., , , and . ICTAI, page 200-208. IEEE, (2021)Integrating Static Code Analysis Toolchains., , , , , , and . COMPSAC (1), page 523-528. IEEE, (2019)Using DimSpec for Bounded and Unbounded Software Model Checking., , and . ICFEM, volume 11852 of Lecture Notes in Computer Science, page 19-35. Springer, (2019)Automatic Modularization of Large Programs for Bounded Model Checking., and . ICFEM, volume 11852 of Lecture Notes in Computer Science, page 186-202. Springer, (2019)