| One Complexity Theorist's View of Quantum Computing | 2000/01/01 | English | |
| Proofs as Graphs | 1995/01/01 | English | |
| ASF+SDF parsing tools applied to ELAN | 2000/01/01 | English | |
| Simple Network Protocol Simulation within Maude | 2000/01/01 | English | |
| Weightable quasi-metric semigroups and semilattices | 2001/03/01 | English | |
| Modal Logics for Cryptographic Processes | 2002/09/01 | English | |
| An ω-Automata Approach to the Compression of Bi-Level Images | 2000/01/01 | English | |
| On Semantics of Concurrency and Nondeterminism: Bisimulations and Temporal Logics | 1998/01/01 | English | |
| Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis | 2000/01/01 | English | |
| On the Coincidence of Semantics for Uniquely Determined Programs | 2001/03/01 | English | |
| Tensor Products and Powerspaces in Quantitative Domain Theory | 1997/01/01 | English | |
| Typed Multiset Rewriting Specifications of Security Protocols | 2001/03/01 | English | |
| A Powerdomain of Possibility Measures | 1997/01/01 | English | |
| Preface | 1999/01/01 | English | |
| Decidability of Plain and Hereditary History-Preserving Bisimilarity for BPP | 1999/01/01 | English | |
| Imprecise Exceptions, Co-Inductively | 1999/01/01 | English | |
| Semirings and Tree-to-Graph-to-Tree Transductions | 1995/01/01 | English | |
| Some Properties of Non-Orthogonal Term Graph Rewriting | 1995/01/01 | English | |
| Termination and normalisation under strategy Proofs in ELAN | 2000/01/01 | English | |
| Typed Logical Variables in Haskell | 2001/08/01 | English | |
| A Space Semantics for Core Haskell | 2001/08/01 | English | |
| Specification in CTL+Past, Verification in CTL | 1997/01/01 | English | |
| Precategories for Combining Probabilistic Automata | 1999/01/01 | English | |
| May Testing, Non-interference, and Compositionality | 2001/03/01 | English | |
| On the Formal Specification and Derivation of Relational Database Applications | 1998/01/01 | English | |
| Reasoning about Programs With Effects | 1998/01/01 | English | |
| Encapsulated Hierarchical Graphs, Graph Types, and Meta Types | 1995/01/01 | English | |
| The Leader Election Protocol of IEEE 1394 in Maude | 2000/01/01 | English | |
| Concurrent Computing: from Petri Nets to Graph Grammars | 1995/01/01 | English | |
| Grail: a functional form for imperative mobile code | 2003/09/01 | English | |