Search the dblp DataBase
Bart Massey :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] 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 ] Sergio Antoy , Michael Hanus , Bart Massey , Frank Steiner An Implementation of Narrowing Strategies. [Citation Graph (0, 0)][DBLP ] PPDP, 2001, pp:207-217 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Fast perfect weighted resampling. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.003secs