@article{lakmazaheri_rasdorf_1996, title={A review and assessment of the Journal of Computing in Civil Engineering}, volume={10}, number={2}, journal={Journal of Computing in Civil Engineering}, author={Lakmazaheri, S. and Rasdorf, W. J.}, year={1996}, pages={95–96} }
 @article{lakmazaheri_rasdorf_1992, title={AN ARTIFACT MODELING APPROACH FOR DEVELOPING INTEGRATED ENGINEERING SYSTEMS}, volume={27}, ISSN={["0360-1323"]}, DOI={10.1016/0360-1323(92)90023-I}, abstractNote={Engineering problem solving can be viewed as a transformation process in which the initial description of an engineering system (artifact) transforms to its final description. This paper presents a single yet powerful approach for modeling engineering artifacts. The approach involves using (1) a symbolic language for representing engineering artifacts in terms of objects and relations and (2) a mechanical strategy for manipulating engineering artifacts. The approach provides a common platform for modeling different phases of the engineering problem solving process, thus facilitating system integration.}, number={2}, journal={BUILDING AND ENVIRONMENT}, author={LAKMAZAHERI, S and RASDORF, WJ}, year={1992}, month={Apr}, pages={209–220} }
 @article{rasdorf_lakmazaheri_1991, title={A logic-based approach for processing design standards}, volume={4}, DOI={10.1017/s0890060400002377}, abstractNote={A logic-based approach for automating the processing of design standards is illustrated. This approach is composed of three steps: conceptualization, formalization and implementation. Conceptualization is referred to as the representation of the knowledge necessary for solving the problem of interest in terms of objects and relations. Formalization is referred to as the representation of the objects and relations of interest as axioms using the language of predicate calculus. And, Implementation is referred to as the representation of the axioms of interest and the strategy for manipulating axioms using the constructs of a programming language.}, number={3}, journal={International Journal of Artificial Intelligence in Engineering Design, Analysis and Manufacturing}, author={Rasdorf, W. and Lakmazaheri, S.}, year={1991}, pages={179–192} }
 @inproceedings{lakmazaheri_rasdorf_1990, title={A formal approach to structural design using predicate logic}, booktitle={Proceedings of the First International Workshop on Formal Methods in Engineering Design, Manufacturing, and Assembly}, publisher={Colorado Springs, CO: ASME}, author={Lakmazaheri, S. and Rasdorf, W.}, year={1990}, pages={247–259} }
 @inproceedings{rasdorf_lakmazaheri_abudayyeh_1990, title={A supervisory system for CAD/CAM of custom orthopedic footwear and its prototype implementation}, ISBN={0791805158}, booktitle={Computers in engineering, 1990: Proceedings of the 1990 ASME International Computers in Engineering Conference and Exposition, August 5-9, Boston, Massachusetts}, publisher={New York, NY: American Society of Mechanical Engineers}, author={Rasdorf, W. J. and Lakmazaheri, S. and Abudayyeh, O. Y.}, year={1990} }
 @article{rasdorf_lakmazaheri_1990, title={Logic-based approach for modeling organization of design standards}, volume={4}, DOI={10.1061/(asce)0887-3801(1990)4:2(102)}, abstractNote={Several studies have been conducted on representing and processing design standards for design automation. One of the main outcomes of these studies is the standards analysis, synthesis, and expression (SASE) model. To extend the utility of the SASE model for processing (reasoning about) design standards, a logic‐based approach is proposed. This approach provides: (1) A formal language, founded on predicate logic, for representing the standard; and (2) a mechanical means for reasoning about the standard using the language. The formal language is used to model the overall organization of a portion of the American Institute of Steel Construction (AISC) design specification. The model, called the formal organizational submodel, is composed of a set of axioms that capture the relationships between the classifiers and the provisions of the standard. Reasoning about the formal organizational submodel is accomplished using the resolution theorem proving strategy. This paper's main contribution is its use of pred...}, number={2}, journal={Journal of Computing in Civil Engineering}, author={Rasdorf, W. J. and Lakmazaheri, S.}, year={1990}, pages={102–123} }
 @article{lakmazaheri_rasdorf_1990, title={THE ANALYSIS AND PARTIAL SYNTHESIS OF TRUSS STRUCTURES VIA THEOREM-PROVING}, volume={6}, ISSN={["0177-0667"]}, DOI={10.1007/bf01200202}, abstractNote={A use of theorem proving for the analysis and partial synthesis of truss structures is presented. The behavior of a truss structure is modeled as the set union of the behavior of its constituent components where the behavior of each component is modeled by a set of constraints. This component/constraint model is formally represented by a set of axioms using predicate logic. The axioms are then used toanalyze and partiallysynthesize truss structures via theorem proving. Constraint logic programming is identified as a suitable implementation vehicle for the analysis and partial synthesis of truss structures via theorem proving. Several important implications of the formulation for structural design automation, data base integrity, and parallel processing are discussed.}, number={1}, journal={ENGINEERING WITH COMPUTERS}, author={LAKMAZAHERI, S and RASDORF, WJ}, year={1990}, pages={31–45} }
 @article{rasdorf_lakmazaheri_abudayyeh_1990, title={THE DEVELOPMENT OF A GEOMETRIC MODELING DATABASE-MANAGEMENT INTERFACE}, volume={12}, ISSN={["0961-3552"]}, DOI={10.1016/0141-1195(90)90022-X}, abstractNote={In order to transfer data between two software systems used as part of an overall CAD/CAM system for the design and manufacture of custom orthopedic footwear, we developed an interface program to map the system's imputs and outputs. This paper discusses the NASCAD-RIM Interface version 1.0 for these two systems, the NASCAD geometric modeler and the RIM relational database management system. This interface program for these widely used systems could prove useful to software developers and users.}, number={2}, journal={ADVANCES IN ENGINEERING SOFTWARE AND WORKSTATIONS}, author={RASDORF, WJ and LAKMAZAHERI, S and ABUDAYYEH, O}, year={1990}, month={Apr}, pages={84–89} }
 @inproceedings{lakmazaheri_rasdorf_1989, title={A formal approach to structural design automation using predicate logic}, ISBN={0791803619}, booktitle={Design theory and methodology, DTM '89: Presented at the 1989 ASME Design Technical Conferences, 1st International Conference on Design Theory and Methodology, Montreal, Quebec, Canada, September 17-21, 1989}, publisher={Chicago, IL: American Society of Mechanical Engineers}, author={Lakmazaheri, S. and Rasdorf, W. J.}, year={1989}, pages={259–266} }
 @article{lakmazaheri_rasdorf_1989, title={Constraint logic programming for the analysis and partial synthesis of truss structures}, volume={3}, DOI={10.1017/s0890060400001207}, abstractNote={A general constraint-based formulation for the analysis and partial synthesis of two-dimensional truss structures is presented. This formulation is general in that it handles statically determinate and statically indeterminate trusses with pin and roller supports, and concentrated joint loads. The formulation is constraint-based in that the physical behavior of truss components is declaratively represented using constraints.}, number={3}, journal={Engineering With Computers}, author={Lakmazaheri, S. and Rasdorf, W.}, year={1989}, pages={157–173} }
 @inproceedings{rasdorf_abudayyeh_lakmazaheri_1989, title={The structure of an interface linking NASCAD and RIM}, ISBN={0791803597}, booktitle={Engineering database management: Leadership key for the 90's, presented at the 1989 International Computers in Engineering Conference and Exposition, July 30-August 3, 1989, Anaheim, California}, publisher={Anaheim, CA: American Society of Mechanical Engineers}, author={Rasdorf, W. J. and Abudayyeh, O. Y. and Lakmazaheri, S.}, year={1989} }
 @inproceedings{rasdorf_lakmazaheri_boose_wallace_1988, title={The architecture of an integrated CAD/CAM system for the design and manufacturing of custom orthopedic footwear}, booktitle={Managing engineering data: Emerging issues : Presented at the 1988 ASME International Computers in Engineering Conference and Exhibition, July 31-August 4, 1988, San Francisco, California}, publisher={San Francisco, CA: American Society of Mechanical Engineers}, author={Rasdorf, W. J. and Lakmazaheri, S. and Boose, L. K. and Wallace, R. J.}, year={1988} }