Sivand Lakmazaheri

A review and assessment of the Journal of Computing in Civil Engineering

Journal of Computing in Civil Engineering, 10(2), 95–96.

AN ARTIFACT MODELING APPROACH FOR DEVELOPING INTEGRATED ENGINEERING SYSTEMS

BUILDING AND ENVIRONMENT, 27(2), 209–220.

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.

A logic-based approach for processing design standards

International Journal of Artificial Intelligence in Engineering Design, Analysis and Manufacturing, 4(3), 179–192.

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.

Logic-based approach for modeling organization of design standards

Journal of Computing in Civil Engineering, 4(2), 102–123.

THE ANALYSIS AND PARTIAL SYNTHESIS OF TRUSS STRUCTURES VIA THEOREM-PROVING

ENGINEERING WITH COMPUTERS, 6(1), 31–45.

THE DEVELOPMENT OF A GEOMETRIC MODELING DATABASE-MANAGEMENT INTERFACE

ADVANCES IN ENGINEERING SOFTWARE AND WORKSTATIONS, 12(2), 84–89.

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.

Constraint logic programming for the analysis and partial synthesis of truss structures

Engineering With Computers, 3(3), 157–173.

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.

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.