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

Verification of Contact Tracing Protocols via SMT-based Model Checking and Counting Abstraction., , and . CILC, volume 3002 of CEUR Workshop Proceedings, page 77-91. CEUR-WS.org, (2021)A persistent union-find data structure., and . ML, page 37-46. ACM, (2007)Strategies for Combining Decision Procedures., and . TACAS, volume 2619 of Lecture Notes in Computer Science, page 537-552. Springer, (2003)The SMT Competition 2015-2018., , , , , and . J. Satisf. Boolean Model. Comput., 11 (1): 221-259 (2019)Apprendre à programmer avec OCaml : Algorithmes et structures de données, and . (2014)Low Cost High Integrity Platform., , , , , , , , and . CoRR, (2020)Information flow inference for free., and . ICFP, page 46-57. ACM, (2000)SIGPLAN Notices 35(9), September 2000.Some Insights on Open Problems in Blockchains: Explorative Tracks for Tezos (Invited Talk).. FAB, volume 101 of OASIcs, page 2:1-2:1. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Reasoning About Universal Cubes in MCMT., and . ICFEM, volume 11852 of Lecture Notes in Computer Science, page 270-285. Springer, (2019)Strategies for combining decision procedures., and . Theor. Comput. Sci., 354 (2): 187-210 (2006)