Zurab Khasidashvili

发表

Zurab Khasidashvili, Daher Kaiss, Marcelo Skaba, 2007, Formal Methods in Computer Aided Design (FMCAD'07).
Moshe Y. Vardi, Jin Yang, Zurab Khasidashvili, 2014, 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE).
Vincent van Oostrom, Zurab Khasidashvili, 1995, Electron. Notes Theor. Comput. Sci..
Andrei Voronkov, Konstantin Korovin, Zurab Khasidashvili, 2012, IJCAR.
John R. W. Glauert, Zurab Khasidashvili, 1996, CAAP.
Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, 2006, Electron. Notes Theor. Comput. Sci..
Mizuhito Ogawa, Zurab Khasidashvili, 1997, ALP/HOA.
Mizuhito Ogawa, Vincent van Oostrom, Zurab Khasidashvili, 2001, RTA.
Zurab Khasidashvili, Ziyad Hanna, Alexander Nadel, 2005, Haifa Verification Conference.
John R. W. Glauert, Zurab Khasidashvili, 2002, Electron. Notes Theor. Comput. Sci..
Adolfo Piperno, Zurab Khasidashvili, 2000, J. Log. Comput..
John R. W. Glauert, Richard Kennaway, Zurab Khasidashvili, 2000, J. Log. Comput..
Supratik Chakraborty, Carl-Johan H. Seger, Zurab Khasidashvili, 2017, Formal Methods Syst. Des..
Zurab Khasidashvili, Alexander Nadel, 2011, Haifa Verification Conference.
Andrei Voronkov, Konstantin Korovin, Zurab Khasidashvili, 2010, Formal Methods in Computer Aided Design.
Mizuhito Ogawa, Vincent van Oostrom, Zurab Khasidashvili, 2001, Inf. Comput..
Richard Kennaway, Adolfo Piperno, Zurab Khasidashvili, 2002, RTA.
Zurab Khasidashvili, Ziyad Hanna, 2003, Electron. Notes Theor. Comput. Sci..
Andrei Voronkov, Konstantin Korovin, Zurab Khasidashvili, 2012, 2012 Formal Methods in Computer-Aided Design (FMCAD).
John R. W. Glauert, Zurab Khasidashvili, 2005, Theor. Comput. Sci..
Konstantin Korovin, Zurab Khasidashvili, Z. Khasidashvili, 2016, SAT.
John R. W. Glauert, Zurab Khasidashvili, J. Glauert, 1994, CTRS.
Zurab Khasidashvili, Daher Kaiss, Marcelo Skaba, 2004, IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004..
Zurab Khasidashvili, Daher Kaiss, Ziyad Hanna, 2001, Sixth IEEE International High-Level Design Validation and Test Workshop.
Zurab Khasidashvili, Ziyad Hanna, John Moondanos, 2002, Seventh IEEE International High-Level Design Validation and Test Workshop, 2002..
John R. W. Glauert, Zurab Khasidashvili, 2002, Theor. Comput. Sci..
John R. W. Glauert, Zurab Khasidashvili, 1997, MFCS.
Zurab Khasidashvili, 1994, CAAP.
John R. W. Glauert, Zurab Khasidashvili, 1997, ICALP.
Zurab Khasidashvili, Daher Kaiss, Doron Bustan, 2009, 2009 Formal Methods in Computer-Aided Design.
Adolfo Piperno, Zurab Khasidashvili, A. Piperno, 1998, CSL.
Delia Kesner, John R. W. Glauert, Zurab Khasidashvili, 2005, Processes, Terms and Cycles.
Zurab Khasidashvili, Daher Kaiss, Silvian Goldenberg, 2006, 2006 International Conference on Computer Design.
Supratik Chakraborty, Carl-Johan H. Seger, Zurab Khasidashvili, 2015, CAV.
Zurab Khasidashvili, Z. Khasidashvili, 2008, CSR.
Zurab Khasidashvili, Andrei Voronkov, Mahmoud Kinanah, 2009, 2009 Formal Methods in Computer-Aided Design.
Zurab Khasidashvili, Thomas F. Melham, Gavriel Gavrielov, 2009, 2009 Formal Methods in Computer-Aided Design.
Zurab Khasidashvili, 1993, [1993] The 2nd Israel Symposium on Theory and Computing Systems.
Konstantin Korovin, Zurab Khasidashvili, Dmitry Tsarkov, 2015, GCAI.
John R. W. Glauert, Zurab Khasidashvili, 1996, FSTTCS.
John R. W. Glauert, Zurab Khasidashvili, 2003, Electron. Notes Theor. Comput. Sci..
Zurab Khasidashvili, Daher Kaiss, Marcelo Skaba, 2006, 2006 Formal Methods in Computer Aided Design.
Zurab Khasidashvili, Franz Brauße, Konstantin Korovin, 2020, 2020 Formal Methods in Computer Aided Design (FMCAD).
Zurab Khasidashvili, Adam J Norman, 2019, 2019 IEEE International Conference on Data Science and Advanced Analytics (DSAA).
Zurab Khasidashvili, Adam J. Norman, 2021, Int. J. Data Sci. Anal..
Konstantin Korovin, Zurab Khasidashvili, Franz Brausse, 2021, ArXiv.
John Glauert, Zurab Khasidashvili, 2005 .
Paula Severi, Aart Middeldorp, Jan Willem Klop, 2002 .