{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T18:10:01Z","timestamp":1746295801738,"version":"3.40.4"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319091075"},{"type":"electronic","value":"9783319091082"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-09108-2_16","type":"book-chapter","created":{"date-parts":[[2014,7,4]],"date-time":"2014-07-04T13:07:01Z","timestamp":1404479221000},"page":"237-252","source":"Crossref","is-referenced-by-count":1,"title":["Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis"],"prefix":"10.1007","author":[{"given":"Hans-J\u00f6rg","family":"Kreowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sabine","family":"Kuske","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aaron","family":"Lye","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Melanie","family":"Luderer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Athas, W., Svensson, L.: Reversible logic issues in adiabatic CMOS. In: Proc. Workshop on Physics and Computation, PhysComp 1994, pp. 111\u2013118 (1994)","DOI":"10.1109\/PHYCMP.1994.363692"},{"issue":"6","key":"16_CR2","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1147\/rd.176.0525","volume":"17","author":"C.H. Bennett","year":"1973","unstructured":"Bennett, C.H.: Logical reversibility of computation. IBM Journal of Research and Development\u00a017(6), 525\u2013532 (1973)","journal-title":"IBM Journal of Research and Development"},{"issue":"8","key":"16_CR3","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"R.E. Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Trans. Computers\u00a035(8), 677\u2013691 (1986)","journal-title":"IEEE Trans. Computers"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Cuykendall, R., Andersen, D.R.: Reversible optical computing circuits (1987)","DOI":"10.1117\/12.967135"},{"issue":"2","key":"16_CR5","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1007\/s100090100056","volume":"3","author":"R. Drechsler","year":"2001","unstructured":"Drechsler, R., Sieling, D.: Binary decision diagrams in theory and practice. International Journal on Software Tools for Technology Transfer\u00a03(2), 112\u2013136 (2001)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"issue":"3\/4","key":"16_CR6","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/BF01857727","volume":"21","author":"E.F. Fredkin","year":"1982","unstructured":"Fredkin, E.F., Toffoli, T.: Conservative logic. International Journal of Theoretical Physics\u00a021(3\/4), 219\u2013253 (1982)","journal-title":"International Journal of Theoretical Physics"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-642-38986-3_4","volume-title":"Reversible Computation","author":"S. Houri","year":"2013","unstructured":"Houri, S., Valentian, A., Fanet, H.: Comparing CMOS-based and NEMS-based adiabatic logic circuits. In: Dueck, G.W., Miller, D.M. (eds.) RC 2013. LNCS, vol.\u00a07948, pp. 36\u201345. Springer, Heidelberg (2013)"},{"key":"16_CR8","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1038\/35051009","volume":"409","author":"E. Knill","year":"2001","unstructured":"Knill, E., Laflamme, R., Milburn, G.: A scheme for efficient quantum computation with linear optics. Nature\u00a0409, 46\u201352 (2001)","journal-title":"Nature"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Kreowski, H.-J., Kuske, S., Rozenberg, G.: Graph transformation units \u2013 an overview. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Montanari Festschrift. LNCS, vol.\u00a05065, pp. 57\u201375. Springer, Heidelberg (2008)","DOI":"10.1007\/978-3-540-68679-8_5"},{"issue":"1","key":"16_CR10","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1088\/0957-4484\/4\/1\/002","volume":"4","author":"R.C. Merkle","year":"1993","unstructured":"Merkle, R.C.: Reversible electronic logic using switches. Nanotechnology\u00a04(1), 21 (1993)","journal-title":"Nanotechnology"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Miller, D.M., Wille, R., Dueck, G.: Synthesizing reversible circuits for irreversible functions. In: N\u00fa\u00f1ez, A., Carballo, P.P. (eds.) Proc. 12th Euromicro Conference on Digital System Design, Architectures, Methods and Tools, DSD 2009, pp. 749\u2013756. IEEE (2009)","DOI":"10.1109\/DSD.2009.186"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Miller, D.M., Maslov, D., Dueck, G.W.: A transformation based algorithm for reversible logic synthesis. In: Proc. of the 40th Design Automation Conference, DAC 2003, pp. 318\u2013323. ACM (2003)","DOI":"10.1145\/775832.775915"},{"key":"16_CR13","unstructured":"Nielsen, M., Chuang, I.: Quantum Computation and Quantum Information. Cambridge Univ. Press (2000)"},{"key":"16_CR14","doi-asserted-by":"publisher","first-page":"3266","DOI":"10.1103\/PhysRevA.32.3266","volume":"32","author":"A. Peres","year":"1985","unstructured":"Peres, A.: Reversible logic and quantum computers. Phys. Rev. A\u00a032, 3266\u20133276 (1985)","journal-title":"Phys. Rev. A"},{"issue":"3","key":"16_CR15","doi-asserted-by":"publisher","first-page":"961","DOI":"10.1109\/TASC.2009.2018250","volume":"19","author":"J. Ren","year":"2009","unstructured":"Ren, J., Semenov, V., Polyakov, Y., Averin, D., Tsai, J.-S.: Progress towards reversible computing with nSQUID arrays. IEEE Transactions on Applied Superconductivity\u00a019(3), 961\u2013967 (2009)","journal-title":"IEEE Transactions on Applied Superconductivity"},{"key":"16_CR16","series-title":"Foundations","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","year":"1997","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol.\u00a01. World Scientific, Singapore (1997)"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Thapliyal, H., Srinivas, M.B.: The need of DNA computing: reversible designs of adders and multipliers using Fredkin gate (2005)","DOI":"10.1117\/12.652660"},{"key":"16_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"632","DOI":"10.1007\/3-540-10003-2_104","volume-title":"Automata, Languages and Programming","author":"T. Toffoli","year":"1980","unstructured":"Toffoli, T.: Reversible computing. In: de Bakker, J., van Leeuwen, J. (eds.) ICALP 1980. LNCS, vol.\u00a085, pp. 632\u2013644. Springer, Heidelberg (1980)"},{"key":"16_CR19","unstructured":"Vos, A.D.: Reversible Computing - Fundamentals, Quantum Computing, and Applications. Wiley (2010)"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Wegener, I.: Branching Programs and Binary Decision Diagrams. SIAM (2000)","DOI":"10.1137\/1.9780898719789"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Wille, R., Drechsler, R.: BDD-based synthesis of reversible logic for large functions. In: Design Automation Conference, pp. 270\u2013275. ACM (2009)","DOI":"10.1145\/1629911.1629984"}],"container-title":["Lecture Notes in Computer Science","Graph Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-09108-2_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T17:34:17Z","timestamp":1746293657000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-09108-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319091075","9783319091082"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-09108-2_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}