Zurab Khasidashvili
Orcid: 0000-0001-9883-6997
According to our database1,
Zurab Khasidashvili
authored at least 56 papers
between 1988 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Computer Aided Verification - 36th International Conference, 2024
2022
Accelerating System-Level Debug Using Rule Learning and Subgroup Discovery Techniques.
CoRR, 2022
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
2021
2020
Selecting Stable Safe Configurations for Systems Modelled by Neural Networks with ReLU Activation.
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020
2019
Proceedings of the 2019 IEEE International Conference on Data Science and Advanced Analytics, 2019
2017
Symbolic trajectory evaluation for word-level verification: theory and implementation.
Formal Methods Syst. Des., 2017
2016
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016
2015
Proceedings of the Global Conference on Artificial Intelligence, 2015
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
2014
Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014
2012
Proceedings of the Formal Methods in Computer-Aided Design, 2012
Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012
2011
Proceedings of the Hardware and Software: Verification and Testing, 2011
2010
Encoding industrial hardware verification problems into effectively propositional logic.
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010
2009
Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009
A compositional theory for post-reboot observational equivalence checking of hardware.
Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009
Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009
2008
Proceedings of the Computer Science, 2008
2007
Industrial Strength SAT-based Alignability Algorithm for Hardware Equivalence Verification.
Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007
2006
Proceedings of the 24th International Conference on Computer Design (ICCD 2006), 2006
Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006
2005
Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning, 2005
Proceedings of the Hardware and Software Verification and Testing, 2005
Proceedings of the Processes, 2005
2004
Theoretical framework for compositional sequential hardware equivalence verification in presence of design constraints.
Proceedings of the 2004 International Conference on Computer-Aided Design, 2004
2003
SAT-based methods for sequential hardware equivalence verification without synchronization.
Proceedings of the First International Workshop on Bounded Model Checking, 2003
Proceedings of the 3rd International Workshop on Reduction Strategies in Rewriting and Programming, 2003
Stable Computational Semantics of Conflict-Free Rewrite Systems (Partial Orders with Duplication).
Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003
2002
Theor. Comput. Sci., 2002
Proceedings of the 2nd International Workshop on Reduction Strategies in Rewriting and Programming, 2002
Static Analysis of Modularity of beta-Reduction in the Hyperbalanced lambda-Calculus.
Proceedings of the Rewriting Techniques and Applications, 13th International Conference, 2002
Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002
2001
Theor. Comput. Sci., 2001
Inf. Comput., 2001
Proceedings of the Rewriting Techniques and Applications, 12th International Conference, 2001
Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, 2001
2000
1998
Proceedings of the Computer Science Logic, 12th International Workshop, 1998
1997
Proceedings of the Mathematical Foundations of Computer Science 1997, 1997
Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997
Proceedings of the Algebraic and Logic Programming, 6th International Joint Conference, 1997
1996
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1996
Proceedings of the Trees in Algebra and Programming, 1996
Proceedings of the Algebraic and Logic Programming, 5th International Conference, 1996
1995
Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, 1995
1994
Proceedings of the STACS 94, 1994
Proceedings of the Conditional and Typed Rewriting Systems, 4th International Workshop, 1994
Proceedings of the Trees in Algebra and Programming, 1994
1993
Proceedings of the Rewriting Techniques and Applications, 5th International Conference, 1993
On the Equivalence of Persistent Term Rewriting Systems and Recursive Program Schemes.
Proceedings of the Second Israel Symposium on Theory of Computing Systems, 1993
1988
beta-reductions and beta developments of lambda terms with the least number of steps.
Proceedings of the COLOG-88, 1988