Benny Godlin

	2012
13		Benny Godlin, Emilia Katz, Johann A. Makowsky: Graph Polynomials: From Recursive Definitions to Subset Expansion Formulas. J. Log. Comput. 22(2): 237-265 (2012)
	2010
12		Benny Godlin, Ofer Strichman: Inference Rules for Proving the Equivalence of Recursive Procedures. Essays in Memory of Amir Pnueli 2010: 167-184
11		Ilya Averbouch, Benny Godlin, Johann A. Makowsky: An extension of the bivariate chromatic polynomial. Eur. J. Comb. 31(1): 1-17 (2010)
	2009
10		Benny Godlin, Ofer Strichman: Regression verification. DAC 2009: 466-471
9		Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov: Cross-Entropy-Based Replay of Concurrent Programs. FASE 2009: 201-215
	2008
8		Benny Godlin, Tomer Kotek, Johann A. Makowsky: Evaluations of Graph Polynomials. WG 2008: 183-194
7		Ilya Averbouch, Benny Godlin, Johann A. Makowsky: A Most General Edge Elimination Polynomial. WG 2008: 31-42
6		Benny Godlin, Ofer Strichman: Inference rules for proving the equivalence of recursive procedures. Acta Inf. 45(6): 403-439 (2008)
5		Benny Godlin, Emilia Katz, Johann A. Makowsky: Graph Polynomials: From Recursive Definitions To Subset Expansion Formulas CoRR abs/0812.1364: (2008)
	2007
4		Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov: Cross-Entropy Based Testing. FMCAD 2007: 101-108
	2006
3		Hana Chockler, Eitan Farchi, Ziv Glazberg, Benny Godlin, Yarden Nir-Buchbinder, Ishai Rabinovitz: Formal verification of concurrent software: two case studies. PADTAD 2006: 11-22
2		Johann A. Makowsky, Udi Rotics, Ilya Averbouch, Benny Godlin: Computing Graph Polynomials on Graphs of Bounded Clique-Width. WG 2006: 191-204
	2005
1		Ofer Strichman, Benny Godlin: Regression Verification - A Practical Way to Verify Programs. VSTTE 2005: 496-501

Coauthor Index

1	Ilya Averbouch	[2] [7] [11]
2	Hana Chockler	[3] [4] [9]
3	Eitan Farchi	[3] [4] [9]
4	Ziv Glazberg	[3]
5	Emilia Katz	[5] [13]
6	Tomer Kotek	[8]
7	Johann A. Makowsky (Janos Makowsky)	[2] [5] [7] [8] [11] [13]
8	Yarden Nir-Buchbinder (Yarden Nir)	[3]
9	Sergey Novikov	[4] [9]
10	Ishai Rabinovitz	[3]
11	Udi Rotics	[2]
12	Ofer Strichman	[1] [6] [10] [12]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page