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
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
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
Corradini, Andrea; Duval, Dominique; Prost, Frederic; Ribeiro, Leila Parallelism in AGREE transformations. (English) Zbl 1344.68106 Echahed, Rachid (ed.) et al., Graph transformation. 9th international conference, ICGT 2016, in memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5–6, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40529-2/pbk; 978-3-319-40530-8/ebook). Lecture Notes in Computer Science 9761, 37-53 (2016). MSC: 68Q42 PDFBibTeX XMLCite \textit{A. Corradini} et al., Lect. Notes Comput. Sci. 9761, 37--53 (2016; Zbl 1344.68106) Full Text: DOI Link
Corradini, Andrea; Duval, Dominique; Echahed, Rachid; Prost, Frederic; Ribeiro, Leila AGREE – algebraic graph rewriting with controlled embedding. (English) Zbl 1321.68327 Parisi-Presicce, Francesco (ed.) et al., Graph transformation. 8th international conference, ICGT 2015, held as part of STAF 2015, L’Aquila, Italy, July 21–23, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-21144-2/pbk; 978-3-319-21145-9/ebook). Lecture Notes in Computer Science 9151, 35-51 (2015). MSC: 68Q42 PDFBibTeX XMLCite \textit{A. Corradini} et al., Lect. Notes Comput. Sci. 9151, 35--51 (2015; Zbl 1321.68327) Full Text: DOI arXiv Link