Concepedia

Graphical Model Checking

Graphical Model Checking is a Bayesian model checking method that uses visual representations of model structure and data to diagnose discrepancies between assumed probabilistic relationships and observed evidence.

90

Publications

4.8K

Citations

223

Authors

110

Institutions

Publications per year

2017–2026

13

Parents

Publications

90

Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker

Diego Latella, István Majzik, Mieke Massink · Formal Aspects of Computing · 1999 · 292 citations

, , +14

Model‐Checking Techniques Based on Cumulative Residuals

D. Y. Lin, L. J. Wei, Z. Ying · Biometrics · 2002 · 290 citations

, , +16

Graphical Methods for Assessing Logistic Regression Models

James M. Landwehr, Daryl Pregibon · Journal of the American Statistical Association · 1984 · 243 citations

, , +17

Graphical Methods for Assessing Logistic Regression Models

James M. Landwehr, Daryl Pregibon, Anne C. Shoemaker · Journal of the American Statistical Association · 1984 · 242 citations

, , +17

gllvm: Fast analysis of multivariate abundance data with generalized linear latent variable models in <scp>r</scp>

Jenni Niku, Francis K. C. Hui, Sara Taskinen et al. · Methods in Ecology and Evolution · 2019 · 218 citations · Full text

, , +9

1–5 of 90

Authors

223

  1. AP
    Antti Pakonen

    VTT Technical Research Centre of Finland, Finland

    3 publications · 64 citations

    3

    h-index

  2. HS
    Heike Siebert

    Freie Universität Berlin, Germany

    2 publications · 145 citations

    2

    h-index

  3. RG
    Robert Gentleman

    Fred Hutch Cancer Center, United States

    2 publications · 75 citations

    2

    h-index

  4. RE
    Rik Eshuis

    Eindhoven University of Technology, Netherlands

    2 publications · 234 citations

    2

    h-index

  5. PS
    Petri Selonen

    2 publications · 53 citations

    2

    h-index

1–5 of 223

Institutions

110

  1. Carnegie Mellon University

    Pittsburgh, United States

    5 h-index

    11 publications

    774 citations

  2. University of Wisconsin–Madison

    Madison, United States

    3 h-index

    4 publications

    456 citations

  3. Fred Hutch Cancer Center

    Seattle, United States

    3 h-index

    3 publications

    91 citations

  4. Ludwig-Maximilians-Universität München

    Munich, Germany

    2 h-index

    2 publications

    94 citations

  5. Microsoft (United States)

    Redmond, United States

    2 h-index

    2 publications

    202 citations

  6. University of Waterloo

    Waterloo, Canada

    2 h-index

    2 publications

    75 citations

  7. University of Jyväskylä

    Jyväskylä, Finland

    2 h-index

    3 publications

    479 citations

  8. Software Engineering Institute

    Pittsburgh, United States

    2 h-index

    3 publications

    148 citations

1–8 of 110

Venues

  1. 6

    h-index

  2. Biometrics

    4 publications · 458 citations

    4

    h-index

  3. 3

    h-index

  4. Theoretical Computer Science

    2 publications · 172 citations

    2

    h-index

  5. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

    Repository · 2 publications · 79 citations

    2

    h-index

1–5