| On Normal Forms for Structured Specifications with Generating Constraints. | 0 | 0.34 | 2018 |
| 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 |
| Răzvan Diaconescu, Institution-independent Model Theory | 0 | 0.34 | 2014 |
| Parchments for CafeOBJ Logics. | 0 | 0.34 | 2014 |
| A Relatively Complete Calculus for Structured Heterogeneous Specifications. | 1 | 0.35 | 2014 |
| The Institution-Theoretic Scope of Logic Theorems. | 0 | 0.34 | 2014 |
| Władysław Marek Turski (1938–2013) | 0 | 0.34 | 2014 |
| Testing of Evolving Protocols | 0 | 0.34 | 2012 |
| Some Nuances of Many-sorted Universal Algebra: A Review. | 6 | 0.48 | 2011 |
| Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482). | 5 | 3.70 | 2011 |
| Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings | 24 | 1.70 | 2009 |
| What is a Logic Translation? | 11 | 0.72 | 2009 |
| Observability Concepts in Abstract Data Type Specification, 30 Years Later | 1 | 0.34 | 2008 |
| A Heterogeneous Approach to UML Semantics | 30 | 1.04 | 2008 |
| Heterogeneous Logical Environments for Distributed Specifications | 15 | 0.70 | 2008 |
| Toward specifications for reconfigurable component systems | 2 | 0.38 | 2007 |
| Automata, Languages and Programming, 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings | 64 | 3.79 | 2007 |
| FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings | 36 | 4.21 | 2005 |
| Amalgamation in the semantics of CASL | 4 | 0.41 | 2005 |
| A simple refinement language for CASL | 11 | 0.60 | 2004 |
| Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings | 4 | 0.78 | 2004 |
| Casl - The Common Algebraic Specification Language: Semantics And Proof Theory | 20 | 0.91 | 2003 |
| CASL: the common algebraic specification language | 97 | 3.94 | 2002 |
| Global Development via Local Observational Construction Steps | 5 | 0.55 | 2002 |
| Toward component-oriented formal software development: An algebraic approach | 36 | 1.63 | 2002 |
| Semantics of Architectural Specifications in CASL | 14 | 0.83 | 2001 |
| Amalgamation in CASL via Enriched Signatures | 4 | 0.45 | 2001 |
| Checking Amalgamability Conditions for C ASL Architectural Specifications | 8 | 0.58 | 2001 |
| First-Order Specifications of Programmable Data Types | 1 | 0.37 | 2000 |
| Constructive Data Refinement in Typed Lambda Calculus | 6 | 0.43 | 2000 |
| Towards Heterogeneous Specifications. | 0 | 0.34 | 1998 |
| Combining and representing logical systems using model-theoretic parchments | 19 | 1.09 | 1997 |
| Combining and Representing Logical Systems | 18 | 1.16 | 1997 |
| Essential Concepts of Algebraic Specification and Program Development | 49 | 2.85 | 1997 |
| The definition of extended ML: a gentle introduction | 40 | 1.86 | 1997 |
| Behavioural Satisfaction and Equivalence in Concrete Model Categories | 21 | 1.90 | 1996 |
| Mind the Gap! Abstract Versus Concrete Models of Specifications | 3 | 0.54 | 1996 |
| Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers | 28 | 2.11 | 1995 |
| Moving Between Logical Systems | 64 | 2.45 | 1995 |
| Structured theory presentations and logic representations | 27 | 1.30 | 1994 |
| Interfaces and extended ML | 0 | 0.34 | 1994 |
| The Semantics of Extended ML: A Gentle Introduction | 7 | 0.65 | 1993 |
| Toward formal development of programs from algebraic specifications: Parameterisation revisited | 94 | 7.17 | 1992 |
| Modules for a model-oriented specification language: a proposal for MetaSoft | 3 | 0.66 | 1992 |
| Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations | 12 | 1.25 | 1992 |
| Some fundamental algebraic tools for the semantics of computation, part 3: indexed categories | 61 | 3.37 | 1991 |
| On conservative extensions of syntax in system development | 3 | 0.41 | 1991 |
