Leshkowitz, Maya Round complexity versus randomness complexity in interactive proofs. (English) Zbl 07563815 Theory Comput. 18, Paper No. 13, 65 p. (2022). MSC: 68Qxx 68Q10 68Q15 68Q87 PDF BibTeX XML Cite \textit{M. Leshkowitz}, Theory Comput. 18, Paper No. 13, 65 p. (2022; Zbl 07563815) Full Text: DOI OpenURL
Bartusek, James; Garg, Sanjam; Srinivasan, Akshayaram; Zhang, Yinuo Reusable two-round MPC from LPN. (English) Zbl 07554911 Hanaoka, Goichiro (ed.) et al., Public-key cryptography – PKC 2022. 25th IACR international conference on practice and theory of public-key cryptography, virtual event, March 8–11, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13177, 165-193 (2022). MSC: 68M25 68Q10 94A60 PDF BibTeX XML Cite \textit{J. Bartusek} et al., Lect. Notes Comput. Sci. 13177, 165--193 (2022; Zbl 07554911) Full Text: DOI OpenURL
Robert, Léo; Miyahara, Daiki; Lafourcade, Pascal; Libralesso, Luc; Mizuki, Takaaki Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle. (English) Zbl 1487.68123 Inf. Comput. 285, Part B, Article ID 104858, 14 p. (2022). MSC: 68Q17 68Q10 94A60 PDF BibTeX XML Cite \textit{L. Robert} et al., Inf. Comput. 285, Part B, Article ID 104858, 14 p. (2022; Zbl 1487.68123) Full Text: DOI OpenURL
Mathur, Shaan; Ostrovsky, Rafail A combinatorial characterization of self-stabilizing population protocols. (English) Zbl 1487.68048 Inf. Comput. 285, Part B, Article ID 104829, 14 p. (2022). MSC: 68M14 68M12 68Q10 68R10 68Q85 PDF BibTeX XML Cite \textit{S. Mathur} and \textit{R. Ostrovsky}, Inf. Comput. 285, Part B, Article ID 104829, 14 p. (2022; Zbl 1487.68048) Full Text: DOI OpenURL
Mitrana, Victor; Martin, Jose Angel Sanchez Simulating polarization by random context filters in networks of evolutionary processors. (English) Zbl 07534940 J. Appl. Math. Comput. 68, No. 1, 553-569 (2022). MSC: 68Q04 68Q07 68Q10 PDF BibTeX XML Cite \textit{V. Mitrana} and \textit{J. A. S. Martin}, J. Appl. Math. Comput. 68, No. 1, 553--569 (2022; Zbl 07534940) Full Text: DOI OpenURL
Bitar, Nicolas; Goles, Eric; Montealegre, Pedro Computational complexity of biased diffusion-limited aggregation. (English) Zbl 07510392 SIAM J. Discrete Math. 36, No. 1, 823-866 (2022). MSC: 03D15 68Q17 68Q10 PDF BibTeX XML Cite \textit{N. Bitar} et al., SIAM J. Discrete Math. 36, No. 1, 823--866 (2022; Zbl 07510392) Full Text: DOI OpenURL
Rodler, Patrick Memory-limited model-based diagnosis. (English) Zbl 07505980 Artif. Intell. 305, Article ID 103681, 36 p. (2022). MSC: 68Txx PDF BibTeX XML Cite \textit{P. Rodler}, Artif. Intell. 305, Article ID 103681, 36 p. (2022; Zbl 07505980) Full Text: DOI OpenURL
Peters, Kirstin; Nestmann, Uwe; Schmitt, Anna On distributability. (English) Zbl 1483.68236 Theor. Comput. Sci. 913, 151-173 (2022). MSC: 68Q85 68Q10 PDF BibTeX XML Cite \textit{K. Peters} et al., Theor. Comput. Sci. 913, 151--173 (2022; Zbl 1483.68236) Full Text: DOI OpenURL
Nanongkai, Danupon; Scquizzato, Michele Equivalence classes and conditional hardness in massively parallel computations. (English) Zbl 1483.68032 Distrib. Comput. 35, No. 2, 165-183 (2022). MSC: 68M14 68Q10 68Q17 68Q25 68R10 PDF BibTeX XML Cite \textit{D. Nanongkai} and \textit{M. Scquizzato}, Distrib. Comput. 35, No. 2, 165--183 (2022; Zbl 1483.68032) Full Text: DOI OpenURL
Hadzilacos, Vassos; Hu, Xing; Toueg, Sam On atomic registers and randomized consensus in m&m systems. (English) Zbl 1483.68029 Distrib. Comput. 35, No. 1, 81-103 (2022). MSC: 68M14 68Q10 PDF BibTeX XML Cite \textit{V. Hadzilacos} et al., Distrib. Comput. 35, No. 1, 81--103 (2022; Zbl 1483.68029) Full Text: DOI OpenURL
Chan, Swee Hong; Levine, Lionel Abelian networks IV. Dynamics of nonhalting networks. (English) Zbl 1485.05074 Memoirs of the American Mathematical Society 1358. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-5141-7/pbk; 978-1-4704-7024-1/ebook). vii, 89 p. (2022). MSC: 05C25 20K01 20M14 20M35 37B15 37E15 68Q10 68Q80 82C20 PDF BibTeX XML Cite \textit{S. H. Chan} and \textit{L. Levine}, Abelian networks IV. Dynamics of nonhalting networks. Providence, RI: American Mathematical Society (AMS) (2022; Zbl 1485.05074) Full Text: DOI arXiv OpenURL
McColl, Bill Mathematics, models and architectures. (English) Zbl 07481171 Heng, Liao (ed.) et al., Mathematics for future computing and communications. Cambridge: Cambridge University Press. 6-53 (2022). MSC: 68Q04 68Q09 68Q10 PDF BibTeX XML Cite \textit{B. McColl}, in: Mathematics for future computing and communications. Cambridge: Cambridge University Press. 6--53 (2022; Zbl 07481171) Full Text: Link OpenURL
Almethen, Abdullah; Michail, Othon; Potapov, Igor On efficient connectivity-preserving transformations in a grid. (English) Zbl 1478.68375 Theor. Comput. Sci. 898, 132-148 (2022). MSC: 68T40 68Q09 68Q10 68Q25 68U05 68W15 PDF BibTeX XML Cite \textit{A. Almethen} et al., Theor. Comput. Sci. 898, 132--148 (2022; Zbl 1478.68375) Full Text: DOI OpenURL
Fu, Yuxi A thesis for interaction. (English) Zbl 07437215 Theor. Comput. Sci. 897, 114-134 (2022). MSC: 68Q85 68Q10 PDF BibTeX XML Cite \textit{Y. Fu}, Theor. Comput. Sci. 897, 114--134 (2022; Zbl 07437215) Full Text: DOI OpenURL
Yang, Qizhe; Fu, Yuxi Counting nondeterministic computations. (English) Zbl 07437212 Theor. Comput. Sci. 897, 49-63 (2022). Reviewer: Damas Gruska (Bratislava) MSC: 68Q85 68Q10 68R10 PDF BibTeX XML Cite \textit{Q. Yang} and \textit{Y. Fu}, Theor. Comput. Sci. 897, 49--63 (2022; Zbl 07437212) Full Text: DOI OpenURL
Czaja, Ludwik Computing in cause-effect structures. (English) Zbl 1476.68002 Lecture Notes in Networks and Systems 331. Cham: Springer (ISBN 978-3-030-88812-1/hbk; 978-3-030-88815-2/pbk; 978-3-030-88813-8/ebook). xv, 172 p. (2022). MSC: 68-02 68Q09 68Q10 68Q85 68T01 PDF BibTeX XML Cite \textit{L. Czaja}, Computing in cause-effect structures. Cham: Springer (2022; Zbl 1476.68002) Full Text: DOI OpenURL
Kreinovich, Vladik.; Kosheleva, Olga Zadeh’s vision, modern physics, and the future of computing. (English) Zbl 07563780 TWMS J. Pure Appl. Math. 12, No. 1, 41-53 (2021). MSC: 70A05 81P05 68Q12 68Q10 PDF BibTeX XML Cite \textit{Vladik. Kreinovich} and \textit{O. Kosheleva}, TWMS J. Pure Appl. Math. 12, No. 1, 41--53 (2021; Zbl 07563780) Full Text: Link OpenURL
Mishra, Sumit; Coello Coello, Carlos A. A parallel naive approach for non-dominated sorting: a theoretical study considering PRAM CREW model. (English) Zbl 07560848 Soft Comput. 25, No. 1, 73-84 (2021). MSC: 68P10 68Q10 68W10 68W50 90C59 PDF BibTeX XML Cite \textit{S. Mishra} and \textit{C. A. Coello Coello}, Soft Comput. 25, No. 1, 73--84 (2021; Zbl 07560848) Full Text: DOI OpenURL
Wu, Tingfang; Jiang, Suxia Spiking neural P systems with a flat maximally parallel use of rules. (English) Zbl 07554141 J. Membr. Comput. 3, No. 3, 221-231 (2021). MSC: 68Q07 68Q10 PDF BibTeX XML Cite \textit{T. Wu} and \textit{S. Jiang}, J. Membr. Comput. 3, No. 3, 221--231 (2021; Zbl 07554141) Full Text: DOI OpenURL
Yamakami, Tomoyuki Quantum logical depth and shallowness of streaming data by one-way quantum finite-state transducers (preliminary report). (English) Zbl 07553911 Kostitsyna, Irina et al., Unconventional computation and natural computation. 19th international conference, UCNC 2021, Espoo, Finland, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12984, 177-193 (2021). MSC: 68Q07 68Q09 68Q10 68Q12 PDF BibTeX XML Cite \textit{T. Yamakami}, Lect. Notes Comput. Sci. 12984, 177--193 (2021; Zbl 07553911) Full Text: DOI OpenURL
Stepney, Susan Non-instantaneous information transfer in physical reservoir computing. (English) Zbl 07553910 Kostitsyna, Irina et al., Unconventional computation and natural computation. 19th international conference, UCNC 2021, Espoo, Finland, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12984, 164-176 (2021). MSC: 68Q07 68Q09 68Q10 68Q12 PDF BibTeX XML Cite \textit{S. Stepney}, Lect. Notes Comput. Sci. 12984, 164--176 (2021; Zbl 07553910) Full Text: DOI OpenURL
Ruangwises, Suthee; Itoh, Toshiya Physical ZKP for connected spanning subgraph: applications to bridges puzzle and other problems. (English) Zbl 07553909 Kostitsyna, Irina et al., Unconventional computation and natural computation. 19th international conference, UCNC 2021, Espoo, Finland, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12984, 149-163 (2021). MSC: 68Q07 68Q09 68Q10 68Q12 PDF BibTeX XML Cite \textit{S. Ruangwises} and \textit{T. Itoh}, Lect. Notes Comput. Sci. 12984, 149--163 (2021; Zbl 07553909) Full Text: DOI OpenURL
Roychowdhury, Jaijeet Bistable latch Ising machines. (English) Zbl 07553908 Kostitsyna, Irina et al., Unconventional computation and natural computation. 19th international conference, UCNC 2021, Espoo, Finland, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12984, 131-148 (2021). MSC: 68Q07 68Q09 68Q10 68Q12 PDF BibTeX XML Cite \textit{J. Roychowdhury}, Lect. Notes Comput. Sci. 12984, 131--148 (2021; Zbl 07553908) Full Text: DOI OpenURL
Hader, Daniel; Patitz, Matthew J.; Summers, Scott M. Fractal dimension of assemblies in the abstract tile assembly model. (English) Zbl 07553907 Kostitsyna, Irina et al., Unconventional computation and natural computation. 19th international conference, UCNC 2021, Espoo, Finland, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12984, 116-130 (2021). MSC: 68Q07 68Q09 68Q10 68Q12 PDF BibTeX XML Cite \textit{D. Hader} et al., Lect. Notes Comput. Sci. 12984, 116--130 (2021; Zbl 07553907) Full Text: DOI OpenURL
Kutrib, Martin; Wendlandt, Matthias String assembling systems: comparison to sticker systems and decidability. (English) Zbl 07553906 Kostitsyna, Irina et al., Unconventional computation and natural computation. 19th international conference, UCNC 2021, Espoo, Finland, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12984, 101-115 (2021). MSC: 68Q07 68Q09 68Q10 68Q12 PDF BibTeX XML Cite \textit{M. Kutrib} and \textit{M. Wendlandt}, Lect. Notes Comput. Sci. 12984, 101--115 (2021; Zbl 07553906) Full Text: DOI OpenURL
Khadieva, Aliya; Yakaryılmaz, Abuzer Affine automata verifiers. (English) Zbl 07553905 Kostitsyna, Irina et al., Unconventional computation and natural computation. 19th international conference, UCNC 2021, Espoo, Finland, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12984, 84-100 (2021). MSC: 68Q07 68Q09 68Q10 68Q12 PDF BibTeX XML Cite \textit{A. Khadieva} and \textit{A. Yakaryılmaz}, Lect. Notes Comput. Sci. 12984, 84--100 (2021; Zbl 07553905) Full Text: DOI OpenURL
Khadiev, Kamil; Kravchenko, Dmitry Quantum algorithm for Dyck language with multiple types of brackets. (English) Zbl 07553904 Kostitsyna, Irina et al., Unconventional computation and natural computation. 19th international conference, UCNC 2021, Espoo, Finland, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12984, 68-83 (2021). MSC: 68Q07 68Q09 68Q10 68Q12 PDF BibTeX XML Cite \textit{K. Khadiev} and \textit{D. Kravchenko}, Lect. Notes Comput. Sci. 12984, 68--83 (2021; Zbl 07553904) Full Text: DOI OpenURL
Isuzugawa, Raimu; Miyahara, Daiki; Mizuki, Takaaki Zero-knowledge proof protocol for cryptarithmetic using dihedral cards. (English) Zbl 07553903 Kostitsyna, Irina et al., Unconventional computation and natural computation. 19th international conference, UCNC 2021, Espoo, Finland, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12984, 51-67 (2021). MSC: 68Q07 68Q09 68Q10 68Q12 PDF BibTeX XML Cite \textit{R. Isuzugawa} et al., Lect. Notes Comput. Sci. 12984, 51--67 (2021; Zbl 07553903) Full Text: DOI OpenURL
Fletcher, Willem; Klinge, Titus H.; Lathrop, James I.; Nye, Dawn A.; Rayman, Matthew Robust real-time computing with chemical reaction networks. (English) Zbl 07553902 Kostitsyna, Irina et al., Unconventional computation and natural computation. 19th international conference, UCNC 2021, Espoo, Finland, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12984, 35-50 (2021). MSC: 68Q07 68Q09 68Q10 68Q12 PDF BibTeX XML Cite \textit{W. Fletcher} et al., Lect. Notes Comput. Sci. 12984, 35--50 (2021; Zbl 07553902) Full Text: DOI OpenURL
Dale, Matthew; O’Keefe, Simon; Sebald, Angelika; Stepney, Susan; Trefzer, Martin A. Computing with magnetic thin films: using film geometry to improve dynamics. (English) Zbl 07553901 Kostitsyna, Irina et al., Unconventional computation and natural computation. 19th international conference, UCNC 2021, Espoo, Finland, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12984, 19-34 (2021). MSC: 68Q07 68Q09 68Q10 68Q12 PDF BibTeX XML Cite \textit{M. Dale} et al., Lect. Notes Comput. Sci. 12984, 19--34 (2021; Zbl 07553901) Full Text: DOI OpenURL
Caballero, David; Gomez, Timothy; Schweller, Robert; Wylie, Tim The complexity of multiple handed self-assembly. (English) Zbl 07553900 Kostitsyna, Irina et al., Unconventional computation and natural computation. 19th international conference, UCNC 2021, Espoo, Finland, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12984, 1-18 (2021). MSC: 68Q07 68Q09 68Q10 68Q12 PDF BibTeX XML Cite \textit{D. Caballero} et al., Lect. Notes Comput. Sci. 12984, 1--18 (2021; Zbl 07553900) Full Text: DOI OpenURL
Sedaghat, Mahdi; Preneel, Bart Cross-domain attribute-based access control encryption. (English) Zbl 07550481 Conti, Mauro (ed.) et al., Cryptology and network security. 20th international conference, CANS 2021, Vienna, Austria, December 13–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13099, 3-23 (2021). MSC: 68M25 68P25 68Q10 94A60 94A62 PDF BibTeX XML Cite \textit{M. Sedaghat} and \textit{B. Preneel}, Lect. Notes Comput. Sci. 13099, 3--23 (2021; Zbl 07550481) Full Text: DOI OpenURL
Liu, Jiahui; Vusirikala, Satyanarayana Secure multiparty computation in the bounded storage model. (English) Zbl 07550474 Paterson, Maura B. (ed.), Cryptography and coding. 18th IMA international conference, IMACC 2021, virtual event, December 14–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13129, 289-325 (2021). MSC: 68M25 68P25 68Q10 81P94 94A60 PDF BibTeX XML Cite \textit{J. Liu} and \textit{S. Vusirikala}, Lect. Notes Comput. Sci. 13129, 289--325 (2021; Zbl 07550474) Full Text: DOI OpenURL
Komargodski, Ilan; Lin, Wei-Kai A logarithmic lower bound for oblivious RAM (for all Parameters). (English) Zbl 07529212 Malkin, Tal (ed.) et al., Advances in cryptology – CRYPTO 2021. 41st annual international cryptology conference, CRYPTO 2021, virtual event, August 16–20, 2021. Proceedings. Part IV. Cham: Springer. Lect. Notes Comput. Sci. 12828, 579-609 (2021). MSC: 94A60 68Q04 68Q10 68P25 PDF BibTeX XML Cite \textit{I. Komargodski} and \textit{W.-K. Lin}, Lect. Notes Comput. Sci. 12828, 579--609 (2021; Zbl 07529212) Full Text: DOI OpenURL
Choudhuri, Arka Rai; Jain, Abhishek; Jin, Zhengzhong Non-interactive batch arguments for NP from standard assumptions. (English) Zbl 1486.68079 Malkin, Tal (ed.) et al., Advances in cryptology – CRYPTO 2021. 41st annual international cryptology conference, CRYPTO 2021, virtual event, August 16–20, 2021. Proceedings. Part IV. Cham: Springer. Lect. Notes Comput. Sci. 12828, 394-423 (2021). MSC: 68Q15 68Q10 94A60 PDF BibTeX XML Cite \textit{A. R. Choudhuri} et al., Lect. Notes Comput. Sci. 12828, 394--423 (2021; Zbl 1486.68079) Full Text: DOI OpenURL
Koucký, Michal Sorting short integers: the exposition. (English) Zbl 1484.68058 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 135, 44-57 (2021). MSC: 68P10 68Q06 68Q10 PDF BibTeX XML Cite \textit{M. Koucký}, Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 135, 44--57 (2021; Zbl 1484.68058) Full Text: Link OpenURL
Jebelean, Tudor A heuristic prover for elementary analysis in Theorema. (English) Zbl 1485.68284 Kamareddine, Fairouz (ed.) et al., Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12833, 130-134 (2021). MSC: 68V15 26-01 68T20 68W30 PDF BibTeX XML Cite \textit{T. Jebelean}, Lect. Notes Comput. Sci. 12833, 130--134 (2021; Zbl 1485.68284) Full Text: DOI OpenURL
Fogarasi, Kinga; Nagy, Benedek Notes of the NP-completeness of the membership problem of ET0L languages. (English) Zbl 07503608 C. R. Acad. Bulg. Sci. 74, No. 7, 964-971 (2021). Reviewer: Angela Slavova (Sofia) MSC: 68Q42 68Q10 68Q15 PDF BibTeX XML Cite \textit{K. Fogarasi} and \textit{B. Nagy}, C. R. Acad. Bulg. Sci. 74, No. 7, 964--971 (2021; Zbl 07503608) Full Text: DOI OpenURL
Liu, Zhe; Li, Shurong A quantum computing based numerical method for solving mixed-integer optimal control problems. (English) Zbl 1483.81042 J. Syst. Sci. Complex. 34, No. 6, 2428-2469 (2021). MSC: 81P68 90C11 49J15 49M25 49M37 90C59 PDF BibTeX XML Cite \textit{Z. Liu} and \textit{S. Li}, J. Syst. Sci. Complex. 34, No. 6, 2428--2469 (2021; Zbl 1483.81042) Full Text: DOI OpenURL
Abspoel, Mark; Dalskov, Anders; Escudero, Daniel; Nof, Ariel An efficient passive-to-active compiler for honest-majority MPC over rings. (English) Zbl 07493507 Sako, Kazue (ed.) et al., Applied cryptography and network security. 19th international conference, ACNS 2021, Kamakura, Japan, June 21–24, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12727, 122-152 (2021). MSC: 68N20 68Q10 94A60 94A62 PDF BibTeX XML Cite \textit{M. Abspoel} et al., Lect. Notes Comput. Sci. 12727, 122--152 (2021; Zbl 07493507) Full Text: DOI OpenURL
Kolář, Dušan; Meduna, Alexander; Tomko, Martin Multi-island finite automata and their even computation. (English) Zbl 07478644 Kybernetika 57, No. 5, 856-877 (2021). MSC: 68Q45 68Q42 68Q10 PDF BibTeX XML Cite \textit{D. Kolář} et al., Kybernetika 57, No. 5, 856--877 (2021; Zbl 07478644) Full Text: DOI OpenURL
Breuvart, Flavien; Dal Lago, Ugo; Herrou, Agathe On higher-order probabilistic subrecursion. (English) Zbl 1486.68039 Log. Methods Comput. Sci. 17, No. 4, Paper No. 25, 35 p. (2021). MSC: 68N30 03B40 68N19 68Q10 68Q55 PDF BibTeX XML Cite \textit{F. Breuvart} et al., Log. Methods Comput. Sci. 17, No. 4, Paper No. 25, 35 p. (2021; Zbl 1486.68039) Full Text: arXiv Link OpenURL
Ghazi, Badih; Golowich, Noah; Kumar, Ravi; Pagh, Rasmus; Velingker, Ameya On the power of multiple anonymous messages: frequency estimation and selection in the shuffle model of differential privacy. (English) Zbl 1477.68101 Canteaut, Anne (ed.) et al., Advances in cryptology – EUROCRYPT 2021. 40th annual international conference on the theory and applications of cryptographic techniques, Zagreb, Croatia, October 17–21, 2021. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 12698, 463-488 (2021). MSC: 68P27 68Q10 94A60 PDF BibTeX XML Cite \textit{B. Ghazi} et al., Lect. Notes Comput. Sci. 12698, 463--488 (2021; Zbl 1477.68101) Full Text: DOI OpenURL
Ananth, Prabhanjan; Asharov, Gilad; Dahari, Hila; Goyal, Vipul Towards accountability in CRS generation. (English) Zbl 1479.94112 Canteaut, Anne (ed.) et al., Advances in cryptology – EUROCRYPT 2021. 40th annual international conference on the theory and applications of cryptographic techniques, Zagreb, Croatia, October 17–21, 2021. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 12698, 278-308 (2021). MSC: 94A60 PDF BibTeX XML Cite \textit{P. Ananth} et al., Lect. Notes Comput. Sci. 12698, 278--308 (2021; Zbl 1479.94112) Full Text: DOI OpenURL
Kostitsyna, Irina; Orponen, Pekka Unconventional computation and natural computation. 19th international conference, UCNC 2021, Espoo, Finland, October 18–22, 2021. Proceedings. (English) Zbl 07426853 Lecture Notes in Computer Science 12984. Cham: Springer (ISBN 978-3-030-87992-1/pbk; 978-3-030-87993-8/ebook). xxii, 195 p. (2021). MSC: 68-06 68Q07 68Q09 68Q10 68Q12 00B25 PDF BibTeX XML Cite \textit{I. Kostitsyna} and \textit{P. Orponen}, Unconventional computation and natural computation. 19th international conference, UCNC 2021, Espoo, Finland, October 18--22, 2021. Proceedings. Cham: Springer (2021; Zbl 07426853) Full Text: DOI OpenURL
Moraga, Claudio OR-Toffoli and OR-Peres reversible gates. (English) Zbl 07419497 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, 266-273 (2021). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{C. Moraga}, Lect. Notes Comput. Sci. 12805, 266--273 (2021; Zbl 07419497) Full Text: DOI OpenURL
Dobbs, Evan E.; Basmadjian, Robert; Paler, Alexandru; Friedman, Joseph S. Fast swapping in a quantum multiplier modelled as a queuing network. (English) Zbl 07419496 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, 256-265 (2021). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{E. E. Dobbs} et al., Lect. Notes Comput. Sci. 12805, 256--265 (2021; Zbl 07419496) Full Text: DOI arXiv OpenURL
Niemann, Philipp; Müller, Luca; Drechsler, Rolf Finding optimal implementations of non-native CNOT gates using SAT. (English) Zbl 07419495 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, 242-255 (2021). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{P. Niemann} et al., Lect. Notes Comput. Sci. 12805, 242--255 (2021; Zbl 07419495) Full Text: DOI OpenURL
Burgholzer, Lukas; Raymond, Rudy; Sengupta, Indranil; Wille, Robert Efficient construction of functional representations for quantum algorithms. (English) Zbl 07419494 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, 227-241 (2021). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{L. Burgholzer} et al., Lect. Notes Comput. Sci. 12805, 227--241 (2021; Zbl 07419494) Full Text: DOI arXiv OpenURL
Cau, Antonio; Kuhn, Stefan; Hoey, James Reversibility of executable interval temporal logic specifications. (English) Zbl 07419492 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, 214-223 (2021). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{A. Cau} et al., Lect. Notes Comput. Sci. 12805, 214--223 (2021; Zbl 07419492) Full Text: DOI arXiv OpenURL
Matos, Armando B.; Paolini, Luca; Roversi, Luca Splitting recursion schemes into reversible and classical interacting threads. (English) Zbl 07419491 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, 204-213 (2021). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{A. B. Matos} et al., Lect. Notes Comput. Sci. 12805, 204--213 (2021; Zbl 07419491) Full Text: DOI arXiv OpenURL
Nakano, Keisuke A tangled web of 12 lens laws. (English) Zbl 07419490 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, 185-203 (2021). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{K. Nakano}, Lect. Notes Comput. Sci. 12805, 185--203 (2021; Zbl 07419490) Full Text: DOI OpenURL
Vassor, Martin Reversibility and predictions. (English) Zbl 07419489 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, 163-181 (2021). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{M. Vassor}, Lect. Notes Comput. Sci. 12805, 163--181 (2021; Zbl 07419489) Full Text: DOI OpenURL
Melgratti, Hernán; Mezzina, Claudio Antares; Pinna, G. Michele Towards a truly concurrent semantics for reversible CCS. (English) Zbl 07419486 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, 109-125 (2021). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{H. Melgratti} et al., Lect. Notes Comput. Sci. 12805, 109--125 (2021; Zbl 07419486) Full Text: DOI OpenURL
Hay-Schmidt, Lasse; Glück, Robert; Cservenka, Martin Holm; Haulund, Tue Towards a unified language architecture for reversible object-oriented programming. (English) Zbl 07419485 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, 96-106 (2021). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{L. Hay-Schmidt} et al., Lect. Notes Comput. Sci. 12805, 96--106 (2021; Zbl 07419485) Full Text: DOI OpenURL
Fabbretti, Giovanni; Lanese, Ivan; Stefani, Jean-Bernard Causal-consistent debugging of distributed Erlang programs. (English) Zbl 07419484 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, 79-95 (2021). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{G. Fabbretti} et al., Lect. Notes Comput. Sci. 12805, 79--95 (2021; Zbl 07419484) Full Text: DOI OpenURL
Kutrib, Martin; Meyer, Uwe; Deworetzki, Niklas; Schuster, Marc Compiling Janus to RSSA. (English) Zbl 07419483 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, 64-78 (2021). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{M. Kutrib} et al., Lect. Notes Comput. Sci. 12805, 64--78 (2021; Zbl 07419483) Full Text: DOI OpenURL
Mogensen, Torben Ægidius Reversible functional array programming. (English) Zbl 07419482 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, 45-63 (2021). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{T. Æ. Mogensen}, Lect. Notes Comput. Sci. 12805, 45--63 (2021; Zbl 07419482) Full Text: DOI OpenURL
Matsuo, Atsushi Variational quantum eigensolver and its applications. (English) Zbl 07419481 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, 22-41 (2021). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{A. Matsuo}, Lect. Notes Comput. Sci. 12805, 22--41 (2021; Zbl 07419481) Full Text: DOI OpenURL
Morita, Kenichi How can we construct reversible Turing machines in a very simple reversible cellular automaton? (English) Zbl 07419480 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, 3-21 (2021). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{K. Morita}, Lect. Notes Comput. Sci. 12805, 3--21 (2021; Zbl 07419480) Full Text: DOI OpenURL
Zhu, Xujia; Sudret, Bruno Emulation of stochastic simulators using generalized lambda models. (English) Zbl 1473.62063 SIAM/ASA J. Uncertain. Quantif. 9, 1345-1380 (2021). MSC: 62E17 62F99 68Q10 68T37 PDF BibTeX XML Cite \textit{X. Zhu} and \textit{B. Sudret}, SIAM/ASA J. Uncertain. Quantif. 9, 1345--1380 (2021; Zbl 1473.62063) Full Text: DOI arXiv OpenURL
Kaufmann, Daniela Formal verification of integer multiplier circuits using algebraic reasoning: a survey. (English) Zbl 07410738 Drechsler, Rolf (ed.) et al., Recent findings in Boolean techniques. Selected papers from the 14th international workshop on Boolean problems, IWSBP, virtual, September 24–25, 2020. Cham: Springer. 1-27 (2021). MSC: 68V15 68Q06 PDF BibTeX XML Cite \textit{D. Kaufmann}, in: Recent findings in Boolean techniques. Selected papers from the 14th international workshop on Boolean problems, IWSBP, virtual, September 24--25, 2020. Cham: Springer. 1--27 (2021; Zbl 07410738) Full Text: DOI OpenURL
Geffert, Viliam; Kapoutsis, Christos A.; Zakzok, Mohammad Complement for two-way alternating automata. (English) Zbl 07404756 Acta Inf. 58, No. 5, 463-495 (2021). MSC: 68Q05 68Q10 68Q19 68Q45 68Qxx PDF BibTeX XML Cite \textit{V. Geffert} et al., Acta Inf. 58, No. 5, 463--495 (2021; Zbl 07404756) Full Text: DOI OpenURL
Kalai, Yael Tauman; Komargodski, Ilan; Raz, Ran A lower bound for adaptively-secure collective coin flipping protocols. (English) Zbl 07399084 Combinatorica 41, No. 1, 75-98 (2021). MSC: 68Q10 68Q11 68Q17 68Q25 PDF BibTeX XML Cite \textit{Y. T. Kalai} et al., Combinatorica 41, No. 1, 75--98 (2021; Zbl 07399084) Full Text: DOI Link OpenURL
Srinivasan, Srikanth; Tripathi, Utkarsh; Venkitesh, S. On the probabilistic degrees of symmetric Boolean functions. (English) Zbl 07396320 SIAM J. Discrete Math. 35, No. 3, 2070-2092 (2021). MSC: 68Q06 68Q10 68Q17 PDF BibTeX XML Cite \textit{S. Srinivasan} et al., SIAM J. Discrete Math. 35, No. 3, 2070--2092 (2021; Zbl 07396320) Full Text: DOI arXiv OpenURL
Lazo, Prometheus Peter L.; Cabarle, Francis George C.; Adorna, Henry N.; Yap, Jan Michael C. A return to stochasticity and probability in spiking neural P systems. (English) Zbl 1469.68042 J. Membr. Comput. 3, No. 2, 149-161 (2021). MSC: 68Q07 68Q10 PDF BibTeX XML Cite \textit{P. P. L. Lazo} et al., J. Membr. Comput. 3, No. 2, 149--161 (2021; Zbl 1469.68042) Full Text: DOI OpenURL
Gur, Tom; Liu, Yang P.; Rothblum, Ron D. An exponential separation between MA and AM proofs of proximity. (English) Zbl 07393894 Comput. Complexity 30, No. 2, Paper No. 12, 44 p. (2021). MSC: 68Q10 PDF BibTeX XML Cite \textit{T. Gur} et al., Comput. Complexity 30, No. 2, Paper No. 12, 44 p. (2021; Zbl 07393894) Full Text: DOI OpenURL
Koutny, Maciej; Pietkiewicz-Koutny, Marta; Yakovlev, Alex Asynchrony and persistence in reaction systems. (English) Zbl 07380853 Theor. Comput. Sci. 881, 97-110 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{M. Koutny} et al., Theor. Comput. Sci. 881, 97--110 (2021; Zbl 07380853) Full Text: DOI OpenURL
Feng, Sanying; Li, Gaorong; Peng, Heng; Tong, Tiejun Varying-coefficient panel data model with interactive fixed effects. (English) Zbl 1470.62071 Stat. Sin. 31, No. 2, 935-957 (2021). MSC: 62H15 62D20 65D07 PDF BibTeX XML Cite \textit{S. Feng} et al., Stat. Sin. 31, No. 2, 935--957 (2021; Zbl 1470.62071) Full Text: arXiv OpenURL
Jakobi, Sebastian; Meckel, Katja; Mereghetti, Carlo; Palano, Beatrice The descriptional power of queue automata of constant length. (English) Zbl 07374548 Acta Inf. 58, No. 4, 335-356 (2021). MSC: 68Q10 68Q45 PDF BibTeX XML Cite \textit{S. Jakobi} et al., Acta Inf. 58, No. 4, 335--356 (2021; Zbl 07374548) Full Text: DOI OpenURL
Yamashita, Shigeru (ed.); Yokoyama, Tetsuo (ed.) Reversible computation. 13th international conference, RC 2021, virtual event, July 7–8, 2021. Proceedings. (English) Zbl 1473.68021 Lecture Notes in Computer Science 12805. Cham: Springer (ISBN 978-3-030-79836-9/pbk; 978-3-030-79837-6/ebook). xii, 275 p. (2021). MSC: 68-06 68Q09 68Q10 81P68 00B25 PDF BibTeX XML Cite \textit{S. Yamashita} (ed.) and \textit{T. Yokoyama} (ed.), Reversible computation. 13th international conference, RC 2021, virtual event, July 7--8, 2021. Proceedings. Cham: Springer (2021; Zbl 1473.68021) Full Text: DOI OpenURL
Souza, Josiney A. Parallelizability of control systems. (English) Zbl 1473.37108 Math. Control Signals Syst. 33, No. 2, 259-278 (2021). MSC: 37N35 93D05 65Y05 68Q10 PDF BibTeX XML Cite \textit{J. A. Souza}, Math. Control Signals Syst. 33, No. 2, 259--278 (2021; Zbl 1473.37108) Full Text: DOI OpenURL
Reingold, Omer; Rothblum, Guy N.; Rothblum, Ron D. Constant-round interactive proofs for delegating computation. (English) Zbl 1464.68128 SIAM J. Comput. 50, No. 3, STOC16-255-STOC16-340 (2021). MSC: 68Q25 68Q10 68Q17 PDF BibTeX XML Cite \textit{O. Reingold} et al., SIAM J. Comput. 50, No. 3, STOC16--255-STOC16--340 (2021; Zbl 1464.68128) Full Text: DOI OpenURL
Zhou, Yanwei; Yang, Bo; Xia, Zhe; Zhang, Mingwu; Mu, Yi Novel generic construction of leakage-resilient PKE scheme with CCA security. (English) Zbl 07363107 Des. Codes Cryptography 89, No. 7, 1575-1614 (2021). MSC: 68P25 94A60 68Q10 PDF BibTeX XML Cite \textit{Y. Zhou} et al., Des. Codes Cryptography 89, No. 7, 1575--1614 (2021; Zbl 07363107) Full Text: DOI OpenURL
Cattaruzza, Dario; Abate, Alessandro; Schrammel, Peter; Kroening, Daniel Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration. (English) Zbl 07356971 J. Autom. Reasoning 65, No. 2, 157-203 (2021). MSC: 68V15 PDF BibTeX XML Cite \textit{D. Cattaruzza} et al., J. Autom. Reasoning 65, No. 2, 157--203 (2021; Zbl 07356971) Full Text: DOI OpenURL
Paradise, Orr Smooth and strong PCPs. (English) Zbl 1485.68101 Comput. Complexity 30, No. 1, Paper No. 1, 77 p. (2021); corrigendum ibid. 30, No. 1, Paper No. 9, 1 p. (2021). Reviewer: Arne Meier (Hannover) MSC: 68Q15 68Q10 68Q17 68W20 PDF BibTeX XML Cite \textit{O. Paradise}, Comput. Complexity 30, No. 1, Paper No. 1, 77 p. (2021; Zbl 1485.68101) Full Text: DOI OpenURL
Maletzky, Alexander A generic and executable formalization of signature-based Gröbner basis algorithms. (English) Zbl 1467.13050 J. Symb. Comput. 106, 23-47 (2021). Reviewer: John Perry (Hattiesburg) MSC: 13P10 68W30 68V20 PDF BibTeX XML Cite \textit{A. Maletzky}, J. Symb. Comput. 106, 23--47 (2021; Zbl 1467.13050) Full Text: DOI arXiv OpenURL
Ábrahám, Erika; Davenport, James H.; England, Matthew; Kremer, Gereon Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings. (English) Zbl 07316066 J. Log. Algebr. Methods Program. 119, Article ID 100633, 33 p. (2021). MSC: 68W30 68V15 PDF BibTeX XML Cite \textit{E. Ábrahám} et al., J. Log. Algebr. Methods Program. 119, Article ID 100633, 33 p. (2021; Zbl 07316066) Full Text: DOI arXiv OpenURL
Feuilloley, Laurent; Fraigniaud, Pierre; Hirvonen, Juho A hierarchy of local decision. (English) Zbl 1476.68100 Theor. Comput. Sci. 856, 51-67 (2021). MSC: 68Q10 68R10 68W15 PDF BibTeX XML Cite \textit{L. Feuilloley} et al., Theor. Comput. Sci. 856, 51--67 (2021; Zbl 1476.68100) Full Text: DOI Link OpenURL
Bernardo, Marco Alternative characterizations of probabilistic trace equivalences on coherent resolutions of nondeterminism. (English) Zbl 1483.68224 Gribaudo, Marco (ed.) et al., Quantitative evaluation of systems. 17th international conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12289, 35-53 (2020). MSC: 68Q85 68Q10 PDF BibTeX XML Cite \textit{M. Bernardo}, Lect. Notes Comput. Sci. 12289, 35--53 (2020; Zbl 1483.68224) Full Text: DOI OpenURL
Chen, Zhenhua; Huang, Luqi; Shi, Xiaonan; Huang, Qiong; Wang, Hao; Liu, Xueqiao Privacy-preserving polynomial interpolation and its applications on predictive analysis. (English) Zbl 1475.68127 Inf. Sci. 541, 259-270 (2020). MSC: 68Q10 94A60 PDF BibTeX XML Cite \textit{Z. Chen} et al., Inf. Sci. 541, 259--270 (2020; Zbl 1475.68127) Full Text: DOI OpenURL
Ciencialová, Lucie; Cienciala, Luděk; Csuhaj-Varjú, Erzsébet P colonies and reaction systems. (English) Zbl 1469.68029 J. Membr. Comput. 2, No. 4, 269-280 (2020). MSC: 68Q07 PDF BibTeX XML Cite \textit{L. Ciencialová} et al., J. Membr. Comput. 2, No. 4, 269--280 (2020; Zbl 1469.68029) Full Text: DOI OpenURL
Ikeda, Takashi; Yuen, Shoji A reversible runtime environment for parallel programs. (English) Zbl 07368062 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, 272-279 (2020). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{T. Ikeda} and \textit{S. Yuen}, Lect. Notes Comput. Sci. 12227, 272--279 (2020; Zbl 07368062) Full Text: DOI OpenURL
Dimopoulos, Yannis; Kouppari, Eleftheria; Philippou, Anna; Psara, Kyriaki Encoding reversing Petri nets in answer set programming. (English) Zbl 07368061 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, 264-271 (2020). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{Y. Dimopoulos} et al., Lect. Notes Comput. Sci. 12227, 264--271 (2020; Zbl 07368061) Full Text: DOI OpenURL
Medić, Doriana; Mezzina, Claudio Antares; Phillips, Iain; Yoshida, Nobuko Towards a formal account for software transactional memory. (English) Zbl 07368060 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, 255-263 (2020). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{D. Medić} et al., Lect. Notes Comput. Sci. 12227, 255--263 (2020; Zbl 07368060) Full Text: DOI OpenURL
Vidal, Germán Reversible computations in logic programming. (English) Zbl 07368059 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, 246-254 (2020). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{G. Vidal}, Lect. Notes Comput. Sci. 12227, 246--254 (2020; Zbl 07368059) Full Text: DOI OpenURL
Galindo, Carlos; Nishida, Naoki; Silva, Josep; Tamarit, Salvador ReverCSP: time-travelling in CSP computations. (English) Zbl 07368058 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, 239-245 (2020). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{C. Galindo} et al., Lect. Notes Comput. Sci. 12227, 239--245 (2020; Zbl 07368058) Full Text: DOI OpenURL
Miller, D. Michael; Dueck, Gerhard W. Search-based transformation synthesis for 3-valued reversible circuits. (English) Zbl 07368057 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, 218-236 (2020). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{D. M. Miller} and \textit{G. W. Dueck}, Lect. Notes Comput. Sci. 12227, 218--236 (2020; Zbl 07368057) Full Text: DOI OpenURL
Boykett, Tim Maximality of reversible gate sets. (English) Zbl 07368056 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, 206-217 (2020). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{T. Boykett}, Lect. Notes Comput. Sci. 12227, 206--217 (2020; Zbl 07368056) Full Text: DOI arXiv OpenURL
de Brugière, Timothée Goubault; Baboulin, Marc; Valiron, Benoît; Martiel, Simon; Allouche, Cyril Quantum CNOT circuits synthesis for NISQ architectures using the syndrome decoding problem. (English) Zbl 07368055 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, 189-205 (2020). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{T. G. de Brugière} et al., Lect. Notes Comput. Sci. 12227, 189--205 (2020; Zbl 07368055) Full Text: DOI OpenURL
Chen, Chao-Hong; Choudhury, Vikraman; Carette, Jacques; Sabry, Amr 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 PDF BibTeX XML Cite \textit{C.-H. Chen} et al., Lect. Notes Comput. Sci. 12227, 169--186 (2020; Zbl 07368054) Full Text: DOI arXiv OpenURL
Fu, Peng; Kishida, Kohei; Ross, Neil J.; Selinger, Peter A tutorial introduction to quantum circuit programming in dependently typed proto-quipper. (English) Zbl 07368053 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, 153-168 (2020). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{P. Fu} et al., Lect. Notes Comput. Sci. 12227, 153--168 (2020; Zbl 07368053) Full Text: DOI arXiv OpenURL
Chardonnet, Kostia; Saurin, Alexis; Valiron, Benoît Toward a curry-Howard equivalence for linear, reversible computation. Work-in-progress. (English) Zbl 07368052 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, 144-152 (2020). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{K. Chardonnet} et al., Lect. Notes Comput. Sci. 12227, 144--152 (2020; Zbl 07368052) Full Text: DOI OpenURL
Matos, Armando B.; Paolini, Luca; Roversi, Luca On the expressivity of total reversible programming languages. (English) Zbl 07368051 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, 128-143 (2020). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{A. B. Matos} et al., Lect. Notes Comput. Sci. 12227, 128--143 (2020; Zbl 07368051) Full Text: DOI OpenURL
Kristiansen, Lars Reversible programming languages capturing complexity classes. (English) Zbl 07368050 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, 111-127 (2020). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{L. Kristiansen}, Lect. Notes Comput. Sci. 12227, 111--127 (2020; Zbl 07368050) Full Text: DOI OpenURL
Mogensen, Torben Ægidius Hermes: a language for light-weight encryption. (English) Zbl 07368049 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, 93-110 (2020). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{T. Æ. Mogensen}, Lect. Notes Comput. Sci. 12227, 93--110 (2020; Zbl 07368049) Full Text: DOI OpenURL
Graversen, Eva; Phillips, Iain; Yoshida, Nobuko Event structures for the reversible early internal \(\pi\)-calculus. (English) Zbl 07368048 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, 71-90 (2020). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{E. Graversen} et al., Lect. Notes Comput. Sci. 12227, 71--90 (2020; Zbl 07368048) Full Text: DOI arXiv OpenURL
Nakano, Keisuke Involutory Turing machines. (English) Zbl 07368047 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, 54-70 (2020). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{K. Nakano}, Lect. Notes Comput. Sci. 12227, 54--70 (2020; Zbl 07368047) Full Text: DOI OpenURL
Melgratti, Hernán; Mezzina, Claudio Antares; Phillips, Iain; Pinna, G. Michele; Ulidowski, Irek Reversible occurrence nets and causal reversible prime event structures. (English) Zbl 07368046 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, 35-53 (2020). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{H. Melgratti} et al., Lect. Notes Comput. Sci. 12227, 35--53 (2020; Zbl 07368046) Full Text: DOI arXiv OpenURL
Perkowski, Marek Inverse problems, constraint satisfaction, reversible logic, invertible logic and Grover quantum oracles for practical problems. (English) Zbl 07368045 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, 3-32 (2020). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{M. Perkowski}, Lect. Notes Comput. Sci. 12227, 3--32 (2020; Zbl 07368045) Full Text: DOI OpenURL