Haim Schneider

List of publications from the DBLP Bibliography Server - FAQ

2005

2 Haim Schneider: Dynamic Portal Content Update using Publish/Subscribe. Web Technologies, Applications, and Services 2005: 154-158

1993

1 EE Yishai A. Feldman, Haim Schneider: Simulating Reactive Systems by Deduction. ACM Trans. Softw. Eng. Methodol. 2(2): 128-175 (1993)

2005
2		Haim Schneider: Dynamic Portal Content Update using Publish/Subscribe. Web Technologies, Applications, and Services 2005: 154-158
1993
1	EE	Yishai A. Feldman, Haim Schneider: Simulating Reactive Systems by Deduction. ACM Trans. Softw. Eng. Methodol. 2(2): 128-175 (1993)

Coauthor Index