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

Inference in probabilistic logic programs with continuous random variables., , and . TPLP, 12 (4-5): 505-523 (2012)An Optimizing Compiler for Efficient Model Checking., and . FORTE, volume 156 of IFIP Conference Proceedings, page 241-256. Kluwer, (1999)On the Optimality of Scheduling Strategies in Subsumption-based Tabled Resolution., , and . IJCSLP, page 310-324. MIT Press, (1998)Resource-Constrained Model Checking of Recursive Programs., , , and . TACAS, volume 2280 of Lecture Notes in Computer Science, page 236-250. Springer, (2002)Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools., , , , , , , , and . TACAS, volume 1579 of Lecture Notes in Computer Science, page 74-88. Springer, (1999)A Conservative Technique to Improve Deterministic Evaluation of Logic Programs., , , and . ICCL, page 196-205. IEEE Computer Society, (1998)Compositional Branching-Time Measurements., , , , , and . FPS@ETAPS, volume 8415 of Lecture Notes in Computer Science, page 118-128. Springer, (2014)Parameter Learning in PRISM Programs with Continuous Random Variables, , and . CoRR, (2012)Value of Information in Probabilistic Logic Programs., and . CoRR, (2019)Principles and Practice of Unification Factoring., , , and . ACM Trans. Program. Lang. Syst., 18 (5): 528-563 (1996)