Mitchell O. Locks

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Anomalies in interpreting a fault tree (comments, with reply, on 'Automated analysis of phased-mission reliability' by J.B. Dugan) IEEE Transactions on Reliability	1994-02-07	Paper
Note on disjoint products algorithms IEEE Transactions on Reliability	1992-09-27	Paper
A Minimizing Algorithm for Sum of Disjoint Products IEEE Transactions on Reliability	1987-01-01	Paper
Recent Developments in Computing of System-Reliability IEEE Transactions on Reliability	1985-01-01	Paper
Comments on: Improved Method of Inclusion-Exclusion Applied to k-out-of-n Systems IEEE Transactions on Reliability	1984-01-01	Paper
Recursive Disjoint Products: A Review of Three Algorithms IEEE Transactions on Reliability	1982-01-01	Paper
Quinean Minimization: Some Suggested Modifications Journal of Information and Optimization Sciences	1982-01-01	Paper
Recursive Disjoint Products, Inclusion-Exclusion, and Min-Cut Approximations IEEE Transactions on Reliability	1980-01-01	Paper
Evaluating the KTI Monte Carlo Method for System Reliability Calculations IEEE Transactions on Reliability	1979-01-01	Paper
Inverting and Minimizing Boolean Functions, Minimal Paths and Minimal Cuts: Noncoherent System Analysis IEEE Transactions on Reliability	1979-01-01	Paper
Synthesis of Fault Trees: An Example of Noncoherence IEEE Transactions on Reliability	1979-01-01	Paper
scientific article; zbMATH DE number 3589619 (Why is no real title available?)	1978-01-01	Paper
scientific article; zbMATH DE number 3591261 (Why is no real title available?)	1978-01-01	Paper
Inverting and Minimalizing Path Sets and Cut Sets IEEE Transactions on Reliability	1978-01-01	Paper
Minimalization of Boolean polynomials, truth functions, and lattices Notre Dame Journal of Formal Logic	1978-01-01	Paper
Logical and probability analysis of systems Notre Dame Journal of Formal Logic	1978-01-01	Paper
Relationship Between Minimal Path Sets and Cut Sets IEEE Transactions on Reliability	1978-01-01	Paper
scientific article; zbMATH DE number 3566812 (Why is no real title available?)	1976-01-01	Paper
scientific article; zbMATH DE number 3519770 (Why is no real title available?)	1975-01-01	Paper
scientific article; zbMATH DE number 3555728 (Why is no real title available?)	1974-01-01	Paper
Automatic Programming for Automatic Computers Journal of the American Statistical Association	1959-01-01	Paper

Research outcomes over time

This page was built for person: Mitchell O. Locks