| On Normal Forms for Structured Specifications with Generating Constraints. | 0 | 0.34 | 2018 |
| Specification refinements: Calculi, tools, and applications. | 0 | 0.34 | 2017 |
| ThreadSafe: Static Analysis for Java Concurrency. | 3 | 0.41 | 2015 |
| TCS in the 21st century. | 0 | 0.34 | 2015 |
| Algebraic Constructions: A Simple Framework for Complex Dependencies and Parameterisation. | 0 | 0.34 | 2015 |
| The Foundational Legacy of ASL. | 0 | 0.34 | 2015 |
| Modularity of Ontologies in an Arbitrary Institution. | 0 | 0.34 | 2015 |
| Property-oriented semantics of structured specifications. | 2 | 0.36 | 2014 |
| Parchments for CafeOBJ Logics. | 0 | 0.34 | 2014 |
| Observability Concepts in Abstract Data Type Specification, 30 Years Later | 1 | 0.34 | 2008 |
| Observational interpretation of casl specifications | 1 | 0.36 | 2008 |
| Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers | 17 | 1.16 | 2007 |
| Mobile Resource Guarantees (project evaluation paper) | 2 | 0.36 | 2005 |
| Mobile resource guarantees for smart devices | 172 | 14.14 | 2004 |
| External Memory Algorithms for Diameter and All-Pairs Shortest-Paths on Sparse Graphs | 12 | 0.64 | 2004 |
| Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings | 95 | 10.89 | 2004 |
| A simple refinement language for CASL | 11 | 0.60 | 2004 |
| Semantic and Syntactic Approaches to Simulation Relations | 0 | 0.34 | 2003 |
| From Specifications to Code in CASL | 5 | 0.52 | 2002 |
| CASL: the common algebraic specification language | 97 | 3.94 | 2002 |
| Toward component-oriented formal software development: An algebraic approach | 36 | 1.63 | 2002 |
| Unit Testing for C88 ASL Architectural Specifications | 9 | 0.53 | 2002 |
| Prelogical relations | 4 | 0.39 | 2002 |
| The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress | 2 | 0.36 | 2001 |
| Lax Logical Relations | 17 | 0.63 | 2000 |
| Pre-logical Relations | 7 | 0.54 | 1999 |
| Algebraic methods for specification and formal development of programs | 11 | 0.62 | 1999 |
| Reflections on the Design of a Specification language | 5 | 0.53 | 1998 |
| Essential Concepts of Algebraic Specification and Program Development | 49 | 2.85 | 1997 |
| Mind the Gap! Abstract Versus Concrete Models of Specifications | 3 | 0.54 | 1996 |
| On behavioural abstraction and behavioural satisfaction in higher-order logic | 24 | 1.51 | 1996 |
| Foreword: Selected Papers of ESOP'94 | 0 | 0.34 | 1995 |
| Interfaces and extended ML | 0 | 0.34 | 1994 |
| Programming Languages and Systems - ESOP'94, 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994, Proceedings | 33 | 7.98 | 1994 |
| The Semantics of Extended ML: A Gentle Introduction | 7 | 0.65 | 1993 |
| Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations | 12 | 1.25 | 1992 |
| Algebraic specification and formal methods for program development: what are the real problems? | 3 | 0.49 | 1990 |
| A Kernel Specification Formalism with Higher-Order Parameterization | 12 | 1.20 | 1990 |
| Logic Representation in LF | 10 | 0.98 | 1989 |
| Structure and representation in LF | 20 | 2.56 | 1989 |
| Toward Formal Development of ML Programs: Foundations and Methodology (Extended Abstract) | 8 | 0.55 | 1989 |
| Formal Development of ML Programs: Methodological Aspects | 1 | 0.34 | 1988 |
| Specifications in an arbitrary institution | 163 | 11.00 | 1988 |
| Toward formal development of programs from algebraic specifications: implementations revisited | 88 | 5.57 | 1988 |
| Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited (Extended Abstract) | 11 | 1.32 | 1987 |
| Recent Trends in Data Type Specification, 5th Workshop on Abstract Data Types, Gullane, Scotland, September 1-4, 1987, Selected Papers | 11 | 2.86 | 1987 |
| On observational equivalence and algebraic specification | 103 | 8.95 | 1987 |
| Extended ML: an institution-independent framework for formal program development | 48 | 4.21 | 1985 |
| Program specification and development in standard ML | 29 | 4.61 | 1985 |
| Some Thoughts on Algebraic Specification | 6 | 0.72 | 1984 |
