Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
Confluence of Typed Attributed Graph Transformation SystemsHeckel, Reiko ; Küster, Jochen Malte ; Taentzer, GabrieleGraph Transformation, 2002, p.161-176 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
2 |
Material Type: Ata de Congresso
|
Fundamental Theory for Typed Attributed Graph TransformationEhrig, Hartmut ; Prange, Ulrike ; Taentzer, GabrieleGraph Transformations, 2004, p.161-177 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
3 |
Material Type: Ata de Congresso
|
Tutorial Introduction to Graph Transformation: A Software Engineering PerspectiveBaresi, Luciano ; Heckel, ReikoGraph Transformation, 2002, p.402-429 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
4 |
Material Type: Artigo
|
Events and modules in reaction systemsEHRENFEUCHT, A ; ROZENBERG, GTheoretical computer science, 2007-05, Vol.376 (1-2), p.3-16 [Periódico revisado por pares]Amsterdam: ElsevierTexto completo disponível |
|
5 |
Material Type: Ata de Congresso
|
Transformation: The missing link of MDAGERBER, Anna ; LAWLEY, Michael ; RAYMOND, Kerry ; STEEL, Jim ; WOOD, AndrewLecture notes in computer science, 2002, p.90-105 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
|
6 |
Material Type: Ata de Congresso
|
A Formal Semantics of UML Statecharts by Model Transition SystemsVARRO, DanielGraph Transformation, 2002, p.378-392 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
7 |
Material Type: Ata de Congresso
|
Partially-Ordered Two-Way Automata: A New Characterization of DASchwentick, Thomas ; Thérien, Denis ; Vollmer, HeribertDevelopments in Language Theory, 2002, p.239-250 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
8 |
Material Type: Ata de Congresso
|
A Short Introduction to Infinite AutomataThomas, WolfgangDevelopments in Language Theory, 2002, p.130-144 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
9 |
Material Type: Ata de Congresso
|
A Linear-Time Solution to the Knapsack Problem Using P Systems with Active MembranesPérez-Jiménez, Mario J. ; Riscos-Núñez, AgustinLecture notes in computer science, 2004, p.250-268 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
10 |
Material Type: Ata de Congresso
|
P Systems Running on a Cluster of ComputersCiobanu, Gabriel ; Wenyuan, GuoLecture notes in computer science, 2004, p.123-139 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |