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

Compiling CP subproblems to MDDs and d-DNNFs., , , and . Constraints An Int. J., 24 (1): 56-93 (2019)A lightweight approach to nontermination inference using Constrained Horn Clauses., , , , and . Softw. Syst. Model., 23 (2): 319-342 (April 2024)Lightweight Nontermination Inference with CHCs., , , , and . SEFM, volume 13085 of Lecture Notes in Computer Science, page 383-402. Springer, (2021)Constraint Programming for Dynamic Symbolic Execution of JavaScript., , , , , and . CPAIOR, volume 11494 of Lecture Notes in Computer Science, page 1-19. Springer, (2019)Transformation-Enabled Precondition Inference., , , , and . Theory Pract. Log. Program., 21 (6): 700-716 (2021)Un-Kleene Boolean equation Solving., , and . Int. J. Found. Comput. Sci., 18 (2): 227-250 (2007)Global Variables in Logic Programming.. ICLP, page 3-17. MIT Press, (1997)Dauphin: A Signal Processing Language - Statistical Signal Processing Made Easy., , and . DICTA, page 1-8. IEEE, (2015)Secure random number agreement for peer-to-peer applications., , and . ICPADS, page 1-8. IEEE Computer Society, (2007)Optimal Bounds for Floating-Point Addition in Constant Time., , , and . ARITH, page 159-166. IEEE, (2019)