Search the dblp DataBase

Publications of Author

1. Sagi Katz, Orna Grumberg, Daniel Geist
   "Have I written enough Properties?" - A Method of Comparison between Specification and Implementation. [Citation Graph (0, 0)][DBLP]
   CHARME, 1999, pp:280-297 [Conf]
   
2. Karen Yorav, Sagi Katz, Ron Kiper
   Reproducing Synchronization Bugs with Model Checking. [Citation Graph (0, 0)][DBLP]
   CHARME, 2001, pp:98-103 [Conf]
   
3. Shymon Shlafman, Ayellet Tal, Sagi Katz
   Metamorphosis of Polyhedral Surfaces using Decomposition. [Citation Graph (0, 0)][DBLP]
   Comput. Graph. Forum, 2002, v:21, n:3, pp:- [Journal]
   
4. Sagi Katz, Ayellet Tal
   Hierarchical mesh decomposition using fuzzy clustering and cuts. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Graph., 2003, v:22, n:3, pp:954-961 [Journal]
   
5. Sagi Katz, George Leifman, Ayellet Tal
   Mesh segmentation using feature point and core extraction. [Citation Graph (0, 0)][DBLP]
   The Visual Computer, 2005, v:21, n:8-10, pp:649-658 [Journal]
   
6. Sagi Katz, Ayellet Tal, Ronen Basri
   Direct visibility of point sets. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Graph., 2007, v:26, n:3, pp:24- [Journal]