Quantitative analysis of weighted transition systems

A theory of timed automata

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

Computing, Computer Science, Formal Methods +9

A Structural Approach to Operational Semantics

Gordon Plotkin · 2004 · 2K citations

Language Studies, Computer Science, Formal Methods +6

On the definition of a family of automata

M. P. Schützenberger · Information and Control · 1961 · 645 citations

Computing, Computer Science, Mathematics +8

Weighted automata and weighted logics

Manfred Droste, Paul Gastin · Theoretical Computer Science · 2007 · 224 citations

Computing, Computer Science, Logic +7

Optimal paths in weighted timed automata

Rajeev Alur, Salvatore La Torre, George J. Pappas · Theoretical Computer Science · 2003 · 140 citations

Computing, Computer Science, Mathematics +9