Komargodski, Ilan; Zhandry, Mark Cutting-edge cryptography through the lens of secret sharing. (English) Zbl 1429.94061 Inf. Comput. 263, 75-96 (2018). MSC: 94A60 94A62 PDFBibTeX XMLCite \textit{I. Komargodski} and \textit{M. Zhandry}, Inf. Comput. 263, 75--96 (2018; Zbl 1429.94061) Full Text: DOI
D’Emidio, Mattia; Di Stefano, Gabriele; Frigioni, Daniele; Navarra, Alfredo Characterizing the computational power of mobile robots on graphs and implications for the Euclidean plane. (English) Zbl 1407.68531 Inf. Comput. 263, 57-74 (2018). MSC: 68W15 68Q10 68R10 68U05 PDFBibTeX XMLCite \textit{M. D'Emidio} et al., Inf. Comput. 263, 57--74 (2018; Zbl 1407.68531) Full Text: DOI
Fujita, Ken-etsu The Church-Rosser theorem and quantitative analysis of witnesses. (English) Zbl 1436.03104 Inf. Comput. 263, 52-56 (2018). MSC: 03B40 PDFBibTeX XMLCite \textit{K.-e. Fujita}, Inf. Comput. 263, 52--56 (2018; Zbl 1436.03104) Full Text: DOI
Ying, Shenggang; Ying, Mingsheng Reachability analysis of quantum Markov decision processes. (English) Zbl 1407.68341 Inf. Comput. 263, 31-51 (2018). MSC: 68Q85 68Q12 68Q87 PDFBibTeX XMLCite \textit{S. Ying} and \textit{M. Ying}, Inf. Comput. 263, 31--51 (2018; Zbl 1407.68341) Full Text: DOI arXiv
Wang, Jiaqi; Talmage, Edward; Lee, Hyunyoung; Welch, Jennifer L. Improved time bounds for linearizable implementations of abstract data types. (English) Zbl 1407.68313 Inf. Comput. 263, 1-30 (2018). MSC: 68Q65 68M14 68Q17 PDFBibTeX XMLCite \textit{J. Wang} et al., Inf. Comput. 263, 1--30 (2018; Zbl 1407.68313) Full Text: DOI