The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mehdi T. Harandi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Sanjay Bhansali, Mehdi T. Harandi
    Synthesizing UNIX Shell Scripts Using Derivational Analogy: An Empirical Assessment. [Citation Graph (0, 0)][DBLP]
    AAAI, 1991, pp:521-526 [Conf]
  2. Cesare Tinelli, Mehdi T. Harandi
    Constraint Logic Programming over Unions of Constraint Theories. [Citation Graph (0, 0)][DBLP]
    CP, 1996, pp:436-450 [Conf]
  3. Cesare Tinelli, Mehdi T. Harandi
    A New Correctness Proof of the {Nelson-Oppen} Combination Procedure. [Citation Graph (0, 0)][DBLP]
    Frontiers of Combining Systems (FroCos), 1996, pp:103-119 [Conf]
  4. Mitchell D. Lubars, Mehdi T. Harandi
    Knowledge-Based Software Design Using Design Schemas. [Citation Graph (0, 0)][DBLP]
    ICSE, 1987, pp:253-262 [Conf]
  5. Jim Q. Ning, Mehdi T. Harandi
    Automating the function-level understanding of programs. [Citation Graph (0, 0)][DBLP]
    IEA/AIE (2), 1989, pp:631-636 [Conf]
  6. Simon M. Kaplan, Ralph E. Johnson, Roy H. Campbell, Samuel N. Kamin, James M. Purtilo, Mehdi T. Harandi, Jane W.-S. Liu
    An Architecture for Tool Integration. [Citation Graph (0, 0)][DBLP]
    Advanced Programming Environments, 1986, pp:112-125 [Conf]
  7. Mehdi T. Harandi, Sanjay Bhansali
    Program Derivation Using Analogy. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1989, pp:389-394 [Conf]
  8. Sanjay Bhansali, Mehdi T. Harandi
    Handling Multiple Inheritance with Exceptions: An Alternative Approach. [Citation Graph (0, 0)][DBLP]
    KBCS, 1989, pp:397-406 [Conf]
  9. Mehdi T. Harandi, Hing-Yan Lee
    Acquiring Software Design Schemas: A Machine Learning Perspective. [Citation Graph (0, 0)][DBLP]
    KBSE, 1991, pp:188-197 [Conf]
  10. Kanth Miriyala, Mehdi T. Harandi
    The Role of Analogy in Specification Derivation. [Citation Graph (0, 0)][DBLP]
    KBSE, 1991, pp:117-126 [Conf]
  11. Mehdi T. Harandi
    The Role of Analogy in Software Reuse. [Citation Graph (0, 0)][DBLP]
    SAC, 1993, pp:40-47 [Conf]
  12. Mehdi T. Harandi, G. Rendon
    Classification and organizational issues in distributed problem solving. [Citation Graph (0, 0)][DBLP]
    SAC, 1998, pp:65-69 [Conf]
  13. Mehdi T. Harandi, Hing-Yan Lee
    Acquiring Design Schemas for Software Reuse. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:491-498 [Conf]
  14. Mehdi T. Harandi, Hing-Yan Lee
    A Support Envimnment for Knowledge-Based Software Design. [Citation Graph (0, 0)][DBLP]
    SEKE, 1992, pp:71-79 [Conf]
  15. Mehdi T. Harandi, Thierry Schang, Seth Cohen
    Rule Base Management Using Meta Knowledge. [Citation Graph (0, 1)][DBLP]
    SIGMOD Conference, 1986, pp:261-267 [Conf]
  16. Joshua E. Caplan, Mehdi T. Harandi
    A Logical Framework for Software Proof Reuse. [Citation Graph (0, 0)][DBLP]
    SSR, 1995, pp:106-113 [Conf]
  17. T. J. Howkins, Mehdi T. Harandi
    Towards More Portable COBOL. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1979, v:22, n:4, pp:290-295 [Journal]
  18. Cesare Tinelli, Mehdi T. Harandi
    Constraint Logic Programming over Unions of Constraint Theories. [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 1998, v:1998, n:6, pp:- [Journal]
  19. Sanjay Bhansali, Mehdi T. Harandi
    Synthesis of UNIX Programs Using Derivational Analogy. [Citation Graph (0, 0)][DBLP]
    Machine Learning, 1993, v:10, n:, pp:7-55 [Journal]
  20. Mehdi T. Harandi, Jim Q. Ning
    Knowledge-Based Program Analysis. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1990, v:7, n:1, pp:74-81 [Journal]
  21. Mehdi T. Harandi
    An Experimental COBOL Restructuring System. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1983, v:13, n:9, pp:825-846 [Journal]
  22. Kanth Miriyala, Mehdi T. Harandi
    Automatic Derivation of Formal Software Specifications From Informal Descriptions. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1991, v:17, n:10, pp:1126-1142 [Journal]

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