Sivand Lakmazaheri

Lakmazaheri, S., & Rasdorf, W. J. (1996). A review and assessment of the Journal of Computing in Civil Engineering. Journal of Computing in Civil Engineering, 10(2), 95–96.

LAKMAZAHERI, S., & RASDORF, W. J. (1992). AN ARTIFACT MODELING APPROACH FOR DEVELOPING INTEGRATED ENGINEERING SYSTEMS. BUILDING AND ENVIRONMENT, 27(2), 209–220. https://doi.org/10.1016/0360-1323(92)90023-I

Rasdorf, W., & Lakmazaheri, S. (1991). A logic-based approach for processing design standards. International Journal of Artificial Intelligence in Engineering Design, Analysis and Manufacturing, 4(3), 179–192. https://doi.org/10.1017/s0890060400002377

Lakmazaheri, S., & Rasdorf, W. (1990). A formal approach to structural design using predicate logic. Proceedings of the First International Workshop on Formal Methods in Engineering Design, Manufacturing, and Assembly, 247–259. Colorado Springs, CO: ASME.

Rasdorf, W. J., Lakmazaheri, S., & Abudayyeh, O. Y. (1990). A supervisory system for CAD/CAM of custom orthopedic footwear and its prototype implementation. Computers in engineering, 1990: Proceedings of the 1990 ASME International Computers in Engineering Conference and Exposition, August 5-9, Boston, Massachusetts. New York, NY: American Society of Mechanical Engineers.

Rasdorf, W. J., & Lakmazaheri, S. (1990). Logic-based approach for modeling organization of design standards. Journal of Computing in Civil Engineering, 4(2), 102–123. https://doi.org/10.1061/(asce)0887-3801(1990)4:2(102)

LAKMAZAHERI, S., & RASDORF, W. J. (1990). THE ANALYSIS AND PARTIAL SYNTHESIS OF TRUSS STRUCTURES VIA THEOREM-PROVING. ENGINEERING WITH COMPUTERS, 6(1), 31–45. https://doi.org/10.1007/bf01200202

RASDORF, W. J., LAKMAZAHERI, S., & ABUDAYYEH, O. (1990). THE DEVELOPMENT OF A GEOMETRIC MODELING DATABASE-MANAGEMENT INTERFACE. ADVANCES IN ENGINEERING SOFTWARE AND WORKSTATIONS, 12(2), 84–89. https://doi.org/10.1016/0141-1195(90)90022-X

Lakmazaheri, S., & Rasdorf, W. J. (1989). A formal approach to structural design automation using predicate logic. 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, 259–266. Chicago, IL: American Society of Mechanical Engineers.

Lakmazaheri, S., & Rasdorf, W. (1989). Constraint logic programming for the analysis and partial synthesis of truss structures. Engineering With Computers, 3(3), 157–173. https://doi.org/10.1017/s0890060400001207

Rasdorf, W. J., Abudayyeh, O. Y., & Lakmazaheri, S. (1989). The structure of an interface linking NASCAD and RIM. 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. Anaheim, CA: American Society of Mechanical Engineers.

Rasdorf, W. J., Lakmazaheri, S., Boose, L. K., & Wallace, R. J. (1988). The architecture of an integrated CAD/CAM system for the design and manufacturing of custom orthopedic footwear. 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. San Francisco, CA: American Society of Mechanical Engineers.