| On coalgebra of real numbers | 1999/01/01 | English | |
| Concurrent Derivations as Single Pushout Graph Grammar Processes | 1995/01/01 | English | |
| A Compositional Approach to Structuring and Refinement of Typed Graph Grammars | 1995/01/01 | English | |
| A Derivation System for Uniqueness Typing | 1995/01/01 | English | |
| Enhancements of a clock-controlled running key generator | 2001/03/01 | English | |
| (Ω, Ξ)-Logic: On the Algebraic Extension of Coalgebraic Specifications | 1999/01/01 | English | |
| Path Integrals, Bayesian Vision, and Is Gaussian Quadrature Really Good? | 1999/01/01 | English | |
| Introduction to COMPUGRAPH | 1995/01/01 | English | |
| The Ciao Modular, Standalone Compiler and Its Generic Program Processing Library | 2000/01/01 | English | |
| Automatic Synthesis of Schedulers in Timed Systems | 2000/01/01 | English | |
| Relating Semantic Models for the Object Calculus | 1997/01/01 | English | |
| Figaro: Yet Another Constraint Programming Library | 2000/01/01 | English | |
| Preface | 1997/01/01 | English | |
| Preface | 1999/01/01 | English | |
| Alternating Context-Free Languages and Linear Time μ-Calculus with Sequential Composition | 2002/09/01 | English | |
| Algebraic Constraints, Automata, and Regular Languages | 2000/01/01 | English | |
| Interaction Nets with McCarthy's amb | 2002/09/01 | English | |
| Case Studies in the Specification and Analysis of Protocols in Maude | 2000/01/01 | English | |
| Derivable Type Classes | 2001/08/01 | English | |
| Handling Relations over Finite Domains in the Rule-Based System ELAN | 2000/01/01 | English | |
| The other topology | 2001/03/01 | English | |
| Polynomial Ideals, Grö;bner Bases and Constraints | 2001/03/01 | English | |
| Refinement-Preserving Plug-In Components | 2001/03/01 | English | |
| Studying Repleteness in the Category of Cpos | 1997/01/01 | English | |
| Towards Full Completeness of the Linear Logic of Chu Spaces | 1997/01/01 | English | |
| On the Expressive Power of Temporal Concurrent Constraint Programming Languages | 2002/09/01 | English | |
| On Expressive Completeness of Duration and Mean Value Calculi (Extended Abstract) | 1997/01/01 | English | |
| Zero-Safe Nets, or Transition Synchronization Made Simple | 1997/01/01 | English | |
| Towards the Construction of an Abstract State-Space from a Partial-Order Representation of the Concrete One | 1998/01/01 | English | |
| Context-sensitive Conditional Expression Reduction Systems | 1995/01/01 | English | |