Karen Seidel

Probabilistic predicate transformers

Carroll Morgan, Annabelle McIver, Karen Seidel · ACM Transactions on Programming Languages and Systems · 1996 · 305 citations · Full text

Computing, Computer Science, Formal Methods +13

Probabilistic models for the guarded command language

He Jifeng, Karen Seidel, Annabelle McIver · Science of Computer Programming · 1997 · 165 citations

Computing, Computer Engineering, Computer Science +9

Refinement-oriented probability for CSP

Carroll Morgan, Annabelle McIver, Karen Seidel et al. · Formal Aspects of Computing · 1996 · 88 citations

Computing, Computer Engineering, Computer Science +6

A “universal” model of metastatic cancer, its parametric forms and their identification: what can be learned from site-specific volumes of metastases

Leonid Hanin, Karen Seidel, Dietrich Stoevesandt · Journal of Mathematical Biology · 2015 · 19 citations

Medicine, Cancer Biology, Oncology +13

What's Wrong with Deep Learning in Tree Search for Combinatorial Optimization

Maximilian Böther, Otto Kißig, Martin Taraz et al. · arXiv (Cornell University) · 2022 · 10 citations · Full text

Computing, Computer Science, Algorithms +15