Automated generation of partial Markov chain from high level descriptions

A note on two problems in connexion with graphs

E. Dijkstra · Numerische Mathematik · 1959 · 23.8K citations

Natural Sciences, Computer Science, Mathematics +6

Introduction to Algorithms

V. J. Rayward‐Smith, Thomas H. Cormen, Charles E. Leiserson et al. · Journal of the Operational Research Society · 1991 · 17K citations

Computing, Computer Engineering, Computer Science +9

The Complexity of Enumeration and Reliability Problems

Leslie G. Valiant · SIAM Journal on Computing · 1979 · 2.1K citations

Natural Sciences, Computer Science, Mathematics +17

Modelling with Generalized Stochastic Petri Nets

Marco Ajmone Marsan, Gianfranco Balbo, G. Conte et al. · ACM SIGMETRICS Performance Evaluation Review · 1998 · 1.4K citations

Engineering, Systems Engineering, Stochastic Modeling +9

Efficient implementation of a BDD package

Karl S. Brace, Richard Rudell, Randal E. Bryant · 1990 · 1.1K citations · Full text

Computing, Computer Engineering, Computer Science +17