Pith. sign in

Paper Citation Record · LEDGER

Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering

As of 9 August 2026, this Paper Citation Record lists 32 of 32 outbound references and 1 inbound Pith citation observation for arXiv:2604.05001.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2604.05001 v1

Coverage vector

measured 32 of 32 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-13T10:06:59.452231Z

measured 33 of 33 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-07-13T08:36:53.894535Z

measured 1 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: pith, observed 2026-08-05T02:28:24.338817Z

Reference resolution

32 of 32 outbound references displayed

  • verified exact16
  • verified fuzzy0
  • unresolved16
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

113
pith, observed 2026-08-05T02:28:24.338817Z

Outbound references

Observation 46665412-2535-4f9a-856c-9a321924d4c0 · outbound

This paper cites AcmeCorp to Approval.

Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering AcmeCorp to Approval

Reference 1

Resolution
unresolved
no resolver link, observed 2026-07-13T10:06:59.452231Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-13T10:06:59.452231Z digest=sha256:2819b0aa845883be6b61467c9e66e78e778147609cd7fa5fe9f34e8be062490b

Observation 2122beb6-1e30-4b30-b2c7-4590d304bd65 · outbound

This paper cites Their central finding is that no single mechanism fully addresses reuse across all scenarios, and reuse across metamodel boundaries remains an unsolved problem.

Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering Their central finding is that no single mechanism fully addresses reuse across all scenarios, and reuse across metamodel boundaries remains an unsolved problem

Reference 2

Resolution
unresolved
no resolver link, observed 2026-07-13T10:06:59.452231Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-13T10:06:59.452231Z digest=sha256:f3a4fd45cfc7d5eff36682bafbacb075644a6455039cda0dd5587967a4f4b6b8

Observation 53cd4d35-c1ac-44f3-b622-69f7cf746dd1 · outbound

This paper cites MDA Distilled,.

Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering MDA Distilled,

Reference 3

Resolution
unresolved
no resolver link, observed 2026-07-13T10:06:59.452231Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-13T10:06:59.452231Z digest=sha256:f3f76a1354af27879c79251df88f341297e797a8fb2318bc8c90e3c6dd42e14c

Observation a34243d4-2d59-428d-952d-3858152ecab5 · outbound

This paper cites Available: https://www.oreilly.com/library/view/mda-distilled-principles/0201788918/.

Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering Available: https://www.oreilly.com/library/view/mda-distilled-principles/0201788918/

Reference 4

Resolution
unresolved
no resolver link, observed 2026-07-13T10:06:59.452231Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-13T10:06:59.452231Z digest=sha256:07958b5aab93f6f3d55449f6be4acfad4d3438f21afb18a0525a7f0a2a5b13de

Observation f2952154-e41c-4f2f-8d3a-26de0f864213 · outbound

This paper cites Model-Driven Software Development: Technology, Engineering, Management (Wiley Software Patterns Series),.

Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering Model-Driven Software Development: Technology, Engineering, Management (Wiley Software Patterns Series),

Reference 5

Resolution
unresolved
no resolver link, observed 2026-07-13T10:06:59.452231Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-13T10:06:59.452231Z digest=sha256:5b7cef1f5fc3e1e8a6294cbdb2073df75d7d3133509088d7f6079e9331f96d89

Observation 2e5cc8ae-075d-49f3-934a-dc810992cfde · outbound

This paper cites Available: http://www.amazon.com/Model-Driven-Software-Development-Technology-Engineering/dp/0470025700.

Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering Available: http://www.amazon.com/Model-Driven-Software-Development-Technology-Engineering/dp/0470025700

Reference 6

Resolution
unresolved
no resolver link, observed 2026-07-13T10:06:59.452231Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-13T10:06:59.452231Z digest=sha256:7cbcf8ed22350d19c143e1dc5e3e56045964783ed3deb2097873cc35bf7b01cc

Observation eb82add4-3151-414e-85da-ad10138953ee · outbound

This paper cites The state of practice in model-driven engineering,.

Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering The state of practice in model-driven engineering,

Reference 7

Resolution
verified exact
doi, observed 2026-07-13T10:09:32.839038Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-07-13T10:06:59.452231Z digest=sha256:9516541f81189e4577453a515d64b24a9712ce7fd7c2e1cafc3d9035641aabff

Observation 87e6c312-4547-4765-90b2-c53b47507cc7 · outbound

This paper cites The role of modularity in self-organisation dynamics in biological networks.

Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering The role of modularity in self-organisation dynamics in biological networks

Reference 8

Resolution
verified exact
local_arxiv, observed 2026-07-13T10:09:32.882665Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-07-13T10:06:59.452231Z digest=sha256:2044cd10fa31a38481df8e33cca82e3f6437a35ae8e95ea8f58ef9f2e6159bb0

Observation d074573c-e407-4925-9d01-411b0a8ec508 · outbound

This paper cites ATL: A model transformation tool,.

Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering ATL: A model transformation tool,

Reference 9

Resolution
unresolved
no resolver link, observed 2026-07-13T10:06:59.452231Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-13T10:06:59.452231Z digest=sha256:dab37b170509eb7b8d203421377504b9e497b8685d961e427e938ac52b264387

Observation 4d70c731-a665-48b8-9b4c-571479a35cc6 · outbound

This paper cites Reuse in model-to-model transformation languages: are we there yet?,.

Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering Reuse in model-to-model transformation languages: are we there yet?,

Reference 10

Resolution
verified exact
doi, observed 2026-07-13T10:09:32.888323Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-07-13T10:06:59.452231Z digest=sha256:4cc66c62ba28b43e9420c96b4d25986a3a0005e0a80d68cdfd4bcb983819d61f

Observation 10508ed7-0c2d-4579-9706-3ddf52cf0b9b · outbound

This paper cites Contrasting dedicated model transformation languages versus general purpose languages: a historical perspective on ATL versus Java based on complexity and size,.

Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering Contrasting dedicated model transformation languages versus general purpose languages: a historical perspective on ATL versus Java based on complexity and size,

Reference 11

Resolution
verified exact
doi, observed 2026-07-13T10:09:32.843892Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-07-13T10:06:59.452231Z digest=sha256:fb1af01404594d456bb78516afb6c37b3bb89e565f480d5ec8839708c82f1576

Observation 60acae42-7f19-4e17-9705-97f5ba4c3864 · outbound

This paper cites Specification of graph translators with triple graph grammars,.

Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering Specification of graph translators with triple graph grammars,

Reference 12

Resolution
verified exact
doi, observed 2026-07-13T10:09:32.902198Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-07-13T10:06:59.452231Z digest=sha256:8b3644dd0c23fc73bc8711053785399c6841e11c65c91eba4cd014709a3e5104

Observation 2c739513-d61c-49f8-a72e-1954a7ab6b65 · outbound

This paper cites AGG: A Graph Transformation Environment for Modeling and Validation of Software,.

Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering AGG: A Graph Transformation Environment for Modeling and Validation of Software,

Reference 13

Resolution
verified exact
doi, observed 2026-07-13T10:09:32.832574Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-07-13T10:06:59.452231Z digest=sha256:286cc3b07c7eee30f67c17ce7e848f16b130495ffcc97c66ac1a04ca92689ef6

Observation 33eec662-7c76-49dc-90d9-f8554622f528 · outbound

This paper cites Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations,.

Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations,

Reference 14

Resolution
unresolved
no resolver link, observed 2026-07-13T10:06:59.452231Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-13T10:06:59.452231Z digest=sha256:78379a21f3b9f700b93d158f497a1c0d106384d3475019a210dc72bf75029195

Observation 121018ec-3c7b-464e-943b-2dc77dfded1a · outbound

This paper cites an unresolved cited work.

Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering Unresolved cited work

Reference 15

Resolution
unresolved
no resolver link, observed 2026-07-13T10:06:59.452231Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-13T10:06:59.452231Z digest=sha256:8c6654df2e96d0f3dff49ee86b81442c8c996bf87a56298c81c146f951a0c439

Observation 2cf345a7-18d5-4841-911b-32140b673c6f · outbound

This paper cites Combinators for bidirectional tree transformations,.

Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering Combinators for bidirectional tree transformations,

Reference 16

Resolution
unresolved
no resolver link, observed 2026-07-13T10:06:59.452231Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-13T10:06:59.452231Z digest=sha256:c3fd316cf287ee148faf826ae1afe3e1ddf7f561d5a41b223a80859c21da03d4

Observation bd20308e-4c5b-4d19-bb24-85b54d19814d · outbound

This paper cites Symmetric lenses,.

Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering Symmetric lenses,

Reference 17

Resolution
unresolved
no resolver link, observed 2026-07-13T10:06:59.452231Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-13T10:06:59.452231Z digest=sha256:6389f2d9931c131baf70e0966c7821016bc1f649c86700372291d48684fe0683

Observation 76bf363d-a599-4c29-b464-efc3592e281f · outbound

This paper cites Multiple model synchronization with multiary delta lenses,.

Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering Multiple model synchronization with multiary delta lenses,

Reference 18

Resolution
verified exact
doi, observed 2026-07-13T10:09:32.860574Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-07-13T10:06:59.452231Z digest=sha256:102461e15c6f9ebe0a717ac0e11de85b3d58e214cf936d0c06c2fb38fe3a80dd

Observation ee9114b2-f788-4c6a-9cb8-58861091fd2a · outbound

This paper cites Representing first-order logic using graphs,.

Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering Representing first-order logic using graphs,

Reference 19

Resolution
unresolved
no resolver link, observed 2026-07-13T10:06:59.452231Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-13T10:06:59.452231Z digest=sha256:ea3187d00d65dcc21d2c0af7f98588cc87033d49e71788d57128c2a13acbecc8

Observation c4aa138c-ad5b-4f33-b6e0-ddf59a0772b6 · outbound

This paper cites Stratego/XT 0.17. A language and toolset for program transformation,.

Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering Stratego/XT 0.17. A language and toolset for program transformation,

Reference 20

Resolution
verified exact
doi, observed 2026-07-13T10:09:32.836627Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-07-13T10:06:59.452231Z digest=sha256:4c2a3b7bd415f9a636521345737667c5ce8daba524b38c73d0c0e8552a5de967

Observation 7d041dc1-8ce7-4b36-b541-1c1de58ae188 · outbound

This paper cites The spoofax language workbench,.

Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering The spoofax language workbench,

Reference 21

Resolution
verified exact
arxiv_id, observed 2026-07-13T10:09:32.875475Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-07-13T10:06:59.452231Z digest=sha256:5487359f4cc874e2492bdb3223279a946cc5ac0428b078fc3b00c3ad752fa92a

Observation 0b6e1d79-41b4-4f6c-8d8e-f103b6f15b27 · outbound

This paper cites Model Synchronization: Mappings, Tiles, and Categories,.

Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering Model Synchronization: Mappings, Tiles, and Categories,

Reference 22

Resolution
verified exact
doi, observed 2026-07-13T10:09:32.847822Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-07-13T10:06:59.452231Z digest=sha256:7094782b4e9b75973601ecda1e957bd3936410c6fed6cf72402a3452110f0e08

Observation a45e59a4-be82-4b06-956e-0f933a37b6ad · outbound

This paper cites A diagrammatic approach to model transformations,.

Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering A diagrammatic approach to model transformations,

Reference 23

Resolution
verified exact
arxiv_id, observed 2026-07-13T10:09:32.883404Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-07-13T10:06:59.452231Z digest=sha256:7707ce8f5b40aa054cbe9f82eb9d0336163f47b756d7239ae8fc00c8d8f66b46

Observation 4443d7be-a49d-4b70-907f-3cb1f7cc636c · outbound

This paper cites Initial Algebra Semantics and Continuous Algebras,.

Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering Initial Algebra Semantics and Continuous Algebras,

Reference 24

Resolution
unresolved
no resolver link, observed 2026-07-13T10:06:59.452231Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-13T10:06:59.452231Z digest=sha256:3784ebc3b7e847df9f1a1ac5c1185037dfe36a6fb9071aaac4fe16e42cc6c618

Observation a7fa1eb9-e0ff-4ec0-ab2b-10f8ce48d6ab · outbound

This paper cites Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations,.

Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations,

Reference 25

Resolution
unresolved
no resolver link, observed 2026-07-13T10:06:59.452231Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-13T10:06:59.452231Z digest=sha256:c5170d9f8b5f5e01bf9b30d0403abb0f2b998040c2d972ed7338b4abeef95adb

Observation 2da60cc0-0956-4aba-bd85-c6139e131e50 · outbound

This paper cites Building domain-specific embedded languages,.

Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering Building domain-specific embedded languages,

Reference 26

Resolution
unresolved
no resolver link, observed 2026-07-13T10:06:59.452231Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-13T10:06:59.452231Z digest=sha256:b1f1a4eefdc07fc40a949ae36c722d85e83d779045968d614b0712f2e41dee94

Observation 1fd7de57-b67b-40e4-96c3-f9d0db88becd · outbound

This paper cites Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages,.

Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages,

Reference 27

Resolution
unresolved
no resolver link, observed 2026-07-13T10:06:59.452231Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-07-13T10:06:59.452231Z digest=sha256:d6a39298cf3498e7a8c7e876e5d1fb46c876ffc3143342bfe86ce7d11c4bedc1

Observation 70bed00d-e897-4d8c-b5e9-eb6b037130af · outbound

This paper cites an unresolved cited work.

Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering Unresolved cited work

Reference 28

Resolution
verified exact
doi, observed 2026-07-13T10:09:32.914519Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-07-13T10:06:59.452231Z digest=sha256:8ca8838410fd7988c6670bf98c58a30217bdf63982f9fc19020ded6821c44fd9

Observation 205d54ae-ded0-4c3b-ac66-c096530b468c · outbound

This paper cites The Essence of Multilevel Metamodeling,.

Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering The Essence of Multilevel Metamodeling,

Reference 29

Resolution
verified exact
doi, observed 2026-07-13T10:09:32.906670Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-07-13T10:06:59.452231Z digest=sha256:21e1f2027a1e1b58c90c693bb2e3b9de8c27a48fc49cc8a6f2293f9c81f79550

Observation a8712669-54ae-4594-ba46-a74d02b344f2 · outbound

This paper cites On Model Subtyping,.

Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering On Model Subtyping,

Reference 30

Resolution
verified exact
doi, observed 2026-07-13T10:09:32.896081Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-07-13T10:06:59.452231Z digest=sha256:0e5350ae7e5def48fdac98dac685b4fa818160d6cc03fc58805eafcfe9cf669f

Observation 0f2ed363-3c01-46b9-b819-878086598cd0 · outbound

This paper cites On model typing,.

Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering On model typing,

Reference 31

Resolution
verified exact
doi, observed 2026-07-13T10:09:32.854859Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-07-13T10:06:59.452231Z digest=sha256:053e7d737eeabfccfbd52c5ffaccf32d2015dea6ef2d32a48ef3f3eca51fcaf3

Observation e21cc0cf-4a51-40f0-9f8e-bd6b66105c64 · outbound

This paper cites Exploring the Use of Package Templates for Flexible Re-use of Collections of Related Classes,.

Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering Exploring the Use of Package Templates for Flexible Re-use of Collections of Related Classes,

Reference 32

Resolution
verified exact
doi, observed 2026-07-13T10:09:32.868466Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-07-13T10:06:59.452231Z digest=sha256:da96bc42f4ebb8768813793094e80985bd3372954fc8cd2ef7e0476abbedb0b3

Pith citing papers

Observation 96a0e922-cc13-41cb-89fb-0fa9b30b648b · inbound

Supporting Design Decisions in Rule-Based Model Transformations cites this paper.

Supporting Design Decisions in Rule-Based Model Transformations Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering

Reference 9

Resolution
verified exact
local_arxiv, observed 2026-07-13T08:39:29.409659Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

source=pdf_text observed=2026-07-13T08:36:53.894535Z digest=sha256:8cfbacf6261959428a38d5bbf686d4f83cc1f0d548e9b6b6843a43e2be305273