{
  "edges": [
    {
      "evidence": {
        "dataset": "german-ai-innovation-path",
        "field": "cordis_project_code_and_participant_pic",
        "sourceId": "cordis:101093006:participant:912999891",
        "url": "https://cordis.europa.eu/project/id/101093006"
      },
      "evidenceClass": "exact",
      "from": "actor:cordis-pic:912999891",
      "id": "claim:funding:101093006:912999891",
      "relation": "participates_in",
      "to": "cordis:101093006"
    },
    {
      "evidence": {
        "dataset": "german-ai-research-to-transfer-index",
        "field": "cordis_project_code",
        "sourceId": "101093006:output:16461ede17b217bb5c92c975",
        "url": "https://cordis.europa.eu/project/id/101093006"
      },
      "evidenceClass": "exact",
      "from": "cordis:101093006",
      "id": "edge:project-output:101093006:16461ede17b217bb5c92c975",
      "relation": "has_observed_output",
      "to": "output:16461ede17b217bb5c92c975"
    },
    {
      "evidence": {
        "dataset": "german-ai-research-to-transfer-index",
        "field": "cordis_project_code",
        "sourceId": "101093006:output:2a49acd58b6439a2e28dc42d",
        "url": "https://cordis.europa.eu/project/id/101093006"
      },
      "evidenceClass": "exact",
      "from": "cordis:101093006",
      "id": "edge:project-output:101093006:2a49acd58b6439a2e28dc42d",
      "relation": "has_observed_output",
      "to": "output:2a49acd58b6439a2e28dc42d"
    },
    {
      "evidence": {
        "dataset": "german-ai-research-to-transfer-index",
        "field": "cordis_project_code",
        "sourceId": "101093006:output:3c6c40c2afb77c995ca69b55",
        "url": "https://cordis.europa.eu/project/id/101093006"
      },
      "evidenceClass": "exact",
      "from": "cordis:101093006",
      "id": "edge:project-output:101093006:3c6c40c2afb77c995ca69b55",
      "relation": "has_observed_output",
      "to": "output:3c6c40c2afb77c995ca69b55"
    },
    {
      "evidence": {
        "dataset": "german-ai-research-to-transfer-index",
        "field": "cordis_project_code",
        "sourceId": "101093006:output:4d0027974ea7be1a762bb08d",
        "url": "https://cordis.europa.eu/project/id/101093006"
      },
      "evidenceClass": "exact",
      "from": "cordis:101093006",
      "id": "edge:project-output:101093006:4d0027974ea7be1a762bb08d",
      "relation": "has_observed_output",
      "to": "output:4d0027974ea7be1a762bb08d"
    },
    {
      "evidence": {
        "dataset": "german-ai-research-to-transfer-index",
        "field": "cordis_project_code",
        "sourceId": "101093006:output:4f7e06583ec034fae107ebee",
        "url": "https://cordis.europa.eu/project/id/101093006"
      },
      "evidenceClass": "exact",
      "from": "cordis:101093006",
      "id": "edge:project-output:101093006:4f7e06583ec034fae107ebee",
      "relation": "has_observed_output",
      "to": "output:4f7e06583ec034fae107ebee"
    },
    {
      "evidence": {
        "dataset": "german-ai-research-to-transfer-index",
        "field": "cordis_project_code",
        "sourceId": "101093006:output:659e898d55c4900a3816bfb2",
        "url": "https://cordis.europa.eu/project/id/101093006"
      },
      "evidenceClass": "exact",
      "from": "cordis:101093006",
      "id": "edge:project-output:101093006:659e898d55c4900a3816bfb2",
      "relation": "has_observed_output",
      "to": "output:659e898d55c4900a3816bfb2"
    },
    {
      "evidence": {
        "dataset": "german-ai-research-to-transfer-index",
        "field": "cordis_project_code",
        "sourceId": "101093006:output:854301fc01104b0112f236a9",
        "url": "https://cordis.europa.eu/project/id/101093006"
      },
      "evidenceClass": "exact",
      "from": "cordis:101093006",
      "id": "edge:project-output:101093006:854301fc01104b0112f236a9",
      "relation": "has_observed_output",
      "to": "output:854301fc01104b0112f236a9"
    },
    {
      "evidence": {
        "dataset": "german-ai-research-to-transfer-index",
        "field": "cordis_project_code",
        "sourceId": "101093006:output:914538fa15679e44a920bdda",
        "url": "https://cordis.europa.eu/project/id/101093006"
      },
      "evidenceClass": "exact",
      "from": "cordis:101093006",
      "id": "edge:project-output:101093006:914538fa15679e44a920bdda",
      "relation": "has_observed_output",
      "to": "output:914538fa15679e44a920bdda"
    },
    {
      "evidence": {
        "dataset": "german-ai-research-to-transfer-index",
        "field": "cordis_project_code",
        "sourceId": "101093006:output:984f8a94ebe0474adc7c2a7b",
        "url": "https://cordis.europa.eu/project/id/101093006"
      },
      "evidenceClass": "exact",
      "from": "cordis:101093006",
      "id": "edge:project-output:101093006:984f8a94ebe0474adc7c2a7b",
      "relation": "has_observed_output",
      "to": "output:984f8a94ebe0474adc7c2a7b"
    },
    {
      "evidence": {
        "dataset": "german-ai-research-to-transfer-index",
        "field": "cordis_project_code",
        "sourceId": "101093006:output:9aa2b32dff6ace0e45559fea",
        "url": "https://cordis.europa.eu/project/id/101093006"
      },
      "evidenceClass": "exact",
      "from": "cordis:101093006",
      "id": "edge:project-output:101093006:9aa2b32dff6ace0e45559fea",
      "relation": "has_observed_output",
      "to": "output:9aa2b32dff6ace0e45559fea"
    },
    {
      "evidence": {
        "dataset": "german-ai-research-to-transfer-index",
        "field": "cordis_project_code",
        "sourceId": "101093006:output:a0f1366564f712b4b93197ed",
        "url": "https://cordis.europa.eu/project/id/101093006"
      },
      "evidenceClass": "exact",
      "from": "cordis:101093006",
      "id": "edge:project-output:101093006:a0f1366564f712b4b93197ed",
      "relation": "has_observed_output",
      "to": "output:a0f1366564f712b4b93197ed"
    },
    {
      "evidence": {
        "dataset": "german-ai-research-to-transfer-index",
        "field": "cordis_project_code",
        "sourceId": "101093006:output:a4cc667d55de5feb8bd59a35",
        "url": "https://cordis.europa.eu/project/id/101093006"
      },
      "evidenceClass": "exact",
      "from": "cordis:101093006",
      "id": "edge:project-output:101093006:a4cc667d55de5feb8bd59a35",
      "relation": "has_observed_output",
      "to": "output:a4cc667d55de5feb8bd59a35"
    },
    {
      "evidence": {
        "dataset": "german-ai-research-to-transfer-index",
        "field": "cordis_project_code",
        "sourceId": "101093006:output:bf89122d7585d2cb380b2b1d",
        "url": "https://cordis.europa.eu/project/id/101093006"
      },
      "evidenceClass": "exact",
      "from": "cordis:101093006",
      "id": "edge:project-output:101093006:bf89122d7585d2cb380b2b1d",
      "relation": "has_observed_output",
      "to": "output:bf89122d7585d2cb380b2b1d"
    },
    {
      "evidence": {
        "dataset": "german-ai-research-to-transfer-index",
        "field": "cordis_project_code",
        "sourceId": "101093006:output:d65668e4430fd1c2e4dcb9e3",
        "url": "https://cordis.europa.eu/project/id/101093006"
      },
      "evidenceClass": "exact",
      "from": "cordis:101093006",
      "id": "edge:project-output:101093006:d65668e4430fd1c2e4dcb9e3",
      "relation": "has_observed_output",
      "to": "output:d65668e4430fd1c2e4dcb9e3"
    },
    {
      "evidence": {
        "dataset": "german-ai-research-to-transfer-index",
        "field": "cordis_project_code",
        "sourceId": "101093006:output:d7a78f9ec06db2b45028a268",
        "url": "https://cordis.europa.eu/project/id/101093006"
      },
      "evidenceClass": "exact",
      "from": "cordis:101093006",
      "id": "edge:project-output:101093006:d7a78f9ec06db2b45028a268",
      "relation": "has_observed_output",
      "to": "output:d7a78f9ec06db2b45028a268"
    },
    {
      "evidence": {
        "dataset": "german-ai-research-to-transfer-index",
        "field": "cordis_project_code",
        "sourceId": "101093006:output:e92f2596749cd8a477598d83",
        "url": "https://cordis.europa.eu/project/id/101093006"
      },
      "evidenceClass": "exact",
      "from": "cordis:101093006",
      "id": "edge:project-output:101093006:e92f2596749cd8a477598d83",
      "relation": "has_observed_output",
      "to": "output:e92f2596749cd8a477598d83"
    }
  ],
  "entity": {
    "attributes": {
      "acronym": "TaRDIS",
      "code": "101093006",
      "endDate": "2026-03-31",
      "frameworkProgramme": "HORIZON",
      "funding": {
        "currency": "EUR",
        "germanNetEuContributionCents": "70356125",
        "participantEdgeCount": 1,
        "status": "linked"
      },
      "knowledgeFlow": null,
      "research": {
        "citationDataOutputCount": 89,
        "citedOutputCount": 37,
        "firstPublicationDate": "2022-01-01",
        "lastPublicationDate": "2025-09-25",
        "openAccessOutputCount": 85,
        "outputCount": 89,
        "status": "linked",
        "totalCitations": 132,
        "typeCounts": {
          "dataset": 0,
          "other": 2,
          "publication": 84,
          "software": 3
        }
      },
      "startDate": "2023-01-01"
    },
    "description": "Trustworthy and Resilient Decentralised Intelligence for Edge Systems",
    "edgeCount": 17,
    "id": "cordis:101093006",
    "indexable": true,
    "label": "TaRDIS · Trustworthy and Resilient Decentralised Intelligence for Edge Systems",
    "links": [
      {
        "kind": "official_source",
        "label": "CORDIS",
        "url": "https://cordis.europa.eu/project/id/101093006"
      },
      {
        "kind": "local_dossier",
        "label": "KI-Innovationspfad",
        "url": "/tools/ki-innovationspfad/?project=101093006"
      }
    ],
    "slug": "project-cordis-101093006-ae4c8984",
    "sourceRefs": [
      {
        "dataset": "german-ai-innovation-path",
        "field": "cordis_project_id",
        "sourceId": "cordis:101093006",
        "url": "https://cordis.europa.eu/project/id/101093006"
      }
    ],
    "type": "project"
  },
  "fingerprint": "sha256:5036c1044a297259c9b6c0fcf4ce27fd6a4bfdb15cff83df380c23740f6df473",
  "generatedAt": "2026-10-01T08:35:18.410Z",
  "neighbors": [
    {
      "attributes": {
        "aliases": [
          "ACTYX AG"
        ],
        "identifiers": [
          {
            "scheme": "cordis-pic",
            "value": "912999891"
          }
        ],
        "identityBasis": "official_identifier",
        "kind": "organization",
        "lanes": [
          "funding"
        ],
        "roles": [
          "funding_participant"
        ]
      },
      "edgeCount": 1,
      "id": "actor:cordis-pic:912999891",
      "indexable": true,
      "label": "ACTYX AG",
      "links": [
        {
          "kind": "evidence_source",
          "label": "german-ai-innovation-path",
          "url": "https://cordis.europa.eu/project/id/101093006"
        }
      ],
      "slug": "actor-cordis-pic-912999891-53cd5eed",
      "sourceRefs": [
        {
          "dataset": "german-ai-innovation-path",
          "field": "official_identifier",
          "recordCount": 1,
          "sourceId": "cordis:101093006:participant:912999891",
          "url": "https://cordis.europa.eu/project/id/101093006"
        }
      ],
      "type": "actor"
    },
    {
      "attributes": {
        "citationCount": 0,
        "isOpenAccess": true,
        "openAireId": "sygma_______::b5e71265b5009651bd9c271640ddccd4",
        "outputType": "other",
        "persistentIdentifiers": [],
        "publicationDate": "2025-01-27"
      },
      "edgeCount": 1,
      "id": "output:16461ede17b217bb5c92c975",
      "indexable": true,
      "label": "Parameterized Complexity of Caching in Networks",
      "links": [
        {
          "kind": "official_source",
          "label": "OpenAIRE",
          "url": "https://api.openaire.eu/graph/v3/research-products/sygma_______%3A%3Ab5e71265b5009651bd9c271640ddccd4"
        }
      ],
      "slug": "output-16461ede17b217bb5c92c975-9a37d2d6",
      "sourceRefs": [
        {
          "dataset": "german-ai-research-to-transfer-index",
          "field": "openaire_research_product_id",
          "sourceId": "sygma_______::b5e71265b5009651bd9c271640ddccd4",
          "url": "https://api.openaire.eu/graph/v3/research-products/sygma_______%3A%3Ab5e71265b5009651bd9c271640ddccd4"
        }
      ],
      "type": "output"
    },
    {
      "attributes": {
        "citationCount": 0,
        "isOpenAccess": true,
        "openAireId": "dedup_wf_002::2aa34237e79d7a8fcbcef2c8bd62b0a1",
        "outputType": "publication",
        "persistentIdentifiers": [
          {
            "scheme": "handle",
            "value": "10023/32613"
          }
        ],
        "publicationDate": "2025-01-01"
      },
      "edgeCount": 1,
      "id": "output:2a49acd58b6439a2e28dc42d",
      "indexable": true,
      "label": "Encoding choice and replication in roll-π",
      "links": [
        {
          "kind": "official_source",
          "label": "OpenAIRE",
          "url": "https://api.openaire.eu/graph/v3/research-products/dedup_wf_002%3A%3A2aa34237e79d7a8fcbcef2c8bd62b0a1"
        }
      ],
      "slug": "output-2a49acd58b6439a2e28dc42d-51a23b31",
      "sourceRefs": [
        {
          "dataset": "german-ai-research-to-transfer-index",
          "field": "openaire_research_product_id",
          "sourceId": "dedup_wf_002::2aa34237e79d7a8fcbcef2c8bd62b0a1",
          "url": "https://api.openaire.eu/graph/v3/research-products/dedup_wf_002%3A%3A2aa34237e79d7a8fcbcef2c8bd62b0a1"
        }
      ],
      "type": "output"
    },
    {
      "attributes": {
        "citationCount": 0,
        "isOpenAccess": false,
        "openAireId": "doi_dedup___::87d863e7c454edbaa7119fd3f6f6f441",
        "outputType": "publication",
        "persistentIdentifiers": [
          {
            "scheme": "doi",
            "value": "10.1007/978-3-032-05291-9_18"
          }
        ],
        "publicationDate": "2025-09-25"
      },
      "edgeCount": 1,
      "id": "output:3c6c40c2afb77c995ca69b55",
      "indexable": true,
      "label": "Type Congruence, Duality and Iso-Recursive Binary Session Types",
      "links": [
        {
          "kind": "official_source",
          "label": "OpenAIRE",
          "url": "https://api.openaire.eu/graph/v3/research-products/doi_dedup___%3A%3A87d863e7c454edbaa7119fd3f6f6f441"
        },
        {
          "kind": "persistent_identifier",
          "label": "DOI 10.1007/978-3-032-05291-9_18",
          "url": "https://doi.org/10.1007/978-3-032-05291-9_18"
        }
      ],
      "slug": "output-3c6c40c2afb77c995ca69b55-0e27c34d",
      "sourceRefs": [
        {
          "dataset": "german-ai-research-to-transfer-index",
          "field": "openaire_research_product_id",
          "sourceId": "doi_dedup___::87d863e7c454edbaa7119fd3f6f6f441",
          "url": "https://api.openaire.eu/graph/v3/research-products/doi_dedup___%3A%3A87d863e7c454edbaa7119fd3f6f6f441"
        }
      ],
      "type": "output"
    },
    {
      "attributes": {
        "citationCount": 0,
        "isOpenAccess": false,
        "openAireId": "dedup_wf_002::479e165e6a18f0117544a6c08a0c2f3e",
        "outputType": "publication",
        "persistentIdentifiers": [],
        "publicationDate": "2025-01-01"
      },
      "edgeCount": 1,
      "id": "output:4d0027974ea7be1a762bb08d",
      "indexable": true,
      "label": "Grading Call-By-Push-Value, Explicitly and Implicitly.",
      "links": [
        {
          "kind": "official_source",
          "label": "OpenAIRE",
          "url": "https://api.openaire.eu/graph/v3/research-products/dedup_wf_002%3A%3A479e165e6a18f0117544a6c08a0c2f3e"
        }
      ],
      "slug": "output-4d0027974ea7be1a762bb08d-21b0cbc3",
      "sourceRefs": [
        {
          "dataset": "german-ai-research-to-transfer-index",
          "field": "openaire_research_product_id",
          "sourceId": "dedup_wf_002::479e165e6a18f0117544a6c08a0c2f3e",
          "url": "https://api.openaire.eu/graph/v3/research-products/dedup_wf_002%3A%3A479e165e6a18f0117544a6c08a0c2f3e"
        }
      ],
      "type": "output"
    },
    {
      "attributes": {
        "citationCount": 0,
        "isOpenAccess": false,
        "openAireId": "dedup_wf_002::f8914d4606a3395e3baa98a0185f0171",
        "outputType": "publication",
        "persistentIdentifiers": [],
        "publicationDate": "2025-01-01"
      },
      "edgeCount": 1,
      "id": "output:4f7e06583ec034fae107ebee",
      "indexable": true,
      "label": "Ensuring Convergence and Invariants Without Coordination (Artifact).",
      "links": [
        {
          "kind": "official_source",
          "label": "OpenAIRE",
          "url": "https://api.openaire.eu/graph/v3/research-products/dedup_wf_002%3A%3Af8914d4606a3395e3baa98a0185f0171"
        }
      ],
      "slug": "output-4f7e06583ec034fae107ebee-c8985ae8",
      "sourceRefs": [
        {
          "dataset": "german-ai-research-to-transfer-index",
          "field": "openaire_research_product_id",
          "sourceId": "dedup_wf_002::f8914d4606a3395e3baa98a0185f0171",
          "url": "https://api.openaire.eu/graph/v3/research-products/dedup_wf_002%3A%3Af8914d4606a3395e3baa98a0185f0171"
        }
      ],
      "type": "output"
    },
    {
      "attributes": {
        "citationCount": 3,
        "isOpenAccess": true,
        "openAireId": "doi_dedup___::c8157a1d0b059d45faae4dd7d062fb38",
        "outputType": "publication",
        "persistentIdentifiers": [
          {
            "scheme": "arXiv",
            "value": "2403.02661"
          },
          {
            "scheme": "doi",
            "value": "10.1109/tse.2025.3593930"
          },
          {
            "scheme": "doi",
            "value": "10.48550/arxiv.2403.02661"
          }
        ],
        "publicationDate": "2025-09-01"
      },
      "edgeCount": 1,
      "id": "output:659e898d55c4900a3816bfb2",
      "indexable": true,
      "label": "How to Save My Gas Fees: Understanding and Detecting Real-World Gas Issues in Solidity Programs",
      "links": [
        {
          "kind": "official_source",
          "label": "OpenAIRE",
          "url": "https://api.openaire.eu/graph/v3/research-products/doi_dedup___%3A%3Ac8157a1d0b059d45faae4dd7d062fb38"
        },
        {
          "kind": "persistent_identifier",
          "label": "DOI 10.1109/tse.2025.3593930",
          "url": "https://doi.org/10.1109/tse.2025.3593930"
        },
        {
          "kind": "persistent_identifier",
          "label": "DOI 10.48550/arxiv.2403.02661",
          "url": "https://doi.org/10.48550/arxiv.2403.02661"
        }
      ],
      "slug": "output-659e898d55c4900a3816bfb2-7297572a",
      "sourceRefs": [
        {
          "dataset": "german-ai-research-to-transfer-index",
          "field": "openaire_research_product_id",
          "sourceId": "doi_dedup___::c8157a1d0b059d45faae4dd7d062fb38",
          "url": "https://api.openaire.eu/graph/v3/research-products/doi_dedup___%3A%3Ac8157a1d0b059d45faae4dd7d062fb38"
        }
      ],
      "type": "output"
    },
    {
      "attributes": {
        "citationCount": 0,
        "isOpenAccess": true,
        "openAireId": "doi_dedup___::73deda5619ce14dfe2a1318d6abfe259",
        "outputType": "publication",
        "persistentIdentifiers": [
          {
            "scheme": "arXiv",
            "value": "2412.16585"
          },
          {
            "scheme": "doi",
            "value": "10.1609/aaai.v39i11.33221"
          },
          {
            "scheme": "doi",
            "value": "10.48550/arxiv.2412.16585"
          },
          {
            "scheme": "doi",
            "value": "10.5281/zenodo.14748608"
          },
          {
            "scheme": "doi",
            "value": "10.5281/zenodo.14748609"
          }
        ],
        "publicationDate": "2025-04-11"
      },
      "edgeCount": 1,
      "id": "output:854301fc01104b0112f236a9",
      "indexable": true,
      "label": "Parameterized Complexity of Caching in Networks",
      "links": [
        {
          "kind": "official_source",
          "label": "OpenAIRE",
          "url": "https://api.openaire.eu/graph/v3/research-products/doi_dedup___%3A%3A73deda5619ce14dfe2a1318d6abfe259"
        },
        {
          "kind": "persistent_identifier",
          "label": "DOI 10.1609/aaai.v39i11.33221",
          "url": "https://doi.org/10.1609/aaai.v39i11.33221"
        },
        {
          "kind": "persistent_identifier",
          "label": "DOI 10.48550/arxiv.2412.16585",
          "url": "https://doi.org/10.48550/arxiv.2412.16585"
        },
        {
          "kind": "persistent_identifier",
          "label": "DOI 10.5281/zenodo.14748608",
          "url": "https://doi.org/10.5281/zenodo.14748608"
        },
        {
          "kind": "persistent_identifier",
          "label": "DOI 10.5281/zenodo.14748609",
          "url": "https://doi.org/10.5281/zenodo.14748609"
        }
      ],
      "slug": "output-854301fc01104b0112f236a9-3f11c544",
      "sourceRefs": [
        {
          "dataset": "german-ai-research-to-transfer-index",
          "field": "openaire_research_product_id",
          "sourceId": "doi_dedup___::73deda5619ce14dfe2a1318d6abfe259",
          "url": "https://api.openaire.eu/graph/v3/research-products/doi_dedup___%3A%3A73deda5619ce14dfe2a1318d6abfe259"
        }
      ],
      "type": "output"
    },
    {
      "attributes": {
        "citationCount": 0,
        "isOpenAccess": true,
        "openAireId": "dedup_wf_002::c53ba9c3df063c022d16958e667afdfb",
        "outputType": "publication",
        "persistentIdentifiers": [
          {
            "scheme": "handle",
            "value": "10362/186792"
          }
        ],
        "publicationDate": "2025-01-01"
      },
      "edgeCount": 1,
      "id": "output:914538fa15679e44a920bdda",
      "indexable": true,
      "label": "Ensuring Convergence and Invariants Without Coordination.",
      "links": [
        {
          "kind": "official_source",
          "label": "OpenAIRE",
          "url": "https://api.openaire.eu/graph/v3/research-products/dedup_wf_002%3A%3Ac53ba9c3df063c022d16958e667afdfb"
        }
      ],
      "slug": "output-914538fa15679e44a920bdda-cbc75f5f",
      "sourceRefs": [
        {
          "dataset": "german-ai-research-to-transfer-index",
          "field": "openaire_research_product_id",
          "sourceId": "dedup_wf_002::c53ba9c3df063c022d16958e667afdfb",
          "url": "https://api.openaire.eu/graph/v3/research-products/dedup_wf_002%3A%3Ac53ba9c3df063c022d16958e667afdfb"
        }
      ],
      "type": "output"
    },
    {
      "attributes": {
        "citationCount": 0,
        "isOpenAccess": true,
        "openAireId": "doi_dedup___::62a4a56dbd01676d310dd6c80e18a6a7",
        "outputType": "publication",
        "persistentIdentifiers": [
          {
            "scheme": "arXiv",
            "value": "2510.03941"
          },
          {
            "scheme": "doi",
            "value": "10.48550/arxiv.2510.03941"
          }
        ],
        "publicationDate": "2025-01-01"
      },
      "edgeCount": 1,
      "id": "output:984f8a94ebe0474adc7c2a7b",
      "indexable": true,
      "label": "Unreliability in Practical Subclasses of Communicating Systems",
      "links": [
        {
          "kind": "official_source",
          "label": "OpenAIRE",
          "url": "https://api.openaire.eu/graph/v3/research-products/doi_dedup___%3A%3A62a4a56dbd01676d310dd6c80e18a6a7"
        },
        {
          "kind": "persistent_identifier",
          "label": "DOI 10.48550/arxiv.2510.03941",
          "url": "https://doi.org/10.48550/arxiv.2510.03941"
        }
      ],
      "slug": "output-984f8a94ebe0474adc7c2a7b-0a38d533",
      "sourceRefs": [
        {
          "dataset": "german-ai-research-to-transfer-index",
          "field": "openaire_research_product_id",
          "sourceId": "doi_dedup___::62a4a56dbd01676d310dd6c80e18a6a7",
          "url": "https://api.openaire.eu/graph/v3/research-products/doi_dedup___%3A%3A62a4a56dbd01676d310dd6c80e18a6a7"
        }
      ],
      "type": "output"
    },
    {
      "attributes": {
        "citationCount": 2,
        "isOpenAccess": true,
        "openAireId": "doi_dedup___::bd4f3b50fff49ba0db12c66ba6a97275",
        "outputType": "publication",
        "persistentIdentifiers": [
          {
            "scheme": "arXiv",
            "value": "2312.02851"
          },
          {
            "scheme": "doi",
            "value": "10.46298/lmcs-21(1:2)2025"
          },
          {
            "scheme": "doi",
            "value": "10.48550/arxiv.2312.02851"
          },
          {
            "scheme": "handle",
            "value": "11576/2750311"
          },
          {
            "scheme": "handle",
            "value": "2158/1439137"
          }
        ],
        "publicationDate": "2025-01-10"
      },
      "edgeCount": 1,
      "id": "output:9aa2b32dff6ace0e45559fea",
      "indexable": true,
      "label": "Checkpoint-based rollback recovery in session programming",
      "links": [
        {
          "kind": "official_source",
          "label": "OpenAIRE",
          "url": "https://api.openaire.eu/graph/v3/research-products/doi_dedup___%3A%3Abd4f3b50fff49ba0db12c66ba6a97275"
        },
        {
          "kind": "persistent_identifier",
          "label": "DOI 10.46298/lmcs-21(1:2)2025",
          "url": "https://doi.org/10.46298/lmcs-21(1:2)2025"
        },
        {
          "kind": "persistent_identifier",
          "label": "DOI 10.48550/arxiv.2312.02851",
          "url": "https://doi.org/10.48550/arxiv.2312.02851"
        }
      ],
      "slug": "output-9aa2b32dff6ace0e45559fea-d8a24973",
      "sourceRefs": [
        {
          "dataset": "german-ai-research-to-transfer-index",
          "field": "openaire_research_product_id",
          "sourceId": "doi_dedup___::bd4f3b50fff49ba0db12c66ba6a97275",
          "url": "https://api.openaire.eu/graph/v3/research-products/doi_dedup___%3A%3Abd4f3b50fff49ba0db12c66ba6a97275"
        }
      ],
      "type": "output"
    },
    {
      "attributes": {
        "citationCount": 0,
        "isOpenAccess": true,
        "openAireId": "dedup_wf_002::1082af262e207ea81158f7aa42d9874e",
        "outputType": "publication",
        "persistentIdentifiers": [],
        "publicationDate": "2025-01-01"
      },
      "edgeCount": 1,
      "id": "output:a0f1366564f712b4b93197ed",
      "indexable": true,
      "label": "Formalising Subject Reduction and Progress for Multiparty Session Processes.",
      "links": [
        {
          "kind": "official_source",
          "label": "OpenAIRE",
          "url": "https://api.openaire.eu/graph/v3/research-products/dedup_wf_002%3A%3A1082af262e207ea81158f7aa42d9874e"
        }
      ],
      "slug": "output-a0f1366564f712b4b93197ed-a5d644a8",
      "sourceRefs": [
        {
          "dataset": "german-ai-research-to-transfer-index",
          "field": "openaire_research_product_id",
          "sourceId": "dedup_wf_002::1082af262e207ea81158f7aa42d9874e",
          "url": "https://api.openaire.eu/graph/v3/research-products/dedup_wf_002%3A%3A1082af262e207ea81158f7aa42d9874e"
        }
      ],
      "type": "output"
    },
    {
      "attributes": {
        "citationCount": 0,
        "isOpenAccess": true,
        "openAireId": "dris___01492::ab3368d6862cec4a866c0d4ff149ce50",
        "outputType": "publication",
        "persistentIdentifiers": [],
        "publicationDate": "2025-01-01"
      },
      "edgeCount": 1,
      "id": "output:a4cc667d55de5feb8bd59a35",
      "indexable": true,
      "label": "Fine-Tuning LLMs for Croatian Text Retrieval",
      "links": [
        {
          "kind": "official_source",
          "label": "OpenAIRE",
          "url": "https://api.openaire.eu/graph/v3/research-products/dris___01492%3A%3Aab3368d6862cec4a866c0d4ff149ce50"
        }
      ],
      "slug": "output-a4cc667d55de5feb8bd59a35-b0787b8e",
      "sourceRefs": [
        {
          "dataset": "german-ai-research-to-transfer-index",
          "field": "openaire_research_product_id",
          "sourceId": "dris___01492::ab3368d6862cec4a866c0d4ff149ce50",
          "url": "https://api.openaire.eu/graph/v3/research-products/dris___01492%3A%3Aab3368d6862cec4a866c0d4ff149ce50"
        }
      ],
      "type": "output"
    },
    {
      "attributes": {
        "citationCount": 0,
        "isOpenAccess": true,
        "openAireId": "doi_dedup___::355b14bfd88a158f1f9be38295c16b0c",
        "outputType": "publication",
        "persistentIdentifiers": [
          {
            "scheme": "arXiv",
            "value": "2311.11851"
          },
          {
            "scheme": "doi",
            "value": "10.46298/lmcs-21(2:5)2025"
          },
          {
            "scheme": "doi",
            "value": "10.48550/arxiv.2311.11851"
          },
          {
            "scheme": "handle",
            "value": "10023/32054"
          }
        ],
        "publicationDate": "2025-04-18"
      },
      "edgeCount": 1,
      "id": "output:bf89122d7585d2cb380b2b1d",
      "indexable": true,
      "label": "Crash-Stop Failures in Asynchronous Multiparty Session Types",
      "links": [
        {
          "kind": "official_source",
          "label": "OpenAIRE",
          "url": "https://api.openaire.eu/graph/v3/research-products/doi_dedup___%3A%3A355b14bfd88a158f1f9be38295c16b0c"
        },
        {
          "kind": "persistent_identifier",
          "label": "DOI 10.46298/lmcs-21(2:5)2025",
          "url": "https://doi.org/10.46298/lmcs-21(2:5)2025"
        },
        {
          "kind": "persistent_identifier",
          "label": "DOI 10.48550/arxiv.2311.11851",
          "url": "https://doi.org/10.48550/arxiv.2311.11851"
        }
      ],
      "slug": "output-bf89122d7585d2cb380b2b1d-aab79988",
      "sourceRefs": [
        {
          "dataset": "german-ai-research-to-transfer-index",
          "field": "openaire_research_product_id",
          "sourceId": "doi_dedup___::355b14bfd88a158f1f9be38295c16b0c",
          "url": "https://api.openaire.eu/graph/v3/research-products/doi_dedup___%3A%3A355b14bfd88a158f1f9be38295c16b0c"
        }
      ],
      "type": "output"
    },
    {
      "attributes": {
        "citationCount": 4,
        "isOpenAccess": true,
        "openAireId": "doi_dedup___::1727ec178056a0d0a4764d26e5e8746b",
        "outputType": "publication",
        "persistentIdentifiers": [
          {
            "scheme": "doi",
            "value": "10.1007/s10009-025-00795-0"
          }
        ],
        "publicationDate": "2025-02-01"
      },
      "edgeCount": 1,
      "id": "output:d65668e4430fd1c2e4dcb9e3",
      "indexable": true,
      "label": "Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT",
      "links": [
        {
          "kind": "official_source",
          "label": "OpenAIRE",
          "url": "https://api.openaire.eu/graph/v3/research-products/doi_dedup___%3A%3A1727ec178056a0d0a4764d26e5e8746b"
        },
        {
          "kind": "persistent_identifier",
          "label": "DOI 10.1007/s10009-025-00795-0",
          "url": "https://doi.org/10.1007/s10009-025-00795-0"
        }
      ],
      "slug": "output-d65668e4430fd1c2e4dcb9e3-9c0f6839",
      "sourceRefs": [
        {
          "dataset": "german-ai-research-to-transfer-index",
          "field": "openaire_research_product_id",
          "sourceId": "doi_dedup___::1727ec178056a0d0a4764d26e5e8746b",
          "url": "https://api.openaire.eu/graph/v3/research-products/doi_dedup___%3A%3A1727ec178056a0d0a4764d26e5e8746b"
        }
      ],
      "type": "output"
    },
    {
      "attributes": {
        "citationCount": 0,
        "isOpenAccess": true,
        "openAireId": "doi_dedup___::252172e0cda9c0847e6a520e4555ecf5",
        "outputType": "publication",
        "persistentIdentifiers": [
          {
            "scheme": "doi",
            "value": "10.1145/3721473.3722145"
          },
          {
            "scheme": "handle",
            "value": "10362/187570"
          }
        ],
        "publicationDate": "2025-03-30"
      },
      "edgeCount": 1,
      "id": "output:d7a78f9ec06db2b45028a268",
      "indexable": true,
      "label": "ReDunT: Automatically Deriving Redundancy Relations for Pure Op-Based CRDTs",
      "links": [
        {
          "kind": "official_source",
          "label": "OpenAIRE",
          "url": "https://api.openaire.eu/graph/v3/research-products/doi_dedup___%3A%3A252172e0cda9c0847e6a520e4555ecf5"
        },
        {
          "kind": "persistent_identifier",
          "label": "DOI 10.1145/3721473.3722145",
          "url": "https://doi.org/10.1145/3721473.3722145"
        }
      ],
      "slug": "output-d7a78f9ec06db2b45028a268-94b4c0da",
      "sourceRefs": [
        {
          "dataset": "german-ai-research-to-transfer-index",
          "field": "openaire_research_product_id",
          "sourceId": "doi_dedup___::252172e0cda9c0847e6a520e4555ecf5",
          "url": "https://api.openaire.eu/graph/v3/research-products/doi_dedup___%3A%3A252172e0cda9c0847e6a520e4555ecf5"
        }
      ],
      "type": "output"
    },
    {
      "attributes": {
        "citationCount": 0,
        "isOpenAccess": true,
        "openAireId": "doi_dedup___::259eea893e61797a97c405f45ac67646",
        "outputType": "publication",
        "persistentIdentifiers": [
          {
            "scheme": "doi",
            "value": "10.1145/3721473.3722139"
          }
        ],
        "publicationDate": "2025-03-30"
      },
      "edgeCount": 1,
      "id": "output:e92f2596749cd8a477598d83",
      "indexable": true,
      "label": "Towards Local-First Distributed Property Graphs",
      "links": [
        {
          "kind": "official_source",
          "label": "OpenAIRE",
          "url": "https://api.openaire.eu/graph/v3/research-products/doi_dedup___%3A%3A259eea893e61797a97c405f45ac67646"
        },
        {
          "kind": "persistent_identifier",
          "label": "DOI 10.1145/3721473.3722139",
          "url": "https://doi.org/10.1145/3721473.3722139"
        }
      ],
      "slug": "output-e92f2596749cd8a477598d83-29a2d6f3",
      "sourceRefs": [
        {
          "dataset": "german-ai-research-to-transfer-index",
          "field": "openaire_research_product_id",
          "sourceId": "doi_dedup___::259eea893e61797a97c405f45ac67646",
          "url": "https://api.openaire.eu/graph/v3/research-products/doi_dedup___%3A%3A259eea893e61797a97c405f45ac67646"
        }
      ],
      "type": "output"
    }
  ],
  "schemaVersion": "ki-evidenznetz.entity.v1"
}