Results 251 to 260 of about 164,290 (263)

Graph multiset transformation: a new framework for massively parallel computation inspired by DNA computing

Natural Computing, 2011
Hans-Jörg Kreowski, Sabine Kuske, Kreowski Hans-Jörg   +2 more
exaly  

A Generic Intermediate Representation for Verification Condition Generation

International Workshop/Symposium on Logic-based Program Synthesis and Transformation, 2015
Manuel Montenegro, Ricardo Peña-Marí, J. Sánchez-Hernández   +2 more
semanticscholar   +1 more source

Graph Transformation with Incremental Updates

Electronic Notes in Theoretical Computer Science, 2004
Daniel Varro
exaly  

Chordal 2‐Connected Graphs and Spanning Trees

Journal of Graph Theory, 2014
Z. R. Bogdanowicz
semanticscholar   +1 more source

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

Theoretical Computer Science, 2015
Reiko Heckel
exaly  

Graph Transformation Units with Interleaving Semantics

Formal Aspects of Computing, 1999
Hans-Jörg Kreowski, Sabine Kuske, Kreowski Hans-Jörg   +2 more
exaly  

Defining visual notations and their manipulation through meta-modelling and graph transformation

Journal of Visual Languages and Computing, 2004
Juan De Lara, Hans Vangheluwe
exaly  

Switched-capacitor filter design using bilinear element modeling

, 1980
J. Nossek, G. Temes
semanticscholar   +1 more source

Chemical Graphs, Chemical Reaction Graphs, and Chemical Graph Transformation

Electronic Notes in Theoretical Computer Science, 2005
Francesc Rosselló, Gabriel Valiente
exaly  

A New Version of GTXL : An Exchange Format for Graph Transformation Systems

Electronic Notes in Theoretical Computer Science, 2005
Leen Lambers
exaly