Michael Stay

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
Native type theory (available as arXiv preprint)	2024-02-13	Paper
Native type theory	2024-02-13	Paper
Compact closed bicategories Theory and Applications of Categories	2016-10-11	Paper
Compact closed bicategories Theory and Applications of Categories	2016-10-11	Paper
scientific article; zbMATH DE number 6019528 (Why is no real title available?)	2012-03-29	Paper
scientific article; zbMATH DE number 5604132 (Why is no real title available?)	2009-09-15	Paper
Most programs stop quickly or never halt Advances in Applied Mathematics	2008-04-28	Paper
From Heisenberg to Gödel via Chaitin International Journal of Theoretical Physics	2007-11-21	Paper
Natural halting probabilities, partial randomness, and zeta functions Information and Computation	2007-01-22	Paper
From Heisenberg to Gödel via Chaitin International Journal of Theoretical Physics	2006-09-28	Paper
Very Simple Chaitin Machines for Concrete AIT (available as arXiv preprint)	2006-06-19	Paper
scientific article; zbMATH DE number 2186897 (Why is no real title available?)	2005-07-11	Paper
scientific article; zbMATH DE number 2186897 (Why is no real title available?) (available as arXiv preprint)	2005-07-11	Paper
scientific article; zbMATH DE number 2186897 (Why is no real title available?)	2005-07-11	Paper
ZIP Attacks with Reduced Known Plaintext Fast Software Encryption	2004-08-12	Paper

Research outcomes over time

This page was built for person: Michael Stay