The SCEAS System
Navigation Menu

Search the dblp DataBase


Paul Jackson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002