Richard A. DeMillo

MaRDI QIDQ181989zbMATH OpenDBLPWikidataFDO

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
scientific article; zbMATH DE number 7526292 (Why is no real title available?)	2022-05-12	Paper
On the importance of eliminating errors in cryptographic computations Journal of Cryptology	2003-08-26	Paper
Social processes and proofs of theorems and programs The Mathematical Intelligencer	1980-01-01	Paper
Space-Time Trade-Offs in Structured Programming Journal of the ACM	1980-01-01	Paper
A constructive generalization of the borel-cantelli lemma with application to the complexity of infinite strings Mathematical Systems Theory	1979-01-01	Paper
A probabilistic remark on algebraic program testing Information Processing Letters	1978-01-01	Paper
Preserving average proximity in arrays Communications of the ACM	1978-01-01	Paper
Some applications of model theory to the metatheory of program schemata Notre Dame Journal of Formal Logic	1977-01-01	Paper
A Study of Schedules as Models of Synchronous Parallel Computation Journal of the ACM	1977-01-01	Paper
Space and Time Hierarchies for Classes of Control Structures and Data Structures Journal of the ACM	1976-01-01	Paper
On the Computational Complexity of a Generalized Scheduling Problem IEEE Transactions on Computers	1976-01-01	Paper
scientific article; zbMATH DE number 3635492 (Why is no real title available?)	1975-01-01	Paper
Non-definability of certain semantic properties of programs Notre Dame Journal of Formal Logic	1975-01-01	Paper
scientific article; zbMATH DE number 3540389 (Why is no real title available?)	1974-01-01	Paper
scientific article; zbMATH DE number 3566143 (Why is no real title available?)	1974-01-01	Paper

Research outcomes over time

This page was built for person: Richard A. DeMillo