EDP Sciences logo
Subscriber Authentication Point
Search
Menu
All issues RAIRO-Theor. Inf. Appl., 39 3 (2005) 511-545 Article references

Articles citing this article

The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).

Cited article:

A generic construction for crossovers of graph-like structures and its realization in the Eclipse Modeling Framework

Jens Kosiol, Stefan John and Gabriele Taentzer
Journal of Logical and Algebraic Methods in Programming 136 100909 (2024)
https://doi.org/10.1016/j.jlamp.2023.100909

A Category of Surface-Embedded Graphs

Malin Altenmüller and Ross Duncan
Electronic Proceedings in Theoretical Computer Science 380 41 (2023)
https://doi.org/10.4204/EPTCS.380.3

Computational category-theoretic rewriting

Kristopher Brown, Evan Patterson, Tyler Hanks and James Fairbanks
Journal of Logical and Algebraic Methods in Programming 134 100888 (2023)
https://doi.org/10.1016/j.jlamp.2023.100888

A generalized concurrent rule construction for double-pushout rewriting: Generalized concurrency theorem and language-preserving rule applications

Jens Kosiol and Gabriele Taentzer
Journal of Logical and Algebraic Methods in Programming 130 100820 (2023)
https://doi.org/10.1016/j.jlamp.2022.100820

String diagram rewrite theory III: Confluence with and without Frobenius

Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Paweł Sobociński and Fabio Zanasi
Mathematical Structures in Computer Science 32 (7) 829 (2022)
https://doi.org/10.1017/S0960129522000123

String diagram rewrite theory II: Rewriting with symmetric monoidal structure

Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski and Fabio Zanasi
Mathematical Structures in Computer Science 32 (4) 511 (2022)
https://doi.org/10.1017/S0960129522000317

String Diagram Rewrite Theory I: Rewriting with Frobenius Structure

Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski and Fabio Zanasi
Journal of the ACM 69 (2) 1 (2022)
https://doi.org/10.1145/3502719

Foundations of Software Science and Computation Structures

Davide Castelnovo, Fabio Gadducci and Marino Miculan
Lecture Notes in Computer Science, Foundations of Software Science and Computation Structures 13242 205 (2022)
https://doi.org/10.1007/978-3-030-99253-8_11

Relational and Algebraic Methods in Computer Science

Alexandre Fernandez, Luidnel Maignan and Antoine Spicher
Lecture Notes in Computer Science, Relational and Algebraic Methods in Computer Science 13027 159 (2021)
https://doi.org/10.1007/978-3-030-88701-8_10

Rewriting theory for the life sciences: A unifying theory of CTMC semantics

Nicolas Behr, Jean Krivine, Jakob L. Andersen and Daniel Merkle
Theoretical Computer Science 884 68 (2021)
https://doi.org/10.1016/j.tcs.2021.07.026

Recent Trends in Algebraic Development Techniques

Thierry Boy de la Tour
Lecture Notes in Computer Science, Recent Trends in Algebraic Development Techniques 12669 54 (2021)
https://doi.org/10.1007/978-3-030-73785-6_4

Avoiding unnecessary information loss: correct and efficient model synchronization based on triple graph grammars

Lars Fritsche, Jens Kosiol, Andy Schürr and Gabriele Taentzer
International Journal on Software Tools for Technology Transfer 23 (3) 335 (2021)
https://doi.org/10.1007/s10009-020-00588-7

Double-pushout-rewriting in S-Cartesian functor categories: Rewriting theory and application to partial triple graphs

Jens Kosiol, Lars Fritsche, Andy Schürr and Gabriele Taentzer
Journal of Logical and Algebraic Methods in Programming 115 100565 (2020)
https://doi.org/10.1016/j.jlamp.2020.100565

Tracelets and Tracelet Analysis Of Compositional Rewriting Systems

Nicolas Behr
Electronic Proceedings in Theoretical Computer Science 323 44 (2020)
https://doi.org/10.4204/EPTCS.323.4

Constructing optimized constraint-preserving application conditions for model transformation rules

Nebras Nassar, Jens Kosiol, Thorsten Arendt and Gabriele Taentzer
Journal of Logical and Algebraic Methods in Programming 114 100564 (2020)
https://doi.org/10.1016/j.jlamp.2020.100564

Fundamental Approaches to Software Engineering

Fernando Orejas, Elvira Pino and Marisa Navarro
Lecture Notes in Computer Science, Fundamental Approaches to Software Engineering 12076 273 (2020)
https://doi.org/10.1007/978-3-030-45234-6_14

Fraction, Restriction, and Range Categories From Stable Systems of Morphisms

S.N. Hosseini, A.R. Shir Ali Nasab and W. Tholen
Journal of Pure and Applied Algebra 106361 (2020)
https://doi.org/10.1016/j.jpaa.2020.106361

Reversibility and Composition of Rewriting in Hierarchies

Russ Harmer and Eugenia Oshurko
Electronic Proceedings in Theoretical Computer Science 330 145 (2020)
https://doi.org/10.4204/EPTCS.330.9

Efficient Computation of Graph Overlaps for Rule Composition: Theory and Z3 Prototyping

Nicolas Behr, Reiko Heckel and Maryam Ghaffari Saadat
Electronic Proceedings in Theoretical Computer Science 330 126 (2020)
https://doi.org/10.4204/EPTCS.330.8

Graph Surfing in Reaction Systems from a Categorial Perspective

Hans-Jörg Kreowski and Aaron Lye
Electronic Proceedings in Theoretical Computer Science 330 71 (2020)
https://doi.org/10.4204/EPTCS.330.5

Fundamental Approaches to Software Engineering

Lars Fritsche, Jens Kosiol, Andy Schürr and Gabriele Taentzer
Lecture Notes in Computer Science, Fundamental Approaches to Software Engineering 11424 116 (2019)
https://doi.org/10.1007/978-3-030-16722-6_7

The PBPO graph transformation approach

Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost and Leila Ribeiro
Journal of Logical and Algebraic Methods in Programming 103 213 (2019)
https://doi.org/10.1016/j.jlamp.2018.12.003

Sesqui-Pushout Rewriting: Concurrency, Associativity and Rule Algebra Framework

Nicolas Behr
Electronic Proceedings in Theoretical Computer Science 309 23 (2019)
https://doi.org/10.4204/EPTCS.309.2

On the essence and initiality of conflicts in M-adhesive transformation systems

Guilherme Grochau Azzi, Andrea Corradini and Leila Ribeiro
Journal of Logical and Algebraic Methods in Programming 109 100482 (2019)
https://doi.org/10.1016/j.jlamp.2019.100482

Graph Transformation, Specifications, and Nets

Guilherme Grochau Azzi, Jonas Santos Bezerra, Leila Ribeiro, et al.
Lecture Notes in Computer Science, Graph Transformation, Specifications, and Nets 10800 160 (2018)
https://doi.org/10.1007/978-3-319-75396-6_9

Graph Transformation, Specifications, and Nets

Barbara König, Dennis Nolte, Julia Padberg and Arend Rensink
Lecture Notes in Computer Science, Graph Transformation, Specifications, and Nets 10800 83 (2018)
https://doi.org/10.1007/978-3-319-75396-6_5

Graph Transformation, Specifications, and Nets

Andrea Corradini, Dominique Duval, Michael Löwe, et al.
Lecture Notes in Computer Science, Graph Transformation, Specifications, and Nets 10800 1 (2018)
https://doi.org/10.1007/978-3-319-75396-6_1

Software Technologies: Applications and Foundations

Lars Fritsche, Jens Kosiol, Andy Schürr and Gabriele Taentzer
Lecture Notes in Computer Science, Software Technologies: Applications and Foundations 11176 415 (2018)
https://doi.org/10.1007/978-3-030-04771-9_30

Programming Languages and Systems

Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Paweł Sobociński and Fabio Zanasi
Lecture Notes in Computer Science, Programming Languages and Systems 10201 141 (2017)
https://doi.org/10.1007/978-3-662-54434-1_6

Software Technologies: Applications and Foundations

Andrea Corradini
Lecture Notes in Computer Science, Software Technologies: Applications and Foundations 9946 101 (2016)
https://doi.org/10.1007/978-3-319-50230-4_8

Robustness and closure properties of recognizable languages in adhesive categories

H.J. Sander Bruggink, Barbara König and Sebastian Küpper
Science of Computer Programming 104 71 (2015)
https://doi.org/10.1016/j.scico.2014.08.006

Rule-based transformation of graph rewriting rules: Towards higher-order graph grammars

Rodrigo Machado, Leila Ribeiro and Reiko Heckel
Theoretical Computer Science 594 1 (2015)
https://doi.org/10.1016/j.tcs.2015.01.034

Processes and unfoldings: concurrent computations in adhesive categories

PAOLO BALDAN, ANDREA CORRADINI, TOBIAS HEINDEL, BARBARA KÖNIG and PAWEŁ SOBOCIŃSKI
Mathematical Structures in Computer Science 24 (4) (2014)
https://doi.org/10.1017/S096012951200031X

Formal analysis of model transformations based on triple graph grammars

FRANK HERMANN, HARTMUT EHRIG, ULRIKE GOLAS and FERNANDO OREJAS
Mathematical Structures in Computer Science 24 (4) (2014)
https://doi.org/10.1017/S0960129512000370

Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions

FRANK HERMANN, ANDREA CORRADINI and HARTMUT EHRIG
Mathematical Structures in Computer Science 24 (4) (2014)
https://doi.org/10.1017/S0960129512000382

-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation

HARTMUT EHRIG, ULRIKE GOLAS, ANNEGRET HABEL, LEEN LAMBERS and FERNANDO OREJAS
Mathematical Structures in Computer Science 24 (4) (2014)
https://doi.org/10.1017/S0960129512000357

Multi-amalgamation of rules with application conditions in -adhesive categories

ULRIKE GOLAS, ANNEGRET HABEL and HARTMUT EHRIG
Mathematical Structures in Computer Science 24 (4) (2014)
https://doi.org/10.1017/S0960129512000345

Foundations of Software Science and Computation Structures

Fernando Orejas, Artur Boronat, Ulrike Golas and Nikos Mylonakis
Lecture Notes in Computer Science, Foundations of Software Science and Computation Structures 7794 113 (2013)
https://doi.org/10.1007/978-3-642-37075-5_8

Foundations of Software Science and Computational Structures

Mathias Hülsbusch and Barbara König
Lecture Notes in Computer Science, Foundations of Software Science and Computational Structures 7213 361 (2012)
https://doi.org/10.1007/978-3-642-28729-9_24

Recent Trends in Algebraic Development Techniques

Andrea Corradini, Fabio Gadducci and Leila Ribeiro
Lecture Notes in Computer Science, Recent Trends in Algebraic Development Techniques 7137 160 (2012)
https://doi.org/10.1007/978-3-642-28412-0_11

Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories

Hanna Schölzel, Hartmut Ehrig, Maria Maximova, Karsten Garbriel and Frank Hermann
Electronic Proceedings in Theoretical Computer Science 93 83 (2012)
https://doi.org/10.4204/EPTCS.93.5

Structured Operational Semantics for Graph Rewriting

Andrei Dorman and Tobias Heindel
Electronic Proceedings in Theoretical Computer Science 59 37 (2011)
https://doi.org/10.4204/EPTCS.59.4

Mathematical Foundations of Computer Science 2011

Paolo Baldan, Fabio Gadducci and Pawel Sobociński
Lecture Notes in Computer Science, Mathematical Foundations of Computer Science 2011 6907 48 (2011)
https://doi.org/10.1007/978-3-642-22993-0_8

A lattice-theoretical perspective on adhesive categories

Paolo Baldan, Filippo Bonchi, Andrea Corradini, Tobias Heindel and Barbara König
Journal of Symbolic Computation 46 (3) 222 (2011)
https://doi.org/10.1016/j.jsc.2010.09.006

Graph Transformations

Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale and Ugo Montanari
Lecture Notes in Computer Science, Graph Transformations 6372 123 (2010)
https://doi.org/10.1007/978-3-642-15928-2_9