R Alur, DL Dill

Theoretical computer science 126 (2), 183-235, 1994

R Alur, C Courcoubetis, N Halbwachs, TA Henzinger, PH Ho, X Nicollin, ...

Theoretical computer science 138 (1), 3-34, 1995

R Alur, C Courcoubetis, TA Henzinger, PH Ho

Hybrid systems, 209-229, 1992

R Alur, TA Henzinger, O Kupferman

Journal of the ACM (JACM) 49 (5), 672-713, 2002

R Alur, D Dill

International colloquium on automata, languages, and programming, 322-335, 1990

R Alur, C Courcoubetis, D Dill

[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science …, 1990

R Alur, C Courcoubetis, D Dill

Information and computation 104 (1), 2-34, 1993

R Alur, TA Henzinger, G Lafferriere, GJ Pappas

Proceedings of the IEEE 88 (7), 971-984, 2000

R Alur, TA Henzinger

Journal of the ACM (JACM) 41 (1), 181-203, 1994

R Alur, TA Henzinger

Formal methods in system design 15 (1), 7-48, 1999

R Alur, TA Henzinger, PH Ho

IEEE Transactions on Software Engineering 22 (3), 181-201, 1996

R Alur, TA Henzinger

Workshop/School/Symposium of the REX Project (Research and Education in …, 1991

R Alur, T Feder, TA Henzinger

Journal of the ACM (JACM) 43 (1), 116-146, 1996

R Alur

International Conference on Computer Aided Verification, 8-22, 1999

R Alur, R Bodik, G Juniwal, MMK Martin, M Raghothaman, SA Seshia, ...

2013 Formal Methods in Computer-Aided Design, 1-8, 2013

R Alur, P Madhusudan

Proceedings of the thirty-sixth annual ACM symposium on Theory of computing …, 2004

R Alur, TA Henzinger, O Kupferman

International Symposium on Compositionality, 23-60, 1997

R Alur, TA Henzinger, FYC Mang, S Qadeer, SK Rajamani, S Tasiran

International Conference on Computer Aided Verification, 521-525, 1998

R Alur, TA Henzinger, MY Vardi

Proceedings of the twenty-fifth annual ACM symposium on Theory of computing …, 1993

R Alur, TA Henzinger

Information and Computation 104 (1), 35-77, 1993