Mehdi T. Harandi Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Sanjay Bhansali [6] [7] [13] [15]
2Roy H. Campbell [4]
3Joshua E. Caplan [18]
4Seth Cohen [3]
5T. J. Howkins [1]
6Ralph E. Johnson [4]
7Samuel N. Kamin (Sam Kamin) [4]
8Simon M. Kaplan [4]
9Hing-Yan Lee [11] [14] [16]
10Jane W.-S. Liu [4]
11Mitchell D. Lubars [5]
12Kanth Miriyala [10] [12]
13Jim Q. Ning [8] [9]
14James M. Purtilo [4]
15G. Rendon [22]
16Thierry Schang [3]
17Cesare Tinelli [19] [20] [21]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)