| 2008 |
|---|
| 10 | EE | Paul Jackson,
Jane E. Klobas:
Transactive memory systems in organizations: Implications for knowledge directories.
Decision Support Systems 44(2): 409-424 (2008) |
| 2006 |
|---|
| 9 | EE | Paul Jackson:
Nuprl.
The Seventeen Provers of the World 2006: 116-126 |
| 2005 |
|---|
| 8 | EE | Paul Jackson,
Jane E. Klobas:
Envisioning the Virtual Workplace: Conceptualising Virtualisation.
ECIS 2005 |
| 2004 |
|---|
| 7 | EE | Paul Jackson:
Ontology and business: creating structure for storing and accessing organisational knowledge on intranets.
ECIS 2004 |
| 6 | EE | Paul Jackson,
Daniel Sheridan:
Clause Form Conversions for Boolean Circuits.
SAT (Selected Papers 2004: 183-198 |
| 2001 |
|---|
| 5 | | Paul Jackson,
Noah Curthoys:
E-Government: Developments in the US and UK.
DEXA Workshop 2001: 334-342 |
| 4 | EE | Paul Jackson,
Joan Ealey-Sawyer,
I-Li Lu,
Stephen Jones:
Testing Information Delivery Methods Using Augmented Realit.
ISAR 2001: 171-172 |
| 1994 |
|---|
| 3 | | Paul Jackson:
Exploring Abstract Algebra in Constructive Type Theory.
CADE 1994: 590-604 |
| 1990 |
|---|
| 2 | | Ernest E. Sibert,
Harold F. Mattson,
Paul Jackson:
Finite Field Arithmetic Using the Connection Machine.
CAP 1990: 51-61 |
| 1982 |
|---|
| 1 | EE | James E. Burns,
Paul Jackson,
Nancy A. Lynch,
Michael J. Fischer,
Gary L. Peterson:
Data Requirements for Implementation of N-Process Mutual Exclusion Using a Single Shared Variable.
J. ACM 29(1): 183-205 (1982) |
