Gadducci, Fabio; Melgratti, Hernán; Roldán, Christian; Sammartino, Matteo Categorical specification and implementation of replicated data types. (English) Zbl 07467470 Theor. Comput. Sci. 903, 84-112 (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{F. Gadducci} et al., Theor. Comput. Sci. 903, 84--112 (2022; Zbl 07467470) Full Text: DOI OpenURL
Sidikova, Anna Ivanovna; Sushkov, Andreĭ Sergeevich Numerical solution of the inverse boundary value heat transfer problem for an inhomogeneous rod. (Russian. English summary) Zbl 07482125 Vestn. Udmurt. Univ., Mat. Mekh. Komp’yut. Nauki 31, No. 2, 253-264 (2021). MSC: 80M22 80A23 65M32 65M30 65M15 35K05 35B65 35Q79 35R30 PDF BibTeX XML Cite \textit{A. I. Sidikova} and \textit{A. S. Sushkov}, Vestn. Udmurt. Univ., Mat. Mekh. Komp'yut. Nauki 31, No. 2, 253--264 (2021; Zbl 07482125) Full Text: DOI MNR OpenURL
Khajiev, I. O. Estimation of the conditional stability of an ill-posed initial-boundary problem for a high-order mixed type equation. (English) Zbl 07465543 Uzb. Math. J. 65, No. 4, 48-61 (2021). MSC: 65N20 35M13 35M33 PDF BibTeX XML Cite \textit{I. O. Khajiev}, Uzb. Math. J. 65, No. 4, 48--61 (2021; Zbl 07465543) Full Text: DOI OpenURL
Fayazov, K. S.; Khajiev, I. O. Estimation of conditional stability of the boundary-value problem for the system of parabolic equations with changing direction of time. (English) Zbl 07458560 Rep. Math. Phys. 88, No. 3, 419-431 (2021). MSC: 35-XX 65-XX PDF BibTeX XML Cite \textit{K. S. Fayazov} and \textit{I. O. Khajiev}, Rep. Math. Phys. 88, No. 3, 419--431 (2021; Zbl 07458560) Full Text: DOI OpenURL
Francalanza, Adrian A theory of monitors. (English) Zbl 1475.68206 Inf. Comput. 281, Article ID 104704, 29 p. (2021). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{A. Francalanza}, Inf. Comput. 281, Article ID 104704, 29 p. (2021; Zbl 1475.68206) Full Text: DOI OpenURL
Młodak, Andrzej \(k\)-means, Ward and probabilistic distance-based clustering methods with contiguity constraint. (English) Zbl 07413950 J. Classif. 38, No. 2, 313-352 (2021). MSC: 62H30 PDF BibTeX XML Cite \textit{A. Młodak}, J. Classif. 38, No. 2, 313--352 (2021; Zbl 07413950) Full Text: DOI OpenURL
Peterson, Christina; Cook, Victor; Dechev, Damian Concurrent correctness in vector space. (English) Zbl 1472.68092 Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 151-173 (2021). MSC: 68Q60 68N19 68Q85 PDF BibTeX XML Cite \textit{C. Peterson} et al., Lect. Notes Comput. Sci. 12597, 151--173 (2021; Zbl 1472.68092) Full Text: DOI OpenURL
Vákár, Matthijs Reverse AD at higher types: pure, principled and denotationally correct. (English) Zbl 1473.68058 Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 607-634 (2021). MSC: 68N30 65D25 68N18 68Q65 PDF BibTeX XML Cite \textit{M. Vákár}, Lect. Notes Comput. Sci. 12648, 607--634 (2021; Zbl 1473.68058) Full Text: DOI arXiv OpenURL
Mili, Ali Differentiators and detectors. (English) Zbl 07360070 Inf. Process. Lett. 169, Article ID 106111, 6 p. (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{A. Mili}, Inf. Process. Lett. 169, Article ID 106111, 6 p. (2021; Zbl 07360070) Full Text: DOI OpenURL
Dzhamalov, S. Z.; Ashurov, R. R.; Ruziev, U. Sh. On a seminonlocal boundary value problem for a multidimensional loaded mixed type equation of the second kind. (English) Zbl 1465.35314 Lobachevskii J. Math. 42, No. 3, 536-543 (2021). MSC: 35M12 35B45 PDF BibTeX XML Cite \textit{S. Z. Dzhamalov} et al., Lobachevskii J. Math. 42, No. 3, 536--543 (2021; Zbl 1465.35314) Full Text: DOI OpenURL
Bertail, Patrice; Dudek, Anna E. Consistency of the frequency domain bootstrap for differentiable functionals. (English) Zbl 1459.62176 Electron. J. Stat. 15, No. 1, 1-36 (2021). Reviewer: Dimitrios Bagkavos (Ioannina) MSC: 62M15 62M10 62G09 62G20 PDF BibTeX XML Cite \textit{P. Bertail} and \textit{A. E. Dudek}, Electron. J. Stat. 15, No. 1, 1--36 (2021; Zbl 1459.62176) Full Text: DOI Euclid OpenURL
D’yakonov, A. G.; Golovina, A. M. Completeness criteria for a linear model of classification algorithms with respect to families of decision rules. (English. Russian original) Zbl 07424552 Dokl. Math. 101, No. 1, 57-59 (2020); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 490, 67-70 (2020). MSC: 68-XX 93-XX PDF BibTeX XML Cite \textit{A. G. D'yakonov} and \textit{A. M. Golovina}, Dokl. Math. 101, No. 1, 57--59 (2020; Zbl 07424552); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 490, 67--70 (2020) Full Text: DOI OpenURL
Gadducci, Fabio; Melgratti, Hernán; Roldán, Christian; Sammartino, Matteo Implementation correctness for replicated data types, categorically. (English) Zbl 07369994 Pun, Violet Ka I. (ed.) et al., Theoretical aspects of computing – ICTAC 2020. 17th international colloquium, Macau, China, November 30 – December 4, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12545, 283-303 (2020). MSC: 68Qxx PDF BibTeX XML Cite \textit{F. Gadducci} et al., Lect. Notes Comput. Sci. 12545, 283--303 (2020; Zbl 07369994) Full Text: DOI OpenURL
Plátek, Martin; Otto, Friedrich; Mráz, František On h-lexicalized restarting list automata. (English) Zbl 1462.68110 J. Autom. Lang. Comb. 25, No. 2-3, 201-234 (2020). MSC: 68Q45 PDF BibTeX XML Cite \textit{M. Plátek} et al., J. Autom. Lang. Comb. 25, No. 2--3, 201--234 (2020; Zbl 1462.68110) Full Text: Link OpenURL
Dzhamalov, S. Z.; Ashurov, R. R.; Sultanov, M. A.; Ruziev, U. Sh. On the unique solvability of a seminonlocal boundary value problem for the loaded Chaplygin equation in a rectangle. (Russian. English summary) Zbl 1474.35488 Vestn. KRAUNTS, Fiz.-Mat. Nauki 31, No. 2, 8-17 (2020). MSC: 35M10 35M12 PDF BibTeX XML Cite \textit{S. Z. Dzhamalov} et al., Vestn. KRAUNTS, Fiz.-Mat. Nauki 31, No. 2, 8--17 (2020; Zbl 1474.35488) Full Text: DOI MNR OpenURL
Smith, Graeme; Winter, Kirsten; Colvin, Robert J. Linearizability on hardware weak memory models. (English) Zbl 1451.68030 Formal Asp. Comput. 32, No. 1, 1-32 (2020). MSC: 68M07 68Q85 PDF BibTeX XML Cite \textit{G. Smith} et al., Formal Asp. Comput. 32, No. 1, 1--32 (2020; Zbl 1451.68030) Full Text: DOI OpenURL
Nassar, Nebras; Kosiol, Jens; Arendt, Thorsten; Taentzer, Gabriele Constructing optimized constraint-preserving application conditions for model transformation rules. (English) Zbl 1451.68140 J. Log. Algebr. Methods Program. 114, Article ID 100564, 31 p. (2020). MSC: 68Q42 68Q60 PDF BibTeX XML Cite \textit{N. Nassar} et al., J. Log. Algebr. Methods Program. 114, Article ID 100564, 31 p. (2020; Zbl 1451.68140) Full Text: DOI OpenURL
Fayazov, Kudratillo Sadridinovich; Khudaĭberganov, Yashin Kamilovich Ill-posed boundary value problem for mixed type system equations with two degenerate lines. (Russian. English summary) Zbl 1444.35160 Sib. Èlektron. Mat. Izv. 17, 647-660 (2020). Reviewer: Sergey G. Pyatkov (Khanty-Mansiysk) MSC: 35R25 47A52 35C10 PDF BibTeX XML Cite \textit{K. S. Fayazov} and \textit{Y. K. Khudaĭberganov}, Sib. Èlektron. Mat. Izv. 17, 647--660 (2020; Zbl 1444.35160) Full Text: DOI OpenURL
Fukuchi, Jun-Ichiro A note on bootstrap for Gupta’s subset selection procedure. (English) Zbl 1436.62106 Sankhyā, Ser. A 82, No. 1, 96-114 (2020). Reviewer: Alessandro Selvitella (Fort Wayne) MSC: 62F40 62G09 62F07 PDF BibTeX XML Cite \textit{J.-I. Fukuchi}, Sankhyā, Ser. A 82, No. 1, 96--114 (2020; Zbl 1436.62106) Full Text: DOI OpenURL
Zhang, Xingyuan; Urban, Christian; Wu, Chunhan Priority inheritance protocol proved correct. (English) Zbl 1468.68036 J. Autom. Reasoning 64, No. 1, 73-95 (2020). MSC: 68M20 68V15 PDF BibTeX XML Cite \textit{X. Zhang} et al., J. Autom. Reasoning 64, No. 1, 73--95 (2020; Zbl 1468.68036) Full Text: DOI OpenURL
Liu, Wen; Li, Yu-Gang; Wang, Yong-Bin A novel quantum solution to privacy-preserving lexicographical string sorting problem. (English) Zbl 1435.68103 Int. J. Theor. Phys. 59, No. 3, 754-762 (2020). MSC: 68Q12 68P10 68P27 81P68 81P94 PDF BibTeX XML Cite \textit{W. Liu} et al., Int. J. Theor. Phys. 59, No. 3, 754--762 (2020; Zbl 1435.68103) Full Text: DOI OpenURL
Primiero, Giuseppe On the foundations of computing. (English) Zbl 1450.68001 Oxford: Oxford University Press (ISBN 978-0-19-883564-6/hbk; 978-0-19-883565-3/pbk). xix, 296 p. (2020). Reviewer: Gudula Rünger (Chemnitz) MSC: 68-02 68-03 68Q01 PDF BibTeX XML Cite \textit{G. Primiero}, On the foundations of computing. Oxford: Oxford University Press (2020; Zbl 1450.68001) Full Text: DOI OpenURL
Bergstra, J. A.; Middelburg, C. A. On the complexity of the correctness problem for non-zeroness test instruction sequences. (English) Zbl 1436.68079 Theor. Comput. Sci. 802, 1-18 (2020). MSC: 68N30 68Q25 PDF BibTeX XML Cite \textit{J. A. Bergstra} and \textit{C. A. Middelburg}, Theor. Comput. Sci. 802, 1--18 (2020; Zbl 1436.68079) Full Text: DOI arXiv OpenURL
Fayazov, K. S.; Khajiev, I. O. Nonlocal boundary value problems for the second order mixed type differential equation. (English) Zbl 07382352 Uzb. Math. J. 2019, No. 4, 65-77 (2019). MSC: 65N20 47A52 35M12 PDF BibTeX XML Cite \textit{K. S. Fayazov} and \textit{I. O. Khajiev}, Uzb. Math. J. 2019, No. 4, 65--77 (2019; Zbl 07382352) Full Text: DOI OpenURL
Fayazov, K. S.; Khudayberganov, Y. K. Boundary value problem for second order mixed type nonhomogeneous differential equation with two degenerate lines. (English) Zbl 07380592 Uzb. Math. J. 2019, No. 2, 49-61 (2019). MSC: 65N20 47A52 65N15 65N12 PDF BibTeX XML Cite \textit{K. S. Fayazov} and \textit{Y. K. Khudayberganov}, Uzb. Math. J. 2019, No. 2, 49--61 (2019; Zbl 07380592) Full Text: DOI OpenURL
Woelfel, Philipp Towards a theory of randomized shared memory algorithms. (English) Zbl 07298669 Nowak, Thomas (ed.), Proceedings of the 38th ACM symposium on principles of distributed computing, PODC ’19, Toronto, ON, Canada, July 29 – August 2, 2019. New York, NY: Association for Computing Machinery (ACM). 156 (2019). MSC: 68M14 68W15 PDF BibTeX XML Cite \textit{P. Woelfel}, in: Proceedings of the 38th ACM symposium on principles of distributed computing, PODC '19, Toronto, ON, Canada, July 29 -- August 2, 2019. New York, NY: Association for Computing Machinery (ACM). 156 (2019; Zbl 07298669) Full Text: DOI OpenURL
Aldashev, Serik Aĭmurzaevich; Kanapyanova, Zaure Niazbekovna Correctness of a mixed problem for degenerate three-dimensional hyperbolic-parabolic equations. (Russian. English summary) Zbl 1455.35156 Vestn. Samar. Univ., Estestvennonauchn. Ser. 25, No. 4, 7-13 (2019). MSC: 35M13 PDF BibTeX XML Cite \textit{S. A. Aldashev} and \textit{Z. N. Kanapyanova}, Vestn. Samar. Univ., Estestvennonauchn. Ser. 25, No. 4, 7--13 (2019; Zbl 1455.35156) Full Text: DOI MNR OpenURL
Lamport, Leslie How to make a microprocessor computer that correctly executes multiprocess programs. (English) Zbl 1448.68037 Malkhi, Dahlia (ed.), Concurrency. The works of Leslie Lamport. New York, NY: Association for Computing Machinery (ACM). ACM Books 29, 197-201 (2019). MSC: 68M07 68M14 PDF BibTeX XML Cite \textit{L. Lamport}, ACM Books 29, 197--201 (2019; Zbl 1448.68037) Full Text: DOI OpenURL
Kosiol, Jens; Fritsche, Lars; Nassar, Nebras; Schürr, Andy; Taentzer, Gabriele Constructing constraint-preserving interaction schemes in adhesive categories. (English) Zbl 1444.68086 Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 24th IFIP WG 1.3 international workshop, WADT 2018, Egham, UK, July 2–5, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11563, 139-153 (2019). MSC: 68Q42 18A30 PDF BibTeX XML Cite \textit{J. Kosiol} et al., Lect. Notes Comput. Sci. 11563, 139--153 (2019; Zbl 1444.68086) Full Text: DOI OpenURL
Turner, Raymond Correctness, explanation and intention. (English) Zbl 1457.68035 Manea, Florin (ed.) et al., Computing with foresight and industry. 15th conference on computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11558, 62-71 (2019). Reviewer: Haim Kilov (Millington) MSC: 68N01 68N30 68Q60 68R01 PDF BibTeX XML Cite \textit{R. Turner}, Lect. Notes Comput. Sci. 11558, 62--71 (2019; Zbl 1457.68035) Full Text: DOI OpenURL
Larchey-Wendling, Dominique; Matthes, Ralph Certification of breadth-first algorithms by extraction. (English) Zbl 1434.68090 Hutton, Graham (ed.), Mathematics of program construction. 13th international conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11825, 45-75 (2019). MSC: 68N18 68P05 PDF BibTeX XML Cite \textit{D. Larchey-Wendling} and \textit{R. Matthes}, Lect. Notes Comput. Sci. 11825, 45--75 (2019; Zbl 1434.68090) Full Text: DOI HAL OpenURL
Nassar, Nebras; Kosiol, Jens; Arendt, Thorsten; Taentzer, Gabriele Constructing optimized validity-preserving application conditions for graph transformation rules. (English) Zbl 1429.68092 Guerra, Esther (ed.) et al., Graph transformation. 12th international conference, ICGT 2019, held as part of STAF 2019, Eindhoven, the Netherlands, July 15–16, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11629, 177-194 (2019). MSC: 68Q42 PDF BibTeX XML Cite \textit{N. Nassar} et al., Lect. Notes Comput. Sci. 11629, 177--194 (2019; Zbl 1429.68092) Full Text: DOI OpenURL
Dzhamalov, S. Z.; Ashurov, R. R. A linear inverse problem for a multidimensional mixed-type second-order equation of the first-kind. (English. Russian original) Zbl 1427.35354 Russ. Math. 63, No. 6, 8-18 (2019); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2019, No. 6, 11-22 (2019). MSC: 35R30 35M10 PDF BibTeX XML Cite \textit{S. Z. Dzhamalov} and \textit{R. R. Ashurov}, Russ. Math. 63, No. 6, 8--18 (2019; Zbl 1427.35354); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2019, No. 6, 11--22 (2019) Full Text: DOI OpenURL
Krichen, Moez Testing real-time systems using determinization techniques for automata over timed domains. (English) Zbl 07142673 Hierons, Robert Mark (ed.) et al., Theoretical aspects of computing – ICTAC 2019. 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11884, 124-133 (2019). MSC: 68Qxx PDF BibTeX XML Cite \textit{M. Krichen}, Lect. Notes Comput. Sci. 11884, 124--133 (2019; Zbl 07142673) Full Text: DOI OpenURL
Ageev, A. L.; Antonova, T. V. Estimates of characteristics of localization methods for discontinuities of the first kind of a noisy function. (Russian, English) Zbl 1438.65019 Sib. Zh. Ind. Mat. 22, No. 1, 3-12 (2019); translation in J. Appl. Ind. Math. 13, No. 1, 1-10 (2019). MSC: 65D15 65J15 65J20 94A12 PDF BibTeX XML Cite \textit{A. L. Ageev} and \textit{T. V. Antonova}, Sib. Zh. Ind. Mat. 22, No. 1, 3--12 (2019; Zbl 1438.65019); translation in J. Appl. Ind. Math. 13, No. 1, 1--10 (2019) Full Text: DOI OpenURL
Pan, Hong-Ming A novel pure entangled state based two-party quantum private comparison protocol. (English) Zbl 1428.81041 Int. J. Theor. Phys. 58, No. 11, 3822-3827 (2019). MSC: 81P45 81P94 94A60 81P40 PDF BibTeX XML Cite \textit{H.-M. Pan}, Int. J. Theor. Phys. 58, No. 11, 3822--3827 (2019; Zbl 1428.81041) Full Text: DOI OpenURL
Geck, Gaetano; Ketsman, Bas; Neven, Frank; Schwentick, Thomas Parallel-correctness and containment for conjunctive queries with union and negation. (English) Zbl 1433.68117 ACM Trans. Comput. Log. 20, No. 3, Article No. 18, 24 p. (2019). MSC: 68P15 68Q17 PDF BibTeX XML Cite \textit{G. Geck} et al., ACM Trans. Comput. Log. 20, No. 3, Article No. 18, 24 p. (2019; Zbl 1433.68117) Full Text: DOI Link OpenURL
Farahani, Hadi; Mahan, Hossein Correctness checking of a quantum protocol for reliable communications via feedback. (English) Zbl 1438.81005 Afr. Mat. 30, No. 5-6, 681-690 (2019). MSC: 81P45 81P70 PDF BibTeX XML Cite \textit{H. Farahani} and \textit{H. Mahan}, Afr. Mat. 30, No. 5--6, 681--690 (2019; Zbl 1438.81005) Full Text: DOI OpenURL
Andreev, Aleksandr Anatol’evich; Yakovleva, Yuliya Olegovna The Goursat-type problem for a hyperbolic equation and system of third order hyperbolic equations. (Russian. English summary) Zbl 1438.74034 Vestn. Samar. Gos. Tekh. Univ., Ser. Fiz.-Mat. Nauki 23, No. 1, 186-194 (2019). MSC: 74E35 74K20 PDF BibTeX XML Cite \textit{A. A. Andreev} and \textit{Y. O. Yakovleva}, Vestn. Samar. Gos. Tekh. Univ., Ser. Fiz.-Mat. Nauki 23, No. 1, 186--194 (2019; Zbl 1438.74034) Full Text: DOI MNR OpenURL
Auzinger, Winfried; Hofstätter, Harald; Koch, Othmar; Quell, Michael; Thalhammer, Mechthild A posteriori error estimation for Magnus-type integrators. (English) Zbl 1416.65188 ESAIM, Math. Model. Numer. Anal. 53, No. 1, 197-218 (2019). MSC: 65L05 65L20 65L50 65L70 PDF BibTeX XML Cite \textit{W. Auzinger} et al., ESAIM, Math. Model. Numer. Anal. 53, No. 1, 197--218 (2019; Zbl 1416.65188) Full Text: DOI OpenURL
Das, Debraj; Gregory, Karl; Lahiri, S. N. Perturbation bootstrap in adaptive Lasso. (English) Zbl 1420.62305 Ann. Stat. 47, No. 4, 2080-2116 (2019). MSC: 62J07 62G09 62E20 PDF BibTeX XML Cite \textit{D. Das} et al., Ann. Stat. 47, No. 4, 2080--2116 (2019; Zbl 1420.62305) Full Text: DOI arXiv Euclid OpenURL
Buchin, Kevin; Buchin, Maike; Meulemans, Wouter; Speckmann, Bettina Locally correct Fréchet matchings. (English) Zbl 1476.68279 Comput. Geom. 76, 1-18 (2019). MSC: 68U05 PDF BibTeX XML Cite \textit{K. Buchin} et al., Comput. Geom. 76, 1--18 (2019; Zbl 1476.68279) Full Text: DOI arXiv OpenURL
Schmidt-Schauß, Manfred; Sabel, David; Kutz, Yunus D. K. Nominal unification with atom-variables. (English) Zbl 1395.68096 J. Symb. Comput. 90, 42-64 (2019). MSC: 68N30 68Q17 68Q25 68Q42 68T15 PDF BibTeX XML Cite \textit{M. Schmidt-Schauß} et al., J. Symb. Comput. 90, 42--64 (2019; Zbl 1395.68096) Full Text: DOI OpenURL
Aldashev, S. A. Dirichlet problem of degenerate multidimensional elliptic-parabolic equations in cylindrical domain. (Russian. English summary) Zbl 07401930 Mat. Zh. 18, No. 3, 5-17 (2018). MSC: 35J40 33C10 33C55 35J70 PDF BibTeX XML Cite \textit{S. A. Aldashev}, Mat. Zh. 18, No. 3, 5--17 (2018; Zbl 07401930) OpenURL
Fayazov, K. S.; Xudayberganov, Y. K. Ill-posed boundary value problem for a mixed type equation with two degenerate lines. (English) Zbl 1474.65325 Uzb. Math. J. 2018, No. 2, 32-42 (2018). MSC: 65M30 47A52 35R25 35K65 PDF BibTeX XML Cite \textit{K. S. Fayazov} and \textit{Y. K. Xudayberganov}, Uzb. Math. J. 2018, No. 2, 32--42 (2018; Zbl 1474.65325) Full Text: DOI OpenURL
Nguyen, Lê Thành Dung Unique perfect matchings and proof nets. (English) Zbl 1462.03030 Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 25, 20 p. (2018). MSC: 03F52 05C70 05C85 68Q25 PDF BibTeX XML Cite \textit{L. T. D. Nguyen}, LIPIcs -- Leibniz Int. Proc. Inform. 108, Article 25, 20 p. (2018; Zbl 1462.03030) Full Text: DOI OpenURL
Khajiev, Ikrombek O. Conditional correctness and approximate solution of boundary value problem for the system of second order mixed-type equations. (English) Zbl 07325411 J. Sib. Fed. Univ., Math. Phys. 11, No. 2, 231-241 (2018). MSC: 35-XX 34-XX PDF BibTeX XML Cite \textit{I. O. Khajiev}, J. Sib. Fed. Univ., Math. Phys. 11, No. 2, 231--241 (2018; Zbl 07325411) Full Text: DOI MNR OpenURL
Gutman, A. E.; Kononenko, L. I. Binary correspondences and the inverse problem of chemical kinetics. (English) Zbl 1463.34062 Vladikavkaz. Mat. Zh. 20, No. 3, 37-47 (2018). MSC: 34A55 92C45 34E15 PDF BibTeX XML Cite \textit{A. E. Gutman} and \textit{L. I. Kononenko}, Vladikavkaz. Mat. Zh. 20, No. 3, 37--47 (2018; Zbl 1463.34062) Full Text: DOI MNR OpenURL
Asharov, Gilad; Ephraim, Naomi; Komargodski, Ilan; Pass, Rafael On the complexity of compressing obfuscation. (English) Zbl 1457.94092 Shacham, Hovav (ed.) et al., Advances in cryptology – CRYPTO 2018. 38th annual international cryptology conference, Santa Barbara, CA, USA, August 19–23, 2018. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 10993, 753-783 (2018). MSC: 94A60 68P25 PDF BibTeX XML Cite \textit{G. Asharov} et al., Lect. Notes Comput. Sci. 10993, 753--783 (2018; Zbl 1457.94092) Full Text: DOI OpenURL
Zhou, Kai-Qing; Gui, Wei-Hua; Mo, Li-Ping; Zain, Azlan Mohd A bidirectional diagnosis algorithm of fuzzy Petri net using inner-reasoning-path. (English) Zbl 1423.68320 Symmetry 10, No. 6, Paper No. 192, 15 p. (2018). MSC: 68Q85 PDF BibTeX XML Cite \textit{K.-Q. Zhou} et al., Symmetry 10, No. 6, Paper No. 192, 15 p. (2018; Zbl 1423.68320) Full Text: DOI OpenURL
Volyans’ka, I. I.; Il’kiv, V. S. Multi-point problem for partial differential equation in a two-dimensional domain. (Ukrainian. English summary) Zbl 1424.35117 Bukovyn. Mat. Zh. 6, No. 3-4, 28-35 (2018). MSC: 35G15 PDF BibTeX XML Cite \textit{I. I. Volyans'ka} and \textit{V. S. Il'kiv}, Bukovyn. Mat. Zh. 6, No. 3--4, 28--35 (2018; Zbl 1424.35117) Full Text: Link OpenURL
Pan, Hong-Ming Two-party quantum private comparison using single photons. (English) Zbl 1412.81056 Int. J. Theor. Phys. 57, No. 11, 3389-3395 (2018). MSC: 81P45 81P94 94A60 PDF BibTeX XML Cite \textit{H.-M. Pan}, Int. J. Theor. Phys. 57, No. 11, 3389--3395 (2018; Zbl 1412.81056) Full Text: DOI OpenURL
Dzhamalov, S. Z. On an inverse problem for the multidimensional equation mixed type of the first kind of the second order with periodic conditions. (Russian. English summary) Zbl 1406.35483 Vestn. KRAUNTS, Fiz.-Mat. Nauki 2018, No. 4(24), 10-18 (2018). MSC: 35R30 35M10 PDF BibTeX XML Cite \textit{S. Z. Dzhamalov}, Vestn. KRAUNTS, Fiz.-Mat. Nauki 2018, No. 4(24), 10--18 (2018; Zbl 1406.35483) Full Text: DOI MNR OpenURL
Apanovich, Marina Stepanovna; Leĭnartas, Evgeniĭ Konstantinovich On correctness of Cauchy problem for a polynomial difference operator with constant coefficients. (English) Zbl 1409.39012 Izv. Irkutsk. Gos. Univ., Ser. Mat. 26, 3-15 (2018). MSC: 39A70 PDF BibTeX XML Cite \textit{M. S. Apanovich} and \textit{E. K. Leĭnartas}, Izv. Irkutsk. Gos. Univ., Ser. Mat. 26, 3--15 (2018; Zbl 1409.39012) Full Text: DOI Link OpenURL
Kublikowski, Robert What is reasoning? (English) Zbl 1406.03028 Garrido, Ángel (ed.) et al., The Lvov-Warsaw school. Past and present. Cham: Birkhäuser (ISBN 978-3-319-65429-4/hbk; 978-3-319-65430-0/ebook). Studies in Universal Logic, 153-163 (2018). MSC: 03A05 03B65 03B42 03-03 01A60 PDF BibTeX XML Cite \textit{R. Kublikowski}, in: The Lvov-Warsaw school. Past and present. Cham: Birkhäuser. 153--163 (2018; Zbl 1406.03028) Full Text: DOI OpenURL
Applebaum, Benny; Brakerski, Zvika; Tsabary, Rotem Perfect secure computation in two rounds. (English) Zbl 1443.94042 Beimel, Amos (ed.) et al., Theory of cryptography. 16th international conference, TCC 2018, Panaji, India, November 11–14, 2018. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 11239, 152-174 (2018). MSC: 94A60 PDF BibTeX XML Cite \textit{B. Applebaum} et al., Lect. Notes Comput. Sci. 11239, 152--174 (2018; Zbl 1443.94042) Full Text: DOI OpenURL
McCarthy, Daniel; Zhang, Kai; Brown, Lawrence D.; Berk, Richard; Buja, Andreas; George, Edward I.; Zhao, Linda Calibrated percentile double bootstrap for robust linear regression inference. (English) Zbl 1406.62076 Stat. Sin. 28, No. 4, Part 2, 2565-2589 (2018). MSC: 62J05 62G15 62G35 PDF BibTeX XML Cite \textit{D. McCarthy} et al., Stat. Sin. 28, No. 4, Part 2, 2565--2589 (2018; Zbl 1406.62076) Full Text: DOI arXiv OpenURL
Feyzi, Farid; Parsa, Saeed A program slicing-based method for effective detection of coincidentally correct test cases. (English) Zbl 1398.68100 Computing 100, No. 9, 927-969 (2018). MSC: 68N99 PDF BibTeX XML Cite \textit{F. Feyzi} and \textit{S. Parsa}, Computing 100, No. 9, 927--969 (2018; Zbl 1398.68100) Full Text: DOI OpenURL
Zhang, Xiaoqian; Weng, Jian; Li, Xiaochun; Luo, Weiqi; Tan, Xiaoqing; Song, Tingting Single-server blind quantum computation with quantum circuit model. (English) Zbl 1448.81264 Quantum Inf. Process. 17, No. 6, Paper No. 134, 18 p. (2018). MSC: 81P68 81P73 PDF BibTeX XML Cite \textit{X. Zhang} et al., Quantum Inf. Process. 17, No. 6, Paper No. 134, 18 p. (2018; Zbl 1448.81264) Full Text: DOI OpenURL
Guttmann, Walter Verifying minimum spanning tree algorithms with Stone relation algebras. (English) Zbl 1401.68247 J. Log. Algebr. Methods Program. 101, 132-150 (2018). MSC: 68R10 03B35 03G15 05C22 68Q60 68T15 PDF BibTeX XML Cite \textit{W. Guttmann}, J. Log. Algebr. Methods Program. 101, 132--150 (2018; Zbl 1401.68247) Full Text: DOI OpenURL
Frohn, Florian; Giesl, Jürgen Constant runtime complexity of term rewriting is semi-decidable. (English) Zbl 1478.68111 Inf. Process. Lett. 139, 18-23 (2018). MSC: 68Q42 68N30 68Q25 PDF BibTeX XML Cite \textit{F. Frohn} and \textit{J. Giesl}, Inf. Process. Lett. 139, 18--23 (2018; Zbl 1478.68111) Full Text: DOI OpenURL
Štěpnička, Martin; Mandal, Sayantan Fuzzy inference systems preserving Moser-Navara axioms. (English) Zbl 1397.03042 Fuzzy Sets Syst. 338, 97-116 (2018). MSC: 03B52 68T37 93C42 PDF BibTeX XML Cite \textit{M. Štěpnička} and \textit{S. Mandal}, Fuzzy Sets Syst. 338, 97--116 (2018; Zbl 1397.03042) Full Text: DOI OpenURL
Journault, Matthieu; Miné, Antoine Inferring functional properties of matrix manipulating programs by abstract interpretation. (English) Zbl 1425.68074 Form. Methods Syst. Des. 53, No. 2, 221-258 (2018). MSC: 68N30 PDF BibTeX XML Cite \textit{M. Journault} and \textit{A. Miné}, Form. Methods Syst. Des. 53, No. 2, 221--258 (2018; Zbl 1425.68074) Full Text: DOI OpenURL
Deng, Chaoqiang; Namjoshi, Kedar S. Securing a compiler transformation. (English) Zbl 1425.68060 Form. Methods Syst. Des. 53, No. 2, 166-188 (2018). MSC: 68N20 68Q17 PDF BibTeX XML Cite \textit{C. Deng} and \textit{K. S. Namjoshi}, Form. Methods Syst. Des. 53, No. 2, 166--188 (2018; Zbl 1425.68060) Full Text: DOI OpenURL
Larchey-Wendling, Dominique Proof pearl: constructive extraction of cycle finding algorithms. (English) Zbl 06946991 Avigad, Jeremy (ed.) et al., Interactive theorem proving. 9th international conference, ITP 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10895, 370-387 (2018). MSC: 68T15 PDF BibTeX XML Cite \textit{D. Larchey-Wendling}, Lect. Notes Comput. Sci. 10895, 370--387 (2018; Zbl 06946991) Full Text: DOI OpenURL
Guttmann, Walter An algebraic framework for minimum spanning tree problems. (English) Zbl 1401.68246 Theor. Comput. Sci. 744, 37-55 (2018). MSC: 68R10 05C22 05C85 68T15 PDF BibTeX XML Cite \textit{W. Guttmann}, Theor. Comput. Sci. 744, 37--55 (2018; Zbl 1401.68246) Full Text: DOI OpenURL
Attiya, Hagit; Gotsman, Alexey; Hans, Sandeep; Rinetzky, Noam Characterizing transactional memory consistency conditions using observational refinement. (English) Zbl 1426.68039 J. ACM 65, No. 1, Article No. 2, 44 p. (2018). MSC: 68N30 PDF BibTeX XML Cite \textit{H. Attiya} et al., J. ACM 65, No. 1, Article No. 2, 44 p. (2018; Zbl 1426.68039) Full Text: DOI OpenURL
Drabent, Włodzimierz Logic + control: on program construction and verification. (English) Zbl 1425.68051 Theory Pract. Log. Program. 18, No. 1, 1-29 (2018). MSC: 68N17 68Q60 PDF BibTeX XML Cite \textit{W. Drabent}, Theory Pract. Log. Program. 18, No. 1, 1--29 (2018; Zbl 1425.68051) Full Text: DOI arXiv OpenURL
Soltys, Michael An introduction to the analysis of algorithms. 3rd updated and revised edition. (English) Zbl 1393.68004 Hackensack, NJ: World Scientific (ISBN 978-981-3235-90-8/hbk; 978-981-3235-92-2/ebook). xv, 312 p. (2018). Reviewer: Abbas Mehrabian (Montréal) MSC: 68-01 68N30 68Q25 68W40 PDF BibTeX XML Cite \textit{M. Soltys}, An introduction to the analysis of algorithms. 3rd updated and revised edition. Hackensack, NJ: World Scientific (2018; Zbl 1393.68004) Full Text: DOI OpenURL
Demba, Moussa Equivalence checking of two functional programs using inductive theorem provers. (English) Zbl 1419.68038 Inf. Process. Lett. 129, 16-24 (2018). MSC: 68N18 68T15 PDF BibTeX XML Cite \textit{M. Demba}, Inf. Process. Lett. 129, 16--24 (2018; Zbl 1419.68038) Full Text: DOI OpenURL
Aldashev, S. A. Correctness of Dirichlet problem in a cylindrical domain for three-dimensional degenerate elliptic equations. (Russian. English summary) Zbl 07401879 Mat. Zh. 17, No. 2, 5-12 (2017). MSC: 35R12 PDF BibTeX XML Cite \textit{S. A. Aldashev}, Mat. Zh. 17, No. 2, 5--12 (2017; Zbl 07401879) OpenURL
Apanovich, Marina S.; Leinartas, Evgeny K. Correctness of a two-dimensional Cauchy problem for a polynomial difference operator with constant coefficients. (English) Zbl 07325337 J. Sib. Fed. Univ., Math. Phys. 10, No. 2, 199-205 (2017). MSC: 05-XX 42-XX PDF BibTeX XML Cite \textit{M. S. Apanovich} and \textit{E. K. Leinartas}, J. Sib. Fed. Univ., Math. Phys. 10, No. 2, 199--205 (2017; Zbl 07325337) Full Text: DOI MNR OpenURL
Bykova, V. V.; Soldatenko, A. A. Optimal routing by landmarks in the time-dependent networks. (Russian. English summary) Zbl 07311437 Prikl. Diskretn. Mat. 2017, No. 3(37), 114-123 (2017). MSC: 90-XX 68-XX PDF BibTeX XML Cite \textit{V. V. Bykova} and \textit{A. A. Soldatenko}, Prikl. Diskretn. Mat. 2017, No. 3(37), 114--123 (2017; Zbl 07311437) Full Text: DOI MNR OpenURL
Gutman, A. E.; Kononenko, L. I. Formalization of inverse problems and its applications. (Russian. English summary) Zbl 1438.34075 Sib. Zh. Chist. Prikl. Mat. 17, No. 4, 49-56 (2017). MSC: 34A55 92E20 PDF BibTeX XML Cite \textit{A. E. Gutman} and \textit{L. I. Kononenko}, Sib. Zh. Chist. Prikl. Mat. 17, No. 4, 49--56 (2017; Zbl 1438.34075) Full Text: MNR OpenURL
Dzhamalov, S. Z. The linear inverse problem for the mixed type equation of the second kind of the second order with nonlocal boundary conditions in three-dimensional space. (Russian. English summary) Zbl 07025784 Vestn. KRAUNTS, Fiz.-Mat. Nauki 2017, No. 1(17), 7-13 (2017). MSC: 34M10 35M20 PDF BibTeX XML Cite \textit{S. Z. Dzhamalov}, Vestn. KRAUNTS, Fiz.-Mat. Nauki 2017, No. 1(17), 7--13 (2017; Zbl 07025784) Full Text: DOI MNR OpenURL
Panchenko, T. V.; Ivanov, Ye. V.; Fabunmi, Sunmade; Skidonenko, A. V.; Trofymenko, Ye. O. Extended dynamic state and instances spawning model in IPCL. (Ukrainian. English summary) Zbl 1413.68017 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2017, No. 4, 127-130 (2017). MSC: 68N15 68N19 PDF BibTeX XML Cite \textit{T. V. Panchenko} et al., Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2017, No. 4, 127--130 (2017; Zbl 1413.68017) OpenURL
Sunmade, Fabunmi Some atomic operator’s semantics in IPCL. (Ukrainian. English summary) Zbl 1413.68019 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2017, No. 4, 59-62 (2017). MSC: 68N19 PDF BibTeX XML Cite \textit{F. Sunmade}, Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2017, No. 4, 59--62 (2017; Zbl 1413.68019) OpenURL
Obodan, N. I.; Zaytseva, T. A.; Frydman, O. D. A contact problem for a rigid punch and an elastic half-space as the inverse problem. (Ukrainian) Zbl 1413.74082 Mat. Metody Fiz.-Mekh. Polya 60, No. 1, 149-156 (2017). Reviewer: V. M. Musaev (Baku) MSC: 74M15 74A10 PDF BibTeX XML Cite \textit{N. I. Obodan} et al., Mat. Metody Fiz.-Mekh. Polya 60, No. 1, 149--156 (2017; Zbl 1413.74082) OpenURL
Popov, S. V. The Gevrey boundary value problem for a third order equation. (Russian. English summary) Zbl 1413.35267 Mat. Zamet. SVFU 24, No. 1, 43-56 (2017). MSC: 35K65 35K35 35M10 PDF BibTeX XML Cite \textit{S. V. Popov}, Mat. Zamet. SVFU 24, No. 1, 43--56 (2017; Zbl 1413.35267) Full Text: MNR OpenURL
Tagiev, Rafik Kalandar; Kasymova, Rena Sammar On the problem of optimal control in the coefficients of an elliptic equation. (Russian. English summary) Zbl 1413.49027 Vestn. Samar. Gos. Tekh. Univ., Ser. Fiz.-Mat. Nauki 21, No. 2, 278-291 (2017). MSC: 49K20 35J25 PDF BibTeX XML Cite \textit{R. K. Tagiev} and \textit{R. S. Kasymova}, Vestn. Samar. Gos. Tekh. Univ., Ser. Fiz.-Mat. Nauki 21, No. 2, 278--291 (2017; Zbl 1413.49027) Full Text: DOI MNR OpenURL
Qin, Shengchao; Xu, Zhiwu; Ming, Zhong Survey of research on program verification via separation logic. (Chinese. English summary) Zbl 1399.68031 J. Softw. 28, No. 8, 2010-2025 (2017). MSC: 68N30 03B70 68Q60 68-02 PDF BibTeX XML Cite \textit{S. Qin} et al., J. Softw. 28, No. 8, 2010--2025 (2017; Zbl 1399.68031) Full Text: DOI OpenURL
Ma, Yanfang; Pan, Haiyu The approximate correctness of systems based on \(\delta\)-bisimulation. (English) Zbl 1392.68309 Luo, Mao-Kang (ed.) et al., Proceedings of the 7th international symposium on domain theory and its applications (ISDT), Shijiazhuang, China, June 2–6, 2017. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 333, 73-87 (2017). MSC: 68Q85 06B23 68Q60 PDF BibTeX XML Cite \textit{Y. Ma} and \textit{H. Pan}, Electron. Notes Theor. Comput. Sci. 333, 73--87 (2017; Zbl 1392.68309) Full Text: DOI OpenURL
Skobelev, V. V. Attributed transition systems with hidden transitions. (English. Russian original) Zbl 1400.68127 Cybern. Syst. Anal. 53, No. 4, 524-534 (2017); translation from Kibern. Sist. Anal. 2017, No. 4, 37-49 (2017). MSC: 68Q60 68Q45 PDF BibTeX XML Cite \textit{V. V. Skobelev}, Cybern. Syst. Anal. 53, No. 4, 524--534 (2017; Zbl 1400.68127); translation from Kibern. Sist. Anal. 2017, No. 4, 37--49 (2017) Full Text: DOI OpenURL
van der Hoeven, Joris; Lecerf, Grégoire; Raux, Denis Preserving syntactic correctness while editing mathematical formulas. (English) Zbl 1383.68095 Kotsireas, Ilias S. (ed.) et al., Applications of computer algebra, Kalamata, Greece, July 20–23, 2015. Cham: Springer (ISBN 978-3-319-56930-7/hbk; 978-3-319-56932-1/ebook). Springer Proceedings in Mathematics & Statistics 198, 459-471 (2017). MSC: 68U15 68U35 PDF BibTeX XML Cite \textit{J. van der Hoeven} et al., Springer Proc. Math. Stat. 198, 459--471 (2017; Zbl 1383.68095) Full Text: DOI HAL OpenURL
Xu, Ling; Zhao, Zhiwen Quantum private comparison protocol based on the entanglement swapping between \(\chi ^+\) state and W-class state. (English) Zbl 1382.81079 Quantum Inf. Process. 16, No. 12, Paper No. 302, 15 p. (2017). MSC: 81P94 94A60 81P40 81P68 PDF BibTeX XML Cite \textit{L. Xu} and \textit{Z. Zhao}, Quantum Inf. Process. 16, No. 12, Paper No. 302, 15 p. (2017; Zbl 1382.81079) Full Text: DOI OpenURL
Skobelev, V. V. Analysis of the structure of attributed transition systems without hidden transitions. (English. Russian original) Zbl 1380.93005 Cybern. Syst. Anal. 53, No. 2, 165-175 (2017); translation from Kibern. Sist. Anal. 2017, No. 2, 3-15 (2017). MSC: 93A10 93B25 03E75 PDF BibTeX XML Cite \textit{V. V. Skobelev}, Cybern. Syst. Anal. 53, No. 2, 165--175 (2017; Zbl 1380.93005); translation from Kibern. Sist. Anal. 2017, No. 2, 3--15 (2017) Full Text: DOI OpenURL
Pan, Hong-Ming Quantum private comparison based on \(\chi\)-type entangled states. (English) Zbl 1387.81185 Int. J. Theor. Phys. 56, No. 10, 3340-3347 (2017). MSC: 81P94 81P40 94A60 PDF BibTeX XML Cite \textit{H.-M. Pan}, Int. J. Theor. Phys. 56, No. 10, 3340--3347 (2017; Zbl 1387.81185) Full Text: DOI OpenURL
Smith, Graeme; Winter, Kirsten Relating trace refinement and linearizability. (English) Zbl 1377.68151 Formal Asp. Comput. 29, No. 6, 935-950 (2017). MSC: 68Q85 PDF BibTeX XML Cite \textit{G. Smith} and \textit{K. Winter}, Formal Asp. Comput. 29, No. 6, 935--950 (2017; Zbl 1377.68151) Full Text: DOI OpenURL
Esiner, Ertem; Datta, Anwitaman On query result integrity over encrypted data. (English) Zbl 1422.68064 Inf. Process. Lett. 122, 34-39 (2017). MSC: 68P25 68P05 94A62 PDF BibTeX XML Cite \textit{E. Esiner} and \textit{A. Datta}, Inf. Process. Lett. 122, 34--39 (2017; Zbl 1422.68064) Full Text: DOI OpenURL
Ying, Mingsheng; Ying, Shenggang; Wu, Xiaodi Invariants of quantum programs: characterisations and generation. (English) Zbl 1380.68135 Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 818-832 (2017). MSC: 68N30 81P68 PDF BibTeX XML Cite \textit{M. Ying} et al., in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 818--832 (2017; Zbl 1380.68135) Full Text: DOI Link OpenURL
Julián-Iranzo, Pascual; Moreno, Ginés; Penabad, Jaime Thresholded semantic framework for a fully integrated fuzzy logic language. (English) Zbl 1372.68053 J. Log. Algebr. Methods Program. 93, 42-67 (2017). MSC: 68N17 68Q55 PDF BibTeX XML Cite \textit{P. Julián-Iranzo} et al., J. Log. Algebr. Methods Program. 93, 42--67 (2017; Zbl 1372.68053) Full Text: DOI OpenURL
Shcheglova, A. A. Existence of a solution to a system of partial differential algebraic equations of arbitrary index. (English. Russian original) Zbl 1373.35089 J. Math. Sci., New York 224, No. 5, 796-814 (2017); translation from Probl. Mat. Anal. 88, 171-188 (2017). MSC: 35F35 35L50 PDF BibTeX XML Cite \textit{A. A. Shcheglova}, J. Math. Sci., New York 224, No. 5, 796--814 (2017; Zbl 1373.35089); translation from Probl. Mat. Anal. 88, 171--188 (2017) Full Text: DOI OpenURL
Francalanza, Adrian; Aceto, Luca; Ingolfsdottir, Anna Monitorability for the Hennessy-Milner logic with recursion. (English) Zbl 1370.68203 Form. Methods Syst. Des. 51, No. 1, 87-116 (2017). MSC: 68Q60 03B44 68Q85 PDF BibTeX XML Cite \textit{A. Francalanza} et al., Form. Methods Syst. Des. 51, No. 1, 87--116 (2017; Zbl 1370.68203) Full Text: DOI OpenURL
Cheung, Kevin K. H.; Gleixner, Ambros; Steffy, Daniel E. Verifying integer programming results. (English) Zbl 1418.90176 Eisenbrand, Friedrich (ed.) et al., Integer programming and combinatorial optimization. 19th international conference, IPCO 2017, Waterloo, ON, Canada, June 26–28, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10328, 148-160 (2017). MSC: 90C11 PDF BibTeX XML Cite \textit{K. K. H. Cheung} et al., Lect. Notes Comput. Sci. 10328, 148--160 (2017; Zbl 1418.90176) Full Text: DOI arXiv Backlinks: MO OpenURL
Gregorics, Tibor; Borsi, Zsolt A unified approach of program verification. (English) Zbl 1414.68019 Acta Univ. Sapientiae, Inform. 9, No. 1, 65-82 (2017). MSC: 68N30 68Q60 PDF BibTeX XML Cite \textit{T. Gregorics} and \textit{Z. Borsi}, Acta Univ. Sapientiae, Inform. 9, No. 1, 65--82 (2017; Zbl 1414.68019) Full Text: DOI OpenURL
Caicedo, Andrés Eduardo; Zeman, Martin Downward transference of mice and universality of local core models. (English) Zbl 1419.03047 J. Symb. Log. 82, No. 2, 385-419 (2017). MSC: 03E45 03E05 03E55 PDF BibTeX XML Cite \textit{A. E. Caicedo} and \textit{M. Zeman}, J. Symb. Log. 82, No. 2, 385--419 (2017; Zbl 1419.03047) Full Text: DOI arXiv OpenURL
Ye, Tian-Yu; Ji, Zhao-Xu Two-party quantum private comparison with five-qubit entangled states. (English) Zbl 1366.81144 Int. J. Theor. Phys. 56, No. 5, 1517-1529 (2017). MSC: 81P94 94A60 PDF BibTeX XML Cite \textit{T.-Y. Ye} and \textit{Z.-X. Ji}, Int. J. Theor. Phys. 56, No. 5, 1517--1529 (2017; Zbl 1366.81144) Full Text: DOI OpenURL
Kuznetsov, Petr; Peri, Sathya Non-interference and local correctness in transactional memory. (English) Zbl 1371.68052 Theor. Comput. Sci. 688, 103-116 (2017). MSC: 68N30 68M14 68N19 68Q85 PDF BibTeX XML Cite \textit{P. Kuznetsov} and \textit{S. Peri}, Theor. Comput. Sci. 688, 103--116 (2017; Zbl 1371.68052) Full Text: DOI OpenURL
Börger, Egon The abstract state machines method for modular design and analysis of programming languages. (English) Zbl 1361.68025 J. Log. Comput. 27, No. 2, 417-439 (2017). MSC: 68N15 68N20 PDF BibTeX XML Cite \textit{E. Börger}, J. Log. Comput. 27, No. 2, 417--439 (2017; Zbl 1361.68025) Full Text: DOI Link OpenURL
Drabent, Włodzimierz Proving completeness of logic programs with the cut. (English) Zbl 1355.68033 Formal Asp. Comput. 29, No. 1, 155-172 (2017). MSC: 68N17 PDF BibTeX XML Cite \textit{W. Drabent}, Formal Asp. Comput. 29, No. 1, 155--172 (2017; Zbl 1355.68033) Full Text: DOI arXiv OpenURL