Items where Author is "Vardi, M."
Article
Chuang, R., Hall, B. A., Benque, D. , Cook, B., Ishtiaq, S., Piterman, N., Taylor, A., Vardi, M., Koschmieder, S., Gottgens, B. & Fisher, J. (2015). Drug target optimization in chronic myeloid leukemia using innovative computational platform. Scientific Reports, 5(1), 8190-. doi: 10.1038/srep08190
Conference or Workshop Item
De Giacomo, G., Di Stasio, A. 
ORCID: 0000-0001-5475-2978, M. Tabajara, L. , Vardi, M. & Zhu, S. (2021).
Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis.
In:
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence.
Thirtieth International Joint Conference on Artificial Intelligence {IJCAI-21}, 19-27 Aug 2021, Montreal, Canada.
doi: 10.24963/ijcai.2021/255