| The JStar language philosophy | 0 | 0.34 | 2013 |
| Simplifying Negative Goals Using Typed Existence Properties | 0 | 0.34 | 2010 |
| Suregene, a Scalable System for Automated Term Disambiguation of Gene and Protein Names. | 6 | 0.46 | 2005 |
| AZuRE, a Scalable System for Automated Term Disambiguation of Gene and Protein Names | 18 | 0.98 | 2004 |
| Tabling structures for bottom-up logic programming | 1 | 0.40 | 2002 |
| A regular type analysis of logic programs | 0 | 0.34 | 1999 |
| An Open Interface for Probabilistic Models of Text | 3 | 0.45 | 1999 |
| An Operational Semantics of Starlog | 7 | 0.51 | 1999 |
| Scheduling critical channels in conservative parallel discrete event simulation | 51 | 3.59 | 1999 |
| An Emptiness Algorithm for Regular Types with Set Operators | 2 | 0.36 | 1998 |
| Constructive Negation Using Typed Existence Properties | 1 | 0.35 | 1998 |
| Timestamp representations for virtual sequences | 3 | 0.50 | 1997 |
| Applying Time Warp to CPU Design | 2 | 0.54 | 1997 |
| Integrating error detection into arithmetic coding | 45 | 3.05 | 1997 |
| Performance of a conservative simulator of ATM networks | 3 | 0.49 | 1997 |
| Constructive Negation of Arithmetic Constraints Using Dataflow Graphs | 0 | 0.34 | 1997 |
| Conservative parallel simulation of ATM networks | 10 | 7.03 | 1996 |
| A fast asynchronous GVT algorithm for shared memory multiprocessor architectures | 13 | 1.01 | 1995 |
| K*: An Instance-based Learner Using an Entropic Distance Measure | 220 | 9.93 | 1995 |
| On The Insecurity Of Arithmetic Coding | 14 | 1.82 | 1995 |
| Bonsai: a compact representation of trees | 23 | 3.22 | 1993 |
| An external state management system for optimistic parallel simulation | 16 | 1.03 | 1993 |
| Commentary - Practical Parallel Discrete Event Simulation | 3 | 0.82 | 1993 |
| AND-Parallel Prolog on a Transputer-Based System | 0 | 0.34 | 1992 |
| Modeling for text compression | 103 | 17.90 | 1989 |
| On the privacy afforded by adaptive text compression. | 23 | 3.53 | 1988 |
| Analysis of an algorithm for fast ray tracing using uniform space subdivision | 59 | 7.92 | 1988 |
| Acquisition of uncertain rules in a probabilistic logic | 1 | 0.63 | 1987 |
| Arithmetic coding for data compression | 1127 | 272.86 | 1987 |
| On Frequency-Based Menu-Splitting Algorithms | 18 | 4.76 | 1984 |
| A comparison of enumerative and adaptive codes. | 19 | 19.94 | 1984 |
