Björklund, Henrik; Björklund, Johanna; Ericson, Petter Tree-based generation of restricted graph languages. (English) Zbl 07805944 Int. J. Found. Comput. Sci. 35, No. 1-2, 215-243 (2024). MSC: 68Q45 68Q32 68Q42 PDFBibTeX XMLCite \textit{H. Björklund} et al., Int. J. Found. Comput. Sci. 35, No. 1--2, 215--243 (2024; Zbl 07805944) Full Text: DOI
Schneider, Sven; Lambers, Leen Evaluation diversity for graph conditions. (English) Zbl 1512.68132 J. Log. Algebr. Methods Program. 133, Article ID 100862, 30 p. (2023). MSC: 68Q42 03B70 68N30 68R10 PDFBibTeX XMLCite \textit{S. Schneider} and \textit{L. Lambers}, J. Log. Algebr. Methods Program. 133, Article ID 100862, 30 p. (2023; Zbl 1512.68132) Full Text: DOI
Elder, Murray; Piggott, Adam On groups presented by inverse-closed finite confluent length-reducing rewriting systems. (English) Zbl 1522.20124 J. Algebra 627, 106-131 (2023). Reviewer: Alexander Engel (Greifswald) MSC: 20F05 20E06 20F65 68Q42 68Q17 PDFBibTeX XMLCite \textit{M. Elder} and \textit{A. Piggott}, J. Algebra 627, 106--131 (2023; Zbl 1522.20124) Full Text: DOI arXiv
Barkowsky, Matthias; Giese, Holger Host-graph-sensitive RETE nets for incremental graph pattern matching with nested graph conditions. (English) Zbl 1512.68064 J. Log. Algebr. Methods Program. 131, Article ID 100841, 25 p. (2023). MSC: 68P05 68Q42 68R10 PDFBibTeX XMLCite \textit{M. Barkowsky} and \textit{H. Giese}, J. Log. Algebr. Methods Program. 131, Article ID 100841, 25 p. (2023; Zbl 1512.68064) Full Text: DOI
Poskitt, Christopher M.; Plump, Detlef Monadic second-order incorrectness logic for GP 2. (English) Zbl 07618124 J. Log. Algebr. Methods Program. 130, Article ID 100825, 29 p. (2023). MSC: 68N30 03B70 68Q42 PDFBibTeX XMLCite \textit{C. M. Poskitt} and \textit{D. Plump}, J. Log. Algebr. Methods Program. 130, Article ID 100825, 29 p. (2023; Zbl 07618124) Full Text: DOI
Kosiol, Jens; Taentzer, Gabriele A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications. (English) Zbl 07618121 J. Log. Algebr. Methods Program. 130, Article ID 100820, 35 p. (2023). MSC: 68Q42 18B50 PDFBibTeX XMLCite \textit{J. Kosiol} and \textit{G. Taentzer}, J. Log. Algebr. Methods Program. 130, Article ID 100820, 35 p. (2023; Zbl 07618121) Full Text: DOI
Archibald, Blair; Calder, Muffy; Sevegnani, Michele Probabilistic bigraphs. (English) Zbl 1522.68252 Formal Asp. Comput. 34, No. 2, Paper No. 10, 27 p. (2022). MSC: 68Q42 68Q87 PDFBibTeX XMLCite \textit{B. Archibald} et al., Formal Asp. Comput. 34, No. 2, Paper No. 10, 27 p. (2022; Zbl 1522.68252) Full Text: DOI arXiv
Arnould, Agnès; Belhaouari, Hakim; Bellet, Thomas; Le Gall, Pascale; Pascual, Romain Preserving consistency in geometric modeling with graph transformations. (English) Zbl 1517.68152 Math. Struct. Comput. Sci. 32, No. 3, 300-347 (2022). MSC: 68Q42 68U05 PDFBibTeX XMLCite \textit{A. Arnould} et al., Math. Struct. Comput. Sci. 32, No. 3, 300--347 (2022; Zbl 1517.68152) Full Text: DOI
Lye, Aaron Context-sensitive fusion grammars and fusion grammars with forbidden context are universal. (English) Zbl 07601282 Inf. Comput. 288, Article ID 104889, 22 p. (2022). MSC: 68Q42 PDFBibTeX XMLCite \textit{A. Lye}, Inf. Comput. 288, Article ID 104889, 22 p. (2022; Zbl 07601282) Full Text: DOI
Shojaei-Fard, Ali Non-perturbative graph languages, halting problem and complexity. (English) Zbl 07583895 Forum Math. 34, No. 5, 1159-1185 (2022). MSC: 03D80 05C63 68Q42 68Q45 81T18 PDFBibTeX XMLCite \textit{A. Shojaei-Fard}, Forum Math. 34, No. 5, 1159--1185 (2022; Zbl 07583895) Full Text: DOI
Kreowski, Hans-Jörg; Kuske, Sabine; Lye, Aaron Transformation of variants of Petri nets into context-dependent fusion grammars. (English) Zbl 1487.68139 Inf. Comput. 286, Article ID 104780, 15 p. (2022). MSC: 68Q42 68Q45 68Q85 PDFBibTeX XMLCite \textit{H.-J. Kreowski} et al., Inf. Comput. 286, Article ID 104780, 15 p. (2022; Zbl 1487.68139) Full Text: DOI
Hosseini, S. N.; Yeganeh, L. Partial pullback complement rewriting along admissible matches. (English) Zbl 1478.68114 Theor. Comput. Sci. 898, 149-179 (2022). MSC: 68Q42 18A30 18B50 PDFBibTeX XMLCite \textit{S. N. Hosseini} and \textit{L. Yeganeh}, Theor. Comput. Sci. 898, 149--179 (2022; Zbl 1478.68114) Full Text: DOI
Kolář, Dušan; Meduna, Alexander; Tomko, Martin Multi-island finite automata and their even computation. (English) Zbl 1499.68185 Kybernetika 57, No. 5, 856-877 (2021). MSC: 68Q45 68Q42 PDFBibTeX XMLCite \textit{D. Kolář} et al., Kybernetika 57, No. 5, 856--877 (2021; Zbl 1499.68185) Full Text: DOI
Archibald, Blair; Kulcsár, Géza; Sevegnani, Michele A tale of two graph models: a case study in wireless sensor networks. (English) Zbl 1522.68074 Formal Asp. Comput. 33, No. 6, 1249-1277 (2021). MSC: 68M18 68Q42 PDFBibTeX XMLCite \textit{B. Archibald} et al., Formal Asp. Comput. 33, No. 6, 1249--1277 (2021; Zbl 1522.68074) Full Text: DOI Link
Weidmann, Nils; Anjorin, Anthony Schema compliant consistency management via triple graph grammars and integer linear programming. (English) Zbl 1522.68257 Formal Asp. Comput. 33, No. 6, 1115-1145 (2021). MSC: 68Q42 90C10 PDFBibTeX XMLCite \textit{N. Weidmann} and \textit{A. Anjorin}, Formal Asp. Comput. 33, No. 6, 1115--1145 (2021; Zbl 1522.68257) Full Text: DOI
Stünkel, Patrick; König, Harald; Lamo, Yngve; Rutle, Adrian Comprehensive systems: a formal foundation for multi-model consistency management. (English) Zbl 1522.68347 Formal Asp. Comput. 33, No. 6, 1067-1114 (2021). MSC: 68Q60 18B50 68Q42 PDFBibTeX XMLCite \textit{P. Stünkel} et al., Formal Asp. Comput. 33, No. 6, 1067--1114 (2021; Zbl 1522.68347) Full Text: DOI
Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio Concurrent semantics for fusions: weak prime domains and connected event structures. (English) Zbl 1518.68227 Inf. Comput. 281, Article ID 104770, 32 p. (2021). MSC: 68Q85 68Q42 68Q55 PDFBibTeX XMLCite \textit{P. Baldan} et al., Inf. Comput. 281, Article ID 104770, 32 p. (2021; Zbl 1518.68227) Full Text: DOI
Lambers, Leen; Orejas, Fernando Transformation rules with nested application conditions: critical pairs, initial conflicts & minimality. (English) Zbl 1517.68163 Theor. Comput. Sci. 884, 44-67 (2021). MSC: 68Q42 18B50 PDFBibTeX XMLCite \textit{L. Lambers} and \textit{F. Orejas}, Theor. Comput. Sci. 884, 44--67 (2021; Zbl 1517.68163) Full Text: DOI
Campbell, Graham; Plump, Detlef Confluence up to garbage in graph transformation. (English) Zbl 1517.68156 Theor. Comput. Sci. 884, 1-22 (2021). MSC: 68Q42 PDFBibTeX XMLCite \textit{G. Campbell} and \textit{D. Plump}, Theor. Comput. Sci. 884, 1--22 (2021; Zbl 1517.68156) Full Text: DOI arXiv
Capra, Lorenzo A structural approach to graph transformation based on symmetric Petri nets. (English) Zbl 1518.68229 J. Log. Algebr. Methods Program. 120, Article ID 100639, 28 p. (2021). MSC: 68Q85 68Q42 68Q55 PDFBibTeX XMLCite \textit{L. Capra}, J. Log. Algebr. Methods Program. 120, Article ID 100639, 28 p. (2021; Zbl 1518.68229) Full Text: DOI Link
Shemetova, E. N.; Grigorev, S. V. Path querying on acyclic graphs using Boolean grammars. (English) Zbl 1477.68094 Program. Comput. Softw. 47, No. 1, 88-98 (2021). MSC: 68P15 68Q42 68R10 PDFBibTeX XMLCite \textit{E. N. Shemetova} and \textit{S. V. Grigorev}, Program. Comput. Softw. 47, No. 1, 88--98 (2021; Zbl 1477.68094) Full Text: DOI
Adinayev, Arthur; Stein, Itamar Diamond subgraphs in the reduction graph of a one-rule string rewriting system. (English) Zbl 1482.68115 Fundam. Inform. 178, No. 3, 173-185 (2021). MSC: 68Q42 05C60 PDFBibTeX XMLCite \textit{A. Adinayev} and \textit{I. Stein}, Fundam. Inform. 178, No. 3, 173--185 (2021; Zbl 1482.68115) Full Text: DOI arXiv
Björklund, Henrik; Drewes, Frank; Ericson, Petter; Starke, Florian Uniform parsing for hyperedge replacement grammars. (English) Zbl 1482.68117 J. Comput. Syst. Sci. 118, 1-27 (2021). Reviewer: Andreas Maletti (Leipzig) MSC: 68Q42 68Q25 PDFBibTeX XMLCite \textit{H. Björklund} et al., J. Comput. Syst. Sci. 118, 1--27 (2021; Zbl 1482.68117) Full Text: DOI
Engelfriet, Joost; Vogler, Heiko A Büchi-Elgot-Trakhtenbrot theorem for automata with MSO graph storage. (English) Zbl 1477.68151 Discrete Math. Theor. Comput. Sci. 22, No. 4, Paper No. 3, 48 p. (2020). Reviewer: Andreas Maletti (Leipzig) MSC: 68Q45 03D05 PDFBibTeX XMLCite \textit{J. Engelfriet} and \textit{H. Vogler}, Discrete Math. Theor. Comput. Sci. 22, No. 4, Paper No. 3, 48 p. (2020; Zbl 1477.68151) Full Text: DOI arXiv Link
Boy de la Tour, Thierry; Echahed, Rachid Parallel rewriting of attributed graphs. (English) Zbl 1464.68137 Theor. Comput. Sci. 848, 106-132 (2020). MSC: 68Q42 PDFBibTeX XMLCite \textit{T. Boy de la Tour} and \textit{R. Echahed}, Theor. Comput. Sci. 848, 106--132 (2020; Zbl 1464.68137) Full Text: DOI
Guerra, Esther (ed.); Orejas, Fernando (ed.) Preface to the special issue on the 12th international conference on graph transformation. (English) Zbl 1452.68009 J. Log. Algebr. Methods Program. 115, Article ID 100576, 2 p. (2020). MSC: 68-06 68Q42 68R10 68T30 00B25 PDFBibTeX XMLCite \textit{E. Guerra} (ed.) and \textit{F. Orejas} (ed.), J. Log. Algebr. Methods Program. 115, Article ID 100576, 2 p. (2020; Zbl 1452.68009) Full Text: DOI
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 PDFBibTeX XMLCite \textit{N. Nassar} et al., J. Log. Algebr. Methods Program. 114, Article ID 100564, 31 p. (2020; Zbl 1451.68140) Full Text: DOI
Harmer, Russ; Oshurko, Eugenia Knowledge representation and update in hierarchies of graphs. (English) Zbl 1441.68245 J. Log. Algebr. Methods Program. 114, Article ID 100559, 19 p. (2020). MSC: 68T30 68P15 68Q42 68R10 PDFBibTeX XMLCite \textit{R. Harmer} and \textit{E. Oshurko}, J. Log. Algebr. Methods Program. 114, Article ID 100559, 19 p. (2020; Zbl 1441.68245) Full Text: DOI arXiv
Fujita, Ken-etsu A formal system of reduction paths for parallel reduction. (English) Zbl 1433.68190 Theor. Comput. Sci. 813, 327-340 (2020). MSC: 68Q42 03B40 68R10 PDFBibTeX XMLCite \textit{K.-e. Fujita}, Theor. Comput. Sci. 813, 327--340 (2020; Zbl 1433.68190) Full Text: DOI
Lambers, Leen (ed.); Weber, Jens (ed.) Preface to the special issue on the 11th international conference on graph transformation. (English) Zbl 1433.68022 J. Log. Algebr. Methods Program. 112, Article ID 100525, 2 p. (2020). MSC: 68-06 68Q42 68Q45 00B25 PDFBibTeX XMLCite \textit{L. Lambers} (ed.) and \textit{J. Weber} (ed.), J. Log. Algebr. Methods Program. 112, Article ID 100525, 2 p. (2020; Zbl 1433.68022) Full Text: DOI
Kulcsár, Géza; Corradini, Andrea; Lochau, Malte A calculus of concurrent graph-rewriting processes. (English) Zbl 1494.68115 J. Log. Algebr. Methods Program. 110, Article ID 100500, 27 p. (2020). MSC: 68Q42 68Q85 PDFBibTeX XMLCite \textit{G. Kulcsár} et al., J. Log. Algebr. Methods Program. 110, Article ID 100500, 27 p. (2020; Zbl 1494.68115) Full Text: DOI
Corradini, Andrea; Duval, Dominique; Echahed, Rachid; Prost, Frédéric; Ribeiro, Leila Algebraic graph rewriting with controlled embedding. (English) Zbl 1436.68155 Theor. Comput. Sci. 802, 19-37 (2020). MSC: 68Q42 PDFBibTeX XMLCite \textit{A. Corradini} et al., Theor. Comput. Sci. 802, 19--37 (2020; Zbl 1436.68155) Full Text: DOI
Maximov, Dmitry; Ryvkin, Sergey Multi-valued logic in graph transformation theory and self-adaptive systems. (English) Zbl 1474.68338 Ann. Math. Artif. Intell. 87, No. 4, 395-408 (2019). MSC: 68T27 03B50 68Q42 68R10 68T05 90B06 PDFBibTeX XMLCite \textit{D. Maximov} and \textit{S. Ryvkin}, Ann. Math. Artif. Intell. 87, No. 4, 395--408 (2019; Zbl 1474.68338) Full Text: DOI
Azzi, Guilherme Grochau; Corradini, Andrea; Ribeiro, Leila On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems. (English) Zbl 1435.68131 J. Log. Algebr. Methods Program. 109, Article ID 100482, 32 p. (2019). MSC: 68Q42 68Q85 PDFBibTeX XMLCite \textit{G. G. Azzi} et al., J. Log. Algebr. Methods Program. 109, Article ID 100482, 32 p. (2019; Zbl 1435.68131) Full Text: DOI
Kreowski, Hans-Jörg; Rozenberg, Grzegorz Graph transformation through graph surfing in reaction systems. (English) Zbl 1435.68135 J. Log. Algebr. Methods Program. 109, Article ID 100481, 22 p. (2019). MSC: 68Q42 68Q07 68Q45 68Q80 68R10 PDFBibTeX XMLCite \textit{H.-J. Kreowski} and \textit{G. Rozenberg}, J. Log. Algebr. Methods Program. 109, Article ID 100481, 22 p. (2019; Zbl 1435.68135) Full Text: DOI
Mjolsness, Eric Prospects for declarative mathematical modeling of complex biological systems. (English) Zbl 1422.92058 Bull. Math. Biol. 81, No. 8, 3385-3420 (2019). MSC: 92C42 92C15 05C90 92-08 PDFBibTeX XMLCite \textit{E. Mjolsness}, Bull. Math. Biol. 81, No. 8, 3385--3420 (2019; Zbl 1422.92058) Full Text: DOI arXiv
Drewes, Frank; Hoffmann, Berthold; Minas, Mark Formalization and correctness of predictive shift-reduce parsers for graph grammars based on hyperedge replacement. (English) Zbl 1423.68230 J. Log. Algebr. Methods Program. 104, 303-341 (2019). MSC: 68Q42 PDFBibTeX XMLCite \textit{F. Drewes} et al., J. Log. Algebr. Methods Program. 104, 303--341 (2019; Zbl 1423.68230) Full Text: DOI arXiv
Plump, Detlef (ed.); de Lara, Juan (ed.) Preface to the special issue on the 10th international conference on graph transformation. (English) Zbl 1423.68034 J. Log. Algebr. Methods Program. 104, 174-175 (2019). MSC: 68-06 68Q42 00B25 PDFBibTeX XMLCite \textit{D. Plump} (ed.) and \textit{J. de Lara} (ed.), J. Log. Algebr. Methods Program. 104, 174--175 (2019; Zbl 1423.68034) Full Text: DOI
Corradini, Andrea; Duval, Dominique; Echahed, Rachid; Prost, Frédéric; Ribeiro, Leila The PBPO graph transformation approach. (English) Zbl 1417.68075 J. Log. Algebr. Methods Program. 103, 213-231 (2019). MSC: 68Q42 PDFBibTeX XMLCite \textit{A. Corradini} et al., J. Log. Algebr. Methods Program. 103, 213--231 (2019; Zbl 1417.68075) Full Text: DOI
Lambers, Leen; Born, Kristopher; Kosiol, Jens; Strüber, Daniel; Taentzer, Gabriele Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach. (English) Zbl 1417.68078 J. Log. Algebr. Methods Program. 103, 105-129 (2019). MSC: 68Q42 PDFBibTeX XMLCite \textit{L. Lambers} et al., J. Log. Algebr. Methods Program. 103, 105--129 (2019; Zbl 1417.68078) Full Text: DOI
Jardine, Adam The expressivity of autosegmental grammars. (English) Zbl 1477.68139 J. Logic Lang. Inf. 28, No. 1, 9-54 (2019). MSC: 68Q42 68T50 PDFBibTeX XMLCite \textit{A. Jardine}, J. Logic Lang. Inf. 28, No. 1, 9--54 (2019; Zbl 1477.68139) Full Text: DOI
Maximova, Maria; Giese, Holger; Krause, Christian Probabilistic timed graph transformation systems. (English) Zbl 1400.68058 J. Log. Algebr. Methods Program. 101, 110-131 (2018). MSC: 68N30 68Q42 68Q45 68Q60 68Q87 PDFBibTeX XMLCite \textit{M. Maximova} et al., J. Log. Algebr. Methods Program. 101, 110--131 (2018; Zbl 1400.68058) Full Text: DOI Link
Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi On describing the regular closure of the linear languages with graph-controlled insertion-deletion systems. (English) Zbl 1400.68102 RAIRO, Theor. Inform. Appl. 52, No. 1, 1-21 (2018). MSC: 68Q45 68Q42 PDFBibTeX XMLCite \textit{H. Fernau} et al., RAIRO, Theor. Inform. Appl. 52, No. 1, 1--21 (2018; Zbl 1400.68102) Full Text: DOI
Gurgul, Piotr; Jopek, Konrad; Pingali, Keshav; Paszyńska, Anna Applications of a hyper-graph grammar system in adaptive finite-element computations. (English) Zbl 1404.65151 Int. J. Appl. Math. Comput. Sci. 28, No. 3, 569-582 (2018). MSC: 65M50 05C05 68Q42 65N50 65Y05 PDFBibTeX XMLCite \textit{P. Gurgul} et al., Int. J. Appl. Math. Comput. Sci. 28, No. 3, 569--582 (2018; Zbl 1404.65151) Full Text: DOI
Xu, Chao; Zhang, Qian The shortest kinship description problem. (English) Zbl 1458.68147 Inf. Process. Lett. 138, 61-66 (2018). MSC: 68R10 68Q42 68Q45 68W40 PDFBibTeX XMLCite \textit{C. Xu} and \textit{Q. Zhang}, Inf. Process. Lett. 138, 61--66 (2018; Zbl 1458.68147) Full Text: DOI
D’Agostino, Giovanna; Lenzi, Giacomo The \(\mu\)-calculus alternation depth hierarchy is infinite over finite planar graphs. (English) Zbl 1395.03009 Theor. Comput. Sci. 737, 40-61 (2018). MSC: 03B45 03B70 03D05 05C10 68Q45 91A43 PDFBibTeX XMLCite \textit{G. D'Agostino} and \textit{G. Lenzi}, Theor. Comput. Sci. 737, 40--61 (2018; Zbl 1395.03009) Full Text: DOI Link
Cicala, Daniel Spans of cospans. (English) Zbl 1412.18008 Theory Appl. Categ. 33, 131-147 (2018). Reviewer: Philippe Gaucher (Paris) MSC: 18D05 68Q42 90B10 PDFBibTeX XMLCite \textit{D. Cicala}, Theory Appl. Categ. 33, 131--147 (2018; Zbl 1412.18008) Full Text: arXiv Link
Albane, Saadia; Slimani, Hachem; Kheddouci, Hamamache Graph grammars according to the type of input and manipulated data: a survey. (English) Zbl 1387.68140 Comput. Sci. Rev. 28, 178-203 (2018). MSC: 68Q42 68P01 68-02 PDFBibTeX XMLCite \textit{S. Albane} et al., Comput. Sci. Rev. 28, 178--203 (2018; Zbl 1387.68140) Full Text: DOI
Fernández, Maribel; Kirchner, Hélène; Pinaud, Bruno; Vallet, Jason Labelled graph strategic rewriting for social networks. (English) Zbl 1430.68134 J. Log. Algebr. Methods Program. 96, 12-40 (2018). MSC: 68Q42 68P05 68R10 91D30 PDFBibTeX XMLCite \textit{M. Fernández} et al., J. Log. Algebr. Methods Program. 96, 12--40 (2018; Zbl 1430.68134) Full Text: DOI HAL
Tsvetov, V. P. Alpha-matrix and graph-generated grammars. (Russian. English summary) Zbl 1392.68211 Vestn. Samar. Univ., Estestvennonauchn. Ser. 23, No. 1, 28-40 (2017). MSC: 68Q42 68Q70 PDFBibTeX XMLCite \textit{V. P. Tsvetov}, Vestn. Samar. Univ., Estestvennonauchn. Ser. 23, No. 1, 28--40 (2017; Zbl 1392.68211) Full Text: MNR
Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi On the generative power of graph-controlled insertion-deletion systems with small sizes. (English) Zbl 1390.68305 J. Autom. Lang. Comb. 22, No. 1-3, 61-92 (2017). MSC: 68Q05 68Q42 68Q45 PDFBibTeX XMLCite \textit{H. Fernau} et al., J. Autom. Lang. Comb. 22, No. 1--3, 61--92 (2017; Zbl 1390.68305) Full Text: DOI
Chatterjee, Krishnendu; Osang, Georg Pushdown reachability with constant treewidth. (English) Zbl 1422.68184 Inf. Process. Lett. 122, 25-29 (2017). MSC: 68R10 05C69 05C85 68Q17 68Q42 68Q45 PDFBibTeX XMLCite \textit{K. Chatterjee} and \textit{G. Osang}, Inf. Process. Lett. 122, 25--29 (2017; Zbl 1422.68184) Full Text: DOI
Junges, Sebastian; Guck, Dennis; Katoen, Joost-Pieter; Rensink, Arend; Stoelinga, Mariëlle Fault trees on a diet: automated reduction by graph rewriting. (English) Zbl 1370.68063 Formal Asp. Comput. 29, No. 4, 651-703 (2017). MSC: 68P05 68M15 68Q42 94C12 PDFBibTeX XMLCite \textit{S. Junges} et al., Formal Asp. Comput. 29, No. 4, 651--703 (2017; Zbl 1370.68063) Full Text: DOI
Barceló, Pablo; Fontaine, Gaëlle On the data complexity of consistent query answering over graph databases. (English) Zbl 1371.68060 J. Comput. Syst. Sci. 88, 164-194 (2017). MSC: 68P15 68Q42 68T27 PDFBibTeX XMLCite \textit{P. Barceló} and \textit{G. Fontaine}, J. Comput. Syst. Sci. 88, 164--194 (2017; Zbl 1371.68060) Full Text: DOI Link
Fernau, Henning; Kuppusamy, Lakshmanan; Raman, Indhumathi On the computational completeness of graph-controlled insertion-deletion systems with binary sizes. (English) Zbl 1371.68085 Theor. Comput. Sci. 682, 100-121 (2017). MSC: 68Q05 68Q10 68Q42 PDFBibTeX XMLCite \textit{H. Fernau} et al., Theor. Comput. Sci. 682, 100--121 (2017; Zbl 1371.68085) Full Text: DOI
da Costa Cavalheiro, Simone André; Foss, Luciana; Ribeiro, Leila Theorem proving graph grammars with attributes and negative application conditions. (English) Zbl 1371.68139 Theor. Comput. Sci. 686, 25-77 (2017). MSC: 68Q42 68T15 PDFBibTeX XMLCite \textit{S. A. da Costa Cavalheiro} et al., Theor. Comput. Sci. 686, 25--77 (2017; Zbl 1371.68139) Full Text: DOI
Brignall, Robert; Sliačan, Jakub Juxtaposing Catalan permutation classes with monotone ones. (English) Zbl 1361.05007 Electron. J. Comb. 24, No. 2, Research Paper P2.11, 16 p. (2017). MSC: 05A05 05A15 68R10 68Q45 PDFBibTeX XMLCite \textit{R. Brignall} and \textit{J. Sliačan}, Electron. J. Comb. 24, No. 2, Research Paper P2.11, 16 p. (2017; Zbl 1361.05007) Full Text: arXiv Link
Costa, Fabrizio Learning an efficient constructive sampler for graphs. (English) Zbl 1404.68098 Artif. Intell. 244, 217-238 (2017). MSC: 68T05 60J22 62D05 68Q42 PDFBibTeX XMLCite \textit{F. Costa}, Artif. Intell. 244, 217--238 (2017; Zbl 1404.68098) Full Text: DOI
Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio The calculus of signal flow diagrams. I: Linear relations on streams. (English) Zbl 1355.68188 Inf. Comput. 252, 2-29 (2017). MSC: 68Q85 18D10 68Q42 PDFBibTeX XMLCite \textit{F. Bonchi} et al., Inf. Comput. 252, 2--29 (2017; Zbl 1355.68188) Full Text: DOI
Durán, Francisco; Moreno-Delgado, Antonio; Orejas, Fernando; Zschaler, Steffen Amalgamation of domain specific languages with behaviour. (English) Zbl 1353.68028 J. Log. Algebr. Methods Program. 86, No. 1, 208-235 (2017). MSC: 68N15 68Q42 PDFBibTeX XMLCite \textit{F. Durán} et al., J. Log. Algebr. Methods Program. 86, No. 1, 208--235 (2017; Zbl 1353.68028) Full Text: DOI
Chen, William Y. C.; Fu, Amy M. Context-free grammars for permutations and increasing trees. (English) Zbl 1348.05007 Adv. Appl. Math. 82, 58-82 (2017). MSC: 05A05 05A15 05A19 05C99 68Q42 PDFBibTeX XMLCite \textit{W. Y. C. Chen} and \textit{A. M. Fu}, Adv. Appl. Math. 82, 58--82 (2017; Zbl 1348.05007) Full Text: DOI arXiv
Alhazov, Artiom; Freund, Rudolf; Rogozhin, Vladimir; Rogozhin, Yurii Computational completeness of complete, star-like, and linear hybrid networks of evolutionary processors with a small number of processors. (English) Zbl 1415.68069 Nat. Comput. 15, No. 1, 51-68 (2016). MSC: 68Q05 68Q10 68Q42 PDFBibTeX XMLCite \textit{A. Alhazov} et al., Nat. Comput. 15, No. 1, 51--68 (2016; Zbl 1415.68069) Full Text: DOI
Eyraud, Rémi; Janodet, Jean-Christophe; Oates, Tim; Papadopoulos, Frédéric Designing and learning substitutable plane graph grammars. (English) Zbl 1368.68227 Fundam. Inform. 146, No. 4, 403-430 (2016). MSC: 68Q32 68Q42 PDFBibTeX XMLCite \textit{R. Eyraud} et al., Fundam. Inform. 146, No. 4, 403--430 (2016; Zbl 1368.68227) Full Text: DOI
Bottoni, Paolo; Guerra, Esther; De Lara, Juan Pattern-based rewriting through abstraction. (English) Zbl 1357.68097 Fundam. Inform. 144, No. 2, 109-160 (2016). MSC: 68Q42 PDFBibTeX XMLCite \textit{P. Bottoni} et al., Fundam. Inform. 144, No. 2, 109--160 (2016; Zbl 1357.68097) Full Text: DOI
Fernau, Henning An essay on general grammars. (English) Zbl 1358.68158 J. Autom. Lang. Comb. 21, No. 1-2, 69-92 (2016). MSC: 68Q42 PDFBibTeX XMLCite \textit{H. Fernau}, J. Autom. Lang. Comb. 21, No. 1--2, 69--92 (2016; Zbl 1358.68158) Full Text: DOI
Carayol, Arnaud; Serre, Olivier Marking shortest paths on pushdown graphs does not preserve MSO decidability. (English) Zbl 1362.68132 Inf. Process. Lett. 116, No. 10, 638-643 (2016). MSC: 68Q45 03D05 68R10 PDFBibTeX XMLCite \textit{A. Carayol} and \textit{O. Serre}, Inf. Process. Lett. 116, No. 10, 638--643 (2016; Zbl 1362.68132) Full Text: DOI arXiv
Laube, Ulrich; Nebel, Markus E. Maximum likelihood analysis of the Ford-Fulkerson method on special graphs. (English) Zbl 1339.68342 Algorithmica 74, No. 4, 1224-1266 (2016). MSC: 68W40 05C62 05C80 05C85 68Q42 PDFBibTeX XMLCite \textit{U. Laube} and \textit{M. E. Nebel}, Algorithmica 74, No. 4, 1224--1266 (2016; Zbl 1339.68342) Full Text: DOI
Courcelle, Bruno; Durand, Irène Computations by fly-automata beyond monadic second-order logic. (English) Zbl 1335.68116 Theor. Comput. Sci. 619, 32-67 (2016). MSC: 68Q45 03D05 05C85 68Q60 PDFBibTeX XMLCite \textit{B. Courcelle} and \textit{I. Durand}, Theor. Comput. Sci. 619, 32--67 (2016; Zbl 1335.68116) Full Text: DOI arXiv
Besova, Galina; Steenken, Dominik; Wehrheim, Heike Grammar-based model transformations: definition, execution, and quality properties. (English) Zbl 1387.68067 Comput. Lang. Syst. Struct. 43, 116-138 (2015). MSC: 68N30 68Q42 PDFBibTeX XMLCite \textit{G. Besova} et al., Comput. Lang. Syst. Struct. 43, 116--138 (2015; Zbl 1387.68067) Full Text: DOI
Kartzow, Alexander The field of the reals and the random graph are not finite-word ordinal-automatic. (English) Zbl 1383.03049 J. Autom. Lang. Comb. 20, No. 1, 27-43 (2015). MSC: 03D05 PDFBibTeX XMLCite \textit{A. Kartzow}, J. Autom. Lang. Comb. 20, No. 1, 27--43 (2015; Zbl 1383.03049) Full Text: DOI arXiv
Marcolli, Matilde; Port, Alexander Graph grammars, insertion Lie algebras, and quantum field theory. (English) Zbl 1333.68172 Math. Comput. Sci. 9, No. 4, 391-408 (2015). MSC: 68Q45 68Q42 81T18 PDFBibTeX XMLCite \textit{M. Marcolli} and \textit{A. Port}, Math. Comput. Sci. 9, No. 4, 391--408 (2015; Zbl 1333.68172) Full Text: DOI arXiv Link
Drewes, Frank; Hoffmann, Berthold Contextual hyperedge replacement. (English) Zbl 1329.68153 Acta Inf. 52, No. 6, 497-524 (2015). MSC: 68Q42 PDFBibTeX XMLCite \textit{F. Drewes} and \textit{B. Hoffmann}, Acta Inf. 52, No. 6, 497--524 (2015; Zbl 1329.68153) Full Text: DOI
Danos, Vincent; Harmer, Russell; Honorato-Zimmer, Ricardo Thermodynamic graph-rewriting. (English) Zbl 1391.68064 Log. Methods Comput. Sci. 11, No. 2, Paper No. 13, 26 p. (2015). MSC: 68Q42 68Q85 68Q87 80A10 PDFBibTeX XMLCite \textit{V. Danos} et al., Log. Methods Comput. Sci. 11, No. 2, Paper No. 13, 26 p. (2015; Zbl 1391.68064) Full Text: DOI
Nasab, A. R. Shir Ali; Hosseini, S. N. Partial pullback complement rewriting. (English) Zbl 1328.68104 Theor. Comput. Sci. 594, 44-64 (2015). MSC: 68Q42 18A30 PDFBibTeX XMLCite \textit{A. R. S. A. Nasab} and \textit{S. N. Hosseini}, Theor. Comput. Sci. 594, 44--64 (2015; Zbl 1328.68104) Full Text: DOI
Machado, Rodrigo; Ribeiro, Leila; Heckel, Reiko Rule-based transformation of graph rewriting rules: towards higher-order graph grammars. (English) Zbl 1328.68103 Theor. Comput. Sci. 594, 1-23 (2015). MSC: 68Q42 PDFBibTeX XMLCite \textit{R. Machado} et al., Theor. Comput. Sci. 594, 1--23 (2015; Zbl 1328.68103) Full Text: DOI
Miasnikov, Alexei; Savchuk, Dmytro An example of an automatic graph of intermediate growth. (English) Zbl 1322.68125 Ann. Pure Appl. Logic 166, No. 10, 1037-1048 (2015). MSC: 68Q45 03D05 05C25 20F10 20F65 PDFBibTeX XMLCite \textit{A. Miasnikov} and \textit{D. Savchuk}, Ann. Pure Appl. Logic 166, No. 10, 1037--1048 (2015; Zbl 1322.68125) Full Text: DOI arXiv
Charlier, Émilie; Leroy, Julien; Rigo, Michel An analogue of Cobham’s theorem for graph directed iterated function systems. (English) Zbl 1332.28013 Adv. Math. 280, 86-120 (2015). Reviewer: Peter Massopust (München) MSC: 28A80 03D05 PDFBibTeX XMLCite \textit{É. Charlier} et al., Adv. Math. 280, 86--120 (2015; Zbl 1332.28013) Full Text: DOI arXiv
Kim, Changwook; Ando, Mahiro Node replacement graph grammars with dynamic node relabeling. (English) Zbl 1309.68109 Theor. Comput. Sci. 583, 40-50 (2015). MSC: 68Q42 68Q45 PDFBibTeX XMLCite \textit{C. Kim} and \textit{M. Ando}, Theor. Comput. Sci. 583, 40--50 (2015; Zbl 1309.68109) Full Text: DOI
Freund, Rudolf; Oswald, Marion Array grammars and automata on Cayley grids. (English) Zbl 1355.68135 J. Autom. Lang. Comb. 19, No. 1-4, 67-80 (2014). MSC: 68Q42 68Q45 PDFBibTeX XMLCite \textit{R. Freund} and \textit{M. Oswald}, J. Autom. Lang. Comb. 19, No. 1--4, 67--80 (2014; Zbl 1355.68135) Full Text: DOI
Tsvetov, V. P. On a superclass of A-grammars. (Russian. English summary) Zbl 1351.68130 Vestn. Samar. Gos. Univ., Estestvennonauchn. Ser. 2014, No. 10(121), 102-108 (2014). MSC: 68Q42 68Q45 PDFBibTeX XMLCite \textit{V. P. Tsvetov}, Vestn. Samar. Gos. Univ., Estestvennonauchn. Ser. 2014, No. 10(121), 102--108 (2014; Zbl 1351.68130) Full Text: MNR
Flasiński, Mariusz; Jurek, Janusz Fundamental methodological issues of syntactic pattern recognition. (English) Zbl 1328.68101 PAA, Pattern Anal. Appl. 17, No. 3, 465-480 (2014). MSC: 68Q42 68T10 PDFBibTeX XMLCite \textit{M. Flasiński} and \textit{J. Jurek}, PAA, Pattern Anal. Appl. 17, No. 3, 465--480 (2014; Zbl 1328.68101) Full Text: DOI
Gutierrez, Julian; Klaedtke, Felix; Lange, Martin The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity. (English) Zbl 1327.03016 Theor. Comput. Sci. 560, Part 3, 292-306 (2014). Reviewer: Giacomo Lenzi (Fisciano) MSC: 03B45 03D05 05C90 05C20 PDFBibTeX XMLCite \textit{J. Gutierrez} et al., Theor. Comput. Sci. 560, Part 3, 292--306 (2014; Zbl 1327.03016) Full Text: DOI
de Lara, Juan; Guerra, Esther Towards the flexible reuse of model transformations: a formal approach based on graph transformation. (English) Zbl 1371.68055 J. Log. Algebr. Methods Program. 83, No. 5-6, 427-458 (2014). MSC: 68N99 68Q42 PDFBibTeX XMLCite \textit{J. de Lara} and \textit{E. Guerra}, J. Log. Algebr. Methods Program. 83, No. 5--6, 427--458 (2014; Zbl 1371.68055) Full Text: DOI
Bensch, Suna; Drewes, Frank; Jürgensen, Helmut; van der Merwe, Brink Graph transformation for incremental natural language analysis. (English) Zbl 1359.68278 Theor. Comput. Sci. 531, 1-25 (2014). MSC: 68T50 03B65 68Q42 91F20 PDFBibTeX XMLCite \textit{S. Bensch} et al., Theor. Comput. Sci. 531, 1--25 (2014; Zbl 1359.68278) Full Text: DOI
Zerny, Ian On graph rewriting, reduction, and evaluation in the presence of cycles. (English) Zbl 1425.68175 High.-Order Symb. Comput. 26, No. 1-4, 63-84 (2013). MSC: 68Q42 68N30 PDFBibTeX XMLCite \textit{I. Zerny}, High.-Order Symb. Comput. 26, No. 1--4, 63--84 (2013; Zbl 1425.68175) Full Text: DOI
Southwell, Richard; Huang, Jianwei; Cannings, Chris Complex networks from simple rules. (English) Zbl 1357.68099 Complex Syst. 22, No. 2, 151-173 (2013). MSC: 68Q42 05C82 37B10 PDFBibTeX XMLCite \textit{R. Southwell} et al., Complex Syst. 22, No. 2, 151--173 (2013; Zbl 1357.68099) Full Text: arXiv
Andersen, Jakob L.; Andersen, Tommy; Flamm, Christoph; Hanczyc, Martin M.; Merkle, Daniel; Stadler, Peter F. Navigating the chemical space of HCN polymerization and hydrolysis: guiding graph grammars by mass spectrometry data. (English) Zbl 1341.82105 Entropy 15, No. 10, 4066-4083 (2013). MSC: 82D60 68Q42 PDFBibTeX XMLCite \textit{J. L. Andersen} et al., Entropy 15, No. 10, 4066--4083 (2013; Zbl 1341.82105) Full Text: DOI
Tan, Tony Graph reachability and pebble automata over infinite alphabets. (English) Zbl 1353.68172 ACM Trans. Comput. Log. 14, No. 3, Article No. 19, 31 p. (2013). MSC: 68Q45 03D05 05C90 PDFBibTeX XMLCite \textit{T. Tan}, ACM Trans. Comput. Log. 14, No. 3, Article No. 19, 31 p. (2013; Zbl 1353.68172) Full Text: DOI arXiv
Cheney, James Revisiting “Forward node-selecting queries over trees”. (English) Zbl 1321.68241 ACM Trans. Database Syst. 38, No. 2, Article No. 13, 33 p. (2013). MSC: 68P15 68P20 68Q42 68R10 PDFBibTeX XMLCite \textit{J. Cheney}, ACM Trans. Database Syst. 38, No. 2, Article No. 13, 33 p. (2013; Zbl 1321.68241) Full Text: DOI
Strug, Barbara; Paszynśka, Anna; Paszynśki, Maciej; Grabska, Ewa Using a graph grammar system in the finite element method. (English) Zbl 1284.68335 Int. J. Appl. Math. Comput. Sci. 23, No. 4, 839-853 (2013). MSC: 68Q42 65M50 68R10 PDFBibTeX XMLCite \textit{B. Strug} et al., Int. J. Appl. Math. Comput. Sci. 23, No. 4, 839--853 (2013; Zbl 1284.68335) Full Text: DOI
Blumensath, Achim Book review of: Bruno Courcelle and Joost Engelfriet, Graph structure and monadic second-order logic. (English) Zbl 1280.00005 Bull. Symb. Log. 19, No. 3, 394-396 (2013). MSC: 00A17 68-02 03B15 03D05 05C85 05C90 68Q45 68R10 PDFBibTeX XMLCite \textit{A. Blumensath}, Bull. Symb. Log. 19, No. 3, 394--396 (2013; Zbl 1280.00005) Full Text: DOI
Schirmer, Stefanie; Giegerich, Robert Forest alignment with affine gaps and anchors, applied in RNA structure comparison. (English) Zbl 1292.68184 Theor. Comput. Sci. 483, 51-67 (2013). MSC: 68W32 68Q42 68Q45 68R10 92D20 PDFBibTeX XMLCite \textit{S. Schirmer} and \textit{R. Giegerich}, Theor. Comput. Sci. 483, 51--67 (2013; Zbl 1292.68184) Full Text: DOI
Ma, Shi-Mei Enumeration of permutations by number of alternating runs. (English) Zbl 1277.05005 Discrete Math. 313, No. 18, 1816-1822 (2013). MSC: 05A15 05A05 20B30 68Q42 68Q45 68R10 PDFBibTeX XMLCite \textit{S.-M. Ma}, Discrete Math. 313, No. 18, 1816--1822 (2013; Zbl 1277.05005) Full Text: DOI arXiv
Duval, Dominique Deduction as reduction, from a categorical point of view. (English) Zbl 1286.03186 Log. Univers. 7, No. 3, 275-289 (2013). MSC: 03G27 03G30 18C30 68Q42 PDFBibTeX XMLCite \textit{D. Duval}, Log. Univers. 7, No. 3, 275--289 (2013; Zbl 1286.03186) Full Text: DOI
Daneshgar, Amir; Rahimi, Alireza; Taati, Siamak Function simulation, graph grammars and colourings. (English) Zbl 1273.05063 Int. J. Comput. Math. 90, No. 7, 1334-1357 (2013). MSC: 05C15 05C85 68Q42 68R01 03D15 PDFBibTeX XMLCite \textit{A. Daneshgar} et al., Int. J. Comput. Math. 90, No. 7, 1334--1357 (2013; Zbl 1273.05063) Full Text: DOI
Ehrig, Hartmut; Ermel, Claudia; Hüffner, Falk; Niedermeier, Rolf; Runge, Olga Confluence in data reduction: bridging graph transformation and kernelization. (English) Zbl 1311.68184 Computability 2, No. 1, 31-49 (2013). MSC: 68W01 68Q17 68Q25 68Q42 68R10 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Computability 2, No. 1, 31--49 (2013; Zbl 1311.68184) Full Text: DOI
Barceló, Pablo; Figueira, Diego; Libkin, Leonid Graph logics with rational relations. (English) Zbl 1272.03147 Log. Methods Comput. Sci. 9, No. 3, Paper No. 1, 44 p. (2013). MSC: 03D05 03B70 68P15 68Q45 68R15 PDFBibTeX XMLCite \textit{P. Barceló} et al., Log. Methods Comput. Sci. 9, No. 3, Paper No. 1, 44 p. (2013; Zbl 1272.03147) Full Text: DOI arXiv
Brijder, Robert; Blockeel, Hendrik On the inference of non-confluent NLC graph grammars. (English) Zbl 1284.68307 J. Log. Comput. 23, No. 4, 799-814 (2013). MSC: 68Q30 68Q42 PDFBibTeX XMLCite \textit{R. Brijder} and \textit{H. Blockeel}, J. Log. Comput. 23, No. 4, 799--814 (2013; Zbl 1284.68307) Full Text: DOI Link
Poinsot, Laurent The Tutte-Grothendieck group of an alphabetic rewriting system. (English) Zbl 1264.05070 ISRN Comb. 2013, Article ID 574578, 11 p. (2013). MSC: 05C31 05C85 68Q42 13D15 05B30 05B35 PDFBibTeX XMLCite \textit{L. Poinsot}, ISRN Comb. 2013, Article ID 574578, 11 p. (2013; Zbl 1264.05070) Full Text: DOI arXiv
Dixon, Lucas; Kissinger, Aleks Open-graphs and monoidal theories. (English) Zbl 1268.18002 Math. Struct. Comput. Sci. 23, No. 2, 308-359 (2013). MSC: 18C10 18B20 18D10 68Q42 PDFBibTeX XMLCite \textit{L. Dixon} and \textit{A. Kissinger}, Math. Struct. Comput. Sci. 23, No. 2, 308--359 (2013; Zbl 1268.18002) Full Text: DOI arXiv