skip to main content
Idioma:
Mostrar Somente
Refinado por: assunto: Graph Transformation remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Confluence of Typed Attributed Graph Transformation Systems
Confluence of Typed Attributed Graph Transformation Systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Confluence of Typed Attributed Graph Transformation Systems

Heckel, Reiko ; Küster, Jochen Malte ; Taentzer, Gabriele Rozenberg, Grzegorz ; Corradini, Andrea ; Ehrig, Hartmut ; Kreowski, Hans -Jörg

Graph Transformation, 2002, p.161-176 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
2
Sesqui-Pushout Rewriting
Sesqui-Pushout Rewriting
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Sesqui-Pushout Rewriting

Corradini, Andrea ; Heindel, Tobias ; Hermann, Frank ; König, Barbara Corradini, Andrea ; Ehrig, Hartmut ; Ribeiro, Leila ; Montanari, Ugo ; Rozenberg, Grzegorz

Graph Transformations, 2006, p.30-45 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
3
Fundamental Theory for Typed Attributed Graph Transformation
Fundamental Theory for Typed Attributed Graph Transformation
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Fundamental Theory for Typed Attributed Graph Transformation

Ehrig, Hartmut ; Prange, Ulrike ; Taentzer, Gabriele Engels, Gregor ; Rozenberg, Grzegorz ; Ehrig, Hartmut ; Parisi-Presicce, Francesco

Graph Transformations, 2004, p.161-177 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
4
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Tutorial Introduction to Graph Transformation: A Software Engineering Perspective

Baresi, Luciano ; Heckel, Reiko Rozenberg, Grzegorz ; Corradini, Andrea ; Ehrig, Hartmut ; Kreowski, Hans -Jörg

Graph Transformation, 2002, p.402-429 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
5
Weakest Preconditions for High-Level Programs
Weakest Preconditions for High-Level Programs
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Weakest Preconditions for High-Level Programs

Habel, Annegret ; Pennemann, Karl-Heinz ; Rensink, Arend Corradini, Andrea ; Ehrig, Hartmut ; Ribeiro, Leila ; Montanari, Ugo ; Rozenberg, Grzegorz

Graph Transformations, 2006, p.445-460 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
6
Conflict Detection for Graph Transformation with Negative Application Conditions
Conflict Detection for Graph Transformation with Negative Application Conditions
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Conflict Detection for Graph Transformation with Negative Application Conditions

Lambers, Leen ; Ehrig, Hartmut ; Orejas, Fernando Corradini, Andrea ; Ehrig, Hartmut ; Ribeiro, Leila ; Montanari, Ugo ; Rozenberg, Grzegorz

Graph Transformations, 2006, p.61-76 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
7
Toposes Are Adhesive
Toposes Are Adhesive
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Toposes Are Adhesive

Lack, Stephen ; Sobociński, Paweł Corradini, Andrea ; Ehrig, Hartmut ; Ribeiro, Leila ; Montanari, Ugo ; Rozenberg, Grzegorz

Graph Transformations, 2006, p.184-198 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
8
A Formal Semantics of UML Statecharts by Model Transition Systems
A Formal Semantics of UML Statecharts by Model Transition Systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Formal Semantics of UML Statecharts by Model Transition Systems

VARRO, Daniel Rozenberg, Grzegorz ; Corradini, Andrea ; Ehrig, Hartmut ; Kreowski, Hans -Jörg

Graph Transformation, 2002, p.378-392 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
Representing First-Order Logic Using Graphs
Representing First-Order Logic Using Graphs
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Representing First-Order Logic Using Graphs

Rensink, Arend Engels, Gregor ; Rozenberg, Grzegorz ; Ehrig, Hartmut ; Parisi-Presicce, Francesco

Graph Transformations, 2004, p.319-335 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
Constraints and Application Conditions: From Graphs to High-Level Structures
Constraints and Application Conditions: From Graphs to High-Level Structures
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Constraints and Application Conditions: From Graphs to High-Level Structures

Ehrig, Hartmut ; Ehrig, Karsten ; Habel, Annegret ; Pennemann, Karl-Heinz Engels, Gregor ; Rozenberg, Grzegorz ; Ehrig, Hartmut ; Parisi-Presicce, Francesco

Graph Transformations, 2004, p.287-303 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.