| 2007 |
|---|
| 14 | EE | Iris Ginzburg,
Allen Higgins,
Yossi Lichtenstein:
Looking for the Locus of Innovation in New Service Development.
HICSS 2007: 230 |
| 2005 |
|---|
| 13 | EE | 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 | EE | 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 | EE | Yossi Lichtenstein:
Puzzles in software development contracting.
Commun. ACM 47(2): 61-65 (2004) |
| 2003 |
|---|
| 10 | EE | Yossi Lichtenstein,
Alan McDonnell:
Pricing software development services.
ECIS 2003 |
| 2002 |
|---|
| 9 | EE | 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 | EE | 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 | EE | 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 |
