Anna Patterson

According to our database, Anna Patterson authored at least 6 papers between 1993 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Books Open Worlds for People Behind Bars: Library Services in Prison as Exemplified by the Münster Prison Library, Germany's "Library of the Year 2007".

Gerhard Peschers, Anna Patterson

Libr. Trends, 2011

2004

Why Writing Your Own Search Engine Is Hard.

Anna Patterson

ACM Queue, 2004

1998

Implicit Programming and the Logic of Constructible Duality

Anna Patterson

PhD thesis, 1998

Quantifiers and Operations on Modalities and Contexts.

Tom Costello, Anna Patterson

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

1997

Bisimulation and Propositional Intuitionistic Logic.

Anna Patterson

Proceedings of the CONCUR '97: Concurrency Theory, 1997

1993

Abstraction and modularity mechanisms for concurrent computing.

Gul Agha, Svend Frølund, WooYoung Kim, Rajendra Panwar, Anna Patterson, Daniel C. Sturman

IEEE Parallel Distributed Technol. Syst. Appl., 1993