Dennunzio, Alberto; Formenti, Enrico; Grinberg, Darij; Margara, Luciano An efficiently computable characterization of stability and instability for linear cellular automata. (English) Zbl 1527.68136 J. Comput. Syst. Sci. 122, 63-71 (2021). MSC: 68Q80 37B15 PDFBibTeX XMLCite \textit{A. Dennunzio} et al., J. Comput. Syst. Sci. 122, 63--71 (2021; Zbl 1527.68136) Full Text: DOI
Zheng, Yunhai; Tian, Chengliang; Zhang, Hanlin; Yu, Jia; Li, Fengjun Lattice-based weak-key analysis on single-server outsourcing protocols of modular exponentiations and basic countermeasures. (English) Zbl 1517.68107 J. Comput. Syst. Sci. 121, 18-33 (2021). MSC: 68P25 94A60 PDFBibTeX XMLCite \textit{Y. Zheng} et al., J. Comput. Syst. Sci. 121, 18--33 (2021; Zbl 1517.68107) Full Text: DOI
Protasov, Vladimir Yu. Analytic methods for reachability problems. (English) Zbl 1477.68159 J. Comput. Syst. Sci. 120, 1-13 (2021). MSC: 68Q45 15B48 47H09 PDFBibTeX XMLCite \textit{V. Yu. Protasov}, J. Comput. Syst. Sci. 120, 1--13 (2021; Zbl 1477.68159) Full Text: DOI
Claude, Francisco; Navarro, Gonzalo; Pacheco, Alejandro Grammar-compressed indexes with logarithmic search time. (English) Zbl 1477.68104 J. Comput. Syst. Sci. 118, 53-74 (2021). MSC: 68P30 68Q42 PDFBibTeX XMLCite \textit{F. Claude} et al., J. Comput. Syst. Sci. 118, 53--74 (2021; Zbl 1477.68104) Full Text: DOI arXiv
Berlinkov, Mikhail V.; Ferens, Robert; Szykuła, Marek Preimage problems for deterministic finite automata. (English) Zbl 1464.68148 J. Comput. Syst. Sci. 115, 214-234 (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{M. V. Berlinkov} et al., J. Comput. Syst. Sci. 115, 214--234 (2021; Zbl 1464.68148) Full Text: DOI arXiv
Galanis, Andreas; Goldberg, Leslie Ann; Yang, Kuan Approximating partition functions of bounded-degree Boolean counting constraint satisfaction problems. (English) Zbl 1464.68272 J. Comput. Syst. Sci. 115, 187-213 (2021). MSC: 68R07 68Q17 68Q25 PDFBibTeX XMLCite \textit{A. Galanis} et al., J. Comput. Syst. Sci. 115, 187--213 (2021; Zbl 1464.68272) Full Text: DOI arXiv Link
Zhao, Shuang; Chen, Zongqing; Yang, Weihua; Meng, Jixiang Edge fault-tolerance analysis of maximally edge-connected graphs and super edge-connected graphs. (English) Zbl 1464.68035 J. Comput. Syst. Sci. 115, 64-72 (2021). MSC: 68M15 05C40 68R10 PDFBibTeX XMLCite \textit{S. Zhao} et al., J. Comput. Syst. Sci. 115, 64--72 (2021; Zbl 1464.68035) Full Text: DOI
Emura, Keita; Ito, Katsuhiko; Ohigashi, Toshihiro Secure-channel free searchable encryption with multiple keywords: a generic construction, an instantiation, and its implementation. (English) Zbl 1458.94233 J. Comput. Syst. Sci. 114, 107-125 (2020). MSC: 94A60 94A40 PDFBibTeX XMLCite \textit{K. Emura} et al., J. Comput. Syst. Sci. 114, 107--125 (2020; Zbl 1458.94233) Full Text: DOI
Cheng, Chia-Wen; Hsieh, Sun-Yuan; Klasing, Ralf Vulnerability of super extra edge-connected graphs. (English) Zbl 1436.68225 J. Comput. Syst. Sci. 108, 1-9 (2020). MSC: 68R10 05C40 68M15 PDFBibTeX XMLCite \textit{C.-W. Cheng} et al., J. Comput. Syst. Sci. 108, 1--9 (2020; Zbl 1436.68225) Full Text: DOI HAL
Frati, Fabrizio; Patrignani, Maurizio; Roselli, Vincenzo LR-drawings of ordered rooted binary trees and near-linear area drawings of outerplanar graphs. (English) Zbl 1436.68236 J. Comput. Syst. Sci. 107, 28-53 (2020). MSC: 68R10 05C62 05C85 68Q25 PDFBibTeX XMLCite \textit{F. Frati} et al., J. Comput. Syst. Sci. 107, 28--53 (2020; Zbl 1436.68236) Full Text: DOI arXiv
Bailly, Raphaël; Rabusseau, Guillaume; Denis, François Recognizable series on graphs and hypergraphs. (English) Zbl 1423.68162 J. Comput. Syst. Sci. 104, 58-81 (2019). MSC: 68Q05 05C65 15A69 PDFBibTeX XMLCite \textit{R. Bailly} et al., J. Comput. Syst. Sci. 104, 58--81 (2019; Zbl 1423.68162) Full Text: DOI
Babari, Parvaneh; Droste, Manfred A Nivat theorem for weighted picture automata and weighted MSO logics. (English) Zbl 1423.68242 J. Comput. Syst. Sci. 104, 41-57 (2019). MSC: 68Q45 03B15 03D05 PDFBibTeX XMLCite \textit{P. Babari} and \textit{M. Droste}, J. Comput. Syst. Sci. 104, 41--57 (2019; Zbl 1423.68242) Full Text: DOI
Fernau, Henning; Paramasivan, Meenakshi; Schmid, Markus L.; Thomas, D. Gnanaraj Simple picture processing based on finite automata and regular grammars. (English) Zbl 1390.68393 J. Comput. Syst. Sci. 95, 232-258 (2018). MSC: 68Q45 68U10 PDFBibTeX XMLCite \textit{H. Fernau} et al., J. Comput. Syst. Sci. 95, 232--258 (2018; Zbl 1390.68393) Full Text: DOI
Nasser, Hayat; Ngo, Phuc; Debled-Rennesson, Isabelle Dominant point detection based on discrete curve structure and applications. (English) Zbl 1391.68114 J. Comput. Syst. Sci. 95, 177-192 (2018). MSC: 68U05 68U10 PDFBibTeX XMLCite \textit{H. Nasser} et al., J. Comput. Syst. Sci. 95, 177--192 (2018; Zbl 1391.68114) Full Text: DOI Link
Han, Sang-Eon Homotopic properties of an MA-digitization of 2D Euclidean spaces. (English) Zbl 1391.68110 J. Comput. Syst. Sci. 95, 165-176 (2018). MSC: 68U05 55P10 55U10 PDFBibTeX XMLCite \textit{S.-E. Han}, J. Comput. Syst. Sci. 95, 165--176 (2018; Zbl 1391.68110) Full Text: DOI
Šlapal, Josef Categorical aspects of inducing closure operators on graphs by sets of walks. (English) Zbl 1391.68116 J. Comput. Syst. Sci. 95, 143-150 (2018). MSC: 68U05 06A15 18B99 54A05 68R10 PDFBibTeX XMLCite \textit{J. Šlapal}, J. Comput. Syst. Sci. 95, 143--150 (2018; Zbl 1391.68116) Full Text: DOI
Lin, Limei; Hsieh, Sun-Yuan; Xu, Li; Zhou, Shuming; Chen, Riqing The relationship between extra connectivity and conditional diagnosability of regular graphs under the PMC model. (English) Zbl 1390.68506 J. Comput. Syst. Sci. 95, 1-18 (2018). MSC: 68R10 68M15 PDFBibTeX XMLCite \textit{L. Lin} et al., J. Comput. Syst. Sci. 95, 1--18 (2018; Zbl 1390.68506) Full Text: DOI
Agarwal, Pankaj K.; Kumar, Nirman; Sintos, Stavros; Suri, Subhash Range-max queries on uncertain data. (English) Zbl 1390.68198 J. Comput. Syst. Sci. 94, 118-134 (2018). MSC: 68P05 68P15 PDFBibTeX XMLCite \textit{P. K. Agarwal} et al., J. Comput. Syst. Sci. 94, 118--134 (2018; Zbl 1390.68198) Full Text: DOI
Gottlob, Georg; Greco, Gianluigi; Scarcello, Francesco Tree projections and constraint optimization problems: fixed-parameter tractability and parallel algorithms. (English) Zbl 1390.68345 J. Comput. Syst. Sci. 94, 11-40 (2018). MSC: 68Q25 68Q10 68R10 68W10 90C27 PDFBibTeX XMLCite \textit{G. Gottlob} et al., J. Comput. Syst. Sci. 94, 11--40 (2018; Zbl 1390.68345) Full Text: DOI arXiv
Leporati, Alberto; Manzoni, Luca; Mauri, Giancarlo; Porreca, Antonio E.; Zandron, Claudio Characterising the complexity of tissue P systems with fission rules. (English) Zbl 1374.68218 J. Comput. Syst. Sci. 90, 115-128 (2017). MSC: 68Q05 68Q15 68Q25 PDFBibTeX XMLCite \textit{A. Leporati} et al., J. Comput. Syst. Sci. 90, 115--128 (2017; Zbl 1374.68218) Full Text: DOI
Huang, Kaibin; Tso, Raylin; Chen, Yu-Chi Somewhat semantic secure public key encryption with filtered-equality-test in the standard model and its extension to searchable encryption. (English) Zbl 1372.68087 J. Comput. Syst. Sci. 89, 400-409 (2017). MSC: 68P25 94A60 PDFBibTeX XMLCite \textit{K. Huang} et al., J. Comput. Syst. Sci. 89, 400--409 (2017; Zbl 1372.68087) Full Text: DOI
Park, Jung-Heum; Kim, Hee-Chul; Lim, Hyeong-Seok Disjoint path covers with path length constraints in restricted hypercube-like graphs. (English) Zbl 1372.68215 J. Comput. Syst. Sci. 89, 246-269 (2017). MSC: 68R10 05C70 68M15 PDFBibTeX XMLCite \textit{J.-H. Park} et al., J. Comput. Syst. Sci. 89, 246--269 (2017; Zbl 1372.68215) Full Text: DOI
Xiao, Guoqing; Li, Kenli; Zhou, Xu; Li, Keqin Efficient monochromatic and bichromatic probabilistic reverse top-\(k\) query processing for uncertain big data. (English) Zbl 1372.68227 J. Comput. Syst. Sci. 89, 92-113 (2017). MSC: 68T05 68P15 PDFBibTeX XMLCite \textit{G. Xiao} et al., J. Comput. Syst. Sci. 89, 92--113 (2017; Zbl 1372.68227) Full Text: DOI
Hamadou, Sardaouna; Palamidessi, Catuscia; Sassone, Vladimiro Quantifying leakage in the presence of unreliable sources of information. (English) Zbl 1371.68073 J. Comput. Syst. Sci. 88, 27-52 (2017). MSC: 68P25 68P30 PDFBibTeX XMLCite \textit{S. Hamadou} et al., J. Comput. Syst. Sci. 88, 27--52 (2017; Zbl 1371.68073) Full Text: DOI Link
Bottoni, Paolo; Labella, Anna; Mitrana, Victor Networks of polarized multiset processors. (English) Zbl 1356.68058 J. Comput. Syst. Sci. 85, 93-103 (2017). MSC: 68Q05 68Q10 68Q42 PDFBibTeX XMLCite \textit{P. Bottoni} et al., J. Comput. Syst. Sci. 85, 93--103 (2017; Zbl 1356.68058) Full Text: DOI
Pal, Dipali; Rao, Praveen; Slavov, Vasil; Katib, Anas Fast processing of graph queries on a large database of small and medium-sized data graphs. (English) Zbl 1408.68050 J. Comput. Syst. Sci. 82, No. 6, 1112-1143 (2016). MSC: 68P15 PDFBibTeX XMLCite \textit{D. Pal} et al., J. Comput. Syst. Sci. 82, No. 6, 1112--1143 (2016; Zbl 1408.68050) Full Text: DOI
Hannula, Miika; Kontinen, Juha; Link, Sebastian On the finite and general implication problems of independence atoms and keys. (English) Zbl 1338.68057 J. Comput. Syst. Sci. 82, No. 5, 856-877 (2016). MSC: 68P15 03B70 PDFBibTeX XMLCite \textit{M. Hannula} et al., J. Comput. Syst. Sci. 82, No. 5, 856--877 (2016; Zbl 1338.68057) Full Text: DOI
Cheng, Chia-Wen; Hsieh, Sun-Yuan Edge-fault-tolerant pancyclicity and bipancyclicity of Cartesian product graphs with faulty edges. (English) Zbl 1338.68027 J. Comput. Syst. Sci. 82, No. 5, 767-781 (2016). MSC: 68M15 05C76 68R10 PDFBibTeX XMLCite \textit{C.-W. Cheng} and \textit{S.-Y. Hsieh}, J. Comput. Syst. Sci. 82, No. 5, 767--781 (2016; Zbl 1338.68027) Full Text: DOI
Fletcher, George H. L.; Gyssens, Marc; Paredaens, Jan; Van Gucht, Dirk; Wu, Yuqing Structural characterizations of the navigational expressiveness of relation algebras on a tree. (English) Zbl 1346.68080 J. Comput. Syst. Sci. 82, No. 2, 229-259 (2016). MSC: 68P15 03G15 PDFBibTeX XMLCite \textit{G. H. L. Fletcher} et al., J. Comput. Syst. Sci. 82, No. 2, 229--259 (2016; Zbl 1346.68080) Full Text: DOI arXiv
Vychodil, Vilem Monoidal functional dependencies. (English) Zbl 1339.68070 J. Comput. Syst. Sci. 81, No. 7, 1357-1372 (2015). MSC: 68P15 03B70 06F05 PDFBibTeX XMLCite \textit{V. Vychodil}, J. Comput. Syst. Sci. 81, No. 7, 1357--1372 (2015; Zbl 1339.68070) Full Text: DOI arXiv
Kortelainen, Juha On simple generators of recursively enumerable languages. (English) Zbl 1298.68144 J. Comput. Syst. Sci. 81, No. 1, 249-257 (2015). MSC: 68Q45 11D41 11D09 PDFBibTeX XMLCite \textit{J. Kortelainen}, J. Comput. Syst. Sci. 81, No. 1, 249--257 (2015; Zbl 1298.68144) Full Text: DOI
Li, Chunguang; Zeng, Shouzhen; Pan, Tiejun; Zheng, Leina A method based on induced aggregation operators and distance measures to multiple attribute decision making under 2-tuple linguistic environment. (English) Zbl 1410.68353 J. Comput. Syst. Sci. 80, No. 7, 1339-1349 (2014). MSC: 68T37 91B06 PDFBibTeX XMLCite \textit{C. Li} et al., J. Comput. Syst. Sci. 80, No. 7, 1339--1349 (2014; Zbl 1410.68353) Full Text: DOI
Wan, Shuping; Dong, Jiuying A possibility degree method for interval-valued intuitionistic fuzzy multi-attribute group decision making. (English) Zbl 1311.68156 J. Comput. Syst. Sci. 80, No. 1, 237-256 (2014). MSC: 68T37 91B06 PDFBibTeX XMLCite \textit{S. Wan} and \textit{J. Dong}, J. Comput. Syst. Sci. 80, No. 1, 237--256 (2014; Zbl 1311.68156) Full Text: DOI
García, David; González, Antonio; Pérez, Raúl A feature construction approach for genetic iterative rule learning algorithm. (English) Zbl 1311.68135 J. Comput. Syst. Sci. 80, No. 1, 101-117 (2014). MSC: 68T05 PDFBibTeX XMLCite \textit{D. García} et al., J. Comput. Syst. Sci. 80, No. 1, 101--117 (2014; Zbl 1311.68135) Full Text: DOI
Otero, José; Sánchez, Luciano; Couso, Inés; Palacios, Ana Bootstrap analysis of multiple repetitions of experiments using an interval-valued multiple comparison procedure. (English) Zbl 1311.68141 J. Comput. Syst. Sci. 80, No. 1, 88-100 (2014). MSC: 68T05 62G09 62G10 PDFBibTeX XMLCite \textit{J. Otero} et al., J. Comput. Syst. Sci. 80, No. 1, 88--100 (2014; Zbl 1311.68141) Full Text: DOI Link
De Meo, Pasquale; Ferrara, Emilio; Fiumara, Giacomo; Provetti, Alessandro Mixing local and global information for community detection in large networks. (English) Zbl 1311.68133 J. Comput. Syst. Sci. 80, No. 1, 72-87 (2014). MSC: 68T05 05C82 91D30 PDFBibTeX XMLCite \textit{P. De Meo} et al., J. Comput. Syst. Sci. 80, No. 1, 72--87 (2014; Zbl 1311.68133) Full Text: DOI arXiv
Shelokar, Prakash; Quirin, Arnaud; Cordón, Óscar Three-objective subgraph mining using multiobjective evolutionary programming. (English) Zbl 1311.68142 J. Comput. Syst. Sci. 80, No. 1, 16-26 (2014). MSC: 68T05 68T20 90C29 PDFBibTeX XMLCite \textit{P. Shelokar} et al., J. Comput. Syst. Sci. 80, No. 1, 16--26 (2014; Zbl 1311.68142) Full Text: DOI
Reiser, R. H. S.; Bedregal, B. C.; dos Reis, G. A. A. Interval-valued fuzzy coimplications and related dual interval-valued conjugate functions. (English) Zbl 1433.03066 J. Comput. Syst. Sci. 80, No. 2, 410-425 (2014). MSC: 03B52 PDFBibTeX XMLCite \textit{R. H. S. Reiser} et al., J. Comput. Syst. Sci. 80, No. 2, 410--425 (2014; Zbl 1433.03066) Full Text: DOI
Deng, Ting; Fan, Wenfei; Libkin, Leonid; Wu, Yinghui On the aggregation problem for synthesized web services. (English) Zbl 1408.68029 J. Comput. Syst. Sci. 79, No. 6, 873-891 (2013). MSC: 68M11 68Q17 68Q45 PDFBibTeX XMLCite \textit{T. Deng} et al., J. Comput. Syst. Sci. 79, No. 6, 873--891 (2013; Zbl 1408.68029) Full Text: DOI
Chang, Nai-Wen; Hsieh, Sun-Yuan \(\{2,3\}\)-extraconnectivities of hypercube-like networks. (English) Zbl 1268.68133 J. Comput. Syst. Sci. 79, No. 5, 669-688 (2013). MSC: 68R10 68M10 05C40 05C65 PDFBibTeX XMLCite \textit{N.-W. Chang} and \textit{S.-Y. Hsieh}, J. Comput. Syst. Sci. 79, No. 5, 669--688 (2013; Zbl 1268.68133) Full Text: DOI
Link, Sebastian Characterisations of multivalued dependency implication over undetermined universes. (English) Zbl 1246.68111 J. Comput. Syst. Sci. 78, No. 4, 1026-1044 (2012). MSC: 68P15 PDFBibTeX XMLCite \textit{S. Link}, J. Comput. Syst. Sci. 78, No. 4, 1026--1044 (2012; Zbl 1246.68111) Full Text: DOI
Wei, Chunfu; Pei, Zheng; Li, Huamin An induced OWA operator in coal mine safety evaluation. (English) Zbl 1244.68075 J. Comput. Syst. Sci. 78, No. 4, 997-1005 (2012). MSC: 68T37 68U35 90B50 91F20 PDFBibTeX XMLCite \textit{C. Wei} et al., J. Comput. Syst. Sci. 78, No. 4, 997--1005 (2012; Zbl 1244.68075) Full Text: DOI
Jobstmann, Barbara; Staber, Stefan; Griesmayer, Andreas; Bloem, Roderick Finding and fixing faults. (English) Zbl 1263.68112 J. Comput. Syst. Sci. 78, No. 2, 441-460 (2012). Reviewer: Johan Georg Granström (Zürich) MSC: 68Q60 91A80 03B70 68N30 68Q25 68T20 PDFBibTeX XMLCite \textit{B. Jobstmann} et al., J. Comput. Syst. Sci. 78, No. 2, 441--460 (2012; Zbl 1263.68112) Full Text: DOI
Cuzzocrea, Alfredo; Bertino, Elisa Privacy preserving OLAP over distributed XML data: A theoretically-sound secure-multiparty-computation approach. (English) Zbl 1232.68032 J. Comput. Syst. Sci. 77, No. 6, 965-987 (2011). MSC: 68P05 68M99 PDFBibTeX XMLCite \textit{A. Cuzzocrea} and \textit{E. Bertino}, J. Comput. Syst. Sci. 77, No. 6, 965--987 (2011; Zbl 1232.68032) Full Text: DOI
Wang, Ren-Chiun; Juang, Wen-Shenq; Lei, Chin-Laung Provably secure and efficient identification and key agreement protocol with user anonymity. (English) Zbl 1210.68033 J. Comput. Syst. Sci. 77, No. 4, 790-798 (2011). MSC: 68M12 94A60 94A62 PDFBibTeX XMLCite \textit{R.-C. Wang} et al., J. Comput. Syst. Sci. 77, No. 4, 790--798 (2011; Zbl 1210.68033) Full Text: DOI
Xuan, Kefeng; Zhao, Geng; Taniar, David; Rahayu, Wenny; Safar, Maytham; Srinivasan, Bala Voronoi-based range and continuous range query processing in mobile databases. (English) Zbl 1214.68147 J. Comput. Syst. Sci. 77, No. 4, 637-651 (2011). MSC: 68P15 68P10 68U05 PDFBibTeX XMLCite \textit{K. Xuan} et al., J. Comput. Syst. Sci. 77, No. 4, 637--651 (2011; Zbl 1214.68147) Full Text: DOI
Ćirić, Miroslav; Stamenković, Aleksandar; Ignjatović, Jelena; Petković, Tatjana Fuzzy relation equations and reduction of fuzzy automata. (English) Zbl 1197.68051 J. Comput. Syst. Sci. 76, No. 7, 609-633 (2010). MSC: 68Q45 03E72 PDFBibTeX XMLCite \textit{M. Ćirić} et al., J. Comput. Syst. Sci. 76, No. 7, 609--633 (2010; Zbl 1197.68051) Full Text: DOI
Chen, Ting-Yu; Wang, Jih-Chang Interval-valued fuzzy permutation method and experimental analysis on cardinal and ordinal evaluations. (English) Zbl 1187.68536 J. Comput. Syst. Sci. 75, No. 7, 371-387 (2009). MSC: 68T20 PDFBibTeX XMLCite \textit{T.-Y. Chen} and \textit{J.-C. Wang}, J. Comput. Syst. Sci. 75, No. 7, 371--387 (2009; Zbl 1187.68536) Full Text: DOI
Belohlavek, Radim; Dvořák, Jiří; Outrata, Jan Fast factorization by similarity in formal concept analysis of data with fuzzy attributes. (English) Zbl 1121.68112 J. Comput. Syst. Sci. 73, No. 6, 1012-1022 (2007). MSC: 68T30 03E72 06A15 06B23 PDFBibTeX XMLCite \textit{R. Belohlavek} et al., J. Comput. Syst. Sci. 73, No. 6, 1012--1022 (2007; Zbl 1121.68112) Full Text: DOI
Xia, Hui-Cheng; Li, Deng-Feng; Zhou, Ji-Yan; Wang, Jian-Ming Fuzzy LINMAP method for multiattribute decision making under fuzzy environments. (English) Zbl 1094.90055 J. Comput. Syst. Sci. 72, No. 4, 741-759 (2006). MSC: 90C70 90B50 PDFBibTeX XMLCite \textit{H.-C. Xia} et al., J. Comput. Syst. Sci. 72, No. 4, 741--759 (2006; Zbl 1094.90055) Full Text: DOI
Xu, Baowen; Zhou, Yuming; Lu, Hongmin An improved accuracy measure for rough sets. (English) Zbl 1076.68078 J. Comput. Syst. Sci. 71, No. 2, 163-173 (2005). MSC: 68T30 68T37 PDFBibTeX XMLCite \textit{B. Xu} et al., J. Comput. Syst. Sci. 71, No. 2, 163--173 (2005; Zbl 1076.68078) Full Text: DOI
Huang, Chongfu; Moraga, Claudio Extracting fuzzy if-then rules by using the information matrix technique. (English) Zbl 1133.68075 J. Comput. Syst. Sci. 70, No. 1, 26-52 (2005). Reviewer: George S. Stavrakakis (Chania) MSC: 68T99 93C42 PDFBibTeX XMLCite \textit{C. Huang} and \textit{C. Moraga}, J. Comput. Syst. Sci. 70, No. 1, 26--52 (2005; Zbl 1133.68075) Full Text: DOI
Flesca, Sergio; Greco, Sergio Partially ordered regular languages for graph queries. (English) Zbl 1076.68039 J. Comput. Syst. Sci. 70, No. 1, 1-25 (2005). MSC: 68Q45 68Q42 PDFBibTeX XMLCite \textit{S. Flesca} and \textit{S. Greco}, J. Comput. Syst. Sci. 70, No. 1, 1--25 (2005; Zbl 1076.68039) Full Text: DOI
Achlioptas, Dimitris; Beame, Paul; Molloy, Michael A sharp threshold in proof complexity yields lower bounds for satisfiability search. (English) Zbl 1093.03033 J. Comput. Syst. Sci. 68, No. 2, 238-268 (2004). MSC: 03F20 68Q25 PDFBibTeX XMLCite \textit{D. Achlioptas} et al., J. Comput. Syst. Sci. 68, No. 2, 238--268 (2004; Zbl 1093.03033) Full Text: DOI Link
Case, John; Jain, Sanjay; Stephan, Frank; Wiehagen, Rolf Robust learning – rich and poor. (English) Zbl 1076.68036 J. Comput. Syst. Sci. 69, No. 2, 123-165 (2004). MSC: 68Q32 PDFBibTeX XMLCite \textit{J. Case} et al., J. Comput. Syst. Sci. 69, No. 2, 123--165 (2004; Zbl 1076.68036) Full Text: DOI
Ly, Olivier Automatic graphs and D0L-sequences of finite graphs. (English) Zbl 1114.68048 J. Comput. Syst. Sci. 67, No. 3, 497-545 (2003). MSC: 68Q45 03D05 03D10 03B25 03D35 05C20 68Q42 PDFBibTeX XMLCite \textit{O. Ly}, J. Comput. Syst. Sci. 67, No. 3, 497--545 (2003; Zbl 1114.68048) Full Text: DOI
Damaschke, Peter On parallel attribute-efficient learning. (English) Zbl 1055.68060 J. Comput. Syst. Sci. 67, No. 1, 46-62 (2003). MSC: 68Q32 PDFBibTeX XMLCite \textit{P. Damaschke}, J. Comput. Syst. Sci. 67, No. 1, 46--62 (2003; Zbl 1055.68060) Full Text: DOI
Skodinis, K.; Wanke, E. Node replacements in embedding normal form. (English) Zbl 1059.68053 J. Comput. Syst. Sci. 65, No. 2, 351-376 (2002). MSC: 68Q42 PDFBibTeX XMLCite \textit{K. Skodinis} and \textit{E. Wanke}, J. Comput. Syst. Sci. 65, No. 2, 351--376 (2002; Zbl 1059.68053) Full Text: DOI
Kim, Changwook Separation results for separated apex NLC and NCE graph languages. (English) Zbl 0983.68107 J. Comput. Syst. Sci. 62, No. 4, 608-628 (2001). MSC: 68Q45 PDFBibTeX XMLCite \textit{C. Kim}, J. Comput. Syst. Sci. 62, No. 4, 608--628 (2001; Zbl 0983.68107) Full Text: DOI
Jain, Sanjay; Smith, Carl; Wiehagen, Rolf Robust learning is rich. (English) Zbl 0992.68176 J. Comput. Syst. Sci. 62, No. 1, 178-212 (2001). MSC: 68T05 PDFBibTeX XMLCite \textit{S. Jain} et al., J. Comput. Syst. Sci. 62, No. 1, 178--212 (2001; Zbl 0992.68176) Full Text: DOI Link
Case, John; Jain, Sanjay Synthesizing learners tolerating computable noisy data. (English) Zbl 0990.68083 J. Comput. Syst. Sci. 62, No. 3, 413-441 (2001). MSC: 68Q42 68Q45 PDFBibTeX XMLCite \textit{J. Case} and \textit{S. Jain}, J. Comput. Syst. Sci. 62, No. 3, 413--441 (2001; Zbl 0990.68083) Full Text: DOI
Kolaitis, Phokion G.; Vardi, Moshe Y. Conjunctive-query containment and constraint satisfaction. (English) Zbl 0963.68059 J. Comput. Syst. Sci. 61, No. 2, 302-332 (2000). MSC: 68P15 PDFBibTeX XMLCite \textit{P. G. Kolaitis} and \textit{M. Y. Vardi}, J. Comput. Syst. Sci. 61, No. 2, 302--332 (2000; Zbl 0963.68059) Full Text: DOI
Chaudhuri, Pranay A self-stabilizing algorithm for detecting fundamental cycles in a graph. (English) Zbl 0939.68094 J. Comput. Syst. Sci. 59, No. 1, 84-93 (1999). MSC: 68R10 PDFBibTeX XMLCite \textit{P. Chaudhuri}, J. Comput. Syst. Sci. 59, No. 1, 84--93 (1999; Zbl 0939.68094) Full Text: DOI
Fagin, Ronald Combining fuzzy information from multiple systems. (English) Zbl 0941.68557 J. Comput. Syst. Sci. 58, No. 1, 83-99 (1999). MSC: 68P15 68M10 PDFBibTeX XMLCite \textit{R. Fagin}, J. Comput. Syst. Sci. 58, No. 1, 83--99 (1999; Zbl 0941.68557) Full Text: DOI
Malvestuto, Francesco Mario; Moscarini, Marina A fast algorithm for query optimization in universal-relation databases. (English) Zbl 0913.68060 J. Comput. Syst. Sci. 56, No. 3, 299-309 (1998). Reviewer: R.Beedgen (Mannheim) MSC: 68P15 PDFBibTeX XMLCite \textit{F. M. Malvestuto} and \textit{M. Moscarini}, J. Comput. Syst. Sci. 56, No. 3, 299--309 (1998; Zbl 0913.68060) Full Text: DOI
Rastogi, Rajeev; Mehrotra, Sharad; Breitbart, Yuri; Korth, Henry F.; Silberschatz, Avi On correctness on nonserializable executions. (English) Zbl 0914.68060 J. Comput. Syst. Sci. 56, No. 1, 68-82 (1998). MSC: 68P15 PDFBibTeX XMLCite \textit{R. Rastogi} et al., J. Comput. Syst. Sci. 56, No. 1, 68--82 (1998; Zbl 0914.68060) Full Text: DOI
Wanke, Egon The complexity of connectivity problems on context-free graph languages. (English) Zbl 0821.68079 J. Comput. Syst. Sci. 49, No. 1, 57-82 (1994). MSC: 68Q42 68Q45 68Q25 68R10 PDFBibTeX XMLCite \textit{E. Wanke}, J. Comput. Syst. Sci. 49, No. 1, 57--82 (1994; Zbl 0821.68079) Full Text: DOI
Courcelle, Bruno; Engelfriet, Joost; Rozenberg, Grzegorz Handle-rewriting hypergraph grammars. (English) Zbl 0825.68446 J. Comput. Syst. Sci. 46, No. 2, 218-270 (1993). MSC: 68Q42 05C65 PDFBibTeX XMLCite \textit{B. Courcelle} et al., J. Comput. Syst. Sci. 46, No. 2, 218--270 (1993; Zbl 0825.68446) Full Text: DOI
Yap, Chee-Keng A geometric consistency theorem for a symbolic perturbation scheme. (English) Zbl 0705.68056 J. Comput. Syst. Sci. 40, No. 1, 2-18 (1990). MSC: 68W10 68U05 68W30 PDFBibTeX XMLCite \textit{C.-K. Yap}, J. Comput. Syst. Sci. 40, No. 1, 2--18 (1990; Zbl 0705.68056) Full Text: DOI
Lausen, Georg; Soisalon-Soininen, Eljas; Widmayer, Peter On the power of safe locking. (English) Zbl 0694.68066 J. Comput. Syst. Sci. 40, No. 2, 269-288 (1990). MSC: 68P20 68M20 68Q25 PDFBibTeX XMLCite \textit{G. Lausen} et al., J. Comput. Syst. Sci. 40, No. 2, 269--288 (1990; Zbl 0694.68066) Full Text: DOI
Main, Michael G.; Rozenberg, Grzegorz Edge-label controlled graph grammars. (English) Zbl 0694.68054 J. Comput. Syst. Sci. 40, No. 2, 188-228 (1990). MSC: 68Q45 68Q25 03D15 PDFBibTeX XMLCite \textit{M. G. Main} and \textit{G. Rozenberg}, J. Comput. Syst. Sci. 40, No. 2, 188--228 (1990; Zbl 0694.68054) Full Text: DOI
Engelfriet, Joost; Leih, George; Welzl, Emo Boundary graph grammars with dynamic edge relabeling. (English) Zbl 0694.68049 J. Comput. Syst. Sci. 40, No. 3, 307-345 (1990). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Engelfriet} et al., J. Comput. Syst. Sci. 40, No. 3, 307--345 (1990; Zbl 0694.68049) Full Text: DOI
Dechter, Rina Decomposing a relation into a tree of binary relations. (English) Zbl 0694.68019 J. Comput. Syst. Sci. 41, No. 1, 2-24 (1990). MSC: 68P05 68P20 68Q25 68R10 PDFBibTeX XMLCite \textit{R. Dechter}, J. Comput. Syst. Sci. 41, No. 1, 2--24 (1990; Zbl 0694.68019) Full Text: DOI
Hromkovič, Juraj; Inoue, Katsushi; Takanami, Itsuo Lower bounds for language recognition on two-dimensional alternating multihead machines. (English) Zbl 0678.68037 J. Comput. Syst. Sci. 38, No. 3, 431-451 (1989). MSC: 68Q25 68Q45 68Q05 PDFBibTeX XMLCite \textit{J. Hromkovič} et al., J. Comput. Syst. Sci. 38, No. 3, 431--451 (1989; Zbl 0678.68037) Full Text: DOI
Van Gucht, Dirk; Fischer, Patrick C. Multilevel nested relational structures. (English) Zbl 0647.68101 J. Comput. Syst. Sci. 36, No. 1, 77-105 (1988). MSC: 68P20 68P05 PDFBibTeX XMLCite \textit{D. Van Gucht} and \textit{P. C. Fischer}, J. Comput. Syst. Sci. 36, No. 1, 77--105 (1988; Zbl 0647.68101) Full Text: DOI
Main, Michael G.; Rozenberg, Grzegorz Handle NLC grammars and r. e. languages. (English) Zbl 0627.68058 J. Comput. Syst. Sci. 35, 192-205 (1987). MSC: 68Q45 PDFBibTeX XMLCite \textit{M. G. Main} and \textit{G. Rozenberg}, J. Comput. Syst. Sci. 35, 192--205 (1987; Zbl 0627.68058) Full Text: DOI
Abiteboul, Serge; Bidoit, Nicole Non first normal form relations: An algebra allowing data restructuring. (English) Zbl 0625.68074 J. Comput. Syst. Sci. 33, 361-393 (1986). MSC: 68P20 PDFBibTeX XMLCite \textit{S. Abiteboul} and \textit{N. Bidoit}, J. Comput. Syst. Sci. 33, 361--393 (1986; Zbl 0625.68074) Full Text: DOI Link
Janssens, Dirk; Rozenberg, Grzegorz; Welzl, Emo The bounded degree problem for NLC grammars is decidable. (English) Zbl 0625.68057 J. Comput. Syst. Sci. 33, 415-422 (1986). MSC: 68Q45 PDFBibTeX XMLCite \textit{D. Janssens} et al., J. Comput. Syst. Sci. 33, 415--422 (1986; Zbl 0625.68057) Full Text: DOI
Hsu, W. J.; Du, M. W. New algorithms for the LCS problem. (English) Zbl 0587.68045 J. Comput. Syst. Sci. 29, 133-152 (1984). MSC: 68Q25 PDFBibTeX XMLCite \textit{W. J. Hsu} and \textit{M. W. Du}, J. Comput. Syst. Sci. 29, 133--152 (1984; Zbl 0587.68045) Full Text: DOI
Chen, Tsong Yueh On the fixpoints of nondeterministic recursive definitions. (English) Zbl 0566.68009 J. Comput. Syst. Sci. 29, 58-79 (1984). Reviewer: L.Ivanov MSC: 68Q60 68Q65 PDFBibTeX XMLCite \textit{T. Y. Chen}, J. Comput. Syst. Sci. 29, 58--79 (1984; Zbl 0566.68009) Full Text: DOI
Imielinski, Tomasz; Lipski, Witold jun. The relational model of data and cylindric algebras. (English) Zbl 0557.68067 J. Comput. Syst. Sci. 28, 80-102 (1984). Reviewer: E.Knuth MSC: 68P20 68P05 03G15 PDFBibTeX XMLCite \textit{T. Imielinski} and \textit{W. Lipski jun.}, J. Comput. Syst. Sci. 28, 80--102 (1984; Zbl 0557.68067) Full Text: DOI
Grefenstette, John J. Network structure and the firing squad synchronization problem. (English) Zbl 0512.68037 J. Comput. Syst. Sci. 26, 139-152 (1983). MSC: 68Q80 PDFBibTeX XMLCite \textit{J. J. Grefenstette}, J. Comput. Syst. Sci. 26, 139--152 (1983; Zbl 0512.68037) Full Text: DOI
Tchuente, Maurice Computation of Boolean functions on networks of binary automata. (English) Zbl 0508.94025 J. Comput. Syst. Sci. 26, 269-277 (1983). MSC: 94C10 PDFBibTeX XMLCite \textit{M. Tchuente}, J. Comput. Syst. Sci. 26, 269--277 (1983; Zbl 0508.94025) Full Text: DOI
Janssens, D.; Rozenberg, G. Decision problems for node label controlled graph grammars. (English) Zbl 0466.68067 J. Comput. Syst. Sci. 22, 144-177 (1981). MSC: 68Q45 68R10 PDFBibTeX XMLCite \textit{D. Janssens} and \textit{G. Rozenberg}, J. Comput. Syst. Sci. 22, 144--177 (1981; Zbl 0466.68067) Full Text: DOI
Maurer, H. A.; Salomaa, A.; Wood, D. Context-free grammar forms with strict interpretations. (English) Zbl 0523.68064 J. Comput. Syst. Sci. 21, 110-135 (1980). MSC: 68Q45 PDFBibTeX XMLCite \textit{H. A. Maurer} et al., J. Comput. Syst. Sci. 21, 110--135 (1980; Zbl 0523.68064) Full Text: DOI
Engelfriet, Joost; Rozenberg, Grzegorz; Slutzki, Giora Tree transducers, L systems, and two-way machines. (English) Zbl 0426.68075 J. Comput. Syst. Sci. 20, 150-202 (1980). MSC: 68Q45 68-02 PDFBibTeX XMLCite \textit{J. Engelfriet} et al., J. Comput. Syst. Sci. 20, 150--202 (1980; Zbl 0426.68075) Full Text: DOI Link
Golze, Ulrich (A-)synchronous (non)-deterministic cell spaces simulating each other. (English) Zbl 0397.68049 J. Comput. Syst. Sci. 17, 176-193 (1978). MSC: 68Q80 68U20 PDFBibTeX XMLCite \textit{U. Golze}, J. Comput. Syst. Sci. 17, 176--193 (1978; Zbl 0397.68049) Full Text: DOI
Kobayashi, Kojiro The firing squad synchronization problem for a class of polyautomata networks. (English) Zbl 0392.68043 J. Comput. Syst. Sci. 17, 300-318 (1978). MSC: 68Q80 PDFBibTeX XMLCite \textit{K. Kobayashi}, J. Comput. Syst. Sci. 17, 300--318 (1978; Zbl 0392.68043) Full Text: DOI
Seiferas, Joel I. Relating refined space complexity classes. (English) Zbl 0352.68063 J. Comput. Syst. Sci. 14, 100-129 (1977). MSC: 68Q25 PDFBibTeX XMLCite \textit{J. I. Seiferas}, J. Comput. Syst. Sci. 14, 100--129 (1977; Zbl 0352.68063) Full Text: DOI
Seiferas, Joel I. Techniques for separating space complexity classes. (English) Zbl 0352.68062 J. Comput. Syst. Sci. 14, 73-99 (1977). MSC: 68Q25 PDFBibTeX XMLCite \textit{J. I. Seiferas}, J. Comput. Syst. Sci. 14, 73--99 (1977; Zbl 0352.68062) Full Text: DOI
Perrault, C. Raymond Intercalation lemmas for tree transducer languages. (English) Zbl 0356.68079 J. Comput. Syst. Sci. 13, 246-277 (1976). MSC: 68Q45 PDFBibTeX XMLCite \textit{C. R. Perrault}, J. Comput. Syst. Sci. 13, 246--277 (1976; Zbl 0356.68079) Full Text: DOI
Nasu, Masakazu; Honda, Namio A completeness property of one-dimensional tessellation automata. (English) Zbl 0339.02031 J. Comput. Syst. Sci. 12, 36-48 (1976). MSC: 03D05 68Q45 PDFBibTeX XMLCite \textit{M. Nasu} and \textit{N. Honda}, J. Comput. Syst. Sci. 12, 36--48 (1976; Zbl 0339.02031) Full Text: DOI
Höllerer, W. O.; Vollmar, R. On ’forgetful’ cellular automata. (English) Zbl 0329.94026 J. Comput. Syst. Sci. 11, 237-251 (1975). MSC: 68Q45 03D05 PDFBibTeX XMLCite \textit{W. O. Höllerer} and \textit{R. Vollmar}, J. Comput. Syst. Sci. 11, 237--251 (1975; Zbl 0329.94026) Full Text: DOI
McCloskey, Teresemarie Abstract families of length-preserving processors. (English) Zbl 0317.68064 J. Comput. Syst. Sci. 10, 394-427 (1975). MSC: 68Q45 PDFBibTeX XMLCite \textit{T. McCloskey}, J. Comput. Syst. Sci. 10, 394--427 (1975; Zbl 0317.68064) Full Text: DOI
Goldstine, Jonathan Some independent families of one-letter languages. (English) Zbl 0305.68059 J. Comput. Syst. Sci. 10, 351-369 (1975). MSC: 68Q45 PDFBibTeX XMLCite \textit{J. Goldstine}, J. Comput. Syst. Sci. 10, 351--369 (1975; Zbl 0305.68059) Full Text: DOI
Kiel, Donald I. Two-way A-transducers and AFL. (English) Zbl 0303.68048 J. Comput. Syst. Sci. 10, 88-109 (1975). MSC: 68Q45 PDFBibTeX XMLCite \textit{D. I. Kiel}, J. Comput. Syst. Sci. 10, 88--109 (1975; Zbl 0303.68048) Full Text: DOI
Ginsburg, Seymour; Spanier, Edwin H. On incomparable abstract family of languages (AFL). (English) Zbl 0289.68038 J. Comput. Syst. Sci. 9, 88-108 (1974). MSC: 68Q45 PDFBibTeX XMLCite \textit{S. Ginsburg} and \textit{E. H. Spanier}, J. Comput. Syst. Sci. 9, 88--108 (1974; Zbl 0289.68038) Full Text: DOI
Yaku, Takeo The constructibility of a configuration in a cellular automaton. (English) Zbl 0271.94037 J. Comput. Syst. Sci. 7, 481-496 (1973). MSC: 68Q45 03D05 PDFBibTeX XMLCite \textit{T. Yaku}, J. Comput. Syst. Sci. 7, 481--496 (1973; Zbl 0271.94037) Full Text: DOI
Greibach, Sheila A. Syntactic operators on full semiAFLs. (English) Zbl 0269.68046 J. Comput. Syst. Sci. 6, 30-76 (1972). MSC: 68Q45 PDFBibTeX XMLCite \textit{S. A. Greibach}, J. Comput. Syst. Sci. 6, 30--76 (1972; Zbl 0269.68046) Full Text: DOI
Ginsburg, Seymour; Spanier, Edwin H. AFL with the semilinear property. (English) Zbl 0235.68029 J. Comput. Syst. Sci. 5, 365-396 (1971). MSC: 68Q45 PDFBibTeX XMLCite \textit{S. Ginsburg} and \textit{E. H. Spanier}, J. Comput. Syst. Sci. 5, 365--396 (1971; Zbl 0235.68029) Full Text: DOI