Engineering and theoretical underpinnings of retrenchment

A theory of timed automata

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

Engineering, Formal Methods, Automaton Network +4

Digital control of dynamic systems

H.N. Koivo · Automatica · 1983 · 2K citations

Engineering, Mechanical Systems, Systems Engineering +2

The Physics of Radiation Therapy

JAMA · 1953 · 1.2K citations

Advanced Calculus for Applications

D E R Godfrey · Physics Bulletin · 1963 · 1.2K citations

Numerical Analysis, Method Of Fundamental Solution, Engineering +13

A behavioral notion of subtyping

Barbara Liskov, Jeannette M. Wing · ACM Transactions on Programming Languages and Systems · 1994 · 1.1K citations · Full text

Engineering, Type Families, Subtype Relation +22