On the public citation graph

Realization is universal

0 signed · 89 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.

Claim with ORCID

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.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-1-4612-9839-7openalex-snapshot

Categories for the Working Mathematician

inferredcites →https://doi.org/10.1007/978-3-642-46196-5_4openalex-snapshot

Introduction to the Algebraic Theory of Linear Dynamical Systems

inferredcites →https://doi.org/10.1016/0005-1098(69)90026-0openalex-snapshot

On the relevance of abstract algebra to control theory

inferredcites →https://doi.org/10.1016/s0022-0000(70)80028-9openalex-snapshot

Algebraic structures in linear systems theory

inferredcites →https://doi.org/10.1090/s0002-9904-1972-13032-5openalex-snapshot

Minimal realization of machines in closed categories

inferredcites →https://doi.org/10.1090/s0002-9939-1958-0135681-9openalex-snapshot

Linear Automaton Transformations

inferredcites →https://doi.org/10.1109/cdc.1971.270948openalex-snapshot

Systems and minimal realization

inferredcites →https://doi.org/10.1159/000389460openalex-snapshot

Mathematical Representation of Hierarchically Organized Systems

inferredcites →https://doi.org/10.18960/seitai.21.5-6_264openalex-snapshot

Global Systems Dynamics

inferredcites →https://doi.org/10.2307/2004866openalex-snapshot

Theories of Abstract Automata

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/11780274_20openalex-snapshot

A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages

inferred← citeshttps://doi.org/10.1007/3-540-07142-3_72openalex-snapshot

Realization is continuously universal

inferred← citeshttps://doi.org/10.1007/3-540-07389-2_188openalex-snapshot

Automata and categories

inferred← citeshttps://doi.org/10.1007/3-540-07410-4_669openalex-snapshot

Analogy categories, virtual machines, and structured programming

inferred← citeshttps://doi.org/10.1007/3-540-08442-8_101openalex-snapshot

Relational Automata in a Category and Their Languages

inferred← citeshttps://doi.org/10.1007/3-540-17162-2_116openalex-snapshot

Adjunctions

inferred← citeshttps://doi.org/10.1007/3-540-18508-9_25openalex-snapshot

Final algebras, cosemicomputable algebras, and degrees of unsolvability

inferred← citeshttps://doi.org/10.1007/3-540-45541-8_8openalex-snapshot

Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs

inferred← citeshttps://doi.org/10.1007/3-540-53982-4_2openalex-snapshot

On causality observed incrementally, finally

inferred← citeshttps://doi.org/10.1007/978-1-4471-0751-4_17openalex-snapshot

On the Behaviour of Semiautomata

inferred← citeshttps://doi.org/10.1007/978-1-4613-1437-0_5openalex-snapshot

Objects And Classes, Co-Algebraically

inferred← citeshttps://doi.org/10.1007/978-1-4757-0555-3_1openalex-snapshot

Progress in General Systems Research

inferred← citeshttps://doi.org/10.1007/978-1-4757-0555-3_7openalex-snapshot

General System Identification — Fundamentals and Results

inferred← citeshttps://doi.org/10.1007/978-1-4899-0718-9_20openalex-snapshot

Systems and Distinctions; Duality and Complementarity

inferred← citeshttps://doi.org/10.1007/978-1-4899-2608-1_25openalex-snapshot

Survey of Global Semigroup Theory

inferred← citeshttps://doi.org/10.1007/978-3-030-54341-9_9openalex-snapshot

Abstract Models for Systems Identification

inferred← citeshttps://doi.org/10.1007/978-3-031-66438-0_4openalex-snapshot

Automata and Coalgebras in Categories of Species

inferred← citeshttps://doi.org/10.1007/978-3-0348-5921-9_3openalex-snapshot

Fuzzy Theories

inferred← citeshttps://doi.org/10.1007/978-3-0348-5921-9_5openalex-snapshot

Fuzzy Systems

inferred← citeshttps://doi.org/10.1007/978-3-319-61007-8_3openalex-snapshot

Approximation and Complexity

inferred← citeshttps://doi.org/10.1007/978-3-540-40020-2_18openalex-snapshot

Notions of Behaviour and Reachable-Part and Their Institutions

inferred← citeshttps://doi.org/10.1007/978-3-540-44616-3_14openalex-snapshot

Realization of Probabilistic Automata: Categorical Approach

inferred← citeshttps://doi.org/10.1007/978-3-642-02614-0_20openalex-snapshot

Formal Proof: Reconciling Correctness and Understanding

inferred← citeshttps://doi.org/10.1007/978-3-642-14322-9_8openalex-snapshot

Sortal Equivalence of Bare Grammars

inferred← citeshttps://doi.org/10.1007/978-3-642-35644-5_50openalex-snapshot

Living in an Uncertain Universe

inferred← citeshttps://doi.org/10.1007/978-3-7091-6451-8_1openalex-snapshot

Abstractly modelling complex systems

inferred← citeshttps://doi.org/10.1007/978-94-009-7702-0_11openalex-snapshot

A Category-Theoretic Approach to Systems in a Fuzzy World

inferred← citeshttps://doi.org/10.1007/978-94-010-1239-3_1openalex-snapshot

A Category-Theoretic Approach to Systems in a Fuzzy World

inferred← citeshttps://doi.org/10.1007/bf00053496openalex-snapshot

Training, stability and control

inferred← citeshttps://doi.org/10.1007/bf00485051openalex-snapshot

A category-theoretic approach to systems in a fuzzy world

inferred← citeshttps://doi.org/10.1007/bf00987150openalex-snapshot

On the semigroups of linear sequential machines

inferred← citeshttps://doi.org/10.1007/bf02483826openalex-snapshot

Varietors and machines in a category

inferred← citeshttps://doi.org/10.1007/bfb0012775openalex-snapshot

Universal realization, persistent interconnection and implementation of abstract modules

inferred← citeshttps://doi.org/10.1007/bfb0014337openalex-snapshot

Coalgebraic specifications and models of deterministic hybrid systems

inferred← citeshttps://doi.org/10.1007/bfb0053063openalex-snapshot

Inheritance and cofree constructions

inferred← citeshttps://doi.org/10.1007/bfb0055624openalex-snapshot

Automata and coinduction (an exercise in coalgebra)

inferred← citeshttps://doi.org/10.1007/s00236-006-0036-6openalex-snapshot

Symbolic models for control systems

inferred← citeshttps://doi.org/10.1007/s00236-009-0098-3openalex-snapshot

Final and sequential behaviours of M-automata

inferred← citeshttps://doi.org/10.1007/s002360050168openalex-snapshot

A complete algebraic characterization of behavioral subtyping

inferred← citeshttps://doi.org/10.1016/0022-0000(79)90005-9openalex-snapshot

Universal realization

inferred← citeshttps://doi.org/10.1016/0022-0000(79)90011-4openalex-snapshot

Final algebra semantics and data type extensions

inferred← citeshttps://doi.org/10.1016/0022-0000(85)90047-9openalex-snapshot

Cost functors and optimal realization

inferred← citeshttps://doi.org/10.1016/0304-3975(90)90115-xopenalex-snapshot

Compatibility problems in the development of algebraic module specifications

inferred← citeshttps://doi.org/10.1016/0304-3975(92)90305-yopenalex-snapshot

Final algebras, cosemicomputable algebras and degrees of unsolvability

inferred← citeshttps://doi.org/10.1016/0890-5401(88)90017-xopenalex-snapshot

Bisimulation of automata

inferred← citeshttps://doi.org/10.1016/b978-0-08-025683-2.50007-7openalex-snapshot

MODELS: EQUIVALENCES, USES, EXTENSIONS

inferred← citeshttps://doi.org/10.1016/b978-0-08-036201-4.50009-6openalex-snapshot

Abstract Realization Theory

inferred← citeshttps://doi.org/10.1016/j.cogsys.2018.04.001openalex-snapshot

From cybernetics to brain theory, and more: A memoir

inferred← citeshttps://doi.org/10.1016/j.destud.2007.04.001openalex-snapshot

Towards an anticipatory view of design

inferred← citeshttps://doi.org/10.1016/s0020-7373(76)80005-3openalex-snapshot

Behaviour/structure transformations under uncertainty

inferred← citeshttps://doi.org/10.1016/s0020-7373(83)80046-7openalex-snapshot

Precise past—fuzzy future

inferred← citeshttps://doi.org/10.1016/s0022-0000(75)80012-2openalex-snapshot

Discrete-time machines in closed monoidal categories. I

inferred← citeshttps://doi.org/10.1016/s0022-0000(76)80002-5openalex-snapshot

Systematic approach to reduction and minimization in automata and system theory

inferred← citeshttps://doi.org/10.1016/s0076-5392(08)62237-7openalex-snapshot

Appendix I References and Historical Account

inferred← citeshttps://doi.org/10.1016/s0304-3975(02)00894-0openalex-snapshot

Categorical foundations for randomly timed automata

inferred← citeshttps://doi.org/10.1016/s0304-3975(02)00895-2openalex-snapshot

Behavioural differential equations: a coinductive calculus of streams, automata, and power series

inferred← citeshttps://doi.org/10.1016/s0304-3975(03)00317-7openalex-snapshot

Paracategories II: adjunctions, fibrations and examples from probabilistic automata theory

inferred← citeshttps://doi.org/10.1016/s0304-3975(97)87172-1openalex-snapshot

The behavior-realization adjunction and generalized homomorphic relations

inferred← citeshttps://doi.org/10.1016/s0304-3975(99)00213-3openalex-snapshot

Object-oriented hybrid systems of coalgebras plus monoid actions

inferred← citeshttps://doi.org/10.1016/s1571-0661(05)82520-4openalex-snapshot

A Notion of Division for Concrete Monoids

inferred← citeshttps://doi.org/10.1017/9781316823187openalex-snapshot

Introduction to Coalgebra: Towards Mathematics of States and Observation

inferred← citeshttps://doi.org/10.1017/s0890060411000023openalex-snapshot

A complexity theory of design intentionality

inferred← citeshttps://doi.org/10.1017/s0960129500000050openalex-snapshot

A categorical manifesto

inferred← citeshttps://doi.org/10.1017/s0960129525100364openalex-snapshot

Automata and coalgebras in categories of species

inferred← citeshttps://doi.org/10.1049/el:19750342openalex-snapshot

Approximate identification of automata

inferred← citeshttps://doi.org/10.1080/03081077708934759openalex-snapshot

SYSTEM IDENTIFICATION, APPROXIMATION AND COMPLEXITY

inferred← citeshttps://doi.org/10.1080/03081077908960886openalex-snapshot

SYSTEMS AND DISTINCTIONS; DUALITY AND COMPLEMENT ARITY†

inferred← citeshttps://doi.org/10.1080/16073606.1977.9632546openalex-snapshot

ON THE ADJOINT SITUATIONS BETWEEN BEHAVIOUR AND REALIZATION

inferred← citeshttps://doi.org/10.1080/16073606.1979.9631573openalex-snapshot

A STRUCTURE THEORY FOR A CATEGORY OF BEHAVIOURS

inferred← citeshttps://doi.org/10.1090/s0002-9904-1972-13032-5openalex-snapshot

Minimal realization of machines in closed categories

inferred← citeshttps://doi.org/10.1098/rsta.2014.0223openalex-snapshot

Symmetry structure in discrete models of biochemical systems: natural subsystems and the weak control hierarchy in a new model of computation driven by interactions

inferred← citeshttps://doi.org/10.1109/swat.1972.10openalex-snapshot

On homomorphisms, simulations, correctness and subroutines for programs and program schemes

inferred← citeshttps://doi.org/10.1145/641675.642099openalex-snapshot

The computer aided design of processor architectures

inferred← citeshttps://doi.org/10.1145/642089.642099openalex-snapshot

The computer aided design of processor architectures

inferred← citeshttps://doi.org/10.1184/r1/6602756openalex-snapshot

A taste of category theory for computer scientists

inferred← citeshttps://doi.org/10.1371/journal.pcbi.1002102openalex-snapshot

Categorial Compositionality II: Universal Constructions and a General Theory of (Quasi-)Systematicity in Human Cognition

inferred← citeshttps://doi.org/10.48550/arxiv.1406.1965openalex-snapshot

An Algebraic Characterisation of Concurrent Composition

inferred← citeshttps://doi.org/10.70675/52d46fa0zd44dz4171z976azca17c71661c8openalex-snapshot

Synchronization and Fault-tolerance in Distributed Algorithms

inferred← citeshttps://doi.org/10.9746/sicetr1965.15.436openalex-snapshot

Category Theoretic Realization Theory of Basic Linear Syetems

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.