Mitchell O. Locks

Available identifiers

zbMath Open locks.mitchell-oMaRDI QIDQ1393229

List of research outcomes

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)	1994-02-07	Paper
Note on disjoint products algorithms	1992-09-27	Paper
A Minimizing Algorithm for Sum of Disjoint Products	1987-01-01	Paper
Recent Developments in Computing of System-Reliability	1985-01-01	Paper
Comments on: Improved Method of Inclusion-Exclusion Applied to k-out-of-n Systems	1984-01-01	Paper
Recursive Disjoint Products: A Review of Three Algorithms	1982-01-01	Paper
Quinean Minimization: Some Suggested Modifications	1982-01-01	Paper
Recursive Disjoint Products, Inclusion-Exclusion, and Min-Cut Approximations	1980-01-01	Paper
Evaluating the KTI Monte Carlo Method for System Reliability Calculations	1979-01-01	Paper
Inverting and Minimizing Boolean Functions, Minimal Paths and Minimal Cuts: Noncoherent System Analysis	1979-01-01	Paper
Synthesis of Fault Trees: An Example of Noncoherence	1979-01-01	Paper
Inverting and Minimalizing Path Sets and Cut Sets	1978-01-01	Paper
Minimalization of Boolean polynomials, truth functions, and lattices	1978-01-01	Paper
Logical and probability analysis of systems	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4157849	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4158361	1978-01-01	Paper
Relationship Between Minimal Path Sets and Cut Sets	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4138708	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4098536	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4128244	1974-01-01	Paper
Automatic Programming for Automatic Computers	1959-01-01	Paper

Research outcomes over time

This page was built for person: Mitchell O. Locks