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

Proceedings of the 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems., and . CoRR, (2013)On Applying Probabilistic Logic Programming to Breast Cancer Data., , and . ILP, volume 10759 of Lecture Notes in Computer Science, page 31-45. Springer, (2017)A Linear Logic Programming Language for Concurrent Programming over Graph Structures., , , and . Theory Pract. Log. Program., 14 (4-5): 493-507 (2014)Scheduling OR-parallelism in YapOr and ThOr on Multi-Core Machines., , , , and . IPDPS Workshops, page 1581-1590. IEEE Computer Society, (2012)An Efficient and Scalable Memory Allocator for Multithreaded Tabled Evaluation of Logic Programs., and . ICPADS, page 636-643. IEEE Computer Society, (2012)On Extending a Fixed Size, Persistent and Lock-Free Hash Map Design to Store Sorted Keys., and . ISPA/IUCC/BDCloud/SocialCom/SustainCom, page 415-422. IEEE, (2018)Memory Reclamation Methods for Lock-Free Hash Tries., , and . SBAC-PAD, page 188-195. IEEE, (2019)A Compression-Based Design for Higher Throughput in a Lock-Free Hash Map., , and . Euro-Par, volume 12247 of Lecture Notes in Computer Science, page 458-473. Springer, (2020)Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs., , and . ICLP, volume 3668 of Lecture Notes in Computer Science, page 250-264. Springer, (2005)Thread-Aware Logic Programming for Data-Driven Parallel Programs., , and . ICLP (Technical Communications), volume 1433 of CEUR Workshop Proceedings, CEUR-WS.org, (2015)