The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Yossi Lichtenstein: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Yossi Lichtenstein, Bob Welham, Ajay Gupta
    Time Representation in Prolog Circuit Modelling. [Citation Graph (0, 0)][DBLP]
    ALPUK, 1991, pp:78-93 [Conf]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. Yossi Lichtenstein, Alan McDonnell
    Pricing software development services. [Citation Graph (0, 0)][DBLP]
    ECIS, 2003, pp:- [Conf]
  7. 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]
  8. 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]
  9. 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]
  10. Yossi Lichtenstein, Ehud Y. Shapiro
    Abstract Algorithmic Debugging. [Citation Graph (0, 0)][DBLP]
    ICLP/SLP, 1988, pp:512-531 [Conf]
  11. 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]
  12. Yossi Lichtenstein, Ehud Y. Shapiro
    Concurrent Algorithmic Debugging. [Citation Graph (0, 0)][DBLP]
    Workshop on Parallel and Distributed Debugging, 1988, pp:248-260 [Conf]
  13. 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]
  14. 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.046secs, Finished in 0.048secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002