Yossi Lichtenstein

	2007
14		Iris Ginzburg, Allen Higgins, Yossi Lichtenstein: Looking for the Locus of Innovation in New Service Development. HICSS 2007: 230
	2005
13		Allon Adir, Yaron Arbetman, Bella Dubrov, Yossi Lichtenstein, Michal Rimon, Michael Vinov, Massimo A. Calligaro, Andrew Cofler, Gabriel Duffy: VLIW: a case study of parallelism verification. DAC 2005: 779-782
	2004
12		Michael L. Behm, John M. Ludden, Yossi Lichtenstein, Michal Rimon, Michael Vinov: Industrial experience with test generation languages for processor verification. DAC 2004: 36-40
11		Yossi Lichtenstein: Puzzles in software development contracting. Commun. ACM 47(2): 61-65 (2004)
	2003
10		Yossi Lichtenstein, Alan McDonnell: Pricing software development services. ECIS 2003
	2002
9		Jim Kenneally, Yossi Lichtenstein: The Optional Value of IS Projects - a Study of an IS Portfolio at a Multinational Manufacturer. ECIS 2002
	1996
8		Daniel Geist, Monica Farkas, Avner Landver, Yossi Lichtenstein, Shmuel Ur, Yaron Wolfsthal: Coverage-Directed Test Generation Using Symbolic Techniques. FMCAD 1996: 143-158
	1995
7		Aharon Aharon, Dave Goodman, Moshe Levinger, Yossi Lichtenstein, Yossi Malka, Charlotte Metzger, Moshe Molcho, Gil Shurek: Test Program Generation for Functional Verification of PowerPC Processors in IBM. DAC 1995: 279-285
	1992
6		Alex Loopik, Yossi Lichtenstein: Prolog versus Kee - A case study. AI in Engineering 7(3): 153-165 (1992)
	1991
5		Yossi Lichtenstein, Bob Welham, Ajay Gupta: Time Representation in Prolog Circuit Modelling. ALPUK 1991: 78-93
4		Daryl Allred, Yossi Lichtenstein, Chris Preist, Michael A. Bennett, Ajay Gupta: AGATHA: An Integrated Expert System to Test and Diagnose Complex Personal Computer Boards. IAAI 1991: 87-103
	1988
3		Yossi Lichtenstein, Ehud Y. Shapiro: Abstract Algorithmic Debugging. ICLP/SLP 1988: 512-531
2		Rob Gerth, Michael Codish, Yossi Lichtenstein, Ehud Y. Shapiro: Fully Abstract Denotational Semantics for Flat Concurrent Prolog LICS 1988: 320-335
1		Yossi Lichtenstein, Ehud Y. Shapiro: Concurrent Algorithmic Debugging. Workshop on Parallel and Distributed Debugging 1988: 248-260

Coauthor Index

1	Allon Adir	[13]
2	Aharon Aharon	[7]
3	Daryl Allred	[4]
4	Yaron Arbetman	[13]
5	Michael L. Behm	[12]
6	Michael A. Bennett	[4]
7	Massimo A. Calligaro	[13]
8	Michael Codish	[2]
9	Andrew Cofler	[13]
10	Bella Dubrov	[13]
11	Gabriel Duffy	[13]
12	Monica Farkas	[8]
13	Daniel Geist	[8]
14	Rob Gerth	[2]
15	Iris Ginzburg	[14]
16	Dave Goodman	[7]
17	Ajay Gupta	[4] [5]
18	Allen Higgins	[14]
19	Jim Kenneally	[9]
20	Avner Landver	[8]
21	Moshe Levinger	[7]
22	Alex Loopik	[6]
23	John M. Ludden	[12]
24	Yossi Malka	[7]
25	Alan McDonnell	[10]
26	Charlotte Metzger	[7]
27	Moshe Molcho	[7]
28	Chris Preist	[4]
29	Michal Rimon	[12] [13]
30	Ehud Y. Shapiro	[1] [2] [3]
31	Gil Shurek	[7]
32	Shmuel Ur	[8]
33	Michael Vinov	[12] [13]
34	Bob Welham	[5]
35	Yaron Wolfsthal (Yaron Wolfstahl)	[8]

Colors in the list of coauthors