Jacob Katz

Visualization of tuberculosis patient and Mycobacterium tuberculosis complex genotype data via host-pathogen maps

Bülent Yener, Kristin P. Bennett, Srivatsan Raghavan, 2011, 2011 IEEE International Conference on Bioinformatics and Biomedicine Workshops (BIBMW).

SPHERES interact—Human–machine interaction aboard the International Space Station

Renuganth Varatharajoo, Alvar Saenz-Otero, Enrico Stoll, 2012, J. Field Robotics.

Space-efficient bounded model checking

Nachum Dershowitz, Ziyad Hanna, Jacob Katz, 2005, Design, Automation and Test in Europe.

Bounded Model Checking with QBF

Nachum Dershowitz, Ziyad Hanna, Jacob Katz, 2005, SAT.