×

zbMATH — the first resource for mathematics

Gordon, Andrew D.

Compute Distance To:
Author ID: gordon.andrew-d Recent zbMATH articles by "Gordon, Andrew D."
Published as: Gordon, Andrew D.; Gordon, A. D.; Gordon, Andrew; Gordon, A.
Documents Indexed: 99 Publications since 1973, including 11 Books

Publications by Year

Citations contained in zbMATH Open

67 Publications have been cited 807 times in 437 Documents Cited by Year
Mobile ambients. Zbl 0954.68108
Cardelli, L.; Gordon, A. D.
170
2000
A calculus for cryptographic protocols: The spi calculus. Zbl 0924.68073
Abadi, Martín; Gordon, Andrew D.
110
1999
Classification. 2nd ed. Zbl 0929.62068
Gordon, A. D.
62
1999
Anytime, anywhere: modal logics for mobile ambients. Zbl 1323.68405
Cardelli, Luca; Gordon, Andrew D.
53
2000
Classification. Methods for the exploratory analysis of multivariate data. Zbl 0507.62057
Gordon, A. D.
31
1981
A review of hierarchical classification. Zbl 0616.62086
Gordon, A. D.
26
1987
A bisimulation method for cryptographic protocols. Zbl 0913.68062
Abadi, Martín; Gordon, Andrew D.
22
1998
Equational properties of mobile ambients. Zbl 1085.68099
Gordon, Andrew D.; Cardelli, Luca
21
2003
Consensus supertrees: The synthesis of rooted trees containing overlapping sets of labeled leaves. Zbl 0623.62051
Gordon, A. D.
19
1986
A concurrent object calculus: Reduction and typing. Zbl 0917.68064
Gordon, A. D.; Hankin, P. D.
16
1998
Mobile ambients. Reprint of the 2001 hardback ed. Zbl 1253.68238
Cardelli, Luca; Gordon, Andrew D.
15
2010
Ambient groups and mobility types. Zbl 0998.68536
Cardelli, Luca; Ghelli, Giorgio; Gordon, Andrew D.
15
2000
Bisimilarity as a theory of functional programming. Zbl 0968.68028
Gordon, Andrew D.
12
1999
Logical properties of name restriction. Zbl 0981.68036
Cardelli, Luca; Gordon, Andrew D.
11
2001
Types for the ambient calculus. Zbl 1093.68060
Cardelli, Luca; Ghelli, Giorgio; Gordon, Andrew D.
11
2002
Bisimilarity as a theory of functional programming. Zbl 0910.68118
Gordon, Andrew D.
10
1995
Finite-control mobile ambients. Zbl 1077.68574
Charatonik, Witold; Gordon, Andrew D.; Talbot, Jean-Marc
10
2002
Typing correspondence assertions for communication protocols. Zbl 1023.68006
Gordon, Andrew D.; Jeffrey, Alan
10
2003
Partitions of partitions. Zbl 0912.62072
Gordon, A. D.; Vichi, M.
9
1998
A measure of the agreement between rankings. Zbl 0397.62040
Gordon, A. D.
9
1979
Deciding validity in a spatial logic for trees. Zbl 1083.68021
Calcagno, Cristiano; Cardelli, Luca; Gordon, Andrew D.
9
2005
An algorithm for euclidean sum of squares classification. Zbl 0357.62038
Gordon, A. D.; Henderson, J. T.
8
1977
Secrecy and group creation. Zbl 0999.68148
Cardelli, Luca; Ghelli, Giorgio; Gordon, Andrew D.
8
2000
Model checking mobile ambients. Zbl 1068.68081
Charatonik, Witold; Dal Zilio, Silvano; Gordon, Andrew D.; Mukhopadhyay, Supratik; Talbot, Jean-Marc
7
2003
Measure transformer semantics for Bayesian machine learning. Zbl 1274.68295
Borgström, Johannes; Gordon, Andrew D.; Greenberg, Michael; Margetson, James; Van Gael, Jurgen
6
2013
Functional programming and input/output. Zbl 0841.68022
Gordon, Andrew D.
6
1994
A survey of constrained classification. Zbl 0900.62313
Gordon, A. D.
6
1996
A type discipline for authorization policies. Zbl 1108.68456
Fournet, Cédric; Gordon, Andrew D.; Maffeis, Sergio
6
2005
Verified interoperable implementations of security protocols. Zbl 1137.68323
Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.; Tse, Stephen
6
2007
On solving stochastic collocation systems with algebraic multigrid. Zbl 1248.65007
Gordon, Andrew D.; Powell, Catherine E.
5
2012
On the assessment and comparison of classifications. Zbl 0446.62054
Gordon, A. D.
5
1980
Fuzzy partition models for fitting a set of partitions. Zbl 1293.62243
Gordon, A. D.; Vichi, M.
5
2001
Typing a multi-language intermediate code. Zbl 1323.68209
Gordon, Andrew D.; Syme, Don
5
2001
The complexity of model checking mobile ambients. Zbl 0978.68096
Charatonik, Witold; Dal Zilio, Silvano; Gordon, Andrew D.; Mukhopadhyay, Supratik; Talbot, Jean-Marc
5
2001
Notes on nominal calculi for security and mobility. Zbl 1007.68507
Gordon, Andrew D.
5
2001
Parsimonious trees. Zbl 0612.62090
Gordon, A. D.
5
1987
Secrecy despite compromise: Types, cryptography, and the pi-calculus. Zbl 1134.68439
Gordon, Andrew D.; Jeffrey, Alan
5
2005
Modular verification of security protocol code by typing. Zbl 1312.68052
Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.
4
2010
Identifying genuine clusters in a classification. Zbl 0825.62536
Gordon, A. D.
4
1994
TulaFale: a security tool for web services. Zbl 1104.68306
Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.; Pucella, Riccardo
4
2004
Region analsis and a \(\pi\)-calculus with groups. Zbl 0996.68120
Dal Zilio, Silvano; Gordon, Andrew D.
4
2000
Secrecy and group creation. Zbl 1101.68692
Cardelli, Luca; Ghelli, Giorgio; Gordon, Andrew D.
3
2005
Measure transformer semantics for Bayesian machine learning. Zbl 1326.68217
Borgström, Johannes; Gordon, Andrew D.; Greenberg, Michael; Margetson, James; Van Gael, Jurgen
3
2011
Compilation and equivalence of imperative objects. Zbl 0942.68025
Gordon, Andrew D.; Hankin, Paul D.; Lassen, Søren B.
3
1999
Region analysis and a \(\pi\)-calculus with groups. Zbl 1005.68041
Dal Zilio, Silvano; Gordon, Andrew D.
3
2002
Typing one-to-one and one-to-many correspondences in security protocols. Zbl 1033.94525
Gordon, Andrew D.; Jeffrey, Alan
3
2003
A sequence-comparison statistic and algorithm. Zbl 0261.92005
Gordon, A. D.
3
1973
Typing correspondence assertions for communication protocols. Zbl 1260.94063
Gordon, Andrew D.; Jeffrey, Alan
2
2001
Identifying genuine clusters in a classification. Zbl 0900.62311
Gordon, A. D.
2
1994
Methods of constrained classification. Zbl 0446.62053
Gordon, A. D.
2
1980
Tabular, a schema-driven probabilistic programming language. Zbl 1284.68103
Gordon, Andrew D.; Graepel, Thore; Rolland, Nicolas; Russo, Claudio; Borgstrom, Johannes; Guiver, John
2
2014
Semantic subtyping with an SMT solver. Zbl 1323.68096
Bierman, Gavin M.; Gordon, Andrew D.; Hriţcu, Cătălin; Langworthy, David
2
2010
Stack inspection: theory and variants. Zbl 1323.68115
Fournet, Cédric; Gordon, Andrew D.
2
2002
Operational equivalences for untyped and polymorphic object calculi. Zbl 0967.68033
Gordon, Andrew D.
2
1998
Validating a web service security abstraction by typing. Zbl 1080.68523
Gordon, Andrew D.; Pucella, Riccardo
2
2005
A lambda-calculus foundation for universal probabilistic programming. Zbl 1360.68314
Borgström, Johannes; Dal Lago, Ugo; Gordon, Andrew D.; Szymczak, Marcin
2
2016
Semantic subtyping with an SMT solver. Zbl 1248.68131
Bierman, Gavin M.; Gordon, Andrew D.; Hriţcu, Cătălin; Langworthy, David
1
2012
Mobile Ambients. (Extended abstract). Zbl 0925.68068
Cardelli, Luca; Gordon, Andrew D.
1
1997
On the hydrophobicity and hydrophilicity of the cathode gas diffusion layer in a polymer electrolyte fuel cell. Zbl 1348.82094
Vynnycky, M.; Gordon, A.
1
2013
A preconditioner for fictitious domain formulations of elliptic PDEs on uncertain parameterized domains. Zbl 1307.65010
Gordon, Andrew; Powell, Catherine E.
1
2014
Type inference for correspondence types. Zbl 1294.68110
Gordon, Andrew D.; Hüttel, Hans; Hansen, René Rydhof
1
2009
A semantics for web services authentication. Zbl 1325.68140
Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.
1
2004
Principles and applications of refinement types. Zbl 1213.68188
Gordon, Andrew D.; Fournet, Cédric
1
2010
SPC - -making it work for the gas transportation business. Zbl 1053.62595
Coleman, S. Y.; Gordon, A.; Chambers, P. R.
1
2001
Automating type soundness proofs via decision procedures and guided reductions. Zbl 1023.68539
Syme, Don; Gordon, Andrew D.
1
2002
Roles, stacks, histories: a triple for Hoare. Zbl 1220.68044
Borgström, Johannes; Gordon, Andrew D.; Pucella, Riccardo
1
2011
Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. Zbl 1355.68012
Castagna, Giuseppe (ed.); Gordon, Andrew D. (ed.)
1
2017
Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. Zbl 1355.68012
Castagna, Giuseppe; Gordon, Andrew D.
1
2017
A lambda-calculus foundation for universal probabilistic programming. Zbl 1360.68314
Borgström, Johannes; Dal Lago, Ugo; Gordon, Andrew D.; Szymczak, Marcin
2
2016
Tabular, a schema-driven probabilistic programming language. Zbl 1284.68103
Gordon, Andrew D.; Graepel, Thore; Rolland, Nicolas; Russo, Claudio; Borgstrom, Johannes; Guiver, John
2
2014
A preconditioner for fictitious domain formulations of elliptic PDEs on uncertain parameterized domains. Zbl 1307.65010
Gordon, Andrew; Powell, Catherine E.
1
2014
Measure transformer semantics for Bayesian machine learning. Zbl 1274.68295
Borgström, Johannes; Gordon, Andrew D.; Greenberg, Michael; Margetson, James; Van Gael, Jurgen
6
2013
On the hydrophobicity and hydrophilicity of the cathode gas diffusion layer in a polymer electrolyte fuel cell. Zbl 1348.82094
Vynnycky, M.; Gordon, A.
1
2013
On solving stochastic collocation systems with algebraic multigrid. Zbl 1248.65007
Gordon, Andrew D.; Powell, Catherine E.
5
2012
Semantic subtyping with an SMT solver. Zbl 1248.68131
Bierman, Gavin M.; Gordon, Andrew D.; Hriţcu, Cătălin; Langworthy, David
1
2012
Measure transformer semantics for Bayesian machine learning. Zbl 1326.68217
Borgström, Johannes; Gordon, Andrew D.; Greenberg, Michael; Margetson, James; Van Gael, Jurgen
3
2011
Roles, stacks, histories: a triple for Hoare. Zbl 1220.68044
Borgström, Johannes; Gordon, Andrew D.; Pucella, Riccardo
1
2011
Mobile ambients. Reprint of the 2001 hardback ed. Zbl 1253.68238
Cardelli, Luca; Gordon, Andrew D.
15
2010
Modular verification of security protocol code by typing. Zbl 1312.68052
Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.
4
2010
Semantic subtyping with an SMT solver. Zbl 1323.68096
Bierman, Gavin M.; Gordon, Andrew D.; Hriţcu, Cătălin; Langworthy, David
2
2010
Principles and applications of refinement types. Zbl 1213.68188
Gordon, Andrew D.; Fournet, Cédric
1
2010
Type inference for correspondence types. Zbl 1294.68110
Gordon, Andrew D.; Hüttel, Hans; Hansen, René Rydhof
1
2009
Verified interoperable implementations of security protocols. Zbl 1137.68323
Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.; Tse, Stephen
6
2007
Deciding validity in a spatial logic for trees. Zbl 1083.68021
Calcagno, Cristiano; Cardelli, Luca; Gordon, Andrew D.
9
2005
A type discipline for authorization policies. Zbl 1108.68456
Fournet, Cédric; Gordon, Andrew D.; Maffeis, Sergio
6
2005
Secrecy despite compromise: Types, cryptography, and the pi-calculus. Zbl 1134.68439
Gordon, Andrew D.; Jeffrey, Alan
5
2005
Secrecy and group creation. Zbl 1101.68692
Cardelli, Luca; Ghelli, Giorgio; Gordon, Andrew D.
3
2005
Validating a web service security abstraction by typing. Zbl 1080.68523
Gordon, Andrew D.; Pucella, Riccardo
2
2005
TulaFale: a security tool for web services. Zbl 1104.68306
Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.; Pucella, Riccardo
4
2004
A semantics for web services authentication. Zbl 1325.68140
Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.
1
2004
Equational properties of mobile ambients. Zbl 1085.68099
Gordon, Andrew D.; Cardelli, Luca
21
2003
Typing correspondence assertions for communication protocols. Zbl 1023.68006
Gordon, Andrew D.; Jeffrey, Alan
10
2003
Model checking mobile ambients. Zbl 1068.68081
Charatonik, Witold; Dal Zilio, Silvano; Gordon, Andrew D.; Mukhopadhyay, Supratik; Talbot, Jean-Marc
7
2003
Typing one-to-one and one-to-many correspondences in security protocols. Zbl 1033.94525
Gordon, Andrew D.; Jeffrey, Alan
3
2003
Types for the ambient calculus. Zbl 1093.68060
Cardelli, Luca; Ghelli, Giorgio; Gordon, Andrew D.
11
2002
Finite-control mobile ambients. Zbl 1077.68574
Charatonik, Witold; Gordon, Andrew D.; Talbot, Jean-Marc
10
2002
Region analysis and a \(\pi\)-calculus with groups. Zbl 1005.68041
Dal Zilio, Silvano; Gordon, Andrew D.
3
2002
Stack inspection: theory and variants. Zbl 1323.68115
Fournet, Cédric; Gordon, Andrew D.
2
2002
Automating type soundness proofs via decision procedures and guided reductions. Zbl 1023.68539
Syme, Don; Gordon, Andrew D.
1
2002
Logical properties of name restriction. Zbl 0981.68036
Cardelli, Luca; Gordon, Andrew D.
11
2001
Fuzzy partition models for fitting a set of partitions. Zbl 1293.62243
Gordon, A. D.; Vichi, M.
5
2001
Typing a multi-language intermediate code. Zbl 1323.68209
Gordon, Andrew D.; Syme, Don
5
2001
The complexity of model checking mobile ambients. Zbl 0978.68096
Charatonik, Witold; Dal Zilio, Silvano; Gordon, Andrew D.; Mukhopadhyay, Supratik; Talbot, Jean-Marc
5
2001
Notes on nominal calculi for security and mobility. Zbl 1007.68507
Gordon, Andrew D.
5
2001
Typing correspondence assertions for communication protocols. Zbl 1260.94063
Gordon, Andrew D.; Jeffrey, Alan
2
2001
SPC - -making it work for the gas transportation business. Zbl 1053.62595
Coleman, S. Y.; Gordon, A.; Chambers, P. R.
1
2001
Mobile ambients. Zbl 0954.68108
Cardelli, L.; Gordon, A. D.
170
2000
Anytime, anywhere: modal logics for mobile ambients. Zbl 1323.68405
Cardelli, Luca; Gordon, Andrew D.
53
2000
Ambient groups and mobility types. Zbl 0998.68536
Cardelli, Luca; Ghelli, Giorgio; Gordon, Andrew D.
15
2000
Secrecy and group creation. Zbl 0999.68148
Cardelli, Luca; Ghelli, Giorgio; Gordon, Andrew D.
8
2000
Region analsis and a \(\pi\)-calculus with groups. Zbl 0996.68120
Dal Zilio, Silvano; Gordon, Andrew D.
4
2000
A calculus for cryptographic protocols: The spi calculus. Zbl 0924.68073
Abadi, Martín; Gordon, Andrew D.
110
1999
Classification. 2nd ed. Zbl 0929.62068
Gordon, A. D.
62
1999
Bisimilarity as a theory of functional programming. Zbl 0968.68028
Gordon, Andrew D.
12
1999
Compilation and equivalence of imperative objects. Zbl 0942.68025
Gordon, Andrew D.; Hankin, Paul D.; Lassen, Søren B.
3
1999
A bisimulation method for cryptographic protocols. Zbl 0913.68062
Abadi, Martín; Gordon, Andrew D.
22
1998
A concurrent object calculus: Reduction and typing. Zbl 0917.68064
Gordon, A. D.; Hankin, P. D.
16
1998
Partitions of partitions. Zbl 0912.62072
Gordon, A. D.; Vichi, M.
9
1998
Operational equivalences for untyped and polymorphic object calculi. Zbl 0967.68033
Gordon, Andrew D.
2
1998
Mobile Ambients. (Extended abstract). Zbl 0925.68068
Cardelli, Luca; Gordon, Andrew D.
1
1997
A survey of constrained classification. Zbl 0900.62313
Gordon, A. D.
6
1996
Bisimilarity as a theory of functional programming. Zbl 0910.68118
Gordon, Andrew D.
10
1995
Functional programming and input/output. Zbl 0841.68022
Gordon, Andrew D.
6
1994
Identifying genuine clusters in a classification. Zbl 0825.62536
Gordon, A. D.
4
1994
Identifying genuine clusters in a classification. Zbl 0900.62311
Gordon, A. D.
2
1994
A review of hierarchical classification. Zbl 0616.62086
Gordon, A. D.
26
1987
Parsimonious trees. Zbl 0612.62090
Gordon, A. D.
5
1987
Consensus supertrees: The synthesis of rooted trees containing overlapping sets of labeled leaves. Zbl 0623.62051
Gordon, A. D.
19
1986
Classification. Methods for the exploratory analysis of multivariate data. Zbl 0507.62057
Gordon, A. D.
31
1981
On the assessment and comparison of classifications. Zbl 0446.62054
Gordon, A. D.
5
1980
Methods of constrained classification. Zbl 0446.62053
Gordon, A. D.
2
1980
A measure of the agreement between rankings. Zbl 0397.62040
Gordon, A. D.
9
1979
An algorithm for euclidean sum of squares classification. Zbl 0357.62038
Gordon, A. D.; Henderson, J. T.
8
1977
A sequence-comparison statistic and algorithm. Zbl 0261.92005
Gordon, A. D.
3
1973
all top 5

Cited by 593 Authors

14 Gordon, Andrew D.
11 Bodei, Chiara
11 Cardelli, Luca
10 Brodo, Linda
10 Hüttel, Hans
9 Dezani-Ciancaglini, Mariangiola
9 Gadducci, Fabio
9 Gorla, Daniele
9 Nielson, Flemming
9 Riis Nielson, Hanne
8 Bonchi, Filippo
8 Ciobanu, Gabriel
8 Gardner, Philippa Anne
8 Merro, Massimo
8 Pugliese, Rosario
7 Bugliesi, Michele
7 De Nicola, Rocco
7 Focardi, Riccardo
7 Hennessy, Matthew C. B.
7 Montanari, Ugo G.
6 Abadi, Martín
6 Bruni, Roberto
6 Caires, Luís
6 Ferrari, Gian Luigi
6 Lenglet, Sergueï
6 Maffeis, Sergio
6 Monreale, Giacoma Valentina
6 Phillips, Iain W.
6 Yoshida, Nobuko
5 Degano, Pierpaolo
5 Fournet, Cédric
5 Fu, Yuxi
5 Jeffrey, Alan S. A.
5 Laneve, Cosimo
5 Levi, Francesca
5 Mitchell, John C.
5 Nestmann, Uwe
5 Pantović, Jovanka
5 Pous, Damien
5 Rathke, Julian
5 Sangiorgi, Davide
5 Vieira, Hugo Torres
5 Vigliotti, Maria Grazia
4 Boreale, Michele
4 Borgström, Johannes
4 Crafa, Silvia
4 Debbabi, Mourad
4 Delzanno, Giorgio
4 Ghelli, Giorgio
4 Ghilezan, Silvia
4 Hansen, René Rydhof
4 Jacobs, Bart
4 Palamidessi, Catuscia
4 Pérez, Jorge A.
4 Scedrov, Andre
4 Schmidt-Schauß, Manfred
4 Schmitt, Alan
4 Zavattaro, Gianluigi
3 Aman, Bogdan
3 Baldan, Paolo
3 Barthe, Gilles
3 Blanchet, Bruno
3 Bracciali, Andrea
3 Braghin, Chiara
3 Busi, Nadia
3 Cai, Xiaojuan
3 Castagna, Giuseppe
3 Cervesato, Iliano
3 Chatzikokolakis, Konstantinos
3 Chothia, Tom
3 Cortier, Véronique
3 Datta, Anupam
3 Godskesen, Jens Chr.
3 Gori, Roberta
3 Henrio, Ludovic
3 Katoen, Joost-Pieter
3 Kobayashi, Naoki
3 Koutny, Maciej
3 Loreti, Michele
3 Lozes, Etienne
3 Mardare, Radu
3 Martinelli, Fabio
3 Mauw, Sjouke
3 Montagna, Roberto
3 O’Hearn, Peter W.
3 Olarte, Carlos
3 Parrow, Joachim
3 Pilegaard, Henrik
3 Pitts, Andrew M.
3 Priami, Corrado
3 Ramanathan, Ajith
3 Riely, James
3 Rosa-Velardo, Fernando
3 Sabel, David
3 Sassone, Vladimiro
3 Sisto, Riccardo
3 Stark, Ian
3 Stefani, Jean-Bernard
3 Thiemann, Peter J.
2 Acciai, Lucia
...and 493 more Authors
all top 5

Cited in 41 Serials

101 Theoretical Computer Science
57 Information and Computation
22 The Journal of Logic and Algebraic Programming
15 Formal Aspects of Computing
15 Journal of Logical and Algebraic Methods in Programming
14 MSCS. Mathematical Structures in Computer Science
9 Journal of Automated Reasoning
8 Acta Informatica
8 Science of Computer Programming
6 Journal of Computer and System Sciences
6 Journal of Functional Programming
5 Information Processing Letters
5 Logical Methods in Computer Science
4 Computer Languages, Systems & Structures
3 Information Sciences
2 Annals of Pure and Applied Logic
2 Journal of Cryptology
2 International Journal of Computer Mathematics
2 Distributed Computing
2 Applicable Algebra in Engineering, Communication and Computing
2 Higher-Order and Symbolic Computation
2 RAIRO. Theoretical Informatics and Applications
2 Natural Computing
2 ACM Transactions on Computational Logic
2 SIAM/ASA Journal on Uncertainty Quantification
1 Numerische Mathematik
1 Synthese
1 Journal of Symbolic Computation
1 Cybernetics and Systems Analysis
1 SIAM Journal on Scientific Computing
1 Journal of Applied Non-Classical Logics
1 The Bulletin of Symbolic Logic
1 Constraints
1 Theory of Computing Systems
1 Wuhan University Journal of Natural Sciences (WUJNS)
1 Computational Geosciences
1 Concurrency and Computation: Practice & Experience
1 Acta Numerica
1 International Journal of Parallel, Emergent and Distributed Systems
1 New Mathematics and Natural Computation
1 \(p\)-Adic Numbers, Ultrametric Analysis, and Applications

Citations by Year