Követés
Andrew D Gordon
Andrew D Gordon
Cogna and University of Edinburgh
E-mail megerősítve itt: cogna.co - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
Mobile ambients
L Cardelli, AD Gordon
International Conference on Foundations of Software Science and Computation …, 1998
26661998
A calculus for cryptographic protocols: The spi calculus
M Abadi, AD Gordon
Proceedings of the 4th ACM Conference on Computer and Communications …, 1997
21431997
Concurrent haskell
SP Jones, A Gordon, S Finne
POPL 96, 295-308, 1996
6451996
Probabilistic programming
AD Gordon, TA Henzinger, AV Nori, SK Rajamani
Future of software engineering proceedings, 167-181, 2014
5402014
Anytime, anywhere: Modal logics for mobile ambients
L Cardelli, AD Gordon
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000
5402000
SecPAL: Design and semantics of a decentralized authorization language
MY Becker, C Fournet, AD Gordon
Journal of Computer Security 18 (4), 619-665, 2010
4682010
Identification of new susceptibility loci for osteoarthritis (arcOGEN): a genome-wide association study.
E Zeggini, K Panoutsopoulou, L Southam, N Rayner, A Day-Williams, ...
Lancet (London, England) 380 (9844), 2012
3632012
Authenticity by typing for security protocols
AD Gordon, A Jeffrey
Journal of computer security 11 (4), 451-519, 2003
3552003
Refinement types for secure implementations
J Bengtson, K Bhargavan, C Fournet, AD Gordon, S Maffeis
ACM Transactions on Programming Languages and Systems (TOPLAS) 33 (2), 1-45, 2011
3332011
Experience with embedding hardware description languages in HOL.
RJ Boulton, AD Gordon, MJC Gordon, J Harrison, J Herbert, J Van Tassel
TPCD 10, 129-156, 1992
3081992
Types for mobile ambients
L Cardelli, AD Gordon
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999
2671999
Bimodal modelling of source code and natural language
M Allamanis, D Tarlow, A Gordon, Y Wei
International conference on machine learning, 2123-2132, 2015
2542015
A bisimulation method for cryptographic protocols
M Abadi, AD Gordon
European Symposium on Programming, 12-26, 1998
2221998
Types and effects for asymmetric cryptographic protocols
AD Gordon, A Jeffrey
Journal of Computer Security 12 (3-4), 435-483, 2004
2202004
Mobility types for mobile ambients
L Cardelli, G Ghelli, AD Gordon
Automata, Languages and Programming: 26th International Colloquium, ICALP’99 …, 1999
2191999
Verified interoperable implementations of security protocols
K Bhargavan, C Fournet, AD Gordon, S Tse
ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (1), 1-61, 2008
2172008
Functional programming and input/output
AD Gordon
Cambridge University Press, 1994
2081994
Verifying intermediate language code
D Syme, A Gordon, JA Forbes, VP Morrison
US Patent 6,851,108, 2005
1932005
Verifier to check intermediate language
A Gordon, D Syme, J Forbes, VP Morrison
US Patent 6,560,774, 2003
1832003
Insights into the genetic architecture of osteoarthritis from stage 1 of the arcOGEN study
K Panoutsopoulou, L Southam, KS Elliott, N Wrayner, G Zhai, C Beazley, ...
Annals of the rheumatic diseases 70 (5), 864-867, 2011
1702011
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20