{"entity": "journal", "iuid": "b4caed727159428183edb673d02b6faf", "timestamp": "2026-08-23T09:24:55.238Z", "links": {"self": {"href": "https://publications-affiliated.scilifelab.se/journal/Journal%20of%20Logical%20and%20Algebraic%20Methods%20in%20Programming.json"}, "display": {"href": "https://publications-affiliated.scilifelab.se/journal/Journal%20of%20Logical%20and%20Algebraic%20Methods%20in%20Programming"}}, "title": "Journal of Logical and Algebraic Methods in Programming", "issn": "2352-2208", "issn-l": null, "publications_count": 1, "publications": [{"entity": "publication", "iuid": "2e00f32a83cd4fc5a9d816265e695db4", "links": {"self": {"href": "https://publications-affiliated.scilifelab.se/publication/2e00f32a83cd4fc5a9d816265e695db4.json"}, "display": {"href": "https://publications-affiliated.scilifelab.se/publication/2e00f32a83cd4fc5a9d816265e695db4"}}, "title": "On proving that an unsafe controller is not proven safe", "authors": [{"family": "Selvaraj", "given": "Yuvaraj", "initials": "Y", "orcid": "0000-0003-2184-3069", "researcher": {"href": "https://publications-affiliated.scilifelab.se/researcher/a9fdebdc35104a9b96e52e3145fa7f34.json"}}, {"family": "Krook", "given": "Jonas", "initials": "J", "orcid": "0000-0002-9810-4697", "researcher": {"href": "https://publications-affiliated.scilifelab.se/researcher/e4d87b91b98f4c8c95454ec881625da1.json"}}, {"family": "Ahrendt", "given": "Wolfgang", "initials": "W", "orcid": "0000-0002-5671-2555", "researcher": {"href": "https://publications-affiliated.scilifelab.se/researcher/63054bbb065c4e43a2c4a5cba0507531.json"}}, {"family": "Fabian", "given": "Martin", "initials": "M", "orcid": "0000-0003-1287-9748", "researcher": {"href": "https://publications-affiliated.scilifelab.se/researcher/3eb93d23e79148a288ed8f0881a9304d.json"}}], "type": "journal-article", "published": "2024-02-00", "journal": {"title": "Journal of Logical and Algebraic Methods in Programming", "issn": "2352-2208", "volume": "137", "pages": "100939", "issn-l": null}, "abstract": null, "doi": "10.1016/j.jlamp.2023.100939", "pmid": null, "labels": [], "xrefs": [], "notes": [], "created": "2026-08-21T11:22:47.768Z", "modified": "2026-08-21T11:22:47.976Z"}], "created": "2026-08-21T11:22:47.944Z", "modified": "2026-08-21T11:22:47.944Z"}