Author of the publication

A Thread-Safe Library for Binary Decision Diagrams.

, , and . SEFM, volume 8702 of Lecture Notes in Computer Science, page 35-49. Springer, (2014)

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

Information Flow Analysis for Detecting Non-Determinism in Blockchain., , , , , , and . ECOOP, volume 263 of LIPIcs, page 23:1-23:25. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Re-engineering ERC-20 Smart Contracts with Efficient Snapshots for the Java Virtual Machine., , , and . BCCA, page 187-194. IEEE, (2021)Inference of field initialization., and . ICSE, page 231-240. ACM, (2011)The Nullness Analyser of julia.. LPAR (Dakar), volume 6355 of Lecture Notes in Computer Science, page 405-424. Springer, (2010)Abstract Compilation for Sharing Analysis., and . FLOPS, volume 2024 of Lecture Notes in Computer Science, page 311-325. Springer, (2001)Abstract Interpretation of Prolog Programs., and . AMAST, volume 1548 of Lecture Notes in Computer Science, page 455-470. Springer, (1998)Nullness Analysis in Boolean Form.. SEFM, page 21-30. IEEE Computer Society, (2008)Analysis of Downward Closed Properties of Logic Programs., and . AMAST, volume 1816 of Lecture Notes in Computer Science, page 181-196. Springer, (2000)Static analysis for discovering IoT vulnerabilities., , , and . Int. J. Softw. Tools Technol. Transf., 23 (1): 71-88 (2021)On-Chain Smart Contract Verification over Tendermint., , and . Financial Cryptography Workshops, volume 12676 of Lecture Notes in Computer Science, page 333-347. Springer, (2021)