Works (12)

1996 journal article

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

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

By: S. Lakmazaheri & W. Rasdorf

Source: NC State University Libraries
Added: August 6, 2018

1992 journal article

An artifact modeling approach for developing integrated engineering systems

Building and Environment, 27(2), 209–220.

By: S. Lakmazaheri & W. Rasdorf

Source: NC State University Libraries
Added: August 6, 2018

1991 journal article

A logic-based approach for processing design standards

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

By: W. Rasdorf & S. Lakmazaheri

Source: NC State University Libraries
Added: August 6, 2018

1990 conference paper

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.

By: S. Lakmazaheri & W. Rasdorf

Source: NC State University Libraries
Added: August 6, 2018

1990 conference paper

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.

By: W. Rasdorf, S. Lakmazaheri & O. Abudayyeh

Source: NC State University Libraries
Added: August 6, 2018

1990 journal article

Logic-based approach for modeling organization of design standards

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

By: W. Rasdorf & S. Lakmazaheri

Source: NC State University Libraries
Added: August 6, 2018

1990 journal article

The analysis and partial synthesis of truss structures via theorem proving

International Journal of Engineering with Computers, 6(1), 31–45.

By: S. Lakmazaheri & W. Rasdorf

Source: NC State University Libraries
Added: August 6, 2018

1990 journal article

The development of a geometric modeling/database management interface

Advances in Engineering Software, 12(2), 84–89.

By: W. Rasdorf, S. Lakmazaheri & O. Abudayyeh

Source: NC State University Libraries
Added: August 6, 2018

1989 conference paper

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.

By: S. Lakmazaheri & W. Rasdorf

Source: NC State University Libraries
Added: August 6, 2018

1989 journal article

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

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

By: S. Lakmazaheri & W. Rasdorf

Source: NC State University Libraries
Added: August 6, 2018

1989 conference paper

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.

By: W. Rasdorf, O. Abudayyeh & S. Lakmazaheri

Source: NC State University Libraries
Added: August 6, 2018

1988 conference paper

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.

By: W. Rasdorf, S. Lakmazaheri, L. Boose & R. Wallace

Source: NC State University Libraries
Added: August 6, 2018