Simulating Reactive Systems by Deduction. - Yishai A. Feldman; Haim Schneider (ACM Trans. Softw. Eng. Methodol., 1993)

Dynamic Portal Content Update using Publish/Subscribe. - Haim Schneider (Web Technologies, Applications, and Services, 2005)