The design of a language for model transformations

The theory of hybrid automata

Thomas A. Henzinger · 2002 · 1.8K citations

Continuous Systems, Logical Automaton, Engineering +13

Recursive functions of symbolic expressions and their computation by machine, Part I

John McCarthy · Communications of the ACM · 1960 · 1.4K citations · Full text

Composing domain-specific design environments

Ákos Lédeczi, Árpád Bakay, Miklós Maróti et al. · Computer · 2001 · 1.1K citations

Engineering, Computer Architecture, Software Engineering +22

Graph-grammars: An algebraic approach

Hartmut Ehrig, Michael Pfender, Hans Schneider · 1973 · 488 citations

Engineering, Chomsky Hierarchy, Direct Derivations +18

Model-integrated computing

János Sztipanovits, Gábor Karsai · Computer · 1997 · 454 citations

Engineering, Computer Architecture, Intelligent Systems +16