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