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

Coupling OPTYAP with a database system., and . IADIS AC, page 107-114. IADIS, (2005)On Comparing Alternative Splitting Strategies for Or-Parallel Prolog Execution on Multicores, , and . CoRR, (2013)Single Time-Stamped Tries for Retroactive Call Subsumption, and . CoRR, (2011)On a Tabling Engine That Can Exploit Or-Parallelism., , and . ICLP, volume 2237 of Lecture Notes in Computer Science, page 43-58. Springer, (2001)Handling Incomplete and Complete Tables in Tabled Logic Programs.. ICLP, volume 4079 of Lecture Notes in Computer Science, page 427-428. Springer, (2006)On the Efficient Implementation of Mode-Directed Tabling., and . PADL, volume 7752 of Lecture Notes in Computer Science, page 141-156. Springer, (2013)An Improved Continuation Call-Based Implementation of Tabling., , , , and . PADL, volume 4902 of Lecture Notes in Computer Science, page 197-213. Springer, (2008)Accurate decision trees for mining high-speed data streams., , and . KDD, page 523-528. ACM, (2003)Multi-dimensional lock-free arrays for multithreaded mode-directed tabling in Prolog., and . Concurr. Comput. Pract. Exp., (2019)On the correctness and efficiency of a novel lock-free hash trie map design., and . J. Parallel Distributed Comput., (2021)