Behnam Banieqbal

Enforcing nondeternism via linear time temporal logic using hiding

Amir Pnueli, Howard Barringer, Ruurd Kuiper, 1989 .

Enhancing the speed of fractal image compression

Behnam Banieqbal, 1995 .

Temporal Logic in Specification

Amir Pnueli, Howard Barringer, Behnam Banieqbal, 1987, Lecture Notes in Computer Science.

Proceedings on Temporal logic in specification

Amir Pnueli, Howard Barringer, Behnam Banieqbal, 1987 .

Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings

Amir Pnueli, Howard Barringer, Behnam Banieqbal, 1989, Temporal Logic in Specification.

Exclusive Normal Form of Boolean Circuits

Behnam Banieqbal, 1992 .

Temporal Logic with Fixed Points

Howard Barringer, Behnam Banieqbal, H. Barringer, 1987, Temporal Logic in Specification.

Speeding up Fractal Image Compression

Behnam Banieqbal, 1994 .