Formal Methods in Verification — Research Topic | NobleBlocks | NobleBlocks

Formal Methods in Verification

Top publications in Formal Methods in Verification across the NobleBlocks index. Open any paper for its abstract, citations, and AI-generated take.

Indexed papers

1.0K

Total citations

9.6K

Latest paper

2025

Papers per year (last 16 years) — click a bar to see papers from that year

20102025

Top papers

Standard methods: For the examination of water and waste water

A. E. Greenberg, Lenore S. Clesceri, Andrew D. Eaton, American Public Health Association.

1990· Analytical Biochemistry72.5K

STATISTICAL METHODS FOR ASSESSING AGREEMENT BETWEEN TWO METHODS OF CLINICAL MEASUREMENT

J Martin Bland, DouglasG. Altman

1986· The Lancet47.2K

Case Study Research: Design and Methods

Harris Chaiklin

1991· The Journal of Nervous and Mental Disease39.9K

Standard Methods for the Examination of Water and Wastewater

1982· Water Research30.2K

Official Methods of Analysis

Hierarchical Linear Models: Applications and Data Analysis Methods.

Nicholas T. Longford, Anthony S. Bryk, Stephen W. Raudenbush

1993· Contemporary Sociology A Journal of Reviews26.5K

STATISTICAL METHODS

1967· Acta Paediatrica22.9K

Social Network Analysis: Methods and Applications

S. Wasserman, Katherine Faust

Methods for Dietary Fiber, Neutral Detergent Fiber, and Nonstarch Polysaccharides in Relation to Animal Nutrition

P.J. Van Soest, J.B. Robertson, B.A. Lewis

1991· Journal of Dairy Science21.7K

Cancer incidence and mortality worldwide: Sources, methods and major patterns in GLOBOCAN 2012

Jacques Ferlay, Isabelle Soerjomataram, Rajesh Dikshit, Sultan Eser +5 more

2014· International Journal of Cancer21.5K

Methods of Enzymatic Analysis

1975· Journal of AOAC INTERNATIONAL19.9K

Research design: qualitative, quantitative, and mixed methods approaches

2003· Revista de Administração Contemporânea19.0K

A unified formulation of the constant temperature molecular dynamics methods

1984· The Journal of Chemical Physics18.4K

Qualitative evaluation and research methods

1990· International Journal of Information Management18.2K

Statistical Methods for Rates and Proportions

Joseph L. Fleiss, Bruce Levin, Myunghee Cho Paik

2003· Wiley series in probability and statistics18.0K

Institutionalized Organizations: Formal Structure as Myth and Ceremony

John W. Meyer, Brian Rowan

1977· American Journal of Sociology17.7K

Toward reliable density functional methods without adjustable parameters: The PBE0 model

Carlo Adamo, Vincenzo Barone

1999· The Journal of Chemical Physics17.5K

Self-consistent molecular orbital methods. XX. A basis set for correlated wave functions

R. Krishnan, J. Stephen Binkley, Rolf Seeger, John A. Pople

1980· The Journal of Chemical Physics17.2K

Research methods for business: A skill building approach

1993· Long Range Planning17.1K

New Algorithms and Methods to Estimate Maximum-Likelihood Phylogenies: Assessing the Performance of PhyML 3.0

Stéphane Guindon, Jean-François Dufayard, Vincent Lefort, Maria Anisimova +2 more

2010· Systematic Biology16.6K

Search all 1.0K papers in Formal Methods in Verification →

Explore this topic

Search all papers Explore in Research Start a literature review ← Browse all topics

Topic snapshot

1.0K papers indexed

9.6K total citations

Latest: 2025