Zurab Khasidashvili
Zurab Khasidashvili
Verified email at intel.com
Title
Cited by
Cited by
Year
Expression reduction systems
Z Khasidashvili
Proceedings of I. Vekua Institute of Applied Mathematics 36, 200-220, 1990
741990
Optimal normalization in orthogonal term rewriting systems
Z Khasidashvili
International Conference on Rewriting Techniques and Applications, 243-258, 1993
461993
Encoding RTL constructs for MathSAT: a preliminary report
M Bozzano, R Bruttomesso, A Cimatti, A Franzén, Z Hanna, ...
Electronic Notes in Theoretical Computer Science 144 (2), 3-14, 2006
422006
Relative normalization in deterministic residual structures
J Glauert, Z Khasidashvili
Colloquium on Trees in Algebra and Programming, 180-195, 1996
351996
The Church-Rosser theorem in orthogonal combinatory reduction systems
Z Khasidashvili
351992
Relative normalization in orthogonal expression reduction systems
J Glauert, Z Khasidashvili
International Workshop on Conditional Term Rewriting Systems, 144-165, 1994
321994
The longest perpetual reductions in orthogonal expression reduction systems
Z Khasidashvili
International Symposium on Logical Foundations of Computer Science, 191-203, 1994
321994
Theoretical framework for compositional sequential hardware equivalence verification in presence of design constraints
Z Khasidashvili, M Skaba, D Kaiss, Z Hanna
IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004 …, 2004
312004
Industrial strength SAT-based alignability algorithm for hardware equivalence verification
D Kaiss, M Skaba, Z Hanna, Z Khasidashvili
Formal Methods in Computer Aided Design (FMCAD'07), 20-26, 2007
302007
β-reductions and β-developments of λ-terms with the least number of steps
ZO Khasidashvili
International Conference on Computer Logic, 105-111, 1988
281988
On higher order recursive program schemes
Z Khasidashvili
Colloquium on Trees in Algebra and Programming, 172-186, 1994
261994
Encoding industrial hardware verification problems into effectively propositional logic
M Emmer, Z Khasidashvili, K Korovin, A Voronkov
Formal Methods in Computer Aided Design, 137-144, 2010
252010
Context-sensitive conditional expression reduction systems
Z Khasidashvili, V Van Oostrom
Electronic Notes in Theoretical Computer Science 2, 167-176, 1995
25*1995
Perpetuality and uniform normalization in orthogonal rewrite systems
Z Khasidashvili, M Ogawa, V Van Oostrom
Information and Computation 164 (1), 118-151, 2001
232001
Uniform normalisation beyond orthogonality
Z Khasidashvili, M Ogawa, V Van Oostrom
International Conference on Rewriting Techniques and Applications, 122-136, 2001
222001
Discrete normalization and standardization in deterministic residual structures
Z Khasidashvili, J Glauert
International Conference on Algebraic and Logic Programming, 135-149, 1996
211996
Preprocessing techniques for first-order clausification
K Hoder, Z Khasidashvili, K Korovin, A Voronkov
2012 Formal Methods in Computer-Aided Design (FMCAD), 44-51, 2012
192012
Simultaneous SAT-based model checking of safety properties
Z Khasidashvili, A Nadel, A Palti, Z Hanna
Haifa Verification Conference, 56-75, 2005
192005
Expression reduction systems and extensions: An overview
J Glauert, D Kesner, Z Khasidashvili
Processes, Terms and Cycles: Steps on the Road to Infinity, 496-553, 2005
182005
An enhanced cut-points algorithm in formal equivalence verification
Z Khasidashvili, J Moondanos, D Kaiss, Z Hanna
Sixth IEEE International High-Level Design Validation and Test Workshop, 171-176, 2001
172001
The system can't perform the operation now. Try again later.
Articles 1–20