|
Search the dblp DataBase
Yossi Lichtenstein:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Yossi Lichtenstein, Bob Welham, Ajay Gupta
Time Representation in Prolog Circuit Modelling. [Citation Graph (0, 0)][DBLP] ALPUK, 1991, pp:78-93 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] DAC, 2005, pp:779-782 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] DAC, 1995, pp:279-285 [Conf]
- Michael L. Behm, John M. Ludden, Yossi Lichtenstein, Michal Rimon, Michael Vinov
Industrial experience with test generation languages for processor verification. [Citation Graph (0, 0)][DBLP] DAC, 2004, pp:36-40 [Conf]
- Jim Kenneally, Yossi Lichtenstein
The Optional Value of IS Projects - a Study of an IS Portfolio at a Multinational Manufacturer. [Citation Graph (0, 0)][DBLP] ECIS, 2002, pp:- [Conf]
- Yossi Lichtenstein, Alan McDonnell
Pricing software development services. [Citation Graph (0, 0)][DBLP] ECIS, 2003, pp:- [Conf]
- Daniel Geist, Monica Farkas, Avner Landver, Yossi Lichtenstein, Shmuel Ur, Yaron Wolfsthal
Coverage-Directed Test Generation Using Symbolic Techniques. [Citation Graph (0, 0)][DBLP] FMCAD, 1996, pp:143-158 [Conf]
- Iris Ginzburg, Allen Higgins, Yossi Lichtenstein
Looking for the Locus of Innovation in New Service Development. [Citation Graph (0, 0)][DBLP] HICSS, 2007, pp:230- [Conf]
- Daryl Allred, Yossi Lichtenstein, Chris Preist, Michael A. Bennett, Ajay Gupta
AGATHA: An Integrated Expert System to Test and Diagnose Complex Personal Computer Boards. [Citation Graph (0, 0)][DBLP] IAAI, 1991, pp:87-103 [Conf]
- Yossi Lichtenstein, Ehud Y. Shapiro
Abstract Algorithmic Debugging. [Citation Graph (0, 0)][DBLP] ICLP/SLP, 1988, pp:512-531 [Conf]
- Rob Gerth, Michael Codish, Yossi Lichtenstein, Ehud Y. Shapiro
Fully Abstract Denotational Semantics for Flat Concurrent Prolog [Citation Graph (0, 0)][DBLP] LICS, 1988, pp:320-335 [Conf]
- Yossi Lichtenstein, Ehud Y. Shapiro
Concurrent Algorithmic Debugging. [Citation Graph (0, 0)][DBLP] Workshop on Parallel and Distributed Debugging, 1988, pp:248-260 [Conf]
- Alex Loopik, Yossi Lichtenstein
Prolog versus Kee - A case study. [Citation Graph (0, 0)][DBLP] AI in Engineering, 1992, v:7, n:3, pp:153-165 [Journal]
- Yossi Lichtenstein
Puzzles in software development contracting. [Citation Graph (0, 0)][DBLP] Commun. ACM, 2004, v:47, n:2, pp:61-65 [Journal]
Search in 0.002secs, Finished in 0.002secs
|