Authors: Kupferman, O Vardi, MY Wolper, P

Citation: O. Kupferman et al., Module checking, INF COMPUT, 164(2), 2001, pp. 322-344

Authors: Thoms, P Wolper, P Scott, KS Jones, D

Citation: P. Thoms et al., The relationship between immediate turnover and employee theft in the restaurant industry, J BUS PSYCH, 15(4), 2001, pp. 561-577

Authors: Kupferman, O Vardi, MY Wolper, P

Citation: O. Kupferman et al., An automata-theoretic approach to branching-time model checking, J ACM, 47(2), 2000, pp. 312-360

Authors: Bouajjani, A Esparza, J Finkel, A Maler, O Rossmanith, P Willems, B Wolper, P

Citation: A. Bouajjani et al., An efficient automats approach to some problems on context-free grammars, INF PROCESS, 74(5-6), 2000, pp. 221-227

Authors: Wolper, P

Citation: P. Wolper, Linear repeating points, CONSTRAINT DATABASES, 2000, pp. 305-317

Authors: Baudinet, M Chomicki, J Wolper, P

Citation: M. Baudinet et al., Constraint-generating dependencies, J COMPUT SY, 59(1), 1999, pp. 94-115