Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
![]() |
A Bioinspired Computing Approach to Model Complex SystemsPérez-Jiménez, Mario J. Salomaa, Arto ; Gheorghe, Marian ; Zandron, Claudio ; Rozenberg, Grzegorz ; Sosík, PetrMembrane Computing, p.20-34 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
2 |
Material Type: Ata de Congresso
|
![]() |
About Models Derived from ColoniesVavrecková, Šárka ; Cienciala, Ludek ; Ciencialová, Lucie Rozenberg, Grzegorz ; Sempere, José M. ; Salomaa, Arto ; Zandron, ClaudioMembrane Computing, p.369-386 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
3 |
Material Type: Capítulo de Livro
|
![]() |
Abstraction and Control for Shapely Nested Graph TransformationHoffmann, Berthold Rozenberg, Grzegorz ; Corradini, Andrea ; Ehrig, Hartmut ; Kreowski, Hans -JörgGraph Transformation, 2002, p.177-191 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
4 |
Material Type: Capítulo de Livro
|
![]() |
Adhesive High-Level Replacement Categories and SystemsEhrig, Hartmut ; Habel, Annegret ; Padberg, Julia ; Prange, Ulrike Engels, Gregor ; Rozenberg, Grzegorz ; Ehrig, Hartmut ; Parisi-Presicce, FrancescoGraph Transformations, 2004, p.144-160 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
5 |
Material Type: Capítulo de Livro
|
![]() |
Analysis of Metabolic Pathways by Graph TransformationRosselló, Francesc ; Valiente, Gabriel Engels, Gregor ; Rozenberg, Grzegorz ; Ehrig, Hartmut ; Parisi-Presicce, FrancescoGraph Transformations, 2004, p.70-82 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
6 |
Material Type: Ata de Congresso
|
![]() |
Approximating the Behaviour of Graph Transformation SystemsBaldan, Paolo ; König, Barbara Rozenberg, Grzegorz ; Corradini, Andrea ; Ehrig, Hartmut ; Kreowski, Hans -JörgGraph Transformation, 2002, p.14-29 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
7 |
Material Type: Ata de Congresso
|
![]() |
Automated Verification of Stochastic Spiking Neural P SystemsAman, Bogdan ; Ciobanu, Gabriel Rozenberg, Grzegorz ; Sempere, José M. ; Salomaa, Arto ; Zandron, ClaudioMembrane Computing, p.77-91 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
8 |
Material Type: Ata de Congresso
|
![]() |
Bigraphs as a Model for Mobile InteractionMilner, Robin Rozenberg, Grzegorz ; Corradini, Andrea ; Ehrig, Hartmut ; Kreowski, Hans -JörgGraph Transformation, 2002, p.8-13 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
9 |
Material Type: Ata de Congresso
|
![]() |
Bridging Deterministic P Systems and Conditional GrammarsAlhazov, Artiom ; Freund, Rudolf ; Verlan, Sergey Rozenberg, Grzegorz ; Sempere, José M. ; Salomaa, Arto ; Zandron, ClaudioMembrane Computing, p.63-76 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
10 |
Material Type: Ata de Congresso
|
![]() |
Call-by-Value λ-Graph Rewriting Without RewritingFernández, Maribel ; Mackie, Ian Rozenberg, Grzegorz ; Corradini, Andrea ; Ehrig, Hartmut ; Kreowski, Hans -JörgGraph Transformation, 2002, p.75-89 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |