Efficient decision procedures for graph properties on context-free graph languages
Journal of the ACM (JACM)
The generating power of the boundary NLC graph grammars
CSC '93 Proceedings of the 1993 ACM conference on Computer science
Hypergraph languages of bounded degree
Journal of Computer and System Sciences
IEEE Transactions on Software Engineering
Introducing formal specification methods in industrial practice
ICSE '97 Proceedings of the 19th international conference on Software engineering
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Design, Construction, and Application of a Generic Visual Language Generation Environment
IEEE Transactions on Software Engineering
Graphical Transformation of Multimedia XML Documents
Annals of Software Engineering
Automatic graphs and D0L-sequences of finite graphs
Journal of Computer and System Sciences
Spatial graph grammars for graphical user interfaces
ACM Transactions on Computer-Human Interaction (TOCHI)
Finite graph automata for linear and boundary graph languages
Theoretical Computer Science
AutoGen: Easing model management through two levels of abstraction
Journal of Visual Languages and Computing
A local greibach normal form for hyperedge replacement grammars
LATA'11 Proceedings of the 5th international conference on Language and automata theory and applications
Quasi-rocking real-time pushdown automata
Theoretical Computer Science
On the structure of linear apex NLC graph grammars
Theoretical Computer Science
Hi-index | 0.00 |