Search the dblp DataBase

Publications of Author

1. Paul Jackson
   Exploring Abstract Algebra in Constructive Type Theory. [Citation Graph (0, 0)][DBLP]
   CADE, 1994, pp:590-604 [Conf]
   
2. Ernest E. Sibert, Harold F. Mattson, Paul Jackson
   Finite Field Arithmetic Using the Connection Machine. [Citation Graph (0, 0)][DBLP]
   CAP, 1990, pp:51-61 [Conf]
   
3. Paul Jackson, Noah Curthoys
   E-Government: Developments in the US and UK. [Citation Graph (0, 0)][DBLP]
   DEXA Workshop, 2001, pp:334-342 [Conf]
   
4. Paul Jackson
   Ontology and business: creating structure for storing and accessing organisational knowledge on intranets. [Citation Graph (0, 0)][DBLP]
   ECIS, 2004, pp:- [Conf]
   
5. Paul Jackson, Jane E. Klobas
   Envisioning the Virtual Workplace: Conceptualising Virtualisation. [Citation Graph (0, 0)][DBLP]
   ECIS, 2005, pp:- [Conf]
   
6. Paul Jackson, Joan Ealey-Sawyer, I-Li Lu, Stephen Jones
   Testing Information Delivery Methods Using Augmented Realit. [Citation Graph (0, 0)][DBLP]
   ISAR, 2001, pp:171-172 [Conf]
   
7. Paul Jackson, Daniel Sheridan
   Clause Form Conversions for Boolean Circuits. [Citation Graph (0, 0)][DBLP]
   SAT (Selected Papers, 2004, pp:183-198 [Conf]
   
8. Paul Jackson
   Nuprl. [Citation Graph (0, 0)][DBLP]
   The Seventeen Provers of the World, 2006, pp:116-126 [Conf]
   
9. 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. [Citation Graph (0, 0)][DBLP]
   J. ACM, 1982, v:29, n:1, pp:183-205 [Journal]
   
10. 
    Transactive memory systems in organizations: Implications for knowledge directories. [Citation Graph (, )][DBLP]