Multiprogramming with virtual memory—a queueing model
Toward a mathematical theory of graph-generative systems and its applications
“Real-time” equivalence of cellular automata and linear-bounded automata
Linear minimal variance estimation in target detection and location
Optimal open-loop feedback control for linear systems with unknown parameters