M. Vardi, S. Fogarty, Y. Li, and Y. Tsay. Principles of Systems Design, volume 13660 of Lecture Notes in Computer Science, page 185-207. Springer, (2022)
N. Fijalkow, B. Maubert, A. Murano, and M. Vardi. IJCAI, page 117-123. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..
C. Courcoubetis, M. Vardi, P. Wolper, and M. Yannakakis. CAV (DIMACS/AMS volume), volume 3 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 207-218. DIMACS/AMS, (1990)
M. Vardi. Descriptive Complexity and Finite Models, volume 31 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 149-183. DIMACS/AMS, (1996)
J. Li, L. Zhang, G. Pu, M. Vardi, and J. He. ECAI, volume 263 of Frontiers in Artificial Intelligence and Applications, page 513-518. IOS Press, (2014)