Smith, Taylor J.; Salomaa, Kai Decision problems and projection languages for restricted variants of two-dimensional automata. (English) Zbl 1504.68116 Theor. Comput. Sci. 870, 153-164 (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{T. J. Smith} and \textit{K. Salomaa}, Theor. Comput. Sci. 870, 153--164 (2021; Zbl 1504.68116) Full Text: DOI
Zhang, Nan; Duan, Zhenhua; Tian, Cong Unified temporal logic. (English) Zbl 1497.68322 Theor. Comput. Sci. 864, 58-69 (2021). MSC: 68Q60 03B44 93C95 PDFBibTeX XMLCite \textit{N. Zhang} et al., Theor. Comput. Sci. 864, 58--69 (2021; Zbl 1497.68322) Full Text: DOI
Zhang, Nan; Yu, Bin; Tian, Cong; Duan, Zhenhua; Yuan, Xiaoshuai Temporal logic specification mining of programs. (English) Zbl 1477.68168 Theor. Comput. Sci. 857, 29-42 (2021). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{N. Zhang} et al., Theor. Comput. Sci. 857, 29--42 (2021; Zbl 1477.68168) Full Text: DOI
Shu, Xinfeng; Zhang, Nan; Wang, Xiaobing; Zhao, Liang Efficient decision procedure for propositional projection temporal logic. (English) Zbl 1476.03019 Theor. Comput. Sci. 838, 1-16 (2020). Reviewer: Valentin F. Goranko (Stockholm) MSC: 03B44 PDFBibTeX XMLCite \textit{X. Shu} et al., Theor. Comput. Sci. 838, 1--16 (2020; Zbl 1476.03019) Full Text: DOI
Shu, Xinfeng; Duan, Zhenhua; Du, Hongwei A decision procedure and complete axiomatization for projection temporal logic. (English) Zbl 1506.03070 Theor. Comput. Sci. 819, 50-84 (2020). MSC: 03B44 03B35 68V20 PDFBibTeX XMLCite \textit{X. Shu} et al., Theor. Comput. Sci. 819, 50--84 (2020; Zbl 1506.03070) Full Text: DOI
Spettel, Patrick; Beyer, Hans-Georg Analysis of the \((1,\lambda)\)-\(\sigma\)-self-adaptation evolution strategy with repair by projection applied to a conically constrained problem. (English) Zbl 1423.68473 Theor. Comput. Sci. 785, 30-45 (2019). MSC: 68T20 90C59 PDFBibTeX XMLCite \textit{P. Spettel} and \textit{H.-G. Beyer}, Theor. Comput. Sci. 785, 30--45 (2019; Zbl 1423.68473) Full Text: DOI arXiv
Lombardi, Carlos; Ríos, Alejandro; de Vrijer, Roel Projections for infinitary rewriting (extended version). (English) Zbl 1423.68235 Theor. Comput. Sci. 781, 92-110 (2019). MSC: 68Q42 PDFBibTeX XMLCite \textit{C. Lombardi} et al., Theor. Comput. Sci. 781, 92--110 (2019; Zbl 1423.68235) Full Text: DOI
Zhao, Liang; Wang, Xiaobing; Duan, Zhenhua Model checking of pushdown systems for projection temporal logic. (English) Zbl 1423.68297 Theor. Comput. Sci. 774, 82-94 (2019). MSC: 68Q60 03B44 68Q17 68Q45 PDFBibTeX XMLCite \textit{L. Zhao} et al., Theor. Comput. Sci. 774, 82--94 (2019; Zbl 1423.68297) Full Text: DOI
Usevich, Konstantin; Markovsky, Ivan Variable projection methods for approximate (greatest) common divisor computations. (English) Zbl 1375.65062 Theor. Comput. Sci. 681, 176-198 (2017). MSC: 65F30 11A05 11C20 65F20 15B05 65Y20 PDFBibTeX XMLCite \textit{K. Usevich} and \textit{I. Markovsky}, Theor. Comput. Sci. 681, 176--198 (2017; Zbl 1375.65062) Full Text: DOI arXiv
Zhang, Nan; Duan, Zhenhua; Tian, Cong A mechanism of function calls in MSVL. (English) Zbl 1353.68184 Theor. Comput. Sci. 654, 11-25 (2016). MSC: 68Q60 68N17 68Q85 PDFBibTeX XMLCite \textit{N. Zhang} et al., Theor. Comput. Sci. 654, 11--25 (2016; Zbl 1353.68184) Full Text: DOI
Choromanska, Anna; Choromanski, Krzysztof; Jagannathan, Geetha; Monteleoni, Claire Differentially-private learning of low dimensional manifolds. (English) Zbl 1335.68198 Theor. Comput. Sci. 620, 91-104 (2016). MSC: 68T05 PDFBibTeX XMLCite \textit{A. Choromanska} et al., Theor. Comput. Sci. 620, 91--104 (2016; Zbl 1335.68198) Full Text: DOI
Zhang, Nan; Duan, Zhenhua; Tian, Cong A complete axiom system for propositional projection temporal logic with cylinder computation model. (English) Zbl 1332.68145 Theor. Comput. Sci. 609, Part 3, 639-657 (2016). MSC: 68Q60 03B44 68T15 PDFBibTeX XMLCite \textit{N. Zhang} et al., Theor. Comput. Sci. 609, Part 3, 639--657 (2016; Zbl 1332.68145) Full Text: DOI
Duan, Zhenhua; Tian, Cong; Zhang, Nan A canonical form based decision procedure and model checking approach for propositional projection temporal logic. (English) Zbl 1370.68200 Theor. Comput. Sci. 609, Part 3, 544-560 (2016). Reviewer: Martin Lange (Kassel) MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{Z. Duan} et al., Theor. Comput. Sci. 609, Part 3, 544--560 (2016; Zbl 1370.68200) Full Text: DOI
Kratochvíl, Jan; Telle, Jan Arne; Tesař, Marek Computational complexity of covering three-vertex multigraphs. (English) Zbl 1331.68108 Theor. Comput. Sci. 609, Part 1, 104-117 (2016). MSC: 68Q25 05C70 68Q17 PDFBibTeX XMLCite \textit{J. Kratochvíl} et al., Theor. Comput. Sci. 609, Part 1, 104--117 (2016; Zbl 1331.68108) Full Text: DOI
Guan, Xuechong; Li, Yongming On conditions for mappings to preserve optimal solutions of semiring-induced valuation algebras. (English) Zbl 1302.68261 Theor. Comput. Sci. 563, 86-98 (2015). MSC: 68T37 08A70 16Y60 PDFBibTeX XMLCite \textit{X. Guan} and \textit{Y. Li}, Theor. Comput. Sci. 563, 86--98 (2015; Zbl 1302.68261) Full Text: DOI
Zhang, Nan; Duan, Zhenhua; Tian, Cong; Du, Dingzhu A formal proof of the deadline driven scheduler in PPTL axiomatic system. (English) Zbl 1360.68771 Theor. Comput. Sci. 554, 229-253 (2014). MSC: 68T15 03B44 68M20 68N30 68Q60 68Q85 PDFBibTeX XMLCite \textit{N. Zhang} et al., Theor. Comput. Sci. 554, 229--253 (2014; Zbl 1360.68771) Full Text: DOI
Duan, Zhenhua; Tian, Cong A practical decision procedure for propositional projection temporal logic with infinite models. (English) Zbl 1358.68188 Theor. Comput. Sci. 554, 169-190 (2014). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{Z. Duan} and \textit{C. Tian}, Theor. Comput. Sci. 554, 169--190 (2014; Zbl 1358.68188) Full Text: DOI
Zhang, Nan; Duan, Zhenhua; Tian, Cong A cylinder computation model for many-core parallel computing. (English) Zbl 1416.68074 Theor. Comput. Sci. 497, 68-83 (2013). MSC: 68Q05 68Q10 68Q60 PDFBibTeX XMLCite \textit{N. Zhang} et al., Theor. Comput. Sci. 497, 68--83 (2013; Zbl 1416.68074) Full Text: DOI
Terui, Akira GPGCD: an iterative method for calculating approximate GCD of univariate polynomials. (English) Zbl 1291.65162 Theor. Comput. Sci. 479, 127-149 (2013). MSC: 65H10 12Y05 12E05 68W30 PDFBibTeX XMLCite \textit{A. Terui}, Theor. Comput. Sci. 479, 127--149 (2013; Zbl 1291.65162) Full Text: DOI arXiv
Ganguly, Niloy; Ghosh, Saptarshi; Krueger, Tyll; Srivastava, Ajitesh Degree distributions of evolving alphabetic bipartite networks and their projections. (English) Zbl 1258.05119 Theor. Comput. Sci. 466, 20-36 (2012). MSC: 05C90 05C82 PDFBibTeX XMLCite \textit{N. Ganguly} et al., Theor. Comput. Sci. 466, 20--36 (2012; Zbl 1258.05119) Full Text: DOI
Li, Jiao-Fen; Hu, Xi-Yan; Zhang, Lei Dykstra’s algorithm for constrained least-squares doubly symmetric matrix problems. (English) Zbl 1195.65054 Theor. Comput. Sci. 411, No. 31-33, 2818-2826 (2010). MSC: 65F30 65K05 90C25 PDFBibTeX XMLCite \textit{J.-F. Li} et al., Theor. Comput. Sci. 411, No. 31--33, 2818--2826 (2010; Zbl 1195.65054) Full Text: DOI
Frosini, Andrea; Nivat, Maurice; Rinaldi, Simone Scanning integer matrices by means of two rectangular windows. (English) Zbl 1160.68043 Theor. Comput. Sci. 406, No. 1-2, 90-96 (2008). MSC: 68U05 PDFBibTeX XMLCite \textit{A. Frosini} et al., Theor. Comput. Sci. 406, No. 1--2, 90--96 (2008; Zbl 1160.68043) Full Text: DOI
Frosini, Andrea; Nivat, Maurice Binary matrices under the microscope: A tomographical problem. (English) Zbl 1113.68107 Theor. Comput. Sci. 370, No. 1-3, 201-217 (2007). MSC: 68U05 68U10 15B36 PDFBibTeX XMLCite \textit{A. Frosini} and \textit{M. Nivat}, Theor. Comput. Sci. 370, No. 1--3, 201--217 (2007; Zbl 1113.68107) Full Text: DOI arXiv
Kuba, Attila; Nivat, Murice A sufficient condition for non-uniqueness in binary tomography with absorption. (English) Zbl 1081.68117 Theor. Comput. Sci. 346, No. 2-3, 335-357 (2005). MSC: 68U10 PDFBibTeX XMLCite \textit{A. Kuba} and \textit{M. Nivat}, Theor. Comput. Sci. 346, No. 2--3, 335--357 (2005; Zbl 1081.68117) Full Text: DOI
Frias, M. F.; Maddux, R. D. Completeness of a relational calculus for program schemes. (English) Zbl 0974.68110 Theor. Comput. Sci. 254, No. 1-2, 543-556 (2001). MSC: 68Q55 PDFBibTeX XMLCite \textit{M. F. Frias} and \textit{R. D. Maddux}, Theor. Comput. Sci. 254, No. 1--2, 543--556 (2001; Zbl 0974.68110) Full Text: DOI
Spreen, Dieter On functions preserving levels of approximation: A refined model construction for various lambda calculi. (English) Zbl 0913.68136 Theor. Comput. Sci. 212, No. 1-2, 261-303 (1999). MSC: 68Q60 03B40 68Q55 PDFBibTeX XMLCite \textit{D. Spreen}, Theor. Comput. Sci. 212, No. 1--2, 261--303 (1999; Zbl 0913.68136) Full Text: DOI
Duchamp, Gérard Orthogonal projection onto the free Lie algebra. (English) Zbl 0725.17006 Theor. Comput. Sci. 79, No. 1, 227-239 (1991). Reviewer: Melih Boral (Adana) MSC: 17B01 16S10 03D40 PDFBibTeX XMLCite \textit{G. Duchamp}, Theor. Comput. Sci. 79, No. 1, 227--239 (1991; Zbl 0725.17006) Full Text: DOI
Staiger, Ludwig Projection lemmas for \(\omega\)-languages. (English) Zbl 0545.68074 Theor. Comput. Sci. 32, 331-337 (1984). MSC: 68Q45 PDFBibTeX XMLCite \textit{L. Staiger}, Theor. Comput. Sci. 32, 331--337 (1984; Zbl 0545.68074) Full Text: DOI