{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,9]],"date-time":"2026-07-09T15:32:37Z","timestamp":1783611157706,"version":"3.55.0"},"reference-count":13,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,5,22]],"date-time":"2023-05-22T00:00:00Z","timestamp":1684713600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,5,22]],"date-time":"2023-05-22T00:00:00Z","timestamp":1684713600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100012190","name":"Ministry of Science and Higher Education of the Russian Federation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100012190","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,5,22]]},"DOI":"10.23919\/mipro57284.2023.10159814","type":"proceedings-article","created":{"date-parts":[[2023,6,29]],"date-time":"2023-06-29T17:20:56Z","timestamp":1688059256000},"page":"1010-1015","source":"Crossref","is-referenced-by-count":2,"title":["Binary Dynamic Models of Structural Synthesis of Programs"],"prefix":"10.23919","author":[{"given":"G.A.","family":"Oparin","sequence":"first","affiliation":[{"name":"Matrosov Institute for System Dynamics and Control Theory of SB RAS,Irkutsk,Russia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"V.G.","family":"Bogdanova","sequence":"additional","affiliation":[{"name":"Matrosov Institute for System Dynamics and Control Theory of SB RAS,Irkutsk,Russia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"A.A.","family":"Pashinin","sequence":"additional","affiliation":[{"name":"Matrosov Institute for System Dynamics and Control Theory of SB RAS,Irkutsk,Russia"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref13","article-title":"Irkutsk Supercomputer Centre of SB RAS","year":"2023"},{"key":"ref12","first-page":"135","article-title":"Application of user dew agent in hybrid-computing environments","author":"pashinin","year":"2020","journal-title":"1st International Workshop on Advanced Information and Computation Technologies and Systems (AICTS)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.47350\/ICCS-DE.2020.19"},{"key":"ref10","article-title":"Binäre dynamische systeme","author":"bochmann","year":"1981"},{"key":"ref2","author":"solar-lezama","year":"2008","journal-title":"Program Synthesis by Sketching"},{"key":"ref1","article-title":"Automated planning: theory and practice","author":"ghallab","year":"2004"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(83)90016-3"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.jocs.2012.08.006"},{"key":"ref9","first-page":"1033","article-title":"Logic differential calculus: achievements, trends, and applications","volume":"61","author":"bohmann","year":"2000","journal-title":"Autom Remote Control"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-11157-3_31"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1134\/S0005117908080146"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.23919\/MIPRO.2019.8757053"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.4108\/icst.simutools.2011.245553"}],"event":{"name":"2023 46th MIPRO ICT and Electronics Convention (MIPRO)","location":"Opatija, Croatia","start":{"date-parts":[[2023,5,22]]},"end":{"date-parts":[[2023,5,26]]}},"container-title":["2023 46th MIPRO ICT and Electronics Convention (MIPRO)"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx7\/10159631\/10159632\/10159814.pdf?arnumber=10159814","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,11]],"date-time":"2023-12-11T19:01:39Z","timestamp":1702321299000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/ieeexplore.ieee.org\/document\/10159814\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,22]]},"references-count":13,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.23919\/mipro57284.2023.10159814","relation":{},"subject":[],"published":{"date-parts":[[2023,5,22]]}}}