×

Found 190 Documents (Results 1–100)

Towards a taxonomy for reversible computation approaches. (English) Zbl 07786593

Kutrib, Martin (ed.) et al., Reversible computation. 15th international conference, RC 2023, Giessen, Germany, July 18–19, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13960, 24-39 (2023).
MSC:  68Q09 68Q10 81P68
PDFBibTeX XMLCite
Full Text: DOI

Reversibility in Erlang: imperative constructs. (English) Zbl 07615950

Mezzina, Claudio Antares (ed.) et al., Reversible computation. 14th international conference, RC 2022, Urbino, Italy, July 5–6, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13354, 187-203 (2022).
MSC:  68Q09 68Q10 81P68
PDFBibTeX XMLCite
Full Text: DOI HAL

Explicit identifiers and contexts in reversible concurrent calculus. (English) Zbl 1476.68093

Yamashita, Shigeru (ed.) et al., Reversible computation. 13th international conference, RC 2021, virtual event, July 7–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12805, 144-162 (2021).
MSC:  68Q09 68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Reversible pebble games and the relation between tree-like and general resolution space. (English) Zbl 07650945

Paul, Christophe (ed.) et al., 37th international symposium on theoretical aspects of computer science, STACS 2020, Montpellier, France, March 10–13, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 154, Article 60, 18 p. (2020).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

A general approach to derive uncontrolled reversible semantics. (English) Zbl 07559489

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 33, 24 p. (2020).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

How reversibility can solve traditional questions: the example of hereditary history-preserving bisimulation. (English) Zbl 07559463

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 7, 23 p. (2020).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Fractional types. Expressive and safe space management for ancilla bits. (English) Zbl 07368054

Lanese, Ivan (ed.) et al., Reversible computation. 12th international conference, RC 2020, Oslo, Norway, July 9–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12227, 169-186 (2020).
MSC:  68Q09 68Q10 81P68
PDFBibTeX XMLCite
Full Text: DOI arXiv

An axiomatic approach to reversible computation. (English) Zbl 07250951

Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 442-461 (2020).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Reversing steps in Petri nets. (English) Zbl 1532.68039

Donatelli, Susanna (ed.) et al., Application and theory of Petri nets and concurrency. 40th international conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceeding. Cham: Springer. Lect. Notes Comput. Sci. 11522, 171-191 (2019).
MSC:  68Q85 68Q55
PDFBibTeX XMLCite
Full Text: DOI Link

Evaluating ESOP optimization methods in quantum compilation flows. (English) Zbl 1527.68074

Thomsen, Michael Kirkedal (ed.) et al., Reversible computation. 11th international conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11497, 191-206 (2019).
MSC:  68Q12 81P65
PDFBibTeX XMLCite
Full Text: DOI Link

Inversion, iteration, and the art of dual wielding. (English) Zbl 1467.68083

Thomsen, Michael Kirkedal (ed.) et al., Reversible computation. 11th international conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11497, 34-50 (2019).
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

A categorical foundation for structured reversible flowchart languages. (English) Zbl 1525.68025

Silva, Alexandra (ed.), Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12–15, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 336, 155-171 (2018).
PDFBibTeX XMLCite
Full Text: DOI

\(\mathsf{CoreFun}\): a typed functional reversible core language. (English) Zbl 1515.68091

Kari, Jarkko (ed.) et al., Reversible computation. 10th international conference, RC 2018, Leicester, UK, September 12–14, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11106, 304-321 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Ballistic reversible gates matched to bit storage: plans for an efficient CNOT gate using fluxons. (English) Zbl 1515.81070

Kari, Jarkko (ed.) et al., Reversible computation. 10th international conference, RC 2018, Leicester, UK, September 12–14, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11106, 189-204 (2018).
MSC:  81P65 68Q06 81P68
PDFBibTeX XMLCite
Full Text: DOI arXiv

Synthesis of quantum circuits vs. synthesis of classical reversible circuits. (English) Zbl 1405.81006

Synthesis Lectures on Digital Circuits and Systems 54. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-68173-379-1/pbk; 978-1-68173-381-4/hbk; 978-1-68173-380-7/ebook). xv, 109 p. (2018).
MSC:  81-02 94-02 81P68 94C10
PDFBibTeX XMLCite
Full Text: DOI

A certified study of a reversible programming language. (English) Zbl 1433.68080

Uustalu, Tarmo (ed.), 21st international conference on types for proofs and programs, TYPES 2015, May 18–21, 2015, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 69, Article 7, 21 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Improved reversible and quantum circuits for Karatsuba-based integer multiplication. (English) Zbl 1427.81020

Wilde, Mark M. (ed.), 12th conference on the theory of quantum computation, communication and cryptography, TQC 2017, June 14–16, 2017, Paris, France. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 73, Article 7, 15 p. (2018).
MSC:  81P68 68Q12
PDFBibTeX XMLCite
Full Text: DOI arXiv

Concurrent reversible sessions. (English) Zbl 1442.68129

Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 30, 17 p. (2017).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software