{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T15:52:57Z","timestamp":1762098777845,"version":"build-2065373602"},"reference-count":14,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,9,21]],"date-time":"2023-09-21T00:00:00Z","timestamp":1695254400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,9,21]],"date-time":"2023-09-21T00:00:00Z","timestamp":1695254400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,9,21]]},"DOI":"10.1109\/sisy60376.2023.10417933","type":"proceedings-article","created":{"date-parts":[[2024,2,7]],"date-time":"2024-02-07T18:35:40Z","timestamp":1707330940000},"page":"000055-000060","source":"Crossref","is-referenced-by-count":3,"title":["Mechanical Verification of Insert-Sort and Merge-Sort Using Multisets in Theorema"],"prefix":"10.1109","author":[{"given":"Isabela","family":"Dr\u0103mnesc","sequence":"first","affiliation":[{"name":"West University,Department of Computer Science,Timişoara,Romania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tudor","family":"Jebelean","sequence":"additional","affiliation":[{"name":"ICAM, West University,Timişoara,Romania"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.2514\/6.2021-0039"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00288643"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2003.12.027"},{"key":"ref4","first-page":"90","article-title":"Algorithm Synthesis by Lazy Thinking: Using Problem Schemes","volume-title":"Proceedings of SYNASC 2004","author":"Buchberger","year":"2004"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2005.10.006"},{"key":"ref6","first-page":"97","article-title":"Proving the Correctness of the Merge-Sort Algorithm with Theorema","volume-title":"Proceedings of SYNASC 2002, 4th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing","author":"Craciun"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/SACI.2012.6250041"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2020.100635"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/30.6.512"},{"volume-title":"Another iteration on \u201cA synthesis of several sorting algorithms","year":"1994","author":"Howard","key":"ref10"},{"key":"ref11","volume-title":"The Art of Computer Programming,","volume":"3","author":"Knuth","year":"1998"},{"key":"ref12","first-page":"A001","article-title":"Top-down synthesis of sorting algorithms","volume":"35","author":"Lau","year":"1992","journal-title":"The Computer Journal"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(89)80040-9"},{"volume-title":"The Mathematica Book","year":"2003","author":"Wolfram","key":"ref14"}],"event":{"name":"2023 IEEE 21st Jubilee International Symposium on Intelligent Systems and Informatics (SISY)","start":{"date-parts":[[2023,9,21]]},"location":"Pula, Croatia","end":{"date-parts":[[2023,9,23]]}},"container-title":["2023 IEEE 21st Jubilee International Symposium on Intelligent Systems and Informatics (SISY)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10417734\/10417736\/10417933.pdf?arnumber=10417933","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,9]],"date-time":"2024-02-09T09:17:57Z","timestamp":1707470277000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10417933\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,21]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/sisy60376.2023.10417933","relation":{},"subject":[],"published":{"date-parts":[[2023,9,21]]}}}