Carl A. Gunter

MaRDI QIDQ812047zbMATH OpenFDO

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
Sets as anti-chains	2024-06-21	Paper
An abstract interpretation for ML equality kinds Lecture Notes in Computer Science	2022-08-16	Paper
Formal verification of standards for distance vector routing protocols Journal of the ACM	2015-12-07	Paper
What packets may come: automata for network monitoring Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-03-17	Paper
Generalized certificate revocation Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-03-17	Paper
Network event recognition Formal Methods in System Design	2006-01-23	Paper
scientific article; zbMATH DE number 1670735 (Why is no real title available?)	2001-11-11	Paper
Policy-directed certificate retrieval Software. Practice & Experience	2001-11-01	Paper
The common order-theoretic structure of version spaces and ATMSs Artificial Intelligence	1998-06-30	Paper
scientific article; zbMATH DE number 1142322 (Why is no real title available?)	1998-05-14	Paper
Reference counting as a computational interpretation of linear logic Journal of Functional Programming	1997-05-12	Paper
scientific article; zbMATH DE number 814794 (Why is no real title available?)	1996-04-16	Paper
scientific article; zbMATH DE number 555217 (Why is no real title available?)	1994-04-19	Paper
Computing ML equality kinds using abstract interpretation Information and Computation	1994-03-24	Paper
The mixed powerdomain Theoretical Computer Science	1993-01-16	Paper
scientific article; zbMATH DE number 58286 (Why is no real title available?)	1992-09-27	Paper
Inheritance as implicit coercion Information and Computation	1992-06-25	Paper
Coherence and consistency in domains Journal of Pure and Applied Algebra	1990-01-01	Paper
scientific article; zbMATH DE number 4180771 (Why is no real title available?)	1989-01-01	Paper
Domain theoretic models of polymorphism Information and Computation	1989-01-01	Paper
scientific article; zbMATH DE number 4050971 (Why is no real title available?)	1988-01-01	Paper
Universal profinite domains Information and Computation	1987-01-01	Paper
scientific article; zbMATH DE number 3982548 (Why is no real title available?)	1986-01-01	Paper
scientific article; zbMATH DE number 3940731 (Why is no real title available?)	1985-01-01	Paper

Research outcomes over time

This page was built for person: Carl A. Gunter