 2003 | Ergodic theory of one-dimensional dynamics |
| 2003 | Grammatical evolution to design fractal curves with a given dimension |
| 2003 | High-performance linear algebra algorithms using new generalized data structures for matrices |
| 2003 | Mathematical sciences in the nineties |
| 2003 | On greedy algorithms, partially ordered sets, and submodular functions |
| 2002 | Fast pseudorandom-number generators with modulus 2k or 2k−1 using fused multiply–add |
| 2000 | Cryptography |
| 1997 | Fast and effective algorithms for graph partitioning and sparse-matrix ordering |
| 1995 | A three-dimensional approach to parallel matrix multiplication |
| 1995 | A walk along the branches of the extended Farey Tree |
| 1987 | A CCS semantics for NIL |
| 1987 | A view of Approximation Theory |
| 1987 | Applied mathematics, a national view |
| 1987 | Cryptography |
| 1987 | Direct semantics of concurrent languages in the SMoLCS approach |
| 1987 | Factoring logic functions |
| 1987 | Fourier transforms that respect crystallographic symmetries |
| 1987 | Numerical analysis and the scientific method |
| 1987 | Reflections on the early days of the department |
| 1987 | Science in industry |
| 1987 | Some aspects of the theory of statistical control schemes |
| 1987 | Some stability techniques for multistep methods |
| 1987 | Specification statements and refinement |
| 1987 | The complexity of computations by networks |
| 1987 | The group problem and integer programming duality |
| 1987 | The torus and the disk |
| 1987 | Transaction processing primitives and CSP |
| 1977 | Boundary Layer Around a Liquid Jet |
| 1977 | Comment on “Decomposition of a Data Base and the Theory of Boolean Switching Functions” |
| 1977 | Digital Technique for Generating Synthetic Aperture Radar Images |
| 1977 | Functional Dependencies in a Relational Database and Propositional Logic |
| 1977 | Improving the Computation of Lower Bounds for Optimal Schedules |
| 1977 | Linear Filtering Technique for Computing Mersenne and Fermat Number Transforms |
| 1977 | Multidimensional Bin Packing Algorithms |
| 1977 | Satellite Droplet Formation in a Liquid Jet |
| 1977 | Zero Order and Nonzero Order Decision Rules in Medical Diagnosis |
| 1976 | Bases for Chain-complete Posets |
| 1976 | Bicubic Patch Surfaces for High-Speed Numerical Control Processing |
| 1976 | Complex Convolutions via Fermat Number Transforms |
| 1976 | Cubic Splines with Infinite Derivatives at Some Knots |
| 1976 | Digital Filtering Using Complex Mersenne Transforms |
| 1976 | Error Correcting Codes for Satellite Communication Channels |
| 1976 | Optimization of Single Expressions in a Relational Data Base System |
| 1976 | Scheduling as a Graph Transformation |
| 1976 | Walsh Functions for Digital Impedance Relaying of Power Lines |
| 1975 | Interpolation with Discontinuous Functions: Application to Calculation of Shocks |
| 1975 | Mathematical Construct for Program Reorganization |
| 1975 | Multiconic Surfaces |
| 1975 | On Some Relations between the Laplace and Mellin Transforms |
| 1975 | Stream Processing Functions |
| 1975 | Theory of Liquid Ink Development in Electrophotography |
| 1973 | Action Potential of the Motorneuron |
| 1973 | Age-specific, Deterministic Model of Predator-Prey Populations: Application to Isle Royale |
| 1973 | Approximating Pre-emptive Priority Dispatching in a Multiprogramming Model |
| 1973 | Asymptotic Expansion for Small Magnetic Fields of Acoustoelectric Attenuation in Nondegenerate Semiconductors |
| 1973 | Comparison of Two Methods of Modeling Stationary EEG Signals |
| 1973 | Computer Interference Analysis |
| 1973 | Decomposition of a Data Base and the Theory of Boolean Switching Functions |
| 1973 | Empirically Derived Micromodels for Sequences of Page Exceptions |
| 1973 | Identifying and Understanding Patterns and Processes in Human Shock and Trauma |
| 1973 | Linearization of Cauchy’s Problem for Quadratic Semilinear Partial Differential Equations |
| 1973 | Lower Bounds for the Partitioning of Graphs |
| 1973 | Numerical Calculation of Self-Focusing and Trapping of a Short Light Pulse in Kerr Liquids |
| 1973 | On a Nonlinear Diffusion Equation Describing Population Growth |
| 1973 | Optimum Storage Allocation for a File in Steady State |
| 1973 | Optimum Storage Allocation for a File with Open Addressing |
| 1973 | Quasimaximum Likelihood Estimators for Two-parameter Gamma Distributions |
| 1973 | Steady State Mathematical Theory for the Insulated Gate Field Effect Transistor |
| 1973 | Theory and Computer-aided Analysis of Lossless Transmission Lines |
| 1973 | Theory of MNOS Memory Device Behavior |
| 1973 | Transport Properties of the Semiconductor Superlattice |
| 1970 | Iterated Consensus Method for Multiple-output Functions |
| 1970 | On the Correlation Matrices of Trigonometric Product Functions |
| 1969 | Parallel Methods for Approximating the Root of a Function |
| 1969 | Symbolic Polynomial Operations with APL |
| 1968 | Algebraically Generalized Recursive Function Theory |
| 1967 | A Generalized Legendre-Clebsch Condition for the Singular Cases of Optimal Control |
| 1967 | A Numerical Integration Technique for Ordinary Differential Equations with Widely Separated Eigenvalues |
| 1967 | Elliptic Equations |
| 1967 | Hyperbolic Difference Equations: A Review of the Courant–Friedrichs–Lewy Paper in the Light of Recent Developments |
| 1967 | On Difference Methods for Parabolic Equations and Alternating Direction Implicit Methods for Elliptic Equations |
| 1967 | On the Partial Difference Equations of Mathematical Physics |
| 1967 | Some Results in Two-Point Boundary Value Problems |
| 1966 | A Partial Error Analysis for the Solution of Differential Equations in Simulation: A Look at Fowler’s z-Transform Root-Locus Method |
| 1966 | Conditions for Termination of the Method of Steepest Descent after a Finite Number of Iterations |
| 1966 | The Kantorovich Theorem and Two-Point Boundary Value Problems |
| 1965 | Chain Matrices and the Crank–Nicolson Equation |
| 1964 | An Existence Theorem for the BCS Integral Equation |
| 1964 | Derivation of Maximal Compatibles Using Boolean Algebra |
| 1962 | Generalizations of Horner’s Rule for Polynomial Evaluation |
| 1962 | Solutions of the BCS Integral Equation and Deviations from the Law of Corresponding States |
| 1960 | A Proof Method for Quantification Theory: Its Justification and Realization |
| 1960 | Automorphisms of Steiner Triple Systems |
| 1960 | Information Theoretical Analysis of Multivariate Correlation |
| 1960 | On Dimensional Analysis |
| 1960 | On the Exceptional Case in a Characterization of the Arcs of a Complete Graph |
| 1960 | Solving a Matrix Game by Linear Programming |
| 1960 | Some Combinatorial Lemmas in Topology |
| 1960 | Toward Mechanical Mathematics |
| 1960 | Traces, Term Ranks, Widths and Heights |
| 1959 | Computation of Sin N, Cos N, and m√N Using an Electronic Computer |
| 1959 | Diffusion Attenuation, Part I |
| 1959 | Elementary Divisors of Normal Matrices |
| 1959 | Numerical Solution of Laplace’s Equation, Given Cauchy Conditions |
| 1959 | On the Mathematical Theory of Error-Correcting Codes |
| 1959 | On the Reduction of Continuous Problems to Discrete Form |
| 1958 | A Note on the Computation of Eigenvalues and Vectors of Hermitean Matrices |
| 1958 | An Error-Sampled Sweep-Position Control System |
| 1958 | Computation of Arcsin N for 0 < N < 1 Using an Electronic Computer |
| 1958 | Computation of Arctan N for −∞ < N < +∞ |
| 1957 | A Positive-Integer Arithmetic for Data Processing |
| 1957 | Computation of eN for −∞ < N < +∞ |
| 1957 | On the Theory of Relaxation Processes |
