Zurab Khasidashvili

	2010
39		Moshe Emmer, Zurab Khasidashvili, Konstantin Korovin, Andrei Voronkov: Encoding industrial hardware verification problems into effectively propositional logic. FMCAD 2010: 137-144
	2009
38		Zurab Khasidashvili, Gavriel Gavrielov, Tom Melham: Assume-guarantee validation for STE properties within an SVA environment. FMCAD 2009: 108-115
37		Zurab Khasidashvili, Mahmoud Kinanah, Andrei Voronkov: Verifying equivalence of memories using a first order logic theorem prover. FMCAD 2009: 128-135
36		Zurab Khasidashvili, Daher Kaiss, Doron Bustan: A compositional theory for post-reboot observational equivalence checking of hardware. FMCAD 2009: 136-143
	2008
35		Zurab Khasidashvili: On Formal Equivalence Verification of Hardware. CSR 2008: 11-12
	2007
34		Daher Kaiss, Marcelo Skaba, Ziyad Hanna, Zurab Khasidashvili: Industrial Strength SAT-based Alignability Algorithm for Hardware Equivalence Verification. FMCAD 2007: 20-26
	2006
33		Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Ziyad Hanna: Post-reboot Equivalence and Compositional Verification of Hardware. FMCAD 2006: 11-18
32		Daher Kaiss, Silvian Goldenberg, Zurab Khasidashvili: Seqver : A Sequential Equivalence Verifier for Hardware Designs . ICCD 2006
31		Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Ziyad Hanna, Zurab Khasidashvili, Amit Palti, Roberto Sebastiani: Encoding RTL Constructs for MathSAT: a Preliminary Report. Electr. Notes Theor. Comput. Sci. 144(2): 3-14 (2006)
	2005
30		Zurab Khasidashvili, Alexander Nadel, Amit Palti, Ziyad Hanna: Simultaneous SAT-Based Model Checking of Safety Properties. Haifa Verification Conference 2005: 56-75
29		John R. W. Glauert, Delia Kesner, Zurab Khasidashvili: Expression Reduction Systems and Extensions: An Overview. Processes, Terms and Cycles 2005: 496-553
28		Zurab Khasidashvili, John R. W. Glauert: The conflict-free Reduction Geometry. Theor. Comput. Sci. 347(3): 465-497 (2005)
	2004
27		Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Ziyad Hanna: Theoretical framework for compositional sequential hardware equivalence verification in presence of design constraints. ICCAD 2004: 58-65
	2003
26		Zurab Khasidashvili, John R. W. Glauert: Stable Computational Semantics of Conflict-Free Rewrite Systems (Partial Orders with Duplication). RTA 2003: 467-482
25		Zurab Khasidashvili, John R. W. Glauert: An Abstract Concept of Optimal Implementation. Electr. Notes Theor. Comput. Sci. 86(4): 689-713 (2003)
24		Zurab Khasidashvili, Ziyad Hanna: SAT-based methods for sequential hardware equivalence verification without synchronization. Electr. Notes Theor. Comput. Sci. 89(4): 593-607 (2003)
	2002
23		Richard Kennaway, Zurab Khasidashvili, Adolfo Piperno: Static Analysis of Modularity of beta-Reduction in the Hyperbalanced lambda-Calculus. RTA 2002: 51-65
22		John R. W. Glauert, Zurab Khasidashvili: An Abstract Böhm-normalization. Electr. Notes Theor. Comput. Sci. 70(6): 118-134 (2002)
21		Zurab Khasidashvili, John R. W. Glauert: Relating conflict-free stable transition and event models via redex families. Theor. Comput. Sci. 286(1): 65-95 (2002)
	2001
20		Zurab Khasidashvili, Mizuhito Ogawa, Vincent van Oostrom: Uniform Normalisation beyond Orthogonality. RTA 2001: 122-136
19		Zurab Khasidashvili, Mizuhito Ogawa, Vincent van Oostrom: Perpetuality and Uniform Normalization in Orthogonal Rewrite Systems. Inf. Comput. 164(1): 118-151 (2001)
18		Zurab Khasidashvili: On the longest perpetual reductions in orthogonal expression reduction systems. Theor. Comput. Sci. 266(1-2): 737-772 (2001)
	2000
17		John R. W. Glauert, Richard Kennaway, Zurab Khasidashvili: Stable results and relative normalization. J. Log. Comput. 10(3): 323-348 (2000)
16		Zurab Khasidashvili, Adolfo Piperno: A syntactical analysis of normalization. J. Log. Comput. 10(3): 381-410 (2000)
	1998
15		Zurab Khasidashvili, Adolfo Piperno: Normalization of Typable Terms by Superdevelopments. CSL 1998: 260-282
	1997
14		Zurab Khasidashvili, Mizuhito Ogawa: Perpetuality and Uniform Normalization. ALP/HOA 1997: 240-255
13		Zurab Khasidashvili, John R. W. Glauert: The Geometry of Orthogonal Reduction Spaces. ICALP 1997: 649-659
12		Zurab Khasidashvili, John R. W. Glauert: Relating Conflict-Free Stable Transition and Event Models (Extended Abstract). MFCS 1997: 269-278
	1996
11		Zurab Khasidashvili, John R. W. Glauert: Discrete Normalization and Standardization in Deterministic Residual Structures. ALP 1996: 135-149
10		John R. W. Glauert, Zurab Khasidashvili: Relative Normalization in Deterministic Residual Structures. CAAP 1996: 180-195
9		John R. W. Glauert, Zurab Khasidashvili: Minimal Relative Normalization in Orthogonal Expression Reduction Systems. FSTTCS 1996: 238-249
	1995
8		Zurab Khasidashvili, Vincent van Oostrom: Context-sensitive conditional expression reduction systems. Electr. Notes Theor. Comput. Sci. 2: 167-176 (1995)
	1994
7		Zurab Khasidashvili: On Higher Order Recursive Program Schemes. CAAP 1994: 172-186
6		John R. W. Glauert, Zurab Khasidashvili: Relative Normalization in Orthogonal Expression Reduction Systems. CTRS 1994: 144-165
5		Zurab Khasidashvili: The Longest Perpetual Reductions in Orthogonal Expression Reduction Systems. LFCS 1994: 191-203
4		Zurab Khasidashvili: Perpetuality and Strong Normalization in Orthogonal Term Rewriting Systems. STACS 1994: 163-174
	1993
3		Zurab Khasidashvili: On the Equivalence of Persistent Term Rewriting Systems and Recursive Program Schemes. ISTCS 1993: 240-249
2		Zurab Khasidashvili: Optimal Normalization in Orthogonal Term Rewriting Systems. RTA 1993: 243-258
	1988
1		Zurab Khasidashvili: beta-reductions and beta developments of lambda terms with the least number of steps. Conference on Computer Logic 1988: 105-111

Coauthor Index

1	Marco Bozzano	[31]
2	Roberto Bruttomesso	[31]
3	Doron Bustan	[36]
4	Alessandro Cimatti	[31]
5	Moshe Emmer	[39]
6	Anders Franzén	[31]
7	Gavriel Gavrielov	[38]
8	John R. W. Glauert	[6] [9] [10] [11] [12] [13] [17] [21] [22] [25] [26] [28] [29]
9	Silvian Goldenberg	[32]
10	Ziyad Hanna	[24] [27] [30] [31] [33] [34]
11	Daher Kaiss	[27] [32] [33] [34] [36]
12	Richard Kennaway	[17] [23]
13	Delia Kesner	[29]
14	Mahmoud Kinanah	[37]
15	Konstantin Korovin	[39]
16	Thomas F. Melham (Tom Melham)	[38]
17	Alexander Nadel	[30]
18	Mizuhito Ogawa	[14] [19] [20]
19	Vincent van Oostrom	[8] [19] [20]
20	Amit Palti	[30] [31]
21	Adolfo Piperno	[15] [16] [23]
22	Roberto Sebastiani	[31]
23	Marcelo Skaba	[27] [33] [34]
24	Andrei Voronkov	[37] [39]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page