Constructing invariants for hybrid systems

Petri nets: Properties, analysis and applications

T. Murata · Proceedings of the IEEE · 1989 · 10.5K citations

Engineering, Computer Engineering, Computer Science +15

Abstract interpretation

Patrick Cousot, Radhia Cousot · 1977 · 6.2K citations

Computing, Computer Science, Compilers +8

Ideals, varieties, and algorithms: an introduction to computational algebraic geometry and commutative algebra

Choice Reviews Online · 1993 · 2.1K citations

Natural Sciences, Computer Science, Mathematics +17

The theory of hybrid automata

Thomas A. Henzinger · 2002 · 1.9K citations

Computing, Computer Science, Mathematics +14

Automatic discovery of linear restraints among variables of a program

Patrick Cousot, Nicolas Halbwachs · 1978 · 1.6K citations

Computing, Computer Science, Data Mining +10