Carl A. Gunter

Available identifiers

Publication	Date of Publication	Type
Sets as anti-chains	2024-06-21	Paper
An abstract interpretation for ML equality kinds	2022-08-16	Paper
Formal verification of standards for distance vector routing protocols	2015-12-07	Paper
What packets may come: automata for network monitoring	2015-03-17	Paper
Generalized certificate revocation	2015-03-17	Paper
Network event recognition	2006-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q2754032	2001-11-11	Paper
Policy-directed certificate retrieval	2001-11-01	Paper
The common order-theoretic structure of version spaces and ATMSs	1998-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q4385538	1998-05-14	Paper
Reference counting as a computational interpretation of linear logic	1997-05-12	Paper
https://portal.mardi4nfdi.de/entity/Q4855339	1996-04-16	Paper
https://portal.mardi4nfdi.de/entity/Q4288818	1994-04-19	Paper
Computing ML equality kinds using abstract interpretation	1994-03-24	Paper
The mixed powerdomain	1993-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q4005172	1992-09-27	Paper
Inheritance as implicit coercion	1992-06-25	Paper
Coherence and consistency in domains	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3204024	1989-01-01	Paper
Domain theoretic models of polymorphism	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3787462	1988-01-01	Paper
Universal profinite domains	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3746911	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3711753	1985-01-01	Paper

This page was built for person: Carl A. Gunter