MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Andrew Gordon" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

93 documents found, showing 1 through 10. Next 10 →

ATOM

The Theory of Mind in Strategy Representations
by Andrew Gordon — 2002 — George Mason University
…The Theory of Mind in Strategy Representations Andrew S. Gordon (gordon@(email omitted);) Institute…
Cited by 8 (8 self) – Add To MetaCart

Browsing Image Collections with Representations of Common-Sense Activities
by Andrew Gordon — Journal of the American Society for Information Science and Technology
…Browsing Image Collections with Representations of Common-Sense Activities Andrew S. Gordon…
Cited by 2 (1 self) – Add To MetaCart

Types and Effects for Asymmetric Cryptographic Protocols
by Andrew Gordon, A. Jeffrey — 2002
… the applicability of our system via protocol examples. 1 Motivation Gordon and Jeffrey recently proposed a type…
Cited by 53 (7 self) – Add To MetaCart

Protecting Alice from Malice: Protocols, . . .
by Andrew D. Gordon — 2006
…-Course University of Cambridge Computer Laboratory May 16 and 18, 2006 Andrew D. Gordon, Microsoft Research…
Add To MetaCart

200lb) The Representational Requirements of Strategic Planning
by Andrew S. Gordon — 2001 — Fifth symposium on Logical Formalizations of Commonsense Reasoning. (http://www.cs.nyu.edu/faculty/davise/ commonsense01
… would purposefully cause distractions to occur during his Andrew S. Gordon IBM TJ Watson Research Center…
Cited by 3 (2 self) – Add To MetaCart

An Operational Semantics for I/O in a Lazy Functional Language
by Andrew D. Gordon — 1993 — in Proc Functional Programming Languages and Computer Architecture
…An Operational Semantics for I/O in a Lazy Functional Language Andrew D. Gordon Programming…
Cited by 8 (3 self) – Add To MetaCart

Playing Chess with Machiavelli: Improving interactive entertainment
by Andrew S. Gordon — 2001 — In Proceedings of the 2001 Spring Symposium on AI and Interactive Entertainment
…). Aptly noticing a territorial dispute between his own queen and rook, Machiavelli would have Andrew S…
Cited by 1 (0 self) – Add To MetaCart

A Calculus for Cryptographic Protocols -- Lecture Notes
by Andrew D. Gordon — 2001
…A Calculus for Cryptographic Protocols Lecture Notes Andrew D. Gordon, Microsoft Research Theory…
Add To MetaCart

A Tutorial on Co-induction and Functional Programming
by Andrew D. Gordon — 1994 — IN GLASGOW FUNCTIONAL PROGRAMMING WORKSHOP
…A Tutorial on Co-induction and Functional Programming Andrew D. Gordon University of Cambridge…
Cited by 22 (1 self) – Add To MetaCart

Typing correspondence assertions for communication protocols
by Andrew D. Gordon — 2001 — Theoretical Computer Science
…://www.elsevier.nl/locate/entcs/volume45.html 22 pages Typing Correspondence Assertions for Communication Protocols Andrew D. Gordon…
Cited by 45 (9 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB