Zeng, Gongxian; Lai, Junzuo; Huang, Zhengan; Wang, Yu; Zheng, Zhiming DAG-\( \Sigma \): a DAG-based sigma protocol for relations in CNF. (English) Zbl 1519.94200 Agrawal, Shweta (ed.) et al., Advances in cryptology – ASIACRYPT 2022. 28th international conference on the theory and application of cryptology and information security, Taipei, Taiwan, December 5–9, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13792, 340-370 (2023). MSC: 94A60 PDFBibTeX XMLCite \textit{G. Zeng} et al., Lect. Notes Comput. Sci. 13792, 340--370 (2023; Zbl 1519.94200) Full Text: DOI
Antunović, Suzana; Vukičević, Damir Evaluating topological ordering in directed acyclic graphs. (English) Zbl 1481.05060 Electron. J. Graph Theory Appl. 9, No. 2, 567-580 (2021). MSC: 05C20 05C35 05C12 94C15 PDFBibTeX XMLCite \textit{S. Antunović} and \textit{D. Vukičević}, Electron. J. Graph Theory Appl. 9, No. 2, 567--580 (2021; Zbl 1481.05060) Full Text: DOI
Liu, Xujun; Machado, Roberto Assis; Milenkovic, Olgica Directed intersection representations and the information content of digraphs. (English) Zbl 1465.05070 IEEE Trans. Inf. Theory 67, No. 1, 347-357 (2021). MSC: 05C20 05C69 94C15 PDFBibTeX XMLCite \textit{X. Liu} et al., IEEE Trans. Inf. Theory 67, No. 1, 347--357 (2021; Zbl 1465.05070) Full Text: DOI arXiv
Bai, Liyan; Jin, Lianyan; Liu, Yun Maximal bifix codes of degree 3. (English) Zbl 1415.94395 Bull. Malays. Math. Sci. Soc. (2) 41, No. 3, 1393-1407 (2018). MSC: 94A45 68Q70 PDFBibTeX XMLCite \textit{L. Bai} et al., Bull. Malays. Math. Sci. Soc. (2) 41, No. 3, 1393--1407 (2018; Zbl 1415.94395) Full Text: DOI
Meng, Hongpeng; Xu, Haiyan; Song, Xiagan Transformer fault diagnosis based on attribute reduction of rough set and SVM. (Chinese. English summary) Zbl 1399.94116 J. Nanjing Univ. Aeronaut. Astronaut. 49, No. 4, 504-510 (2017). MSC: 94C12 68T37 PDFBibTeX XMLCite \textit{H. Meng} et al., J. Nanjing Univ. Aeronaut. Astronaut. 49, No. 4, 504--510 (2017; Zbl 1399.94116) Full Text: DOI
Nakahira, Kenji; Miyamoto, Atsushi Multi-link wavelets on hierarchical graphs. (English) Zbl 1346.42048 Appl. Comput. Harmon. Anal. 37, No. 1, 1-11 (2014). MSC: 42C40 05C20 65T60 94A12 PDFBibTeX XMLCite \textit{K. Nakahira} and \textit{A. Miyamoto}, Appl. Comput. Harmon. Anal. 37, No. 1, 1--11 (2014; Zbl 1346.42048) Full Text: DOI
Bonato, Anthony; Mitsche, Dieter; Prałat, Paweł Vertex-pursuit in random directed acyclic graphs. (English) Zbl 1272.05178 SIAM J. Discrete Math. 27, No. 2, 732-756 (2013). MSC: 05C80 05C57 94C15 PDFBibTeX XMLCite \textit{A. Bonato} et al., SIAM J. Discrete Math. 27, No. 2, 732--756 (2013; Zbl 1272.05178) Full Text: DOI arXiv
Zhang, Qin Dynamic uncertain causality graph for knowledge representation and reasoning: discrete DAG cases. (English) Zbl 1280.68256 J. Comput. Sci. Technol. 27, No. 1, 1-23 (2012). MSC: 68T30 68T37 94C10 PDFBibTeX XMLCite \textit{Q. Zhang}, J. Comput. Sci. Technol. 27, No. 1, 1--23 (2012; Zbl 1280.68256) Full Text: DOI
Wang, Lin; Shen, Bing; Qiao, TongXu Searching short recurrences of nonlinear shift registers via directed acyclic graphs. (English) Zbl 1292.94149 Wu, Chuan-Kun (ed.) et al., Information security and cryptology. 7th international conference, Inscrypt 2011, Beijing, China, November 30–December 3, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-34703-0/pbk). Lecture Notes in Computer Science 7537, 44-56 (2012). MSC: 94A60 PDFBibTeX XMLCite \textit{L. Wang} et al., Lect. Notes Comput. Sci. 7537, 44--56 (2012; Zbl 1292.94149) Full Text: DOI
Broutin, Nicolas; Fawzi, Omar Longest path distance in random circuits. (English) Zbl 1252.05049 Comb. Probab. Comput. 21, No. 6, 856-881 (2012). MSC: 05C12 05C38 05C80 94C05 60C05 05C05 94D99 PDFBibTeX XMLCite \textit{N. Broutin} and \textit{O. Fawzi}, Comb. Probab. Comput. 21, No. 6, 856--881 (2012; Zbl 1252.05049) Full Text: DOI arXiv
Ding, Wei; Yan, Gangfeng; Lin, Zhiyun Collective motions and formations under pursuit strategies on directed acyclic graphs. (English) Zbl 1213.93073 Automatica 46, No. 1, 174-181 (2010). MSC: 93C05 93A14 49N75 94C15 PDFBibTeX XMLCite \textit{W. Ding} et al., Automatica 46, No. 1, 174--181 (2010; Zbl 1213.93073) Full Text: DOI
Ando, Ei; Nakata, Toshio; Yamashita, Masafumi Approximating the longest path length of a stochastic DAG by a normal distribution in linear time. (English) Zbl 1176.90595 J. Discrete Algorithms 7, No. 4, 420-438 (2009). MSC: 90C35 90B15 90C15 94C05 PDFBibTeX XMLCite \textit{E. Ando} et al., J. Discrete Algorithms 7, No. 4, 420--438 (2009; Zbl 1176.90595) Full Text: DOI
Sarkar, Palash Domain extender for collision resistant hash functions: Improving upon Merkle-Damgård iteration. (English) Zbl 1163.94428 Discrete Appl. Math. 157, No. 5, 1086-1097 (2009). MSC: 94A60 68P99 05C20 PDFBibTeX XMLCite \textit{P. Sarkar}, Discrete Appl. Math. 157, No. 5, 1086--1097 (2009; Zbl 1163.94428) Full Text: DOI
Yao, Guohui; Zhu, Daming; Li, Hengwu; Ma, Shaohan A polynomial algorithm to compute the minimum degree spanning trees of directed acyclic graphs with applications to the broadcast problem. (English) Zbl 1155.05059 Discrete Math. 308, No. 17, 3951-3959 (2008). MSC: 05C85 05C05 68R10 94A99 PDFBibTeX XMLCite \textit{G. Yao} et al., Discrete Math. 308, No. 17, 3951--3959 (2008; Zbl 1155.05059) Full Text: DOI
Heath, Lenwood S.; Pemmaraju, Sriram V. Stack and queue layouts of directed acyclic graphs. II. (English) Zbl 0943.68068 SIAM J. Comput. 28, No. 5, 1588-1626 (1999). MSC: 68Q15 68Q25 68R10 94C15 05C99 PDFBibTeX XMLCite \textit{L. S. Heath} and \textit{S. V. Pemmaraju}, SIAM J. Comput. 28, No. 5, 1588--1626 (1999; Zbl 0943.68068) Full Text: DOI
Heath, Lenwood S.; Pemmaraju, Sriram V.; Trenk, Ann N. Stack and queue layouts of directed acyclic graphs. I. (English) Zbl 0926.68095 SIAM J. Comput. 28, No. 4, 1510-1539 (1999). MSC: 68R10 68Q25 94C15 05C99 68Q15 PDFBibTeX XMLCite \textit{L. S. Heath} et al., SIAM J. Comput. 28, No. 4, 1510--1539 (1999; Zbl 0926.68095) Full Text: DOI
Kam, Timothy; Villa, Tiziano; Brayton, Robert K.; Sangiovanni-Vincentelli, Alberto L. Multi-valued decision diagrams: Theory and applications. (English) Zbl 1025.94515 Mult.-Valued Log. 4, No. 1-2, 9-62 (1998). MSC: 94C10 90C27 05C85 94C15 PDFBibTeX XMLCite \textit{T. Kam} et al., Mult.-Valued Log. 4, No. 1--2, 9--62 (1998; Zbl 1025.94515)
Bleichenbacher, Daniel; Maurer, Ueli On the efficiency of one-time digital signatures. (English) Zbl 1007.94546 Kim, Kwangjo (ed.) et al., Advances in cryptology - ASIACRYPT ’96. International conference on the theory and applications of cryptology and information security, Kyongju, Korea, November 3-7, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1163, 145-158 (1996). MSC: 94A62 94A60 68P25 PDFBibTeX XMLCite \textit{D. Bleichenbacher} and \textit{U. Maurer}, Lect. Notes Comput. Sci. 1163, 145--158 (1996; Zbl 1007.94546)
Bleichenbacher, Daniel; Maurer, Ueli M. Directed acyclic graphs, one-way functions and digital signatures. (English) Zbl 0939.94525 Desmedt, Yvo G. (ed.), Advances in cryptology - CRYPTO ’94. 14th annual international cryptology conference, Santa Barbara, CA, USA, August 21-25, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 839, 75-82 (1994). MSC: 94A60 94A62 PDFBibTeX XMLCite \textit{D. Bleichenbacher} and \textit{U. M. Maurer}, Lect. Notes Comput. Sci. 839, 75--82 (1994; Zbl 0939.94525)
Heath, Lenwood S.; Pemmaraju, Sriram V.; Trenk, Ann Stack and queue layouts of directed acyclic graphs. (English) Zbl 0801.68120 Trotter, William T. (ed.), Planar graphs. Workshop held at DIMACS from November 18, 1991 through November 21, 1991. Providence, RI: American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 9, 5-11 (1993). MSC: 68R10 05C10 94C15 68W35 PDFBibTeX XMLCite \textit{L. S. Heath} et al., DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 9, 5--11 (1993; Zbl 0801.68120)
Miller, D. M. Graph algorithms for the manipulation of Boolean functions and their spectra. (English) Zbl 0642.94051 Numerical mathematics and computing, Proc. 16th Conf., Winnipeg/Manit. 1986, Congr. Numerantium 57, 177-199 (1987). MSC: 94C10 94C15 68R10 PDFBibTeX XML
Bryant, Randal E. Graph-based algorithms for Boolean function manipulation. (English) Zbl 0593.94022 IEEE Trans. Comput. 35, 677-691 (1986). MSC: 94C10 94C15 68W30 68Q25 PDFBibTeX XMLCite \textit{R. E. Bryant}, IEEE Trans. Comput. 35, 677--691 (1986; Zbl 0593.94022) Full Text: DOI
Dunne, Paul E. Lower bounds on the complexity of 1-time only branching programs. (English) Zbl 0575.68064 Fundamentals of computation theory, Proc. 5th Int. Conf., Cottbus/Ger. 1985, Lect. Notes Comput. Sci. 199, 90-99 (1985). MSC: 68Q25 68R10 94C10 05C45 05C70 PDFBibTeX XML
Tarjan, Robert E. Input-output decomposition of dynamic systems is NP-complete. (English) Zbl 0563.93010 IEEE Trans. Autom. Control 29, 863-864 (1984). MSC: 93A15 05C20 94C15 PDFBibTeX XMLCite \textit{R. E. Tarjan}, IEEE Trans. Autom. Control 29, 863--864 (1984; Zbl 0563.93010) Full Text: DOI
Grundspenkis, Janis Automatized synthesis and analysis of the structure of complex systems. (English) Zbl 0517.93027 Mathematical methods for the analysis of large-scale systems, Proc. 4th Formator Symp., Liblice/Czech. 1982, 241-255 (1983). MSC: 93B50 05C20 68R10 68Q25 68U20 93A15 93B40 94C15 PDFBibTeX XML
Gabber, Ofer; Galil, Zvi Explicit constructions of linear-sized superconcentrators. (English) Zbl 0487.05045 J. Comput. Syst. Sci. 22, 407-420 (1981). MSC: 05C40 94C15 PDFBibTeX XMLCite \textit{O. Gabber} and \textit{Z. Galil}, J. Comput. Syst. Sci. 22, 407--420 (1981; Zbl 0487.05045) Full Text: DOI
Chakravarty, A. K. Partitioning acyclic stochastic precedence graph. (English) Zbl 0468.05029 Indian J. Pure Appl. Math. 12, 41-54 (1981). MSC: 05C20 90C39 94C15 PDFBibTeX XMLCite \textit{A. K. Chakravarty}, Indian J. Pure Appl. Math. 12, 41--54 (1981; Zbl 0468.05029)
Chakravarty, A. K. Optimal segmentation of graphs with exclusive OR nodes. (English) Zbl 0464.68063 Appl. Math. Modelling 5, 231-236 (1981). MSC: 68R10 68N99 94C10 94C15 PDFBibTeX XMLCite \textit{A. K. Chakravarty}, Appl. Math. Modelling 5, 231--236 (1981; Zbl 0464.68063) Full Text: DOI
Ibaraki, Toshihide; Kameda, Tsunehiko; Toida, Shunichi On minimal test sets for locating single link failures in networks. (English) Zbl 0455.94048 IEEE Trans. Comput. 30, 182-190 (1981). MSC: 94C15 68Q25 PDFBibTeX XMLCite \textit{T. Ibaraki} et al., IEEE Trans. Comput. 30, 182--190 (1981; Zbl 0455.94048) Full Text: DOI