On the public citation graph

Multiparadigm Programming in Mozart/Oz

https://doi.org/10.1007/b106627
0 signed · 36 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 points at this work

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

inferred← citeshttps://doi.org/10.1002/9783527645480.ch4openalex-snapshot
Bioelectronic Devices Controlled by Enzyme‐Based Information Processing Systems
inferred← citeshttps://doi.org/10.1007/11422532_9openalex-snapshot
Large Scale Semantic Construction for Tree Adjoining Grammars
inferred← citeshttps://doi.org/10.1007/11527862_5openalex-snapshot
Implementing an Abstraction Framework for Soft Constraints
inferred← citeshttps://doi.org/10.1007/11564751_18openalex-snapshot
CP(Graph): Introducing a Graph Computation Domain in Constraint Programming
inferred← citeshttps://doi.org/10.1007/11580850_12openalex-snapshot
Concurrency Among Strangers
inferred← citeshttps://doi.org/10.1007/11580850_14openalex-snapshot
A Practical Formal Model for Safety Analysis in Capability-Based Systems
inferred← citeshttps://doi.org/10.1007/11737414_2openalex-snapshot
Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place
inferred← citeshttps://doi.org/10.1007/11818502_7openalex-snapshot
Failure Handling in a Network-Transparent Distributed Programming Language
inferred← citeshttps://doi.org/10.1007/978-3-030-42058-1_3openalex-snapshot
Constraint Programming for New Product Development Project Prototyping
inferred← citeshttps://doi.org/10.1007/978-3-030-43897-5_3openalex-snapshot
Method for Supporting Product Development
inferred← citeshttps://doi.org/10.1007/978-3-030-64276-1_13openalex-snapshot
Semantics of a Relational $$\lambda $$-Calculus
inferred← citeshttps://doi.org/10.1007/978-3-319-14120-6_6openalex-snapshot
Lexical Disambiguation in LTAG Using Left Context
inferred← citeshttps://doi.org/10.1007/978-3-319-15545-6_10openalex-snapshot
Partial Valuation Structures for Qualitative Soft Constraints
inferred← citeshttps://doi.org/10.1007/978-3-540-31845-3_2openalex-snapshot
The Structure of Authority: Why Security Is Not a Separable Concern
inferred← citeshttps://doi.org/10.1007/978-3-540-31845-3_3openalex-snapshot
The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language
inferred← citeshttps://doi.org/10.1007/978-3-540-68679-8_11openalex-snapshot
Semiring-Based Soft Constraints
inferred← citeshttps://doi.org/10.1007/978-3-540-70816-2_1openalex-snapshot
Meta-User Interfaces for Ambient Spaces
inferred← citeshttps://doi.org/10.1007/978-3-540-70939-8_19openalex-snapshot
The Non-associativity of Polarized Tree-Based Grammars
inferred← citeshttps://doi.org/10.1007/978-3-540-70952-7_19openalex-snapshot
jmle: A Tool for Executing JML Specifications Via Constraint Programming
inferred← citeshttps://doi.org/10.1007/978-3-540-73940-1_58openalex-snapshot
Variable Reassignment in the T++ Parallel Programming Language
inferred← citeshttps://doi.org/10.1007/978-3-540-74792-5_12openalex-snapshot
Links: Web Programming Without Tiers
inferred← citeshttps://doi.org/10.1007/978-3-540-85110-3_12openalex-snapshot
Towards an Implementation of a Computer Algebra System in a Functional Language
inferred← citeshttps://doi.org/10.1007/978-3-540-89197-0_96openalex-snapshot
Branch and Bound Algorithms to Solve Semiring Constraint Satisfaction Problems
inferred← citeshttps://doi.org/10.1007/978-3-642-04167-9_11openalex-snapshot
Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed Programming
inferred← citeshttps://doi.org/10.1007/978-3-642-12566-9_3openalex-snapshot
Formal Reasoning about Software Object Translations
inferred← citeshttps://doi.org/10.1007/978-3-642-36071-8_23openalex-snapshot
An Architecture for Dynamic Web Service Provisioning Using Peer-to-Peer Networks
inferred← citeshttps://doi.org/10.1007/978-3-642-41524-1_16openalex-snapshot
A Prototype of a Knowledge-Based Programming Environment
inferred← citeshttps://doi.org/10.1007/978-3-662-44116-9_4openalex-snapshot
XMG: A Modular MetaGrammar Compiler
inferred← citeshttps://doi.org/10.1109/dfm.2011.12openalex-snapshot
GoDEL: A Multidirectional Dataflow Execution Model for Large-Scale Computing
inferred← citeshttps://doi.org/10.1109/eurcon.2007.4400398openalex-snapshot
A Knowledge Representation and Reasoning Based on Petri Nets with Spatio-Temporal Tokens
inferred← citeshttps://doi.org/10.1162/comj_a_00296openalex-snapshot
A Max Library for Musical Notation and Computer-Aided Composition
inferred← citeshttps://doi.org/10.31219/osf.io/c8kahopenalex-snapshot
ntccMC: A bounded-time model checker for ntcc
inferred← citeshttps://doi.org/10.3233/fi-2009-177openalex-snapshot
Integrating Finite Domain and Set Constraints into a Set-based Constraint Language
inferred← citeshttps://doi.org/10.3390/app10186330openalex-snapshot
Parametric Estimation and Constraint Programming-Based Planning and Simulation of Production Cost of a New Product
inferred← citeshttps://doi.org/10.48550/arxiv.1810.04276openalex-snapshot
Current Trends and Future Research Directions for Interactive Music
inferred← citeshttps://doi.org/10.5281/zenodo.1179646openalex-snapshot
Bending Common Music With Physical 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.