Search

De Giacomo, Giuseppe, Di Stasio, Antonio, Tabajara, Lucas M., Vardi, Moshe Y., and Zhu, Shufang

Chakraborty, Supratik, Fried, Dror, Tabajara, Lucas M., and Vardi, Moshe Y.

Li, Jianwen, Zhu, Shufang, Pu, Geguang, Zhang, Lijun, and Vardi, Moshe Y.

Kupferman, Orna and Vardi, Gal

Kwiatkowska, Marta, Vardi, Moshe Y., Bouajjani, Ahmed, and Ball, Thomas

Tabakov, Deian, Rozier, Kristin Y., and Vardi, Moshe Y.

Cook, Byron, Koskinen, Eric, and Vardi, Moshe

Grumberg, Orna, Vardi, Moshe Y., Sifakis, Joseph, and Alur, Rajeev

Kupferman, Orna, Piterman, Nir, and Vardi, Moshe Y.

Plaku, Erion, Kavraki, Lydia E., and Vardi, Moshe Y.

Sebastiani, Roberto, Singerman, Eli, Tonetta, Stefano, and Vardi, Moshe Y.

Chockler, Hana, Kupferman, Orna, and Vardi, Moshe Y.

Fisler, Kathi and Vardi, Moshe Y.

Kupferman, Orna and Vardi, Moshe Y.

Hardin, R. H., Kurshan, R. P., Shukla, S. K., and Vardi, M. Y.

Bryant, Randal E., Grumberg, Orna, Sifakis, Joseph, and Vardi, Moshe Y.

Courcoubetis, C., Vardi, M., Wolper, P., and Yannakakis, M.

Vardi, Moshe Y., Henzinger, Thomas A., Alur, Rajeev, and Kwiatkowska, Marta

Bryant, R. E., Grumberg, O., Henzinger, T. A., and Vardi, M. Y.