On the public citation graph
Conservative extensions, interpretations between theories and all that!
0 signed · 71 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-13346-1_17openalex-snapshot
Building specifications in an arbitrary institution
inferredcites →https://doi.org/10.1007/3-540-13883-8_62openalex-snapshot
Logical specification and implementation
inferredcites →https://doi.org/10.1007/3-540-15199-0_14openalex-snapshot
A theory of abstract data types for program development: Bridging the gap?
inferredcites →https://doi.org/10.1007/3-540-17162-2_132openalex-snapshot
Bits and pieces of the theory of institutions
inferredcites →https://doi.org/10.1007/3-540-50939-9_124openalex-snapshot
A modular framework for specification and implementation
inferredcites →https://doi.org/10.1007/3-540-53982-4_9openalex-snapshot
Program specification and data refinement in type theory
inferredcites →https://doi.org/10.1007/3-540-60117-1_22openalex-snapshot
Specware: Formal support for composing software
inferredcites →https://doi.org/10.1007/978-0-387-35264-0_10openalex-snapshot
Synthesising Interconnections
inferredcites →https://doi.org/10.1007/978-1-4471-3071-0_9openalex-snapshot
Design Structures for Object-Based Systems
inferredcites →https://doi.org/10.1007/978-1-4471-3503-6_10openalex-snapshot
Generalising Interpretations Between Theories in the Context of (π-)institutions
inferredcites →https://doi.org/10.1007/978-1-4757-0555-3_18openalex-snapshot
A Categorical Approach to General Systems
inferredcites →https://doi.org/10.1007/978-3-642-69962-7openalex-snapshot
Fundamentals of Algebraic Specification 1
inferredcites →https://doi.org/10.1007/978-3-662-09691-8_13openalex-snapshot
Axiomatising Specification Theory
inferredcites →https://doi.org/10.1007/bf00260922openalex-snapshot
The algebraic specification of abstract data types
inferredcites →https://doi.org/10.1007/bf01212304openalex-snapshot
Temporal theories as modularisation units for concurrent system specification
inferredcites →https://doi.org/10.1007/bfb0014314openalex-snapshot
Object-oriented implementation of abstract data type specifications
inferredcites →https://doi.org/10.1007/bfb0014331openalex-snapshot
On the emergence of properties in component-based systems
inferredcites →https://doi.org/10.1007/bfb0039063openalex-snapshot
Superimposition for interacting processes
inferredcites →https://doi.org/10.1016/0020-0190(79)90153-4openalex-snapshot
An approach for data type specification and its use in program verification
inferredcites →https://doi.org/10.1016/0020-0190(94)00203-bopenalex-snapshot
On the Modularization Theorem for logical specifications
inferredcites →https://doi.org/10.1016/0141-9331(87)90465-0openalex-snapshot
The specification of computer programs
inferredcites →https://doi.org/10.1016/0167-6423(95)00014-3openalex-snapshot
Behavioural and abstractor specifications
inferredcites →https://doi.org/10.1016/0378-4754(85)90017-5openalex-snapshot
Information processing '83
inferredcites →https://doi.org/10.1016/0890-5401(88)90008-9openalex-snapshot
Specifications in an arbitrary institution
inferredcites →https://doi.org/10.1016/c2009-0-22107-6openalex-snapshot
A Mathematical Introduction to Logic
inferredcites →https://doi.org/10.1016/s0167-6423(96)00025-1openalex-snapshot
Categorical semantics of parallel program design
inferredcites →https://doi.org/10.1016/s0747-7171(06)80006-4openalex-snapshot
Constructing specification morphisms
inferredcites →https://doi.org/10.1080/03081079208945041openalex-snapshot
CATEGORICAL APPROACH TO GENERAL SYSTEMS THEORY
inferredcites →https://doi.org/10.1093/jigpal/3.4.579openalex-snapshot
Definition-like Extensions by Sorts
inferredcites →https://doi.org/10.1109/iwssd.1996.501146openalex-snapshot
A mathematical toolbox for the software architect
inferredcites →https://doi.org/10.1145/147508.147524openalex-snapshot
Institutions: abstract model theory for specification and programming
inferredcites →https://doi.org/10.1145/158511.158524openalex-snapshot
Imperative functional programming
inferredcites →https://doi.org/10.1145/169701.169682openalex-snapshot
A superimposition control construct for distributed systems
inferredcites →https://doi.org/10.1145/322290.322303openalex-snapshot
On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
inferredcites →https://doi.org/10.1145/359605.359618openalex-snapshot
Abstract data types and the development of data structures
inferredcites →https://doi.org/10.1145/43857.43861openalex-snapshot
Workshop on software specification and design
inferredcites →https://doi.org/10.1145/48022.48023openalex-snapshot
Distributed cooperation with action systems
inferredcites →https://doi.org/10.1145/73560.73581openalex-snapshot
A compositional approach to superimposition
inferredcites →https://doi.org/10.1145/75199.75205openalex-snapshot
Action system approach to the specification and design of distributed systems
inferredcites →https://doi.org/10.1145/800233.807045openalex-snapshot
Programming with abstract data types
inferredcites →https://doi.org/10.1145/942572.807045openalex-snapshot
Programming with abstract data types
inferredcites →https://doi.org/10.4135/9781483346274.n148openalex-snapshot
Human Information Processing
inferredcites →https://doi.org/10.5555/800054.802014openalex-snapshot
On what exactly is going on when software is developed step-by-step
inferredcites →https://doi.org/10.5555/857204.858267openalex-snapshot
A mathematical toolbox for the software architect
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/3-540-48199-0_11openalex-snapshot
A Framework for the Hyperintensional Semantics of Natural Language with Two Implementations
inferred← citeshttps://doi.org/10.1007/3-540-48958-4_6openalex-snapshot
OOD Frameworks in Component-Based Software - Development in Computational Logic
inferred← citeshttps://doi.org/10.1007/978-3-319-02654-1_18openalex-snapshot
Mapping-Aware Megamodeling: Design Patterns and Laws
inferred← citeshttps://doi.org/10.1007/978-3-319-49493-7_2openalex-snapshot
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey
inferred← citeshttps://doi.org/10.1007/978-3-319-72044-9_2openalex-snapshot
The Distributed Ontology, Model and Specification Language – DOL
inferred← citeshttps://doi.org/10.1007/978-3-540-25951-0_1openalex-snapshot
Specifying Compositional Units for Correct Program Development in Computational Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-01907-4_3openalex-snapshot
Formal Properties of Modularisation
inferred← citeshttps://doi.org/10.1007/978-3-642-40206-7_24openalex-snapshot
Checking Conservativity with Hets
inferred← citeshttps://doi.org/10.1007/978-3-662-45495-4_7openalex-snapshot
Complexity of Conservative Extensions and Inseparability in the Description Logic $${\mathcal {EL}}^\lnot $$
inferred← citeshttps://doi.org/10.1016/j.artint.2010.06.003openalex-snapshot
Logic-based ontology comparison and module extraction, with an application to DL-Lite
inferred← citeshttps://doi.org/10.1016/j.artint.2013.07.004openalex-snapshot
Model-theoretic inseparability and modularity of description logic ontologies
inferred← citeshttps://doi.org/10.1016/j.artint.2018.09.003openalex-snapshot
Query inseparability for ALC ontologies
inferred← citeshttps://doi.org/10.1016/j.jsc.2008.10.007openalex-snapshot
Deciding inseparability and conservative extensions in the description logic EL
inferred← citeshttps://doi.org/10.1016/s0020-0190(03)00390-9openalex-snapshot
On what exactly goes on when software is developed step-by-step, II: The sequel
inferred← citeshttps://doi.org/10.1109/ase.1998.732654openalex-snapshot
Parameterising (algebraic) specifications on diagrams
inferred← citeshttps://doi.org/10.1109/icst.2012.199openalex-snapshot
Towards a Methodology for Verifying Partial Model Refinements
inferred← citeshttps://doi.org/10.1145/3239372.3239413openalex-snapshot
Assurance via model transformations and their hierarchical refinement
inferred← citeshttps://doi.org/10.24963/kr.2021/47openalex-snapshot
Properties of Module Notions and Atomic Decomposition
inferred← citeshttps://doi.org/10.4204/eptcs.139.3openalex-snapshot
Actions and Events in Concurrent Systems Design
inferred← citeshttps://doi.org/10.5381/jot.2015.14.3.a3openalex-snapshot
A Methodology for Verifying Refinements of Partial Models.
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.