×
Compute Distance To:
Author ID: gunter.carl-a Recent zbMATH articles by "Gunter, Carl A."
Published as: Gunter, Carl A.; Gunter, C. A.; Gunter, Carl

Publications by Year

Citations contained in zbMATH Open

20 Publications have been cited 275 times in 234 Documents Cited by Year
Semantics of programming languages. Structures and techniques. Zbl 0823.68059
Gunter, Carl A.
68
1992
Semantic domains. Zbl 0900.68301
Gunter, C. A.; Scott, Dana S.
52
1990
Theoretical aspects of object-oriented programming. Types, semantics, and language design. Zbl 0828.68036
30
1994
Domain theoretic models of polymorphism. Zbl 0683.03007
Coquand, Thierry; Gunter, Carl; Winskel, Glynn
25
1989
Inheritance as implicit coercion. Zbl 0799.68129
Breazu-Tannen, Val; Coquand, Thierry; Gunter, Carl A.; Scedrov, Andre
25
1991
Universal profinite domains. Zbl 0628.68050
Gunter, Carl A.
18
1987
Formal verification of standards for distance vector routing protocols. Zbl 1326.68039
Bhargavan, Karthikeyan; Obradovic, Davor; Gunter, Carl A.
11
2002
Coherence and consistency in domains. Zbl 0686.68062
Gunter, Carl A.; Jung, Achim
10
1990
Inheritance and explicit coercion. Zbl 0716.68012
Breazu-Tannen, V.; Coquand, T.; Gunter, C. A.; Scedrov, A.
9
1989
dI-domains as a model of polymorphism. Zbl 0644.68041
Coquand, Thierry; Gunter, Carl; Winskel, Glynn
6
1988
PLAN: a packet language for active networks. Zbl 1369.68075
Hicks, Michael; Kakkar, Pankaj; Moore, Jonathan T.; Gunter, Carl A.; Nettles, Scott
5
1997
The mixed powerdomain. Zbl 0764.68092
Gunter, Carl A.
4
1992
Comparing categories of domains. Zbl 0607.68064
Gunter, Carl A.
2
1986
Specifying the PLAN network programming language. Zbl 0958.68103
Kakkar, Pankaj; Hicks, Michael; Moore, Jon; Gunter, Carl A.
2
1999
A universal domain technique for profinite posets. Zbl 0586.68046
Gunter, Carl A.
2
1985
Routing information protocol in HOL/SPIN. Zbl 0974.68010
Bhargavan, Karthikeyan; Gunter, Carl A.; Obradovic, Davor
2
2000
Generalized certificate revocation. Zbl 1323.94113
Gunter, Carl A.; Jim, Trevor
1
2000
What packets may come: automata for network monitoring. Zbl 1323.68199
Bhargavan, Karthikeyan; Chandra, Satish; McCann, Peter J.; Gunter, Carl A.
1
2001
Reference counting as a computational interpretation of linear logic. Zbl 0861.03025
Chirimar, Jawahar; Gunter, Carl A.; Riecke, Jon G.
1
1996
Network event recognition. Zbl 1083.68001
Bhargavan, Karthikeyan; Gunter, Carl A.
1
2005
Network event recognition. Zbl 1083.68001
Bhargavan, Karthikeyan; Gunter, Carl A.
1
2005
Formal verification of standards for distance vector routing protocols. Zbl 1326.68039
Bhargavan, Karthikeyan; Obradovic, Davor; Gunter, Carl A.
11
2002
What packets may come: automata for network monitoring. Zbl 1323.68199
Bhargavan, Karthikeyan; Chandra, Satish; McCann, Peter J.; Gunter, Carl A.
1
2001
Routing information protocol in HOL/SPIN. Zbl 0974.68010
Bhargavan, Karthikeyan; Gunter, Carl A.; Obradovic, Davor
2
2000
Generalized certificate revocation. Zbl 1323.94113
Gunter, Carl A.; Jim, Trevor
1
2000
Specifying the PLAN network programming language. Zbl 0958.68103
Kakkar, Pankaj; Hicks, Michael; Moore, Jon; Gunter, Carl A.
2
1999
PLAN: a packet language for active networks. Zbl 1369.68075
Hicks, Michael; Kakkar, Pankaj; Moore, Jonathan T.; Gunter, Carl A.; Nettles, Scott
5
1997
Reference counting as a computational interpretation of linear logic. Zbl 0861.03025
Chirimar, Jawahar; Gunter, Carl A.; Riecke, Jon G.
1
1996
Theoretical aspects of object-oriented programming. Types, semantics, and language design. Zbl 0828.68036
30
1994
Semantics of programming languages. Structures and techniques. Zbl 0823.68059
Gunter, Carl A.
68
1992
The mixed powerdomain. Zbl 0764.68092
Gunter, Carl A.
4
1992
Inheritance as implicit coercion. Zbl 0799.68129
Breazu-Tannen, Val; Coquand, Thierry; Gunter, Carl A.; Scedrov, Andre
25
1991
Semantic domains. Zbl 0900.68301
Gunter, C. A.; Scott, Dana S.
52
1990
Coherence and consistency in domains. Zbl 0686.68062
Gunter, Carl A.; Jung, Achim
10
1990
Domain theoretic models of polymorphism. Zbl 0683.03007
Coquand, Thierry; Gunter, Carl; Winskel, Glynn
25
1989
Inheritance and explicit coercion. Zbl 0716.68012
Breazu-Tannen, V.; Coquand, T.; Gunter, C. A.; Scedrov, A.
9
1989
dI-domains as a model of polymorphism. Zbl 0644.68041
Coquand, Thierry; Gunter, Carl; Winskel, Glynn
6
1988
Universal profinite domains. Zbl 0628.68050
Gunter, Carl A.
18
1987
Comparing categories of domains. Zbl 0607.68064
Gunter, Carl A.
2
1986
A universal domain technique for profinite posets. Zbl 0586.68046
Gunter, Carl A.
2
1985
all top 5

Cited by 306 Authors

7 Hötzel Escardó, Martín
6 Gunter, Carl A.
5 Libkin, Leonid O.
5 Luo, Zhaohui
4 Coquand, Thierry
4 Ghassemi, Fatemeh
4 Harper, Robert
4 Schmidt, David A.
4 Spreen, Dieter
4 Yoshida, Nobuko
3 Barbanera, Franco
3 Berardi, Stefano
3 Bruce, Kim B.
3 Compagnoni, Adriana B.
3 Crole, Roy L.
3 Droste, Manfred
3 Edalat, Abbas
3 Fokkink, Willem Jan
3 Gunji, Yukio-Pegio
3 Honda, Kohei
3 Rodríguez-Artalejo, Mario
3 Schellekens, Michel P.
3 Scott, Philip J.
2 Abramsky, Samson
2 Abrial, Jean-Raymond
2 Alessi, Fabio
2 Baier, Christel
2 Barthe, Gilles
2 Basin, David A.
2 Blute, Richard F.
2 Castagna, Giuseppe
2 Chen, Yixiang
2 Crary, Karl
2 Dami, Laurent
2 de’Liguoro, Ugo
2 Duggan, Dominic
2 Fiech, Adrian
2 Gil, Joseph
2 Heckmann, Reinhold
2 Hennessy, Matthew C. B.
2 Hoang, Thai Son
2 Höfner, Peter
2 Jung, Achim
2 Kuruma, Hironobu
2 Li, Qingguo
2 Liquori, Luigi
2 Movaghar, Ali
2 Nanz, Sebastian
2 O’Hearn, Peter W.
2 Pfenning, Frank
2 Poll, Erik
2 Pucella, Riccardo
2 Pym, David J.
2 Riecke, Jon G.
2 Schrijvers, Tom
2 Scott, Dana Stewart
2 Smyth, Michael B.
2 Tofts, Chris
2 van Bakel, Steffen
2 van Glabbeek, Robert Jan
2 Winskel, Glynn
2 Wu, Mingyuan
2 Yamada, Norihiro
2 Zibin, Yoav
1 Abadi, Martín
1 Aceto, Luca
1 Adams, Robin
1 Amadio, Roberto M.
1 Ancona, Davide
1 Aspinall, David
1 Bainbridge, E. S.
1 Baldan, Paolo
1 Banach, Richard
1 Barendregt, Hendrik Pieter
1 Bauer, Andrej
1 Bedregal, Benjamín René Callejas
1 Berger, Martin J.
1 Berline, Chantal
1 Bertossi, Leopoldo E.
1 Bertrand, Claude
1 Bhargavan, Karthikeyan
1 Bickford, Mark
1 Bierman, Gavin M.
1 Biernacki, Dariusz
1 Birkedal, Lars
1 Blaaberg, Bettina
1 Borgström, Johannes
1 Bouajjani, Ahmed
1 Boyapati, Chandrasekhar
1 Breazu-Tannen, Val
1 Bres, Emile
1 Brink, Chris
1 Britz, Katarina
1 Brookes, Stephen D.
1 Burn, Geoffrey L.
1 Caballero, Rafael E.
1 Calabrese, Philip G.
1 Cardone, Felice
1 Carter, Larry
1 Chakaravarthy, Venkatesan T.
...and 206 more Authors
all top 5

Cited in 42 Serials

63 Theoretical Computer Science
23 Information and Computation
12 MSCS. Mathematical Structures in Computer Science
9 Journal of Functional Programming
5 Journal of Pure and Applied Algebra
5 Annals of Pure and Applied Logic
4 Formal Aspects of Computing
3 Acta Informatica
3 Fuzzy Sets and Systems
3 Topology and its Applications
3 Physica D
3 Journal of Computer Science and Technology
3 Applied Categorical Structures
3 Theory of Computing Systems
3 RAIRO. Theoretical Informatics and Applications
3 Journal of Logical and Algebraic Methods in Programming
2 Computers & Mathematics with Applications
2 Algebra Universalis
2 Information Sciences
2 The Journal of Symbolic Logic
2 Studia Logica
2 RAIRO. Informatique Théorique et Applications
2 Formal Methods in System Design
2 Diagrammes
1 Artificial Intelligence
1 Discrete Mathematics
1 Journal of Computer and System Sciences
1 Publications of the Research Institute for Mathematical Sciences, Kyoto University
1 Software. Practice & Experience
1 Science of Computer Programming
1 Mathematical Social Sciences
1 New Generation Computing
1 Distributed Computing
1 Cybernetics and Systems Analysis
1 The Bulletin of Symbolic Logic
1 Soft Computing
1 Higher-Order and Symbolic Computation
1 Concurrency and Computation: Practice & Experience
1 Computer Languages, Systems & Structures
1 Logical Methods in Computer Science
1 Discrete and Continuous Dynamical Systems. Series S
1 Research in the Mathematical Sciences

Citations by Year