Edit Profile (opens in new tab) Gordon, Andrew D. Compute Distance To: Compute Author ID: gordon.andrew-d Published as: Gordon, Andrew D.; Gordon, Andrew; Gordon, A. D. more...less Documents Indexed: 90 Publications since 1973, including 4 Books 9 Contributions as Editor Co-Authors: 49 Co-Authors with 64 Joint Publications 930 Co-Co-Authors all top 5 Co-Authors 26 single-authored 12 Borgström, Johannes 11 Cardelli, Luca 9 Fournet, Cédric 6 Bhargavan, Karthikeyan 6 Jeffrey, Alan S. A. 6 Russo, Claudio V. 4 Dal Zilio, Silvano 4 Ghelli, Giorgio 4 Pucella, Riccardo 3 Charatonik, Witold 3 Crole, Roy L. 3 Graepel, Thore 3 Pitts, Andrew M. 3 Powell, Catherine Elizabeth 3 Szymczak, Marcin 3 Talbot, Jean-Marc 2 Abadi, Martín 2 Bhat, Sooraj 2 Bierman, Gavin M. 2 Greenberg, Michael D. 2 Hankin, Paul D. 2 Hriţcu, Cătălin 2 Langworthy, David E. 2 Margetson, James 2 Mukhopadhyay, Supratik 2 Rolland, Nicolas 2 Syme, Don 2 Van Gael, Jurgen 2 Vichi, Maurizio 2 Vynnycky, Michael 1 Aceto, Luca 1 Aizatulin, Mihhail 1 Bakaleinikov, L. A. 1 Buckland, Stephen T. 1 Byrne, R. W. 1 Calcagno, Cristiano 1 Castagna, Giuseppe 1 Chambers, P. R. G. 1 Claret, Guillaume 1 Coleman, Shirley Y. 1 Dal Lago, Ugo 1 Guiver, John P. 1 Hansen, René Rydhof 1 Harper, Robert 1 Henderson, J. T. 1 Hüttel, Hans 1 Jupp, Peter E. 1 Lassen, Søren B. 1 Maffeis, Sergio 1 Nori, Aditya Vithal 1 Ouyang, Long 1 Phillips, Andrew 1 Rajamani, Sriram K. 1 Ścibior, Adam 1 Sewell, Peter 1 Talcott, Carolyn L. 1 Tarlow, Daniel 1 Tse, Stephen all top 5 Serials 6 Theoretical Computer Science 5 Journal of Functional Programming 3 Journal of Classification 3 Information and Computation 3 Computational Statistics and Data Analysis 3 Electronic Notes in Theoretical Computer Science 2 Biometrika 2 MSCS. Mathematical Structures in Computer Science 2 Distinguished Dissertation in Computer Science 2 Lecture Notes in Computer Science 2 Logical Methods in Computer Science 1 IMA Journal of Numerical Analysis 1 Journal of Engineering Mathematics 1 Physics Letters. A 1 Psychometrika 1 Biometrics 1 British Journal of Mathematical & Statistical Psychology 1 Proceedings of the Edinburgh Mathematical Society. Series II 1 Journal of the Royal Statistical Society. Series A 1 Formal Aspects of Computing 1 Nordic Journal of Computing 1 Proceedings of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 1 Journal of Applied Statistics 1 Mathematical Geology 1 Monographs on Statistics and Applied Probability 1 SIAM/ASA Journal on Uncertainty Quantification 1 Monographs on Applied Probability and Statistics all top 5 Fields 72 Computer science (68-XX) 20 Statistics (62-XX) 10 Mathematical logic and foundations (03-XX) 10 Information and communication theory, circuits (94-XX) 8 General and overarching topics; collections (00-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Partial differential equations (35-XX) 3 Probability theory and stochastic processes (60-XX) 3 Numerical analysis (65-XX) 2 Statistical mechanics, structure of matter (82-XX) 1 History and biography (01-XX) 1 Combinatorics (05-XX) 1 Fluid mechanics (76-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Geophysics (86-XX) 1 Operations research, mathematical programming (90-XX) 1 Biology and other natural sciences (92-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 69 Publications have been cited 656 times in 465 Documents Cited by ▼ Year ▼ Mobile ambients. Zbl 0954.68108Cardelli, L.; Gordon, A. D. 183 2000 A calculus for cryptographic protocols: The spi calculus. Zbl 0924.68073Abadi, Martín; Gordon, Andrew D. 117 1999 Classification. 2nd ed. Zbl 0929.62068Gordon, A. D. 64 1999 Anytime, anywhere: modal logics for mobile ambients. Zbl 1323.68405Cardelli, Luca; Gordon, Andrew D. 54 2000 Classification. Methods for the exploratory analysis of multivariate data. Zbl 0507.62057Gordon, A. D. 32 1981 A review of hierarchical classification. Zbl 0616.62086Gordon, A. D. 29 1987 A bisimulation method for cryptographic protocols. Zbl 0913.68062Abadi, Martín; Gordon, Andrew D. 23 1998 Equational properties of mobile ambients. Zbl 1085.68099Gordon, Andrew D.; Cardelli, Luca 22 2003 Consensus supertrees: The synthesis of rooted trees containing overlapping sets of labeled leaves. Zbl 0623.62051Gordon, A. D. 19 1986 A concurrent object calculus: Reduction and typing. Zbl 0917.68064Gordon, A. D.; Hankin, P. D. 16 1998 Mobile ambients. Reprint of the 2001 hardback ed. Zbl 1253.68238Cardelli, Luca; Gordon, Andrew D. 16 2010 Ambient groups and mobility types. Zbl 0998.68536Cardelli, Luca; Ghelli, Giorgio; Gordon, Andrew D. 15 2000 Bisimilarity as a theory of functional programming. Zbl 0968.68028Gordon, Andrew D. 13 1999 A lambda-calculus foundation for universal probabilistic programming. Zbl 1360.68314Borgström, Johannes; Dal Lago, Ugo; Gordon, Andrew D.; Szymczak, Marcin 12 2016 A measure of the agreement between rankings. Zbl 0397.62040Gordon, A. D. 11 1979 An algorithm for euclidean sum of squares classification. Zbl 0357.62038Gordon, A. D.; Henderson, J. T. 11 1977 Typing correspondence assertions for communication protocols. Zbl 1023.68006Gordon, Andrew D.; Jeffrey, Alan 11 2003 Logical properties of name restriction. Zbl 0981.68036Cardelli, Luca; Gordon, Andrew D. 11 2001 Types for the ambient calculus. Zbl 1093.68060Cardelli, Luca; Ghelli, Giorgio; Gordon, Andrew D. 11 2002 Bisimilarity as a theory of functional programming. Zbl 0910.68118Gordon, Andrew D. 10 1995 Finite-control mobile ambients. Zbl 1077.68574Charatonik, Witold; Gordon, Andrew D.; Talbot, Jean-Marc 10 2002 Partitions of partitions. Zbl 0912.62072Gordon, A. D.; Vichi, M. 9 1998 Deciding validity in a spatial logic for trees. Zbl 1083.68021Calcagno, Cristiano; Cardelli, Luca; Gordon, Andrew D. 9 2005 A survey of constrained classification. Zbl 0900.62313Gordon, A. D. 8 1996 Secrecy and group creation. Zbl 0999.68148Cardelli, Luca; Ghelli, Giorgio; Gordon, Andrew D. 8 2000 Measure transformer semantics for Bayesian machine learning. Zbl 1274.68295Borgström, Johannes; Gordon, Andrew D.; Greenberg, Michael; Margetson, James; Van Gael, Jurgen 7 2013 Model checking mobile ambients. Zbl 1068.68081Charatonik, Witold; Dal Zilio, Silvano; Gordon, Andrew D.; Mukhopadhyay, Supratik; Talbot, Jean-Marc 7 2003 Functional programming and input/output. Zbl 0841.68022Gordon, Andrew D. 6 1994 Verified interoperable implementations of security protocols. Zbl 1137.68323Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.; Tse, Stephen 6 2007 A type discipline for authorization policies. Zbl 1108.68456Fournet, Cédric; Gordon, Andrew D.; Maffeis, Sergio 6 2005 Typing a multi-language intermediate code. Zbl 1323.68209Gordon, Andrew D.; Syme, Don 6 2001 Fuzzy partition models for fitting a set of partitions. Zbl 1293.62243Gordon, A. D.; Vichi, M. 5 2001 On the assessment and comparison of classifications. Zbl 0446.62054Gordon, A. D. 5 1980 On solving stochastic collocation systems with algebraic multigrid. Zbl 1248.65007Gordon, Andrew D.; Powell, Catherine E. 5 2012 Notes on nominal calculi for security and mobility. Zbl 1007.68507Gordon, Andrew D. 5 2001 Secrecy despite compromise: Types, cryptography, and the pi-calculus. Zbl 1134.68439Gordon, Andrew D.; Jeffrey, Alan 5 2005 The complexity of model checking mobile ambients. Zbl 0978.68096Charatonik, Witold; Dal Zilio, Silvano; Gordon, Andrew D.; Mukhopadhyay, Supratik; Talbot, Jean-Marc 5 2001 Parsimonious trees. Zbl 0612.62090Gordon, A. D. 5 1987 Modular verification of security protocol code by typing. Zbl 1312.68052Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D. 5 2010 Identifying genuine clusters in a classification. Zbl 0825.62536Gordon, A. D. 4 1994 Compilation and equivalence of imperative objects. Zbl 0942.68025Gordon, Andrew D.; Hankin, Paul D.; Lassen, Søren B. 4 1999 Region analsis and a \(\pi\)-calculus with groups. Zbl 0996.68120Dal Zilio, Silvano; Gordon, Andrew D. 4 2000 TulaFale: a security tool for web services. Zbl 1104.68306Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.; Pucella, Riccardo 4 2004 Measure transformer semantics for Bayesian machine learning. Zbl 1326.68217Borgström, Johannes; Gordon, Andrew D.; Greenberg, Michael; Margetson, James; Van Gael, Jurgen 3 2011 Typing one-to-one and one-to-many correspondences in security protocols. Zbl 1033.94525Gordon, Andrew D.; Jeffrey, Alan 3 2003 Secrecy and group creation. Zbl 1101.68692Cardelli, Luca; Ghelli, Giorgio; Gordon, Andrew D. 3 2005 Region analysis and a \(\pi\)-calculus with groups. Zbl 1005.68041Dal Zilio, Silvano; Gordon, Andrew D. 3 2002 Semantic subtyping with an SMT solver. Zbl 1323.68096Bierman, Gavin M.; Gordon, Andrew D.; Hriţcu, Cătălin; Langworthy, David 3 2010 A sequence-comparison statistic and algorithm. Zbl 0261.92005Gordon, A. D. 3 1973 Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. Zbl 1355.68012 3 2017 Typing correspondence assertions for communication protocols. Zbl 1260.94063Gordon, Andrew D.; Jeffrey, Alan 2 2001 Methods of constrained classification. Zbl 0446.62053Gordon, A. D. 2 1980 Validating a web service security abstraction by typing. Zbl 1080.68523Gordon, Andrew D.; Pucella, Riccardo 2 2005 Operational equivalences for untyped and polymorphic object calculi. Zbl 0967.68033Gordon, Andrew D. 2 1998 Identifying genuine clusters in a classification. Zbl 0900.62311Gordon, A. D. 2 1994 Stack inspection: theory and variants. Zbl 1323.68115Fournet, Cédric; Gordon, Andrew D. 2 2002 A semantics for web services authentication. Zbl 1325.68140Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D. 2 2004 Tabular, a schema-driven probabilistic programming language. Zbl 1284.68103Gordon, Andrew D.; Graepel, Thore; Rolland, Nicolas; Russo, Claudio; Borgstrom, Johannes; Guiver, John 2 2014 Deriving probability density functions from probabilistic functional programs. Zbl 1398.68084Bhat, Sooraj; Borgström, Johannes; Gordon, Andrew D.; Russo, Claudio 2 2017 Principles and applications of refinement types. Zbl 1213.68188Gordon, Andrew D.; Fournet, Cédric 1 2010 Roles, stacks, histories: a triple for Hoare. Zbl 1220.68044Borgström, Johannes; Gordon, Andrew D.; Pucella, Riccardo 1 2011 Type inference for correspondence types. Zbl 1294.68110Gordon, Andrew D.; Hüttel, Hans; Hansen, René Rydhof 1 2009 Semantic subtyping with an SMT solver. Zbl 1248.68131Bierman, Gavin M.; Gordon, Andrew D.; Hriţcu, Cătălin; Langworthy, David 1 2012 Automating type soundness proofs via decision procedures and guided reductions. Zbl 1023.68539Syme, Don; Gordon, Andrew D. 1 2002 Mobile Ambients. (Extended abstract). Zbl 0925.68068Cardelli, Luca; Gordon, Andrew D. 1 1997 SPC - -making it work for the gas transportation business. Zbl 1053.62595Coleman, S. Y.; Gordon, A.; Chambers, P. R. 1 2001 On the hydrophobicity and hydrophilicity of the cathode gas diffusion layer in a polymer electrolyte fuel cell. Zbl 1348.82094Vynnycky, M.; Gordon, A. 1 2013 A model-learner pattern for Bayesian reasoning. Zbl 1301.68179Gordon, Andrew D.; Aizatulin, Mihhail; Borgstrom, Johannes; Claret, Guillaume; Graepel, Thore; Nori, Aditya V.; Rajamani, Sriram K.; Russo, Claudio 1 2013 A preconditioner for fictitious domain formulations of elliptic PDEs on uncertain parameterized domains. Zbl 1307.65010Gordon, Andrew; Powell, Catherine E. 1 2014 Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. Zbl 1355.68012 3 2017 Deriving probability density functions from probabilistic functional programs. Zbl 1398.68084Bhat, Sooraj; Borgström, Johannes; Gordon, Andrew D.; Russo, Claudio 2 2017 A lambda-calculus foundation for universal probabilistic programming. Zbl 1360.68314Borgström, Johannes; Dal Lago, Ugo; Gordon, Andrew D.; Szymczak, Marcin 12 2016 Tabular, a schema-driven probabilistic programming language. Zbl 1284.68103Gordon, 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.65010Gordon, Andrew; Powell, Catherine E. 1 2014 Measure transformer semantics for Bayesian machine learning. Zbl 1274.68295Borgström, Johannes; Gordon, Andrew D.; Greenberg, Michael; Margetson, James; Van Gael, Jurgen 7 2013 On the hydrophobicity and hydrophilicity of the cathode gas diffusion layer in a polymer electrolyte fuel cell. Zbl 1348.82094Vynnycky, M.; Gordon, A. 1 2013 A model-learner pattern for Bayesian reasoning. Zbl 1301.68179Gordon, Andrew D.; Aizatulin, Mihhail; Borgstrom, Johannes; Claret, Guillaume; Graepel, Thore; Nori, Aditya V.; Rajamani, Sriram K.; Russo, Claudio 1 2013 On solving stochastic collocation systems with algebraic multigrid. Zbl 1248.65007Gordon, Andrew D.; Powell, Catherine E. 5 2012 Semantic subtyping with an SMT solver. Zbl 1248.68131Bierman, Gavin M.; Gordon, Andrew D.; Hriţcu, Cătălin; Langworthy, David 1 2012 Measure transformer semantics for Bayesian machine learning. Zbl 1326.68217Borgström, Johannes; Gordon, Andrew D.; Greenberg, Michael; Margetson, James; Van Gael, Jurgen 3 2011 Roles, stacks, histories: a triple for Hoare. Zbl 1220.68044Borgström, Johannes; Gordon, Andrew D.; Pucella, Riccardo 1 2011 Mobile ambients. Reprint of the 2001 hardback ed. Zbl 1253.68238Cardelli, Luca; Gordon, Andrew D. 16 2010 Modular verification of security protocol code by typing. Zbl 1312.68052Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D. 5 2010 Semantic subtyping with an SMT solver. Zbl 1323.68096Bierman, Gavin M.; Gordon, Andrew D.; Hriţcu, Cătălin; Langworthy, David 3 2010 Principles and applications of refinement types. Zbl 1213.68188Gordon, Andrew D.; Fournet, Cédric 1 2010 Type inference for correspondence types. Zbl 1294.68110Gordon, Andrew D.; Hüttel, Hans; Hansen, René Rydhof 1 2009 Verified interoperable implementations of security protocols. Zbl 1137.68323Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.; Tse, Stephen 6 2007 Deciding validity in a spatial logic for trees. Zbl 1083.68021Calcagno, Cristiano; Cardelli, Luca; Gordon, Andrew D. 9 2005 A type discipline for authorization policies. Zbl 1108.68456Fournet, Cédric; Gordon, Andrew D.; Maffeis, Sergio 6 2005 Secrecy despite compromise: Types, cryptography, and the pi-calculus. Zbl 1134.68439Gordon, Andrew D.; Jeffrey, Alan 5 2005 Secrecy and group creation. Zbl 1101.68692Cardelli, Luca; Ghelli, Giorgio; Gordon, Andrew D. 3 2005 Validating a web service security abstraction by typing. Zbl 1080.68523Gordon, Andrew D.; Pucella, Riccardo 2 2005 TulaFale: a security tool for web services. Zbl 1104.68306Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D.; Pucella, Riccardo 4 2004 A semantics for web services authentication. Zbl 1325.68140Bhargavan, Karthikeyan; Fournet, Cédric; Gordon, Andrew D. 2 2004 Equational properties of mobile ambients. Zbl 1085.68099Gordon, Andrew D.; Cardelli, Luca 22 2003 Typing correspondence assertions for communication protocols. Zbl 1023.68006Gordon, Andrew D.; Jeffrey, Alan 11 2003 Model checking mobile ambients. Zbl 1068.68081Charatonik, 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.94525Gordon, Andrew D.; Jeffrey, Alan 3 2003 Types for the ambient calculus. Zbl 1093.68060Cardelli, Luca; Ghelli, Giorgio; Gordon, Andrew D. 11 2002 Finite-control mobile ambients. Zbl 1077.68574Charatonik, Witold; Gordon, Andrew D.; Talbot, Jean-Marc 10 2002 Region analysis and a \(\pi\)-calculus with groups. Zbl 1005.68041Dal Zilio, Silvano; Gordon, Andrew D. 3 2002 Stack inspection: theory and variants. Zbl 1323.68115Fournet, Cédric; Gordon, Andrew D. 2 2002 Automating type soundness proofs via decision procedures and guided reductions. Zbl 1023.68539Syme, Don; Gordon, Andrew D. 1 2002 Logical properties of name restriction. Zbl 0981.68036Cardelli, Luca; Gordon, Andrew D. 11 2001 Typing a multi-language intermediate code. Zbl 1323.68209Gordon, Andrew D.; Syme, Don 6 2001 Fuzzy partition models for fitting a set of partitions. Zbl 1293.62243Gordon, A. D.; Vichi, M. 5 2001 Notes on nominal calculi for security and mobility. Zbl 1007.68507Gordon, Andrew D. 5 2001 The complexity of model checking mobile ambients. Zbl 0978.68096Charatonik, Witold; Dal Zilio, Silvano; Gordon, Andrew D.; Mukhopadhyay, Supratik; Talbot, Jean-Marc 5 2001 Typing correspondence assertions for communication protocols. Zbl 1260.94063Gordon, Andrew D.; Jeffrey, Alan 2 2001 SPC - -making it work for the gas transportation business. Zbl 1053.62595Coleman, S. Y.; Gordon, A.; Chambers, P. R. 1 2001 Mobile ambients. Zbl 0954.68108Cardelli, L.; Gordon, A. D. 183 2000 Anytime, anywhere: modal logics for mobile ambients. Zbl 1323.68405Cardelli, Luca; Gordon, Andrew D. 54 2000 Ambient groups and mobility types. Zbl 0998.68536Cardelli, Luca; Ghelli, Giorgio; Gordon, Andrew D. 15 2000 Secrecy and group creation. Zbl 0999.68148Cardelli, Luca; Ghelli, Giorgio; Gordon, Andrew D. 8 2000 Region analsis and a \(\pi\)-calculus with groups. Zbl 0996.68120Dal Zilio, Silvano; Gordon, Andrew D. 4 2000 A calculus for cryptographic protocols: The spi calculus. Zbl 0924.68073Abadi, Martín; Gordon, Andrew D. 117 1999 Classification. 2nd ed. Zbl 0929.62068Gordon, A. D. 64 1999 Bisimilarity as a theory of functional programming. Zbl 0968.68028Gordon, Andrew D. 13 1999 Compilation and equivalence of imperative objects. Zbl 0942.68025Gordon, Andrew D.; Hankin, Paul D.; Lassen, Søren B. 4 1999 A bisimulation method for cryptographic protocols. Zbl 0913.68062Abadi, Martín; Gordon, Andrew D. 23 1998 A concurrent object calculus: Reduction and typing. Zbl 0917.68064Gordon, A. D.; Hankin, P. D. 16 1998 Partitions of partitions. Zbl 0912.62072Gordon, A. D.; Vichi, M. 9 1998 Operational equivalences for untyped and polymorphic object calculi. Zbl 0967.68033Gordon, Andrew D. 2 1998 Mobile Ambients. (Extended abstract). Zbl 0925.68068Cardelli, Luca; Gordon, Andrew D. 1 1997 A survey of constrained classification. Zbl 0900.62313Gordon, A. D. 8 1996 Bisimilarity as a theory of functional programming. Zbl 0910.68118Gordon, Andrew D. 10 1995 Functional programming and input/output. Zbl 0841.68022Gordon, Andrew D. 6 1994 Identifying genuine clusters in a classification. Zbl 0825.62536Gordon, A. D. 4 1994 Identifying genuine clusters in a classification. Zbl 0900.62311Gordon, A. D. 2 1994 A review of hierarchical classification. Zbl 0616.62086Gordon, A. D. 29 1987 Parsimonious trees. Zbl 0612.62090Gordon, A. D. 5 1987 Consensus supertrees: The synthesis of rooted trees containing overlapping sets of labeled leaves. Zbl 0623.62051Gordon, A. D. 19 1986 Classification. Methods for the exploratory analysis of multivariate data. Zbl 0507.62057Gordon, A. D. 32 1981 On the assessment and comparison of classifications. Zbl 0446.62054Gordon, A. D. 5 1980 Methods of constrained classification. Zbl 0446.62053Gordon, A. D. 2 1980 A measure of the agreement between rankings. Zbl 0397.62040Gordon, A. D. 11 1979 An algorithm for euclidean sum of squares classification. Zbl 0357.62038Gordon, A. D.; Henderson, J. T. 11 1977 A sequence-comparison statistic and algorithm. Zbl 0261.92005Gordon, A. D. 3 1973 all cited Publications top 5 cited Publications all top 5 Cited by 640 Authors 14 Gordon, Andrew D. 11 Bodei, Chiara 11 Cardelli, Luca 11 Hüttel, Hans 10 Brodo, Linda 9 Bonchi, Filippo 9 Dezani-Ciancaglini, Mariangiola 9 Gadducci, Fabio 9 Gorla, Daniele 9 Nielson, Flemming 9 Riis Nielson, Hanne 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 Fu, Yuxi 6 Lenglet, Sergueï 6 Maffeis, Sergio 6 Monreale, Giacoma Valentina 6 Nestmann, Uwe 6 Phillips, Iain W. 6 Yoshida, Nobuko 5 Borgström, Johannes 5 Degano, Pierpaolo 5 Fournet, Cédric 5 Jeffrey, Alan S. A. 5 Laneve, Cosimo 5 Levi, Francesca 5 Mitchell, John C. 5 Pantović, Jovanka 5 Pous, Damien 5 Rathke, Julian 5 Sangiorgi, Davide 5 Vieira, Hugo Torres 5 Vigliotti, Maria Grazia 4 Backes, Michael 4 Boreale, Michele 4 Castagna, Giuseppe 4 Crafa, Silvia 4 Debbabi, Mourad 4 Delzanno, Giorgio 4 Ghelli, Giorgio 4 Ghilezan, Silvia 4 Hansen, René Rydhof 4 Jacobs, Bart 4 Mauw, Sjouke 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 Bhargavan, Karthikeyan 3 Blanchet, Bruno 3 Bracciali, Andrea 3 Braghin, Chiara 3 Busi, Nadia 3 Cai, Xiaojuan 3 Cervesato, Iliano 3 Chatzikokolakis, Konstantinos 3 Chothia, Tom 3 Cortier, Véronique 3 Dal Lago, Ugo 3 Datta, Anupam 3 Godskesen, Jens Chr. 3 Gori, Roberta 3 Henrio, Ludovic 3 Horne, Ross 3 Katoen, Joost-Pieter 3 Kobayashi, Naoki 3 Koutny, Maciej 3 Loreti, Michele 3 Lozes, Etienne 3 Mardare, Radu 3 Martinelli, Fabio 3 Montagna, Roberto 3 O’Hearn, Peter W. 3 Olarte, Carlos 3 Paquet, Hugo 3 Parrow, Joachim 3 Peters, Kirstin 3 Pilegaard, Henrik 3 Pitts, Andrew M. 3 Priami, Corrado 3 Ramanathan, Ajith 3 Riely, James 3 Rosa-Velardo, Fernando 3 Sabel, David ...and 540 more Authors all top 5 Cited in 41 Serials 103 Theoretical Computer Science 58 Information and Computation 22 The Journal of Logic and Algebraic Programming 17 Journal of Logical and Algebraic Methods in Programming 15 Formal Aspects of Computing 15 MSCS. Mathematical Structures in Computer Science 9 Journal of Automated Reasoning 8 Acta Informatica 8 Science of Computer Programming 7 Logical Methods in Computer Science 6 Journal of Computer and System Sciences 6 Journal of Functional Programming 5 Information Processing Letters 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 all top 5 Cited in 20 Fields 438 Computer science (68-XX) 84 Mathematical logic and foundations (03-XX) 48 Information and communication theory, circuits (94-XX) 23 Biology and other natural sciences (92-XX) 11 Category theory; homological algebra (18-XX) 5 Numerical analysis (65-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Probability theory and stochastic processes (60-XX) 4 Statistics (62-XX) 2 Combinatorics (05-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Fluid mechanics (76-XX) 2 Quantum theory (81-XX) 1 General algebraic systems (08-XX) 1 Number theory (11-XX) 1 Measure and integration (28-XX) 1 Partial differential equations (35-XX) 1 General topology (54-XX) 1 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) Citations by Year