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
A conceptual framework for network and client adaptation	2003-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q4794439	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Gerald J. Popek