Author of the publication

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.

 

Other publications of authors with the same name

A Model-Constructing Satisfiability Calculus., and . VMCAI, volume 7737 of Lecture Notes in Computer Science, page 1-12. Springer, (2013)Polite Theories Revisited., and . LPAR (Yogyakarta), volume 6397 of Lecture Notes in Computer Science, page 402-416. Springer, (2010)An MCSAT treatment of Bit-Vectors., and . SMT, volume 1889 of CEUR Workshop Proceedings, page 89-100. CEUR-WS.org, (2017)LibPoly: A Library for Reasoning about Polynomials., and . SMT, volume 1889 of CEUR Workshop Proceedings, page 28-39. CEUR-WS.org, (2017)Abstract: SMT-Friendly Formalization of the Solidity Memory Model., and . SMT, volume 2854 of CEUR Workshop Proceedings, page 59. CEUR-WS.org, (2020)Selfless Interpolation for Infinite-State Model Checking., and . VMCAI, volume 10747 of Lecture Notes in Computer Science, page 495-515. Springer, (2018)Being careful about theory combination., and . Formal Methods Syst. Des., 42 (1): 67-90 (2013)Solving bitvectors with MCSAT: explanations from bits and pieces (long version)., , and . CoRR, (2020)Cutting to the Chase - Solving Linear Integer Arithmetic., and . J. Autom. Reason., 51 (1): 79-108 (2013)Logical Analysis of Hash Functions., and . FroCoS, volume 3717 of Lecture Notes in Computer Science, page 200-215. Springer, (2005)