Search results for "reversible"

Hits ?▲	Authors	Title	Venue	Year	Link
19	Torben Ægidius Mogensen	Reversible Functional Array Programming.	RC	2021	DBLP DOI BibTeX RDF
19	Lasse Hay-Schmidt, Robert Glück, Martin Holm Cservenka, Tue Haulund	Towards a Unified Language Architecture for Reversible Object-Oriented Programming.	RC	2021	DBLP DOI BibTeX RDF
19	Armando B. Matos, Luca Paolini, Luca Roversi	Splitting Recursion Schemes into Reversible and Classical Interacting Threads.	RC	2021	DBLP DOI BibTeX RDF
19	Hernán C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna	Towards a Truly Concurrent Semantics for Reversible CCS.	RC	2021	DBLP DOI BibTeX RDF
19	Claudio Moraga	OR-Toffoli and OR-Peres Reversible Gates.	RC	2021	DBLP DOI BibTeX RDF
19	Yingqiang Qiu, Zhenxing Qian, Huanqiang Zeng, Xiaodan Lin, Xinpeng Zhang 0001	Reversible data hiding in encrypted images using adaptive reversible integer transformation.	Signal Process.	2020	DBLP DOI BibTeX RDF
19	Sisheng Chen, Chin-Chen Chang 0001	Reversible Data Hiding in Encrypted Images Based on Reversible Integer Transformation and Quadtree-Based Partition.	IEEE Access	2020	DBLP DOI BibTeX RDF
19	Harun Siljak	Reversible Computation in Wireless Communications.	Selected Results of the COST Action IC1405	2020	DBLP DOI BibTeX RDF
19	Pawel Kerntopf, Claudio Moraga, Krzysztof Podlaski, Radomir S. Stankovic	Research on Reversible Functions Having Component Functions with Specified Properties: An Overview.	Selected Results of the COST Action IC1405	2020	DBLP DOI BibTeX RDF
19	Claudio Antares Mezzina, Rudolf Schlatte, Robert Glück, Tue Haulund, James Hoey, Martin Holm Cservenka, Ivan Lanese, Torben Æ. Mogensen, Harun Siljak, Ulrik Pagh Schultz, Irek Ulidowski	Software and Reversible Systems: A Survey of Recent Activities.	Selected Results of the COST Action IC1405	2020	DBLP DOI BibTeX RDF
19	Ulrik Pagh Schultz	Reversible Control of Robots.	Selected Results of the COST Action IC1405	2020	DBLP DOI BibTeX RDF
19	Bogdan Aman, Gabriel Ciobanu, Robert Glück, Robin Kaarsgaard, Jarkko Kari, Martin Kutrib, Ivan Lanese, Claudio Antares Mezzina, Lukasz Mikulski, Rajagopal Nagarajan, Iain C. C. Phillips, G. Michele Pinna, Luca Prigioniero, Irek Ulidowski, Germán Vidal	Foundations of Reversible Computation.	Selected Results of the COST Action IC1405	2020	DBLP DOI BibTeX RDF
19	Markus Schordan, Tomas Oppelstrup, Michael Kirkedal Thomsen, Robert Glück	Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation.	Selected Results of the COST Action IC1405	2020	DBLP DOI BibTeX RDF
19	Marek A. Perkowski	Inverse Problems, Constraint Satisfaction, Reversible Logic, Invertible Logic and Grover Quantum Oracles for Practical Problems.	RC	2020	DBLP DOI BibTeX RDF
19	Kostia Chardonnet, Alexis Saurin, Benoît Valiron	Toward a Curry-Howard Equivalence for Linear, Reversible Computation - Work-in-Progress.	RC	2020	DBLP DOI BibTeX RDF
19	Takashi Ikeda, Shoji Yuen	A Reversible Runtime Environment for Parallel Programs.	RC	2020	DBLP DOI BibTeX RDF
19	Germán Vidal	Reversible Computations in Logic Programming.	RC	2020	DBLP DOI BibTeX RDF
19	Lars Kristiansen	Reversible Programming Languages Capturing Complexity Classes.	RC	2020	DBLP DOI BibTeX RDF
19	D. Michael Miller, Gerhard W. Dueck	Search-Based Transformation Synthesis for 3-Valued Reversible Circuits.	RC	2020	DBLP DOI BibTeX RDF
19	Tim Boykett	Maximality of Reversible Gate Sets.	RC	2020	DBLP DOI BibTeX RDF
19	Armando B. Matos, Luca Paolini, Luca Roversi	On the Expressivity of Total Reversible Programming Languages.	RC	2020	DBLP DOI BibTeX RDF
19	Eva Graversen, Iain Phillips 0001, Nobuko Yoshida	Event Structures for the Reversible Early Internal π-Calculus.	RC	2020	DBLP DOI BibTeX RDF
19	Zi-Long Liu, Chi-Man Pun	Reversible image reconstruction for reversible data hiding in encrypted images.	Signal Process.	2019	DBLP DOI BibTeX RDF
19	Hernán C. Melgratti, Claudio Antares Mezzina, Iain C. C. Phillips, G. Michele Pinna, Irek Ulidowski	Reversible Causal Nets and Reversible Event Structures.	CoRR	2019	DBLP BibTeX RDF
19	Hua Wang, Zhaoxia Yin	Reversible Adversarial Examples based on Reversible Image Transformation.	CoRR	2019	DBLP BibTeX RDF
19	Fei Peng, Zi-Xing Lin, Xiang Zhang, Min Long	Reversible Data Hiding in Encrypted 2D Vector Graphics Based on Reversible Mapping Model for Real Numbers.	IEEE Trans. Inf. Forensics Secur.	2019	DBLP DOI BibTeX RDF
19	Robert Glück, Robin Kaarsgaard, Tetsuo Yokoyama	Reversible Programs Have Reversible Semantics.	FM Workshops (2)	2019	DBLP DOI BibTeX RDF
19	Alexis De Vos, Stijn De Baerdemacker	A Birkhoff Connection Between Quantum Circuits and Linear Classical Reversible Circuits.	RC	2019	DBLP DOI BibTeX RDF
19	James Hoey, Irek Ulidowski	Reversible Imperative Parallel Programs and Debugging.	RC	2019	DBLP DOI BibTeX RDF
19	Torben Ægidius Mogensen	Reversible In-Place Carry-Lookahead Addition with Few Ancillae.	RC	2019	DBLP DOI BibTeX RDF
19	Torben Ægidius Mogensen	Reversible Garbage Collection for Reversible Functional Languages.	New Gener. Comput.	2018	DBLP DOI BibTeX RDF
19	Naoki Takeuchi, Yuki Yamanashi, Nobuyuki Yoshikawa	Recent Progress on Reversible Quantum-Flux-Parametron for Superconductor Reversible Computing.	IEICE Trans. Electron.	2018	DBLP DOI BibTeX RDF
19	Alwin Zulehner, Robert Wille	One-Pass Design of Reversible Circuits: Combining Embedding and Synthesis for Reversible Logic.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2018	DBLP DOI BibTeX RDF
19	Lei Chen, Jin Li, Zhonghua Sun 0001	Reversible Codes and Its Application to Reversible DNA Codes over F4k.	CoRR	2018	DBLP BibTeX RDF
19	Yingqiang Qiu, Hangxing Wang, Zichi Wang, Zhenxing Qian, Gui Feng, Xinpeng Zhang 0001	Reversible Contrast Mapping based Reversible Data Hiding in Encrypted Images.	WIFS	2018	DBLP DOI BibTeX RDF
19	Alexis De Vos, Stijn De Baerdemacker	A Unified Approach to Quantum Computation and Classical Reversible Computation.	RC	2018	DBLP DOI BibTeX RDF
19	Christian Hutslar, Jacques Carette, Amr Sabry	A Library of Reversible Circuit Transformations (Work in Progress).	RC	2018	DBLP DOI BibTeX RDF
19	Ulrik Pagh Schultz	Reversible Object-Oriented Programming with Region-Based Memory Management - Work-in-progress Report.	RC	2018	DBLP DOI BibTeX RDF
19	Torben Ægidius Mogensen	Garbage-Free Reversible Multiplication and Division.	RC	2018	DBLP DOI BibTeX RDF
19	Alwin Zulehner, Robert Wille	QMDD-Based One-Pass Design of Reversible Logic: Exploring the Available Degree of Freedom (Work-in-Progress Report).	RC	2018	DBLP DOI BibTeX RDF
19	Matthias Pfuhl, Jörg Ritter 0002, Paul Molitor	Finding the Redundant Gates in Reversible Circuits.	RC	2018	DBLP DOI BibTeX RDF
19	Nicolas Ollinger	On Aperiodic Reversible Turing Machines (Invited Talk).	RC	2018	DBLP DOI BibTeX RDF
19	Petur Andrias Højgaard Jacobsen, Robin Kaarsgaard, Michael Kirkedal Thomsen	\mathsf CoreFun : A Typed Functional Reversible Core Language.	RC	2018	DBLP DOI BibTeX RDF
19	Martin Holm Cservenka, Robert Glück, Tue Haulund, Torben Ægidius Mogensen	Data Structures and Dynamic Memory Management in Reversible Languages.	RC	2018	DBLP DOI BibTeX RDF
19	Anna Philippou, Kyriaki Psara	Reversible Computation in Petri Nets.	RC	2018	DBLP DOI BibTeX RDF
19	Dominik Táborský, Ken Friis Larsen, Michael Kirkedal Thomsen	Encryption and Reversible Computations - Work-in-progress Paper.	RC	2018	DBLP DOI BibTeX RDF
19	Kevin D. Osborn, Waltraut Wustmann	Ballistic Reversible Gates Matched to Bit Storage: Plans for an Efficient CNOT Gate Using Fluxons.	RC	2018	DBLP DOI BibTeX RDF
19	Eva Graversen, Iain Phillips 0001, Nobuko Yoshida	Event Structure Semantics of (controlled) Reversible CCS.	RC	2018	DBLP DOI BibTeX RDF
19	Kenichi Morita	Finding a Pathway from Reversible Microscopic Laws to Reversible Computers.	Int. J. Unconv. Comput.	2017	DBLP BibTeX RDF
19	Alwin Zulehner, Robert Wille	Make it reversible: Efficient embedding of non-reversible functions.	DATE	2017	DBLP DOI BibTeX RDF
19	Fei Peng, Zhen-Jie Yan, Min Long	A Reversible Watermarking for 2D Vector Map Based on Triple Differences Expansion and Reversible Contrast Mapping.	SpaCCS Workshops	2017	DBLP DOI BibTeX RDF
19	Alwin Zulehner, Robert Wille	Improving Synthesis of Reversible Circuits: Exploiting Redundancies in Paths and Nodes of QMDDs.	RC	2017	DBLP DOI BibTeX RDF
19	Sai Phaneendra Parlapalli, Chetan Vudadha, M. B. Srinivas	An ESOP Based Cube Decomposition Technique for Reversible Circuits.	RC	2017	DBLP DOI BibTeX RDF
19	Abhoy Kole, Robert Wille, Kamalika Datta, Indranil Sengupta 0001	Test Pattern Generation Effort Evaluation of Reversible Circuits.	RC	2017	DBLP DOI BibTeX RDF
19	Martin Roetteler	Tools for Quantum and Reversible Circuit Compilation.	RC	2017	DBLP DOI BibTeX RDF
19	Markus Holzer 0001, Martin Kutrib	Reversible Nondeterministic Finite Automata.	RC	2017	DBLP DOI BibTeX RDF
19	Goutam Paul 0001, Anupam Chattopadhyay, Chander Chandak	Designing Parity Preserving Reversible Circuits.	RC	2017	DBLP DOI BibTeX RDF
19	Anmol Prakash Surhonne, Anupam Chattopadhyay, Robert Wille	Automatic Test Pattern Generation for Multiple Missing Gate Faults in Reversible Circuits - Work in Progress Report.	RC	2017	DBLP DOI BibTeX RDF
19	Philipp Niemann 0001, Alwin Zulehner, Robert Wille, Rolf Drechsler	Efficient Construction of QMDDs for Irreversible, Reversible, and Quantum Functions.	RC	2017	DBLP DOI BibTeX RDF
19	Michael P. Frank	Foundations of Generalized Reversible Computing.	RC	2017	DBLP DOI BibTeX RDF
19	Md Asif Nashiry, Mozammel H. A. Khan, Jacqueline E. Rice	Controlled and Uncontrolled SWAP Gates in Reversible Logic Synthesis.	RC	2017	DBLP DOI BibTeX RDF
19	Sai Phaneendra Parlapalli, Chetan Vudadha, M. B. Srinivas	Optimizing the Reversible Circuits Using Complementary Control Line Transformation.	RC	2017	DBLP DOI BibTeX RDF
19	Alex Parent, Martin Roetteler, Krysta M. Svore	REVS: A Tool for Space-Optimized Reversible Circuit Synthesis.	RC	2017	DBLP DOI BibTeX RDF
19	Zaid Al-Wardi, Robert Wille, Rolf Drechsler	Towards VHDL-Based Design of Reversible Circuits - Work in Progress Report.	RC	2017	DBLP DOI BibTeX RDF
19	Santi P. Maity, Hirak Kumar Maity	On adaptive distortion control in reversible watermarking using modified reversible contrast mapping.	Multim. Tools Appl.	2016	DBLP DOI BibTeX RDF
19	Carlos Hernández 0003, Jorge A. Baier, Roberto Asín	Time-Bounded Best-First Search for Reversible and Non-reversible Search Graphs.	J. Artif. Intell. Res.	2016	DBLP DOI BibTeX RDF
19	Weiming Zhang 0001, Hui Wang, Dongdong Hou, Nenghai Yu	Reversible Data Hiding in Encrypted Images by Reversible Image Transformation.	IEEE Trans. Multim.	2016	DBLP DOI BibTeX RDF
19	Dongdong Hou, Weiming Zhang 0001, Zihao Zhan, Ruiqi Jiang, Yang Yang 0059, Nenghai Yu	Reversible image processing via reversible data hiding.	DSP	2016	DBLP DOI BibTeX RDF
19	Benoît Valiron	Generating Reversible Circuits from Higher-Order Functional Programs.	RC	2016	DBLP DOI BibTeX RDF
19	Pablo Arrighi, Simon Martiel, Simon Perdrix	Reversible Causal Graph Dynamics.	RC	2016	DBLP DOI BibTeX RDF
19	Kamila Barylska, Maciej Koutny, Lukasz Mikulski, Marcin Piatkowski	Reversible Computation vs. Reversibility in Petri Nets.	RC	2016	DBLP DOI BibTeX RDF
19	Ulrik Pagh Schultz, Holger Bock Axelsen	Elements of a Reversible Object-Oriented Language - Work-in-Progress Report.	RC	2016	DBLP DOI BibTeX RDF
19	Nirvan Tyagi, Jayson Lynch, Erik D. Demaine	Toward an Energy Efficient Language and Compiler for (Partially) Reversible Algorithms.	RC	2016	DBLP DOI BibTeX RDF
19	Robert Wille, Oliver Keszöcze, Lars Othmer, Michael Kirkedal Thomsen, Rolf Drechsler	Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs - Work in Progress Report.	RC	2016	DBLP DOI BibTeX RDF
19	Peter Selinger	A Finite Alternation Result for Reversible Boolean Circuits.	RC	2016	DBLP DOI BibTeX RDF
19	Mathias Soeken, Gerhard W. Dueck, D. Michael Miller	A Fast Symbolic Transformation Based Algorithm for Reversible Logic Synthesis.	RC	2016	DBLP DOI BibTeX RDF
19	Holger Bock Axelsen, Martin Kutrib, Andreas Malcher, Matthias Wendlandt	Boosting Reversible Pushdown Machines by Preprocessing.	RC	2016	DBLP DOI BibTeX RDF
19	Dmitry V. Zakablukov	Application of Permutation Group Theory in Reversible Logic Synthesis.	RC	2016	DBLP DOI BibTeX RDF
19	Tim Boykett, Jarkko Kari, Ville Salo	Strongly Universal Reversible Gate Sets.	RC	2016	DBLP DOI BibTeX RDF
19	Ioana Cristescu, Jean Krivine, Daniele Varacca	Rigid Families for the Reversible π-Calculus.	RC	2016	DBLP DOI BibTeX RDF
19	Mathias Soeken, Nabila Abdessaied, Giovanni De Micheli	Enumeration of Reversible Functions and Its Application to Circuit Complexity.	RC	2016	DBLP DOI BibTeX RDF
19	Ming-Xiao Tang, Jia Lee, Kenichi Morita	General design of reversible sequential machines based on reversible logic elements.	Theor. Comput. Sci.	2015	DBLP DOI BibTeX RDF
19	Jeferson F. Chaves, Douglas S. Silva, Victor V. Camargos, Omar P. Vilela Neto	Towards reversible QCA computers: Reversible gates and ALU.	LASCAS	2015	DBLP DOI BibTeX RDF
19	Gunajit Kalita, Navajit Saikia	Reversible Comparator Circuit Using a New Reversible Gate.	ICCCT	2015	DBLP DOI BibTeX RDF
19	Mariusz Rawski	Application of Functional Decomposition in Synthesis of Reversible Circuits.	RC	2015	DBLP DOI BibTeX RDF
19	Yuma Inoue, Shin-ichi Minato	Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits.	RC	2015	DBLP DOI BibTeX RDF
19	Friedrich Otto, Matthias Wendlandt, Kent Kwee	Reversible Ordered Restarting Automata.	RC	2015	DBLP DOI BibTeX RDF
19	Holger Bock Axelsen, Sebastian Jakobi, Martin Kutrib, Andreas Malcher	A Hierarchy of Fast Reversible Turing Machines.	RC	2015	DBLP DOI BibTeX RDF
19	Abhoy Kole, Kamalika Datta, Indranil Sengupta 0001, Robert Wille	Towards a Cost Metric for Nearest Neighbor Constraints in Reversible Circuits.	RC	2015	DBLP DOI BibTeX RDF
19	Ulrik Pagh Schultz, Johan Sund Laursen, Lars-Peter Ellekilde, Holger Bock Axelsen	Towards a Domain-Specific Language for Reversible Assembly Sequences.	RC	2015	DBLP DOI BibTeX RDF
19	Zaid Al-Wardi, Robert Wille, Rolf Drechsler	Towards Line-Aware Realizations of Expressions for HDL-Based Synthesis of Reversible Circuits.	RC	2015	DBLP DOI BibTeX RDF
19	Michael Kirkedal Thomsen, Robin Kaarsgaard, Mathias Soeken	Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics.	RC	2015	DBLP DOI BibTeX RDF
19	Tommi Pesu, Iain Phillips 0001	Real-Time Methods in Reversible Computation.	RC	2015	DBLP DOI BibTeX RDF
19	Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki	Moment Semantics for Reversible Rule-Based Systems.	RC	2015	DBLP DOI BibTeX RDF
19	Torben Ægidius Mogensen	Garbage Collection for Reversible Functional Languages.	RC	2015	DBLP DOI BibTeX RDF
19	M. Saravanan, K. Suresh Manic	Novel Reversible variable Precision Multiplier using Reversible Logic Gates.	J. Comput. Sci.	2014	DBLP DOI BibTeX RDF
19	Mariam Zomorodi Moghadam, Keivan Navi, Mahmood Kalemati	A novel reversible design for double edge triggered flip-flops and new designs of reversible sequential circuits.	Comput. Syst. Sci. Eng.	2014	DBLP BibTeX RDF
19	Hirak Kumar Maity, Santi P. Maity	FPGA implementation of reversible watermarking in digital images using reversible contrast mapping.	J. Syst. Softw.	2014	DBLP DOI BibTeX RDF
19	Kenichi Morita, Tsuyoshi Ogiro	How Can We Construct Reversible Machines Out of Reversible Logic Element with Memory?	Computing with New Resources	2014	DBLP DOI BibTeX RDF
19	Reuben A. Farrugia	Reversible De-Identification for lossless image compression using Reversible Watermarking.	MIPRO	2014	DBLP DOI BibTeX RDF