Gerald J. Popek

Available identifiers

zbMath Open popek.gerald-jMaRDI QIDQ218037

List of research outcomes

Publication	Date of Publication	Type
Disseminating security updates at internet scale	2004-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q4794439	2003-02-17	Paper
A conceptual framework for network and client adaptation	2003-02-17	Paper
Replication requirements in mobile environments	2002-04-02	Paper
Specification and verification of the UCLA Unix security kernel	1980-01-01	Paper
A locking protocol for resource coordination in distributed databases	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4184271	1979-01-01	Paper
Proof rules for the programming language Euclid	1978-01-01	Paper
A model for verification of data security in operating systems	1978-01-01	Paper
Formal requirements for virtualizable third generation architectures	1974-01-01	Paper

Research outcomes over time

This page was built for person: Gerald J. Popek