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

Leveraging FPGA clusters for SAT computations.. PARCO, volume 27 of Advances in Parallel Computing, page 525-532. IOS Press, (2015)Brief announcement: dynamic interoperable point-to-point connection of MPI implementations., and . PODC, page 352. ACM, (2005)SBSAT: a State-Based, BDD-Based Satisfiability Solver., , , , , , and . SAT, volume 2919 of Lecture Notes in Computer Science, page 398-410. Springer, (2003)piNET: a versatile web platform for downstream analysis and visualization of proteomics data., , , , , , , , , and 12 other author(s). Nucleic Acids Res., 48 (Webserver-Issue): W85-W93 (2020)An application programming interface implementing Bayesian approaches for evaluating effect of time-varying treatment with R and Python., , , , , , , and . Frontiers Comput. Sci., (2023)A template library to facilitate teaching message passing parallel computing., , and . SIGCSE, page 464-468. ACM, (2006)Dynamic Interoperable Message Passing., and . PVM/MPI, volume 3666 of Lecture Notes in Computer Science, page 167-174. Springer, (2005)A parallel backtracking framework (BkFr) for single and multiple clusters., and . Conf. Computing Frontiers, page 302-312. ACM, (2004)Building Gold Standard Corpora for Medical Natural Language Processing Tasks., , , , , , , , and . AMIA, AMIA, (2012)Resolution Tunnels for Improved SAT Solver Performance., and . SAT, volume 3569 of Lecture Notes in Computer Science, page 143-157. Springer, (2005)