Publications
This page provides a list of all scientific papers generated within the context of this COST Action.Articles
2019
| [1] | : QPCF: Higher Order Language and Quantum Circuits. In Journal of Automated Reasoning (IN-PRESS), 2019. |
2018
| [2] | : Reversing Event Structures. In New Generation Computing, 36(3): 281-306, 2018.  |
| [3] | : Local reversibility in a Calculus of Covalent Bonding. In Science of Computer Programming, 151: 18-47, 2018. doi.. |
| [4] | : A theory of retractable and speculative contracts. In Science of Computer Programming, 2018. |
| [5] | : On a Class of Reversible Primitive Recursive Functions and Its Turing-Complete Extensions. In New Generation Computing, 36 (3): 233-256, 2018. |
| [6] | : Special issue on reversible computing: foundations and software. In New Generation Computing, 36 (3): 143-306, 2018. |
| [7] | : Reversible effects as inverse arrows. In Electronic Notes in Theoretical Computer Science, 341: 179-199, 2018. |
| [8] | : A Categorical Foundation for Structured Reversible Flowchart Languages: Soundness and adequacy. In Logical Methods in Computer Science, 14 (3): 1-38, 2018. |
| [9] | : A Theory of Reversibility for Erlang. In Journal of Logical and Algebraic Methods in Programming, 100: 71-97, 2018. |
| [10] | : Reversible computation in term rewriting. In Journal of Logical and Algebraic Methods in Programming, 94: 128-149, 2018. |
| [11] | : Reversible computation vs. reversibility in Petri nets. In Science of Computer Programming, 151 (Supplement C): 48-60, 2018. doi.. |
| [12] | : Reversing transitions in bounded Petri nets. In Fundamenta Informaticae, 157: 341-357, 2018. |
| [13] | : Modelling reversible execution of robotic assembly. In Robotica: 1–30, 2018. |
2017
| [14] | : A minimalist's reversible while language. In IEICE Transactions on Information and Systems, E100-D (5): 1026-1034, 2017. |
| [15] | : Minimal and Reduced Reversible Automata. In Journal of Automata, Languages and Combinatorics, 22 (1-3): 145-168, 2017. doi.. |
| [16] | : Online scheduled execution of quantum circuits protected by surface codes. In Quantum Information & Computation, 17 (15&16): 1335-1348, 2017. |
| [17] | : An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs. In Journal of Low Power Electronics, 13 (4): 633-641, 2017. |
| [18] | : Reversibility in Parallel Rewriting Systems. In J. UCS, 23 (7): 692-703, 2017. |
| [19] | : Asynchronous Logic Implementation Based on Factorized DIMS. In Journal of Circuits, Systems, and Computers, 2017. |
| [20] | : Causal-consistent rollback in a tuple-based language. In Journal of Logical and Algebraic Methods in Programming, 2017. |
| [21] | : Finite generating sets for reversible gate sets under general conservation laws. In Theoretical Computer Science: -, 2017. |
2016
| [22] | : A linear-time self-interpreter of a reversible imperative language. In Computer Software, 33 (3): 108-128, 2016. |
| [23] | : On reversible Turing machines and their function universality. In Acta Informatica, 53 (5): 509-543, 2016. |
| [24] | : Fundamentals of reversible flowchart languages. In Theoretical Computer Science, 611: 87-115, 2016. |
| [25] | : Synthesis of arbitrary quantum circuits to topological assembly. In Scientific reports, 6: 30600, 2016. |
| [26] | : A Class of Reversible Primitive Recursive Functions. In Electr. Notes Theor. Comput. Sci., 322: 227-242, 2016. |
| [27] | : Reversible/quantum ternary arithmetic logic unit design. In International journal of innovative computing, information & control, 2016. |
| [28] | : A hierarchical distributed linear evolutionary system for the synthesis of 4-bit reversible circuits. In Studies in Fuzziness and Soft Computing: 233-249, 2016. |
| [29] | : Block-ZXZ synthesis of an arbitrary quantum circuit. In Physical Review A, 2016. |
| [30] | : Aspects of Reversible and Quantum Computing in a p-Valued Domain. In IEEE Journal on Emerging and Selected Topics in Circuits and Systems, 2016. |
| [31] | : Join Inverse Categories and Reversible Recursion. In Journal of Logical and Algebraic Methods in Programming, 2016. |
| [32] | : Reversible client/server interactions. In Formal Aspects of Computing, 2016. |
| [33] | : Reversibility in the Higher-Order Pi-Calculus. In Theoretical Computer Science, 2016. |
| [34] | : Direction-Reversible Self-Timed Cellular Automata for Delay-Insensitive Circuits. In Journal of Cellular Automata , 2016. |
| [35] | : Ancilla-free synthesis of large reversible functions using binary decision diagrams. In Journal on Symbolic Computing, 73: 1-26, 2016. |
| [36] | : Complexity of reversible circuits and their quantum implementations. In Theoretical Computer Science, 618: 85-106, 2016. |
| [37] | : Reversible Synthesis of Symmetric Functions with a Simple Regular Structure and Easy Testability. In Journal on Emerging Technologies in Computing Systems, 2016. |
| [38] | : SyReC: A Hardware Description Language for the Specification and Synthesis of Reversible Circuits. In INTEGRATION, the VLSI Journal, 2016. |
| [39] | : QMDDs: Efficient Quantum Function Representation and Manipulation. In Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2016. |
| [40] | : Embedding of Large Boolean Functions for Reversible Logic. In Journal on Emerging Technologies in Computing Systems, 2016. |
2015
| [41] | : A symbolic calculus for a class of quantum computing circuits. In Electronics Letters, 2015. |
| [42] | : Complexity reduction of Toffoli networks based on FDD. In Facta Universitatis. Series Electronics and Energetics, 2015. |
| [43] | : Sub-behaviour relations for session-based client/server systems. In Mathematical Structures in Computer Science, 25 (6): 1339-1381, 2015. |
| [44] | : Reversible session-based pi-calculus. In Journal of Logical and Algebraic Methods in Programming, 2015. |
| [45] | : Reversibility and asymmetric conflict in event structures. In Journal of Logical and Algebraic Methods in Programming, 2015. |
Books
2017
| [46] | : Compact Representations for the Design of Quantum Logic. Springer, 2017. |
Collections
2018
| [47] | : Emerging Circuit Technologies: An Overview on the Next Generation of Circuits. In Advanced Logic Synthesis, pages 43-67, Springer, 2018. |
2016
| [48] | : The group zoo of classical reversible computing and quantum computing. In Advances in Unconventional Computing, pages pp. 455-474, Springer, 2016. |
In Proceedings
2019
| [49] | : Quantum Programming Made Easy. In Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, pages 58-72, Open Publishing Association, Electronic Proceedings in Theoretical Computer Science 29? - IN-PRESS, 2019. |
| [50] | : Session-Ocaml: a session-based library with polarities and lenses. In Science of Computer Programming, pages 135-159, Elsevier, 2019. |
2018
| [51] | : Reversing Imperative Programs with Blocks and Procedures. In Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018, pages 69-86, EPTCS, 2018. |
| [52] | : Simulation of Base Excision Repair in the Calculus of Covalent Bonding. In Reversible Computation, pages 123-129, Springer, 2018. |
| [53] | : Encryption and Reversible Computations. In International Conference on Reversible Computation, pages 331-338, 2018. |
| [54] | : From Reversible Semantics to Reversible Debugging. In Proceedings of the 10th International Conference on Reversible Computation (RC 2018), 2018. |
| [55] | : A Certified Study of a Reversible Programming Language. In 21st International Conference on Types for Proofs and Programs, pages 7:1-7:21, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Leibniz International Proceedings in Informatics (LIPIcs) 69, 2018. |
| [56] | : The Fixed Point Problem for General and for Linear SRL Programs is Undecidable. In Proceedings of the 19th Italian Conference on Theoretical Computer Science, pages 128-139, CEUR-WS.org, CEUR Workshop Proceedings 2243, 2018. |
| [57] | : Data structures and dynamic memory management in reversible languages. In Reversible Computation. Proceedings, pages 269-285, Springer-Verlag, Lecture Notes in Computer Science 11106, 2018. |
| [58] | : Reversible effects as inverse arrows. In The Thirty-fourth Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIV), 2018. |
| [59] | : Reversible Pushdown Transducers. In Developments in Language Theory - 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings, pages 354-365, Springer, Lecture Notes in Computer Science 11088, 2018. |
| [60] | : Reversibility in Component-based Programming Language. In The IEEE 12th International Conference on Application of Information and Communication Technologies, 2018. |
| [61] | : A Categorical Foundation for Structured Reversible Flowchart Languages. In The Thirty-third Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIII), pages 155-171, Elsevier, Electronic Notes in Theoretical Computer Science 336, 2018. |
| [62] | : CoreFun: A Typed Functional Reversible Core Language. In Reversible Computation (RC 2018), pages 304-321, Springer, Lecture Notes in Computer Science 11106, 2018. |
| [63] | : Reversing Computations Modelled by Coloured Petri Nets. In Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018 Satellite event of the conferences: 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and 18th International Conference on Application of Concurrency to System Design ACSD 2018, pages 91-111, 2018. |
| [64] | : An Efficient Characterization of Petri Net Solvable Binary Words. In Application and Theory of Petri Nets and Concurrency - 39th International Conference, PETRI NETS 2018, pages 207-226, Lecture Notes in Computer Science 10877, 2018. doi.. |
| [65] | : CauDEr: A Causal-Consistent Reversible Debugger for Erlang. In Proceedings of the 14th International Symposium on Functional and Logic Programming (FLOPS 2018), pages 247-263, Springer, Lecture Notes in Computer Science 10818, 2018. |
| [66] | : A Calculus for Modeling Floating Authorizations. In International Conference on Formal Techniques for Distributed Objects, Components, and Systems, pages 101-120, 2018. |
| [67] | : Synthesis of Reversible Circuits Using Conventional Hardware Description Languages. In IEEE International Symposium on Multiple-Valued Logic (ISMVL), Linz, Austria, 2018. |
| [68] | : Improved Synthesis of Clifford+T Quantum Functionality. In Design, Automation and Test in Europe, 2018. |
| [69] | : A Certified Study of a Reversible Programming Language. In 21st International Conference on Types for Proofs and Programs (TYPES 2015), pages 7:1-7:21, Leibniz International Proceedings in Informatics (LIPIcs) 69, 2018. |
| [70] | : A session type provider: compile-time API generation of distributed protocols with refinements in F#. In Proceedings of the 27th International Conference on Compiler Construction, CC 2018, February 24-25, 2018, Vienna, Austria, pages 128-138, ACM, 2018. |
2017
| [71] | : Concise Representations of Reversible Automata. In Descriptional Complexity of Formal Systems - 19th IFIP WG 1.02 International Conference, DCFS 2017, pages 238-249, Springer, Lecture Notes in Computer Science 10316, 2017. |
| [72] | : Weakly and Strongly Irreversible Regular Languages. In Proceedings 15th International Conference on Automata and Formal Languages, AFL 2017, pages 143-156, EPTCS 252, 2017. doi.. |
| [73] | : $$backslashmathsf qPCF$$: A Language for Quantum Circuit Computations. In Theory and Applications of Models of Computation, pages 455-469, Springer International Publishing, 2017. |
| [74] | : Concurrent Reversible Sessions. In 28th International Conference on Concurrency Theory, CONCUR 2017, 2017. |
| [75] | : Let it recover: multiparty protocol-induced recovery. In Proceedings of the 26th International Conference on Compiler Construction, Austin, TX, USA, February 5-6, 2017, pages 98-108, ACM, 2017. |
| [76] | : Session-OCaml: a session-based library with polarities and lenses. In 19th International Conference on Coordination Models and Languages, pages 99-118, Springer, LNCS 10319, 2017. |
| [77] | : Ternary reversible/quantum latches. In 2017 IEEE First Ukraine Conference on Electrical and Computer Engineering (UKRCON), pages 904-907, 2017. |
| [78] | : Retractable and Speculative Contracts. In IFIP International Conference on Coordination Models and Languages, pages 119-137, 2017. |
| [79] | : Controlled Reversibility in Reaction Systems. In Membrane Computing - 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers, pages 40-53, 2017. doi.. |
| [80] | : Hierarchical reversible logic synthesis using LUTs. In Design Automation Conference, pages 78:1-78:6, Austin, TX, USA, 2017. |
| [81] | : Hardness of Deriving Invertible Sequences from Finite State Machines. In International Conference on Current Trends in Theory and Practice of Computer Science, pages 147-160, 2017. |
| [82] | : Improving Synthesis of Reversible Circuits: Exploiting Redundancies in Paths and Nodes of QMDDs. In Conference on Reversible Computation, 2017. |
| [83] | : Exact Global Reordering for Nearest Neighbor Quantum Circuits Using A*. In Conference on Reversible Computation, 2017. |
| [84] | : Efficient Construction of QMDDs for Irreversible, Reversible, and Quantum Functions. In Conference on Reversible Computation, 2017. |
| [85] | : Towards VHDL-based Design of Reversible Circuits. In Conference on Reversible Computation, 2017. |
| [86] | : Automatic Test Pattern Generation for Multiple Missing Gate Faults in Reversible Circuits. In Conference on Reversible Computation, 2017. |
| [87] | : Skipping Embedding for Scalable Synthesis of Reversible Circuits. In International Symposium on Multiple-Valued Logic, 2017. |
| [88] | : Taking One-to-one Mappings for Granted: Advanced Logic Design of Encoder Circuits. In Design, Automation and Test in Europe, 2017. |
| [89] | : Make It Reversible: Efficient Embedding of Non-reversible Functions. In Design, Automation and Test in Europe, 2017. |
| [90] | : Design automation and design space exploration for quantum computers. In Design, Automation and Test in Europe, pages 470-475, Lausanne, Switzerland, 2017. |
| [91] | : Reversing imperative parallel programs. In EXPRESS/SOS 2017, pages 51-66, 2017. |
| [92] | : A Reversible Semantics for Erlang. In Proc. of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, Springer, Lecture Notes in Computer Science , 2017. |
| [93] | : Concurrent Reversible Sessions. |
| [94] | : Let It Recover: Multiparty Protocol-Induced Recovery. In 26th International Conference on Compiler Construction, pages 98-108, ACM, 2017. |
| [95] | : Implementing Reversible Object-Oriented Language Features on Reversible Machines. In International Conference on Reversible Computation, 2017. |
| [96] | : Towards a Categorical Representation of Reversible Event Structures. In Proceedings of the International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES 16), pages 49-60, EPTCS 246, 2017. |
2016
| [97] | : Reversible Multiparty Sessions with Checkpoints. In Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics, EXPRESS/SOS 2016, 2016. |
| [98] | : Unlocking efficiency and scalability of reversible logic synthesis using conventional logic synthesis. In Design Automation Conference, pages 149:1-149:6, Austin, TX, USA, 2016. |
| [99] | : A fast symbolic transformation based algorithm for reversible logic synthesis. In Conference on Reversible Computation, pages 307-321, Bologna, Italy, 2016. |
| [100] | : Enumeration of reversible functions and its application to circuit complexity. In Conference on Reversible Computation, pages 255-270, Bologna, Italy, 2016. |
| [101] | : Reversible Semantics in Session-based Concurrency. In Theoretical Computer Science, pages 221-226, 2016. |
| [102] | : Reversible Sessions Using Monitors. In Workshop on Programming Language Approaches to Concurrency- and Communication-Centric Software, pages 56-64, 2016. |
| [103] | : Static VS Dynamic Reversibility in CCS. In Conference on Reversible Computation, pages 36-51, 2016. |
| [104] | : Reversible Shrinking Two-Pushdown Automata. In Language and Automata Theory and Applications (LATA), 2016. |
| [105] | : Boosting Reversible Pushdown Machines by Preprocessing. In Conference on Reversible Computation, 2016. |
| [106] | : The Degree of Irreversibility in Deterministic Finite Automata. In Implementation and Application of Automata (CIAA), 2016. |
| [107] | : Reversible Computation vs. Reversibility in Petri Nets. In Conference on Reversible Computation, pages 105-118, 2016. |
| [108] | : Reversing Transitions in Bounded Petri Nets. In Workshop on Concurrency, Specification and Programming, pages 74-85, 2016. |
| [109] | : Causally Consistent Dynamic Slicing. In International Conference on Concurrency Theory , pages 18:1-18:15, 2016. |
| [110] | : Design and Fabrication of CSWAP Gate Based on Nano-Electromechanical Systems. In Conference on Reversible Computation, 2016. |
| [111] | : Design of p-Valued Deutsch Quantum Gates with Multiple Control Signals and Mixed Polarity. In Conference on Reversible Computation, 2016. |
| [112] | : Quantum p-Valued Toffoli and Deutsch Gates with Conjunctive or Disjunctive Mixed Polarity Control. In International Symposium on Multiple-Valued Logic, 2016. |
| [113] | : Distributed RIMEP2: a Comparative Study between a Hierarchical Model and the Islands Model in the context of reversible circuits design. In International Workshop on Boolean Problems, 2016. |
| [114] | : The C^nF logic gates derived from C^nNOT gates. In International Workshop on Boolean Problems, 2016. |
| [115] | : Procedure for FDD-based reversible synthesis by levels. In International Workshop on Boolean Problems, 2016. |
| [116] | : Towards Classification of Reversible Functions with Homogeneous Component Functions. In International Workshop on Boolean Problems, 2016. |
| [117] | : A Game Interpretation of Retractable Contracts. In IFIP International Conference on Coordination Models and Languages, 2016. |
| [118] | : Join Inverse Categories as Models of Reversible Recursion. In International Conference on Foundations of Software Science and Computation Structures, 2016. |
| [119] | : A Classical Propositional Logic for Reasoning About Reversible Logic Circuits. In International Workshop on Logic, Language, Information, and Computation, 2016. |
| [120] | : Reversible Multiparty Sessions with Checkpoints. In EXPRESS/SOS'16, 2016. |
| [121] | : Reversible Term Rewriting. In International Conference on Formal Structures for Computation and Deduction, 2016. |
| [122] | : The Group of Reversible Turing Machines. In Cellular Automata and Discrete Complex Systems, 2016. |
| [123] | : Strongly Universal Reversible Gate Sets. In Conference on Reversible Computation, 2016. |
| [124] | : A Calculus for Local Reversibility. In Conference on Reversible Computation, 2016. |
| [125] | : A Modular Formalization of Reversibility for Concurrent Models and Languages. In Interaction and Concurrency Experience , 2016. |
| [126] | : Reversing Single Sessions. In Conference on Reversible Computation, 2016. |
| [127] | : Elements of a Reversible Object-Oriented Language. In Conference on Reversible Computation, 2016. |
| [128] | : Generating and Checking Control Logic in the HDL-based Design of Reversible Circuits. In ised, 2016. |
| [129] | : From Reversible Logic to Quantum Circuits: Logic Design for an Emerging Technology. In International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, 2016. |
| [130] | : Using piDDs for Nearest Neighbor Optimization of Quantum Circuits. In Conference on Reversible Computation, 2016. |
| [131] | : Checking Reversibility of Boolean Functions. In Conference on Reversible Computation, 2016. |
| [132] | : Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs. In Conference on Reversible Computation, 2016. |
| [133] | : Logic Synthesis for Quantum State Generation. In International Symposium on Multiple-Valued Logic, 2016. |
| [134] | : An extension of transformation-based reversible and quantum circuit synthesis. In International Symposium on Circuits and Systems, pages 2290-2293, Montreal, QC, Canada, 2016. |
| [135] | : Notes on majority Boolean algebra. In International Symposium on Multiple-Valued Logic, pages 50-55, Sapporo, Japan, 2016. |
| [136] | : Technology mapping of reversible circuits to Clifford+T quantum circuits. In International Symposium on Multiple-Valued Logic, pages 150-155, Sapporo, Japan, 2016. |
| [137] | : Integrated Synthesis of Linear Nearest Neighbor Ancilla-Free MCT Circuits. In International Symposium on Multiple-Valued Logic, 2016. |
| [138] | : Nearest-Neighbor and Fault-Tolerant Quantum Circuit Implementation. In International Symposium on Multiple-Valued Logic, 2016. |
| [139] | : Re-writing HDL Descriptions for Line-aware Synthesis of Reversible Circuits. In International Symposium on Multiple-Valued Logic, 2016. |
| [140] | : Fault Detection in Parity Preserving Reversible Circuits. In International Symposium on Multiple-Valued Logic, 2016. |
| [141] | : Exploiting Inherent Characteristics of Reversible Circuits for Faster Combinational Equivalence Checking. In Design, Automation and Test in Europe, 2016. |
| [142] | : Synthesis of Approximate Coders for On-chip Interconnects Using Reversible Logic. In Design, Automation and Test in Europe, 2016. |
| [143] | : Look-ahead Schemes for Nearest Neighbor Optimization of 1D and 2D Quantum Circuits. In Asia and South Pacific Design Automation Conference, 2016. |
| [144] | : Improving the Realization of Multiple-Control Toffoli Gates Using the NCVW Quantum Gate Library. In International Conference on VLSI Design, 2016. |
| [145] | : Quantum Bootstrap Aggregation. In Quantum Interaction - 10th International Conference, QI 2016, San Francisco, CA, USA, July 20--22, 2016, Revised Selected Papers, pages 115-121, 2016. doi.. |
2015
| [146] | : Application of Functional Decomposition in Synthesis of Reversible Circuits. In Conference on Reversible Computation, 2015. |
| [147] | : Reversible logic synthesis of boolean functions using functional decomposition. In International Conference Mixed Design of Integrated Circuits Systems (MIXDES), 2015. |
| [148] | : A Hierarchy of Fast Reversible Turing Machines. In Conference on Reversible Computation, 2015. |
| [149] | : Minimal Reversible Deterministic Finite Automata. In Developments in Language Theory (DLT), 2015. |
| [150] | : Reversible Limited Automata. In Machines, Computations, and Universality (MCU), 2015. |
| [151] | : When input-driven pushdown automata meet reversibility. In Non-Classical Models of Automata and Applications (NCMA), 2015. |
| [152] | : Reversible and Irreversible Computations of Deterministic Finite-State Devices. In Mathematical Foundations of Computer Science (MFCS), 2015. |
| [153] | : Real-Time Reversible One-Way Cellular Automata. In Cellular Automata and Discrete Complex Systems, 2015. |
| [154] | : Interpretation and Programming of the Reversible Functional Language. In Symposium on the Implementation and Application of Functional Programming Languages, pages 8:1-8:13, 2015. |
| [155] | : Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and its Permutation Semantics. In Conference on Reversible Computation, 2015. |
| [156] | : Reversible Monadic Computing. In Mathematical Foundations of Programming Semantics, 2015. |
| [157] | : Towards Modelling of Local Reversibility. In Conference on Reversible Computation, 2015. |
| [158] | : On two subgroups of U($n$), useful for quantum computing. In International Colloquium on Group-theoretical Methods in Physics, 2015. |
| [159] | : Automatic Error Recovery in Robot Assembly Operations Using Reverse Execution. In International Conference on Intelligent Robots and Systems, 2015. |
| [160] | : Towards a Domain-Specific Language for Reversible Assembly Sequences. In Conference on Reversible Computation, 2015. |
| [161] | : Dynamic template matching with mixed-polarity Toffoli gates. In International Symposium on Multiple-Valued Logic, pages 72-77, Waterloo, ON, Canada, 2015. |
| [162] | : Fredkin-enabled transformation-based reversible logic synthesis. In International Symposium on Multiple-Valued Logic, pages 60-65, Waterloo, ON, Canada, 2015. |
| [163] | : Technology mapping for quantum circuits using Boolean functional decomposition. In Conference on Reversible Computation, pages 219-232, Grenoble, France, 2015. |
| [164] | : Reversible circuit rewriting with simulated annealing. In International Conference on Very Large Scale Integration, pages 286-291, Daejon, Korea, 2015. |
| [165] | : Self-inverse functions and palindromic circuits. In Reed-Muller Workshop, 2015. |
| [166] | : Reversible Computation: An Alternative Computation Paradigm for Low Power Applications. In International Green and Sustainable Computing Conference, 2015. |
| [167] | : Synthesis of Quantum Circuits for Dedicated Physical Machine Descriptions. In Conference on Reversible Computation, 2015. |
| [168] | : Towards Line-aware Realizations of Expressions for HDL-based Synthesis of Reversible Circuits. In Conference on Reversible Computation, 2015. |
| [169] | : Towards a Cost Metric for Nearest Neighbor Constraints in Reversible Circuits. In Conference on Reversible Computation, 2015. |
| [170] | : Formal Methods for Emerging Technologies. In International Conference on Computer Aided Design, 2015. |
Other
2016
| [171] | : Fault models in reversible and quantum circuits. doi.. |
| [172] | : A framework for reversible circuit complexity. |
Reversible Computation - Extending Horizons of Computing
Links
Memorandum of UnderstandingCOST rules and guidelines
Contact
Irek Ulidowski
Management Committee Chair
Email
Ivan Lanese
Management Committee Vice Chair
Email
Veronica Gaspes
STSM Coordinator
Email
Jovanka Pantovic
ITC Conference Grant Coordinator
Email
Anna Philippou
COST Action Equality Chair
Email
Ralph Stuebner
COST Science Officer
Email
Michael Kirkedal Thomsen
COST Action Website Chair
Email
Irek UlidowskiManagement Committee Chair
Ivan LaneseManagement Committee Vice Chair
Veronica GaspesSTSM Coordinator
Jovanka PantovicITC Conference Grant Coordinator
Anna PhilippouCOST Action Equality Chair
Ralph StuebnerCOST Science Officer
Michael Kirkedal ThomsenCOST Action Website Chair