dblp.uni-trier.dewww.uni-trier.de

Yossi Lichtenstein Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2007
14EEIris Ginzburg, Allen Higgins, Yossi Lichtenstein: Looking for the Locus of Innovation in New Service Development. HICSS 2007: 230
2005
13EEAllon 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
12EEMichael L. Behm, John M. Ludden, Yossi Lichtenstein, Michal Rimon, Michael Vinov: Industrial experience with test generation languages for processor verification. DAC 2004: 36-40
11EEYossi Lichtenstein: Puzzles in software development contracting. Commun. ACM 47(2): 61-65 (2004)
2003
10EEYossi Lichtenstein, Alan McDonnell: Pricing software development services. ECIS 2003
2002
9EEJim 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
7EEAharon 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
6EEAlex 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)