S. Malik

Retiming and resynthesis: optimizing sequential networks with combinational techniques

A. Sangiovanni-Vincentelli, S. Malik, E.M. Sentovich, 1990, Twenty-Third Annual Hawaii International Conference on System Sciences.

Logic verification using binary decision diagrams in a logic synthesis environment

Albert R. Wang, A. Sangiovanni-Vincentelli, S. Malik, 1988, [1988] IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers.

Nouse 'Use Your Nose as a Mouse' - a New Technology for Hands-free Games and Interfaces

Gerhard Roth, S. Malik, 2002 .

Solving the Minimum-Cost Satisfiability Problem Using SAT Based Branch-and-Bound Search

S. Malik, Zhaohui Fu, 2006, 2006 IEEE/ACM International Conference on Computer Aided Design.