Jacob Katz

According to our database, Jacob Katz authored at least 4 papers between 2005 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2012

SPHERES interact - Human-machine interaction aboard the International Space Station.

Enrico Stoll, Steffen Jaekel, Jacob Katz, Alvar Saenz-Otero, Renuganth Varatharajoo

J. Field Robotics, 2012

2011

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

Kristin P. Bennett, Cagri Ozcaglar, Janani Ranganathan, Srivatsan Raghavan, Jacob Katz, Dan Croft, Bülent Yener, Amina Shabbeer

Proceedings of the 2011 IEEE International Conference on Bioinformatics and Biomedicine Workshops, 2011

2005

Bounded Model Checking with QBF.

Nachum Dershowitz, Ziyad Hanna, Jacob Katz

Proceedings of the Theory and Applications of Satisfiability Testing, 2005

Space-Efficient Bounded Model Checking.

Jacob Katz, Ziyad Hanna, Nachum Dershowitz

Proceedings of the 2005 Design, 2005