14th International Conference on Reversible Computation (RC 2022) | www.gmachineinfo.com

会议文集

文集名	Reversible Computation
会议名	14th International Conference on Reversible Computation (RC 2022)
中译名	《第十四届国际可逆计算会议》
机构	University of Urbino
会议日期	July 5-6, 2022
会议地点	Urbino, Italy
出版年	2022
馆藏号	344104

题名	作者	出版年
Reversible Computation in Integrated Photonics	Alexis De Vos	2022
Optimization of Quantum Boolean Circuits by Relative-Phase Toffoli Gates	Shohei Kuroda; Shigeru Yamashita	2022
Constructing All Qutrit Controlled Clifford+T gates in Clifford+T	Lia Yeh; John van de Wetering	2022
Fast Control for Reversible Processors	Torben gidius Mogensen	2022
Designing a Reversible Stack Machine	Niklas Deworetzki; Uwe Meyer	2022
Directed Graph Encoding in Quantum Computing Supporting Edge-Failures	D. Della Giustina; C. Piazza; B. Riccardi; R. Romanello	2022
Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might Think	Stefan Hillmich; Lukas Burgholzer; Florian Stogmuller; Robert Wille	2022
Certifying Algorithms and Relevant Properties of Reversible Primitive Permutations with Lean	Giacomo Maletto; Luca Roversi	2022
Algeo: An Algebraic Approach to Reversibility	Fritz Henglein; Robin Kaarsgaard; Mikkel Kragh Mathiesen	2022
Concurrencies in Reversible Concurrent Calculi	Clement Aubert	2022
The N-Calculus: A Declarative Model of Reversible Programming	Hannah Earley	2022
Formal Translation from Reversing Petri Nets to Coloured Petri Nets	Kamila Barylska; Anna Gogolinska; Lukasz Mikulski; Anna Philippou; Marcin Piatkowski; Kyriaki Psara	2022
Reversibility in Erlang: Imperative Constructs	Pietro Lami; Ivan Lanese; Jean-Bernard Stefani; Claudio Sacerdoti Coen; Giovanni Fabbretti	2022
A Reversible Debugger for Imperative Parallel Programs with Contracts	Takashi Ikeda; Shoji Yuen	2022
Towards Causal-Consistent Reversibility of Imperative Concurrent Programs	James Hoey; Irek Ulidowski	2022
Optimizing Reversible Programs	Niklas Deworetzki; Martin Kutrib; Uwe Meyer; Pia-Doreen Ritzke	2022