Z. Khasidashvili

发表

Torben Æ. Mogensen, Andrei P. Nemytykh, Sergei M. Abramov, 1997 .

Z. Khasidashvili, Zurab O Khasidashvili, .

Zurab Khasidashvili, Daher Kaiss, Ziyad Hanna, 2001, Sixth IEEE International High-Level Design Validation and Test Workshop.

John R. W. Glauert, Zurab Khasidashvili, J. Glauert, 1994, CTRS.

Richard Kennaway, Adolfo Piperno, Zurab Khasidashvili, 2002, RTA.

R. Kennaway, A. Piperno, Z. Khasidashvili, 2002 .

Z. Khasidashvili, 2022, ArXiv.

Z. Khasidashvili, V. V. Oostrom, Mizuhito Ogawa, 2000 .

C. Seger, Supratik Chakraborty, Z. Khasidashvili, 2017, Formal Methods Syst. Des..

Konstantin Korovin, Zurab Khasidashvili, Z. Khasidashvili, 2016, SAT.

Paula Severi, Aart Middeldorp, Jan Willem Klop, 2002 .

John R. W. Glauert, Richard Kennaway, Zurab Khasidashvili, 2000, J. Log. Comput..

Zurab Khasidashvili, Ziyad Hanna, Alexander Nadel, 2005, Haifa Verification Conference.

Moshe Y. Vardi, Jin Yang, Zurab Khasidashvili, 2014, 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE).

Zurab Khasidashvili, Z. Khasidashvili, 2008, CSR.

Zurab Khasidashvili, Daher Kaiss, Marcelo Skaba, 2004, IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004..

Adolfo Piperno, Zurab Khasidashvili, A. Piperno, 1998, CSL.

Z. Khasidashvili, F. Brauße, Konstantin Korovin, 2022, IJCAI.

Zurab Khasidashvili, Daher Kaiss, Marcelo Skaba, 2006, 2006 Formal Methods in Computer Aided Design.

Andrei Voronkov, Konstantin Korovin, Zurab Khasidashvili, 2012, IJCAR.

Delia Kesner, John R. W. Glauert, Zurab Khasidashvili, 2005, Processes, Terms and Cycles.

Zurab Khasidashvili, Daher Kaiss, Marcelo Skaba, 2007, Formal Methods in Computer Aided Design (FMCAD'07).