{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T14:04:01Z","timestamp":1749737041316,"version":"3.40.5"},"reference-count":0,"publisher":"Editura Universitatii Alexandru Ioan Cuza din Iasi","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SACS"],"DOI":"10.7561\/sacs.2019.2.141","type":"journal-article","created":{"date-parts":[[2019,12,30]],"date-time":"2019-12-30T10:02:26Z","timestamp":1577700146000},"page":"141-184","source":"Crossref","is-referenced-by-count":5,"title":["Generalising KAT to Verify Weighted Computations"],"prefix":"10.47743","volume":"19","author":[{"name":"HASLab INESC TEC, Universidade do Minho, R. da Universidade, 4710-057 Braga, Portugal","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1180-0620","authenticated-orcid":false,"given":"Leandro","family":"Gomes","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0646-2017","authenticated-orcid":false,"given":"Alexandre","family":"Madeira","sequence":"additional","affiliation":[]},{"name":"CIDMA, Universidade de Aveiro, Campus Universitario de Santiago, 3810-193 Aveiro, Portugal","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5037-2588","authenticated-orcid":false,"given":"Luis Soares","family":"Barbosa","sequence":"additional","affiliation":[]},{"name":"Universidade do Minho, R. da Universidade, 4710-057 Braga, Portugal & Quantum Software Engineering Group, INL","sequence":"additional","affiliation":[]}],"member":"27629","published-online":{"date-parts":[[2019,12,30]]},"container-title":["Scientific Annals of Computer Science"],"original-title":[],"deposited":{"date-parts":[[2024,2,2]],"date-time":"2024-02-02T18:30:35Z","timestamp":1706898635000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.info.uaic.ro\/en\/sacs_articles\/generalising-kat-to-verify-weighted-computations\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,12,30]]},"references-count":0,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2019,12,30]]}},"URL":"https:\/\/doi.org\/10.7561\/sacs.2019.2.141","relation":{},"ISSN":["1843-8121","2248-2695"],"issn-type":[{"type":"print","value":"1843-8121"},{"type":"electronic","value":"2248-2695"}],"subject":[],"published":{"date-parts":[[2019,12,30]]}}}