The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Yishai A. Feldman: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Charles Rich, Yishai A. Feldman
    Seven Layers of Knowledge Representation and Reasoning in Support of Software Development. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Software Eng., 1992, v:18, n:6, pp:451-469 [Journal]
  2. Yishai A. Feldman, Charles Rich
    Reasoning with Simplifying Assumptions: A Methodology and Example. [Citation Graph (0, 0)][DBLP]
    AAAI, 1986, pp:2-7 [Conf]
  3. Maayan Goldstein, Yishai A. Feldman, Shmuel Tyszberowicz
    Refactoring with Contracts. [Citation Graph (0, 0)][DBLP]
    AGILE, 2006, pp:53-64 [Conf]
  4. Doron A. Friedman, Yishai A. Feldman
    Knowledge-Based Cinematography and Its Applications. [Citation Graph (0, 0)][DBLP]
    ECAI, 2004, pp:256-262 [Conf]
  5. Vered Gafni, Amiram Yehudai, Yishai A. Feldman
    Activation-Oriented Specification of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1994, pp:268-287 [Conf]
  6. Yossi Cohen, Yishai A. Feldman
    Automatic High-Quality Reengineering of Database Programs by Temporal Abstraction. [Citation Graph (0, 0)][DBLP]
    ASE, 1997, pp:90-97 [Conf]
  7. Yishai A. Feldman, Doron A. Friedman
    Portability by Automatic Translation - A Large-Scale Case Study. [Citation Graph (0, 0)][DBLP]
    KBSE, 1995, pp:123-130 [Conf]
  8. Yishai A. Feldman, Leon Gendler
    Discern: Towards the Automatic Discovery of Software Contracts. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:90-99 [Conf]
  9. Yishai A. Feldman, Ohad Barzilay, Shmuel Tyszberowicz
    Jose: Aspects for Design by Contract80-89. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:80-89 [Conf]
  10. Yishai A. Feldman
    A Decidable Propositional Probabilistic Dynamic Logic [Citation Graph (0, 0)][DBLP]
    STOC, 1983, pp:298-309 [Conf]
  11. Yishai A. Feldman, David Harel
    A Probabilistic Dynamic Logic [Citation Graph (0, 0)][DBLP]
    STOC, 1982, pp:181-195 [Conf]
  12. Doron A. Friedman, Yishai A. Feldman, Ariel Shamir, Tsvi Dagan
    Automated Creation of Movie Summaries in Interactive Virtual Environments. [Citation Graph (0, 0)][DBLP]
    VR, 2004, pp:191-189 [Conf]
  13. Doron A. Friedman, Yishai A. Feldman, Ariel Shamir, Tsvi Dagan
    Colorplate: Automated Creation of Movie Summaries in Interactive Virtual Environments. [Citation Graph (0, 0)][DBLP]
    VR, 2004, pp:290- [Conf]
  14. Yishai A. Feldman
    Extreme Design by Contract. [Citation Graph (0, 0)][DBLP]
    XP, 2003, pp:261-270 [Conf]
  15. Yishai A. Feldman, Doron A. Friedman
    Portability by Automatic Translation: A Large-Scale Case Study. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1999, v:107, n:1, pp:1-28 [Journal]
  16. Vered Gafni, Yishai A. Feldman, Amiram Yehudai
    Real-Time Systems Development with MASS. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:25, n:, pp:- [Journal]
  17. Yishai A. Feldman, Jacob Reouven
    A knowledge-based approach for index selection in relational databases. [Citation Graph (0, 0)][DBLP]
    Expert Syst. Appl., 2003, v:25, n:1, pp:15-37 [Journal]
  18. Doron A. Friedman, Yishai A. Feldman
    Automated cinematic reasoning about camera behavior. [Citation Graph (0, 0)][DBLP]
    Expert Syst. Appl., 2006, v:30, n:4, pp:694-704 [Journal]
  19. Yishai A. Feldman
    A Decidable Propositional Dynamic Logic with Explicit Probabilities [Citation Graph (0, 0)][DBLP]
    Information and Control, 1984, v:63, n:1/2, pp:11-38 [Journal]
  20. Yishai A. Feldman, Charles Rich
    Pattern-Directed Invocation with Changing Equations. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1991, v:7, n:3, pp:403-433 [Journal]
  21. Yishai A. Feldman, David Harel
    A Probabilistic Dynamic Logic. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1984, v:28, n:2, pp:193-215 [Journal]
  22. Yishai A. Feldman
    Teaching quality object-oriented programming. [Citation Graph (0, 0)][DBLP]
    ACM Journal of Educational Resources in Computing, 2005, v:5, n:1, pp:1-16 [Journal]
  23. Yossi Cohen, Yishai A. Feldman
    Automatic high-quality reengineering of database programs by abstraction, transformation and reimplementation. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2003, v:12, n:3, pp:285-316 [Journal]
  24. Yishai A. Feldman, Haim Schneider
    Simulating Reactive Systems by Deduction. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 1993, v:2, n:2, pp:128-175 [Journal]

  25. Refactoring with Contracts. [Citation Graph (, )][DBLP]


  26. Refactoring of Statecharts. [Citation Graph (, )][DBLP]


  27. Improving slice accuracy by compression of data and control flow paths. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
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