The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Bart Massey: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Marek A. Perkowski, Malgorzata Chrzanowska-Jeske, Alan Mishchenko, Xiaoyu Song, Anas Al-Rabadi, Bart Massey, Pawel Kerntopf, Andrzej Buller, Lech Józwiak, Alan J. Coppola
    Regular Realization of Symmetric Functions Using Reversible Logic. [Citation Graph (0, 0)][DBLP]
    DSD, 2001, pp:245-253 [Conf]
  2. Bart Massey, Evan Tick
    The Diadora Principle: Efficient Execution of Concurrent Logic and Related Languages. [Citation Graph (0, 0)][DBLP]
    HICSS (2), 1994, pp:396-404 [Conf]
  3. Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner
    An Implementation of Narrowing Strategies. [Citation Graph (0, 0)][DBLP]
    PPDP, 2001, pp:207-217 [Conf]
  4. Bart Massey, Robert T. Bauer
    X Meets Z: Verifying Correctness in the Presence of POSIX Threads. [Citation Graph (0, 0)][DBLP]
    USENIX Annual Technical Conference, FREENIX Track, 2002, pp:221-234 [Conf]
  5. Bart Massey, Keith Packard
    Nickle: Language Principles and Pragmatics. [Citation Graph (0, 0)][DBLP]
    USENIX Annual Technical Conference, FREENIX Track, 2001, pp:55-68 [Conf]
  6. Bart Massey, Mick Thomure, Raya Budrevich, Scott Long
    Learning Spam: Simple Techniques For Freely-Available Software. [Citation Graph (0, 0)][DBLP]
    USENIX Annual Technical Conference, FREENIX Track, 2003, pp:63-76 [Conf]
  7. James Perkins, Andrew Greenberg, Jamey Sharp, David Cassard, Bart Massey
    Free Software and High-Power Rocketry: The Portland State Aerospace Society. [Citation Graph (0, 0)][DBLP]
    USENIX Annual Technical Conference, FREENIX Track, 2003, pp:245-258 [Conf]
  8. Jamey Sharp, Bart Massey
    XCL: An Xlib Compatibility Layer for XCB. [Citation Graph (0, 0)][DBLP]
    USENIX Annual Technical Conference, FREENIX Track, 2002, pp:71-83 [Conf]
  9. Sergio Antoy, Pascual Julián Iranzo, Bart Massey
    Improving the Efficiency of Non-Deterministic Computations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:64, n:, pp:- [Journal]

  10. Fast perfect weighted resampling. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002