Verification Publications

Publications in Verification

Explore the most influential research papers and scholarly works that have shaped Verification. Use the concept filter below to focus on a specific sub-area of research.

Verification

51.8K

Publications

2.9M

Citations

Showing yearly statistics from 2000-2026.

Page 1

	Year	Citations
PRISMA Extension for Scoping Reviews (PRISMA-ScR): Checklist and Explanation Andrea C. Tricco, Erin Lillie, Wasifa Zarin, Annals of Internal Medicine EngineeringScoping ReviewsSystematic Literature StudyVerificationClinical Guidelines	2018	36K
A Simple Sequentially Rejective Multiple Test Procedure Sture Holm Scandinavian Journal of Statistics EngineeringSignificance ProtectionTesting TechniqueSoftware TestingVerification	1979	21.8K
"Why Should I Trust You?" Marco Túlio Ribeiro, Sameer Singh, Carlos Guestrin Artificial IntelligenceEngineeringMachine LearningTrust Management ArchitectureVerification	2016	14K
Single-crystal structure validation with the program<i>PLATON</i> Anthony L. Spek Journal of Applied Crystallography X-ray CrystallographyCrystal StructureEngineeringVerificationValidation Software	2003	13.8K
Graph-Based Algorithms for Boolean Function Manipulation Bryant IEEE Transactions on Computers Circuit ComplexityComputational LogicLogic SynthesisEngineeringBoolean Function Manipulation	1986	8.8K
Space/time trade-offs in hash coding with allowable errors Burton H. Bloom Communications of the ACM EngineeringComputational FactorsVerificationHash CodingSoftware Analysis	1970	7.4K
The complexity of theorem-proving procedures Stephen Cook EngineeringVerificationAutomated ProofComputational ComplexityRecognition Problem	1971	6.1K
The temporal logic of programs Amir Pnueli Program CheckingEngineeringVerificationSoftware EngineeringSoftware Analysis	1977	5.6K
Theory of Self-Reproducing Automata Jacob T. Schwartz, John von Neumann, Arthur W. Burks Mathematics of Computation Logical AutomatonEngineeringAutomated ReasoningVerificationFormal Methods	1967	5.5K
DeepFool: A Simple and Accurate Method to Fool Deep Neural Networks Seyed-Mohsen Moosavi-Dezfooli, Alhussein Fawzi, Pascal Frossard Convolutional Neural NetworkEngineeringMachine LearningSuch PerturbationsEvasion Technique	2016	5.2K
Basic concepts and taxonomy of dependable and secure computing A. Avižienis, J.-C. Laprie, Brian Randell, IEEE Transactions on Dependable and Secure Computing Software MaintenanceFault PreventionEngineeringInformation SecurityVerification	2004	5.1K
Verification Strategies for Establishing Reliability and Validity in Qualitative Research Janice M. Morse, Michael Barrett, Maria Mayan, International Journal of Qualitative Methods Family MedicineQualitative InquiryQuantitative MethodsEngineeringVerification	2002	4.8K

Page 1