{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T15:21:53Z","timestamp":1730215313436,"version":"3.28.0"},"reference-count":5,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,4]]},"DOI":"10.1109\/dtis.2018.8368583","type":"proceedings-article","created":{"date-parts":[[2018,5,31]],"date-time":"2018-05-31T22:25:11Z","timestamp":1527805511000},"page":"1-2","source":"Crossref","is-referenced-by-count":3,"title":["Towards novel format for representation of polymorphic circuits"],"prefix":"10.1109","author":[{"given":"Adam","family":"Crha","sequence":"first","affiliation":[]},{"given":"Vaclav","family":"Simek","sequence":"additional","affiliation":[]},{"given":"Richard","family":"Ruzicka","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","article-title":"AIGER 1.9 and beyond","author":"biere","year":"2011","journal-title":"FMV Reports Series Institute for Formal Models and Verification Johannes Kepler University Altenbergerstr 69 4040 Linz Austria Tech Rep"},{"key":"ref3","first-page":"809","article-title":"Gracefully degrading circuit controllers based on polytron-ics","author":"r?\u017ei?ka","year":"2010","journal-title":"Proc of 13th Euromicro Conference on Digital System Design IEEE Computer Society"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147048"},{"key":"ref2","first-page":"18","article-title":"Multifunctional logic gate controlled by temperature","volume":"npo 30795","author":"stoica","year":"2005","journal-title":"NASA Tech Briefs"},{"key":"ref1","first-page":"291","article-title":"Polymorphic electronics. Proc. of Evolvable Systems: From Biology to Hardware Conference","volume":"2210","author":"stoica","year":"2001","journal-title":"LNCS"}],"event":{"name":"2018 13th International Conference on Design & Technology of Integrated Systems In Nanoscale Era (DTIS)","start":{"date-parts":[[2018,4,9]]},"location":"Taormina","end":{"date-parts":[[2018,4,12]]}},"container-title":["2018 13th International Conference on Design &amp; Technology of Integrated Systems In Nanoscale Era (DTIS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8362838\/8368541\/08368583.pdf?arnumber=8368583","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T04:35:36Z","timestamp":1643171736000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8368583\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4]]},"references-count":5,"URL":"https:\/\/doi.org\/10.1109\/dtis.2018.8368583","relation":{},"subject":[],"published":{"date-parts":[[2018,4]]}}}