"Have I written enough Properties?" - A Method of Comparison between Specification and Implementation. - Sagi Katz; Orna Grumberg; Daniel Geist (CHARME, 1999)

Reproducing Synchronization Bugs with Model Checking. - Karen Yorav; Sagi Katz; Ron Kiper (CHARME, 2001)

Metamorphosis of Polyhedral Surfaces using Decomposition. - Shymon Shlafman; Ayellet Tal; Sagi Katz (Comput. Graph. Forum, 2002)

Hierarchical mesh decomposition using fuzzy clustering and cuts. - Sagi Katz; Ayellet Tal (ACM Trans. Graph., 2003)

Mesh segmentation using feature point and core extraction. - Sagi Katz; George Leifman; Ayellet Tal (Vis. Comput., 2005)

Mesh Segmentation - A Comparative Study. - Marco Attene; Sagi Katz; Michela Mortara; Giuseppe Patanè 001; Michela Spagnuolo; Ayellet Tal (SMI, 2006)

Direct visibility of point sets. - Sagi Katz; Ayellet Tal; Ronen Basri (ACM Trans. Graph., 2007)

Improving the Visual Comprehension of Point Sets. - Sagi Katz; Ayellet Tal (CVPR, 2013)

On the Visibility of Point Clouds. - Sagi Katz; Ayellet Tal (ICCV, 2015)

On visibility and empty-region graphs. - Sagi Katz; Ayellet Tal (Comput. Graph., 2017)

Document Enhancement Using Visibility Detection. - Netanel Kligler; Sagi Katz; Ayellet Tal (CVPR, 2018)

Continuous Cost Aggregation for Dual-Pixel Disparity Extraction. - Sagi Monin; Sagi Katz; Georgios Evangelidis 002 (3DV, 2024)

HPRO: Direct Visibility of Point Clouds for Optimization. - Sagi Katz; Ayellet Tal (Comput. Graph. Forum, 2025)