| Verification of an Optimized NTT Algorithm. | 1 | 0.35 | 2020 |
| Few-shot Learning of Homogeneous Human Locomotion Styles. | 1 | 0.35 | 2018 |
| Reasoning about effects: from lists to cyber-physical agents. | 0 | 0.34 | 2018 |
| Double Helix and RAVEN: A System for Cyber Fault Tolerance and Recovery. | 3 | 0.39 | 2016 |
| The Semantics of Datalog for the Evidential Tool Bus - (Extended Abstract). | 0 | 0.34 | 2014 |
| IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude | 5 | 0.65 | 2005 |
| Actors and Logical Analysis of Interactive Systems | 0 | 0.34 | 2005 |
| ClusterGrind: valgrinding LAM/MPI applications | 2 | 0.43 | 2005 |
| Operational Techniques in PVS — A Preliminary Evaluation | 6 | 0.59 | 2001 |
| Simple Network Protocol Simulation within Maude | 7 | 0.61 | 2000 |
| Actor languages. their syntax, semantics, translation, and equivalence | 25 | 1.38 | 1999 |
| Computing with Contexts | 11 | 0.78 | 1999 |
| A first order logic of effects | 4 | 0.46 | 1997 |
| A Semantically Sound Actor Tranlsation | 12 | 0.96 | 1997 |
| A foundation for actor computation | 232 | 11.41 | 1997 |
| From operational semantics to domain theory | 27 | 1.78 | 1996 |
| A variable typed logic of effects | 34 | 3.89 | 1995 |
| Reasoning About Object Systems in VTLoE | 4 | 1.59 | 1995 |
| Special Issue on State in Programming Languages - Introduction | 0 | 0.34 | 1995 |
| Metamathematics Of Contexts | 63 | 6.41 | 1995 |
| Program Transformation via Contextual Assertions | 2 | 0.38 | 1994 |
| The Semantics of Propositional Contexts | 13 | 1.51 | 1994 |
| Extraction of events from 3D volumes of seismic data | 0 | 0.34 | 1994 |
| Propositional logic of context | 53 | 10.20 | 1993 |
| Seismic Time Section Analysis Using Machine Vision. | 1 | 0.63 | 1993 |
| Towards a Theory of Actor Computation | 55 | 3.25 | 1992 |
| References, local variables and operational reasoning | 19 | 1.43 | 1992 |
| Inferring the equivalence of functional programs that mutate data | 17 | 1.65 | 1992 |
| A Theory of Classes for a Functional Language with Effects | 3 | 0.57 | 1992 |
| Using typed lambda calculus to implement formal systems on a machine | 64 | 15.56 | 1992 |
| Equivalence in Functional Languages with Effects | 73 | 4.82 | 1991 |
| Program transformations for configuring components | 0 | 0.34 | 1991 |
| Reasoning About Programs with Effects | 5 | 0.94 | 1990 |
| Programming, Transforming, and Providing with Function Abstractions and Memories | 26 | 13.73 | 1989 |
| Axiomatizing operational equivalence in the presence of side effects | 23 | 6.27 | 1989 |
| Equivalence of First Order LISP Programs. Proving Properties of Destructive Programs via Transformation | 4 | 1.82 | 1986 |
| The Metatheory Of The Classical Propositional Calculus Is Not Axiomatizable | 2 | 0.66 | 1985 |
