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
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
Inverting and Minimalizing 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mitchell O. Locks