Concepedia

Gary J. Powers

GJ

34

Publications

1.6K

Citations

21

H-Index

1971

Active since

Affiliations

Carnegie Mellon University(Current)

Massachusetts Institute of Technology

Yonsei University

University of Cincinnati

Tufts University

Gary J. Powers is an author at Carnegie Mellon University specializing in engineering, systems engineering, and process control.

Top concepts

EngineeringSystems EngineeringProcess ControlComputer ScienceComputer EngineeringDesignFormal MethodsFormal VerificationChemical EngineeringReliability Engineering

Publications per year

1971–2020

34

Publications

34

Computer-aided Synthesis of Fault-trees

Steven A. Lapp, Gary J. Powers · IEEE Transactions on Reliability · 1977 · 270 citations

Engineering, Computer-aided Synthesis, System Synthesis +18

Synthesis strategies for multicomponent separation systems with energy integration

Ram N. S. Rathore, Kenneth A. Van Wormer, Gary J. Powers · AIChE Journal · 1974 · 136 citations

Process Integration, Chemical Kinetics, Engineering +16

Synthesis of distillation systems with energy integration

Ram N. S. Rathore, Kenneth A. Vanwormer, Gary J. Powers · AIChE Journal · 1974 · 105 citations

Process Integration, Engineering, Energy Efficiency +16

Automatic verification of sequential control systems using temporal logic

Il Moon, Gary J. Powers, Jerry R. Burch et al. · AIChE Journal · 1992 · 90 citations · Full text

Engineering, Verification, Computer-aided Verification +19

Synthesis of system designs: III. Toward a process concept generator

Jeffrey J. Siirola, Gary J. Powers, Dale F. Rudd · AIChE Journal · 1971 · 88 citations

Artificial Intelligence, Abstract Principles, Design Decision +26

Rows per page

1–5 of 34