Backward and forward bisimulation minimization of tree automata

Three Partition Refinement Algorithms

Robert Paige, Robert E. Tarjan · SIAM Journal on Computing · 1987 · 1.2K citations

Computing, Computer Science, Mathematics +13

Continuous speech recognition by statistical methods

F. Jelinek · Proceedings of the IEEE · 1976 · 911 citations

Computing, Computer Science, Acoustics +14

A syntax-based statistical translation model

Kenji Yamada, Kevin Knight · 2001 · 738 citations · Full text

Language Studies, Computer Science, Translation Studies +17

The equivalence problem for regular expressions with squaring requires exponential space

Albert R. Meyer, Larry J. Stockmeyer · 1972 · 606 citations

Computing, Computer Science, Mathematics +6

Bisimulation relations for weighted automata

Peter Buchholz · Theoretical Computer Science · 2007 · 98 citations

Computing, Computer Engineering, Computer Science +14