A temporal graph grammar formalism

A theory of timed automata

Rajeev Alur, David L. Dill · Theoretical Computer Science · 1994 · 6.5K citations

Computing, Computer Science, Formal Methods +9

Proceedings of IEEE International Conference on Systems, Man and Cybernetics

1994 · 1.3K citations

Engineering, Computer Science, Systems Engineering +12

Proceedings of 48th Hawaii International Conference on System Sciences (HICSS)

Essi Pöyry, Petri Parvinen, Richard McFarland · 2015 · 643 citations

Computing, Computer Science, Systems Engineering +14

Proceedings of the 1997 IEEE International Conference on Control Applications

1997 · 266 citations

Engineering, Electrical Engineering, Systems Engineering +14

Defining and Parsing Visual Languages with Layered Graph Grammars

J. Rekers, Andreas Schürr · Journal of Visual Languages & Computing · 1997 · 201 citations

Computing, Computer Science, Natural Language Processing +13