Gerald J. Popek

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
Disseminating security updates at internet scale Advances in Information Security	2004-01-11	Paper
scientific article; zbMATH DE number 1869811 (Why is no real title available?) Distributed and Parallel Databases	2003-02-17	Paper
A conceptual framework for network and client adaptation Mobile Networks & Applications	2003-02-17	Paper
Replication requirements in mobile environments Mobile Networks & Applications	2002-04-02	Paper
Specification and verification of the UCLA Unix security kernel Communications of the ACM	1980-01-01	Paper
A locking protocol for resource coordination in distributed databases ACM Transactions on Database Systems	1980-01-01	Paper
scientific article; zbMATH DE number 3621083 (Why is no real title available?)	1979-01-01	Paper
Proof rules for the programming language Euclid Acta Informatica	1978-01-01	Paper
A model for verification of data security in operating systems Communications of the ACM	1978-01-01	Paper
Formal requirements for virtualizable third generation architectures Communications of the ACM	1974-01-01	Paper

Research outcomes over time

This page was built for person: Gerald J. Popek