×

Found 662 Documents (Results 1–100)

100
MathJax

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

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
PDF BibTeX XML Cite
Full Text: DOI Link

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

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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
Full Text: DOI arXiv

A study on Cayley graphs of full transformation semigroups. (English) Zbl 07450041

Romeo, P. G. (ed.) et al., Semigroups, categories, and partial algebras. ICSAA 2019. Proceedings of the conference, Kochi, India, December 9–12, 2019. Singapore: Springer. Springer Proc. Math. Stat. 345, 19-23 (2021).
PDF BibTeX XML Cite
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).
PDF BibTeX XML Cite
Full Text: DOI

Self-avoiding walks and connective constants. (English) Zbl 1446.82029

Sidoravicius, Vladas (ed.), Sojourns in probability theory and statistical physics. III. Interacting particle systems and random walks, a festschrift for Charles M. Newman. Singapore: Springer; Shanghai: NYU Shanghai. Springer Proc. Math. Stat. 300, 215-241 (2019).
MSC:  82B41 82B20 05C90
PDF BibTeX XML Cite
Full Text: DOI arXiv

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
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI Link

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
PDF BibTeX XML Cite
Full Text: DOI

Estimation of the complexity of the potential transformation algorithm for solving cyclic games on graphs. (English. Russian original) Zbl 1431.91061

J. Comput. Syst. Sci. Int. 58, No. 3, 425-433 (2019); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2019, No. 3, 97-105 (2019).
MSC:  91A43 05C57 91A68
PDF BibTeX XML Cite
Full Text: DOI

Cheeger inequalities for submodular transformations. (English) Zbl 1434.05096

Chan, Timothy M. (ed.), Proceedings of the 30th annual ACM-SIAM symposium on discrete algorithms, SODA 2019, San Diego, CA, USA, January 6–9, 2019. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 2582-2601 (2019).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software