Karl Levitt

Available identifiers

zbMath Open levitt.karl-nMaRDI QIDQ1285658

List of research outcomes

Publication	Date of Publication	Type
Towards applying the composition principle to verify a microkernel operating system	2024-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q3024895	2005-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4474068	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4425845	2003-09-14	Paper
Discovery of multi-level security policies	2002-01-24	Paper
Formal verification of a programming logic for a distributed programming language	1999-04-28	Paper
Reasoning about programs	1974-01-01	Paper
An Organization for a Highly Survivable Memory	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4068058	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5683688	1972-01-01	Paper
Cellular arrays for the solution of graph problems	1972-01-01	Paper
A survey of progress in coding theory in the Soviet Union	1969-01-01	Paper
Cellular arrays for the parallel implementation of binary error-correcting codes	1969-01-01	Paper
Cellular Interconnection Arrays	1968-01-01	Paper

Research outcomes over time

This page was built for person: Karl Levitt