×

Found 1,111 Documents (Results 1–100)

Lock-sensitive reachability analysis for parallel recursive programs with dynamic creation of threads and locks. A graph-based approach. (English) Zbl 1509.68004

Münster: Univ. Münster, Mathematisch-Naturwissenschaftliche Fakultät, Fachbereich Mathematik und Informatik (Diss.). viii, 231 p., open access (2022).
PDFBibTeX XMLCite
Full Text: DOI

Computational category-theoretic rewriting. (English) Zbl 1514.68089

Behr, Nicolas (ed.) et al., Graph transformation. 15th international conference, ICGT 2022, held as part of STAF 2022, Nantes, France, July 7–8, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13349, 155-172 (2022).
MSC:  68Q42 18A30 18B10
PDFBibTeX XMLCite
Full Text: DOI arXiv

Acyclic contextual hyperedge replacement: decidability of acyclicity and generative power. (English) Zbl 1514.68090

Behr, Nicolas (ed.) et al., Graph transformation. 15th international conference, ICGT 2022, held as part of STAF 2022, Nantes, France, July 7–8, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13349, 3-19 (2022).
MSC:  68Q42
PDFBibTeX XMLCite
Full Text: DOI

Module integration using graph grammars (MIGRATE). (English) Zbl 1498.68072

Campos, Sérgio (ed.) et al., Formal methods: foundations and applications. 24th Brazilian symposium, SBMF 2021, virtual event, December 6–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13130, 87-103 (2021).
MSC:  68N30 68Q42
PDFBibTeX XMLCite
Full Text: DOI Link

Verifying graph programs with monadic second-order logic. (English) Zbl 1492.68043

Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 240-261 (2021).
PDFBibTeX XMLCite
Full Text: DOI Link

Interval probabilistic timed graph transformation systems. (English) Zbl 1492.68071

Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 221-239 (2021).
MSC:  68Q42 68Q60 68Q87
PDFBibTeX XMLCite
Full Text: DOI Link

Rule-based top-down parsing for acyclic contextual hyperedge replacement grammars. (English) Zbl 1492.68068

Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 164-184 (2021).
MSC:  68Q42
PDFBibTeX XMLCite
Full Text: DOI

Host-graph-sensitive RETE nets for incremental graph pattern matching. (English) Zbl 1512.68063

Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 145-163 (2021).
MSC:  68P05 68Q42 68R10
PDFBibTeX XMLCite
Full Text: DOI

Evaluation diversity for graph conditions. (English) Zbl 1492.68074

Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 122-141 (2021).
PDFBibTeX XMLCite
Full Text: DOI

A generalized concurrent rule construction for double-pushout rewriting. (English) Zbl 1489.68116

Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 22-39 (2021).
MSC:  68Q42 68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Learning molecular classes from small numbers of positive examples using graph grammars. (English) Zbl 1477.92030

Martín-Vide, Carlos (ed.) et al., Algorithms for computational biology. 8th international conference, AlCoB 2021, Missoula, MT, USA, June 7–11, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12715, 3-15 (2021).
MSC:  92E10 05C92 68T05
PDFBibTeX XMLCite
Full Text: DOI

Compositional analysis of probabilistic timed graph transformation systems. (English) Zbl 1467.68090

Guerra, Esther (ed.) et al., Fundamental approaches to software engineering. 24th international conference, FASE 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. 12649, 196-217 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Towards multiple model synchronization with comprehensive systems. (English) Zbl 1507.68096

Wehrheim, Heike (ed.) et al., Fundamental approaches to software engineering. 23rd international conference, FASE 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12076, 335-356 (2020).
MSC:  68N30 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Schema compliant consistency management via triple graph grammars and integer linear programming. (English) Zbl 1507.68162

Wehrheim, Heike (ed.) et al., Fundamental approaches to software engineering. 23rd international conference, FASE 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12076, 315-334 (2020).
MSC:  68Q42 90C10
PDFBibTeX XMLCite
Full Text: DOI

A simulator for probabilistic timed graph transformation systems with complex large-scale topologies. (English) Zbl 1502.68162

Gadducci, Fabio (ed.) et al., Graph transformation. 13th international conference, ICGT 2020, held as part of STAF 2020, Bergen, Norway, June 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12150, 325-334 (2020).
PDFBibTeX XMLCite
Full Text: DOI

A flexible and easy-to-use library for the rapid development of graph tools in Java. (English) Zbl 1502.68014

Gadducci, Fabio (ed.) et al., Graph transformation. 13th international conference, ICGT 2020, held as part of STAF 2020, Bergen, Norway, June 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12150, 297-306 (2020).
MSC:  68-04 68Q42 68R10
PDFBibTeX XMLCite
Full Text: DOI

Optimistic and pessimistic on-the-fly analysis for metric temporal graph logic. (English) Zbl 1502.68186

Gadducci, Fabio (ed.) et al., Graph transformation. 13th international conference, ICGT 2020, held as part of STAF 2020, Bergen, Norway, June 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12150, 276-294 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Graph consistency as a graduated property. Consistency-sustaining and -improving graph transformations. (English) Zbl 1502.68154

Gadducci, Fabio (ed.) et al., Graph transformation. 13th international conference, ICGT 2020, held as part of STAF 2020, Bergen, Norway, June 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12150, 239-256 (2020).
MSC:  68Q42
PDFBibTeX XMLCite
Full Text: DOI arXiv

Graph parsing as graph transformation. Correctness of predictive top-down parsers. (English) Zbl 1502.68150

Gadducci, Fabio (ed.) et al., Graph transformation. 13th international conference, ICGT 2020, held as part of STAF 2020, Bergen, Norway, June 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12150, 221-238 (2020).
MSC:  68Q42
PDFBibTeX XMLCite
Full Text: DOI

Algebras for tree decomposable graphs. (English) Zbl 1502.68213

Gadducci, Fabio (ed.) et al., Graph transformation. 13th international conference, ICGT 2020, held as part of STAF 2020, Bergen, Norway, June 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12150, 203-220 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Multilevel typed graph transformations. (English) Zbl 1502.68161

Gadducci, Fabio (ed.) et al., Graph transformation. 13th international conference, ICGT 2020, held as part of STAF 2020, Bergen, Norway, June 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12150, 163-182 (2020).
MSC:  68Q42 18A30 18B99
PDFBibTeX XMLCite
Full Text: DOI arXiv

Patch graph rewriting. (English) Zbl 1502.68157

Gadducci, Fabio (ed.) et al., Graph transformation. 13th international conference, ICGT 2020, held as part of STAF 2020, Bergen, Norway, June 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12150, 128-145 (2020).
MSC:  68Q42
PDFBibTeX XMLCite
Full Text: DOI arXiv

Initial conflicts for transformation rules with nested application conditions. (English) Zbl 1502.68156

Gadducci, Fabio (ed.) et al., Graph transformation. 13th international conference, ICGT 2020, held as part of STAF 2020, Bergen, Norway, June 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12150, 109-127 (2020).
MSC:  68Q42 18B50
PDFBibTeX XMLCite
Full Text: DOI arXiv

Unfolding symbolic attributed graph grammars. (English) Zbl 1502.68159

Gadducci, Fabio (ed.) et al., Graph transformation. 13th international conference, ICGT 2020, held as part of STAF 2020, Bergen, Norway, June 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12150, 75-90 (2020).
MSC:  68Q42 18A40
PDFBibTeX XMLCite
Full Text: DOI

A port graph rewriting approach to relational database modelling. (English) Zbl 1502.68114

Gabbrielli, Maurizio (ed.), Logic-based program synthesis and transformation. 29th international symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12042, 211-227 (2020).
MSC:  68P15 68Q42
PDFBibTeX XMLCite
Full Text: DOI HAL

Compressing permutation groups into grammars and polytopes. A graph embedding approach. (English) Zbl 07559421

Esparza, Javier (ed.) et al., 45th international symposium on mathematical foundations of computer science, MFCS 2020, August 25–26, 2020, Prague, Czech Republic. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 170, Article 50, 15 p. (2020).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Context-free path querying by Kronecker product. (English) Zbl 1475.68108

Darmont, Jérôme (ed.) et al., Advances in databases and information systems. 24th European conference, ADBIS 2020, Lyon, France, August 25–27, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12245, 49-59 (2020).
MSC:  68P15 68Q42 68R10
PDFBibTeX XMLCite
Full Text: DOI

Counters in Kappa: semantics, simulation, and static analysis. (English) Zbl 07770426

Caires, Luís (ed.), Programming languages and systems. 28th European symposium on programming, ESOP 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11423, 176-204 (2019).
PDFBibTeX XMLCite
Full Text: DOI

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
PDFBibTeX XMLCite
Full Text: DOI

Regulated tree automata. (English) Zbl 1434.68245

Hospodár, Michal (ed.) et al., Descriptional complexity of formal systems. 21st IFIP WG 1.02 international conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11612, 124-136 (2019).
MSC:  68Q45 68Q42
PDFBibTeX XMLCite
Full Text: DOI

From pattern invocation networks to rule preconditions. (English) Zbl 1429.68199

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, 195-211 (2019).
MSC:  68R10 68Q42
PDFBibTeX XMLCite
Full Text: DOI

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
PDFBibTeX XMLCite
Full Text: DOI

Knowledge representation and update in hierarchies of graphs. (English) Zbl 1429.68275

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, 141-158 (2019).
MSC:  68T30 68P15 68Q42
PDFBibTeX XMLCite
Full Text: DOI arXiv

Two-level reasoning about graph transformation programs. (English) Zbl 1429.68043

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, 111-127 (2019).
MSC:  68N30 68Q42 68T27
PDFBibTeX XMLCite
Full Text: DOI Link

Unfolding graph grammars with negative application conditions. (English) Zbl 1429.68086

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, 93-110 (2019).
MSC:  68Q42
PDFBibTeX XMLCite
Full Text: DOI

Exploring conflict reasons for graph transformation systems. (English) Zbl 1429.68090

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, 75-92 (2019).
MSC:  68Q42
PDFBibTeX XMLCite
Full Text: DOI

Extending predictive shift-reduce parsing to contextual hyperedge replacement grammars. (English) Zbl 1429.68087

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, 55-72 (2019).
MSC:  68Q42
PDFBibTeX XMLCite
Full Text: DOI

Introducing symmetry to graph rewriting systems with process abstraction. (English) Zbl 1429.68093

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, 3-20 (2019).
MSC:  68Q42 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Generalized predictive shift-reduce parsing for hyperedge replacement graph grammars. (English) Zbl 1425.68165

Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. 13th international conference, LATA 2019, St. Petersburg, Russia, March 26–29, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11417, 233-245 (2019).
MSC:  68Q42
PDFBibTeX XMLCite
Full Text: DOI

Deciding extended modal logics by combining state space generation and SAT solving. (English) Zbl 1515.68348

Fleuriot, Jacques (ed.) et al., Artificial intelligence and symbolic computation. 13th international conference, AISC 2018, Suzhou, China, September 16–19, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11110, 119-135 (2018).
PDFBibTeX XMLCite
Full Text: DOI

The Cayley-graph of the queue monoid: logic and decidability. (English) Zbl 07561314

Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 9, 17 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

The isomorphism problem for finite extensions of free groups is in PSPACE. (English) Zbl 1499.20085

Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 139, 14 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Term-graph anti-unification. (English) Zbl 1462.68091

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 9, 17 p. (2018).
MSC:  68Q42 68R10
PDFBibTeX XMLCite
Full Text: DOI

Rewriting with Frobenius. (English) Zbl 1497.68238

Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 165-174 (2018).
MSC:  68Q42 18M30
PDFBibTeX XMLCite
Full Text: DOI

Labelled port graph – a formal structure for models and computations. (English) Zbl 1433.68095

Alves, Sandra (ed.) et al., Selected papers of the 12th workshop on logical and semantic frameworks, with applications (LSFA 2017), Brasilia, Brazil, September 23–24, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 338, 3-21 (2018).
MSC:  68N30 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Graph path orderings. (English) Zbl 1415.68116

Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 307-325 (2018).
MSC:  68Q42
PDFBibTeX XMLCite
Full Text: DOI

On the essence and initiality of conflicts. (English) Zbl 1394.68195

Lambers, Leen (ed.) et al., Graph transformation. 11th international conference, ICGT 2018, held as part of STAF 2018, Toulouse, France, June 25–26, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-92990-3/pbk; 978-3-319-92991-0/ebook). Lecture Notes in Computer Science 10887, 99-117 (2018).
MSC:  68Q42
PDFBibTeX XMLCite
Full Text: DOI Link

Synchronous hyperedge replacement graph grammars. (English) Zbl 1394.68204

Lambers, Leen (ed.) et al., Graph transformation. 11th international conference, ICGT 2018, held as part of STAF 2018, Toulouse, France, June 25–26, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-92990-3/pbk; 978-3-319-92991-0/ebook). Lecture Notes in Computer Science 10887, 20-36 (2018).
MSC:  68Q42
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software