Formal Methods Publications

Publications in Formal Methods

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

Formal Methods

102.2K

Publications

5.7M

Citations

Showing yearly statistics from 2000-2026.

Page 1

	Year	Citations
Lecture Notes in Computer Science 1205 Industrial Robot the international journal of robotics research and application Lecture RecordingProgramming Language TheoryEngineeringComputer Science 1205Formal Methods	1999	38.7K
New directions in cryptography Whitfield Diffie, Martin E. Hellman IEEE Transactions on Information Theory Cryptographic PrimitiveEngineeringInformation SecurityCryptographic TechnologyInformation Forensics	1976	14.3K
First principles methods using CASTEP Stewart J. Clark, Matthew Segall, Chris J. Pickard, Zeitschrift für Kristallographie - Crystalline Materials EngineeringComputational ChemistryElectronic StructureCastep CodeMethodological Development	2005	13.9K
Introduction to automata theory, languages and computation Mathematics and Computers in Simulation Logical AutomatonEngineeringAutomated ReasoningFormal MethodsAutomaton Network	1981	10.8K
Binary codes capable of correcting deletions, insertions and reversals V.I. Levenshtein Soviet physics. Doklady EngineeringInformation RetrievalString-searching AlgorithmProgram AnalysisKnowledge Discovery	1965	10.4K
Graph-Based Algorithms for Boolean Function Manipulation Bryant IEEE Transactions on Computers Circuit ComplexityComputational LogicLogic SynthesisEngineeringBoolean Function Manipulation	1986	8.8K
Outline of a New Approach to the Analysis of Complex Systems and Decision Processes Lotfi A. Zadeh IEEE Transactions on Systems Man and Cybernetics Fuzzy SystemsEngineeringFuzzy ModelingComplex SystemsIntelligent Systems	1973	8.7K
Time, clocks, and the ordering of events in a distributed system Leslie Lamport Communications of the ACM Event-driven ArchitectureEngineeringConcurrent SystemClock SynchronizationFormal Verification	1978	8.4K
On Computable Numbers, with an Application to the Entscheidungsproblem Alan Turing Proceedings of the London Mathematical Society Computable NumbersEngineeringAutomated ReasoningComputational Model TheoryFormal Methods	1937	8K
A Comparison of Three Methods for Selecting Values of Input Variables in the Analysis of Output from a Computer Code Michael D. McKay, Richard J. Beckman, W. J. Conover Technometrics EngineeringSample MeanMonte Carlo MethodsSampling TechniqueSoftware Engineering	2000	7.5K
Space/time trade-offs in hash coding with allowable errors Burton H. Bloom Communications of the ACM EngineeringComputational FactorsVerificationHash CodingSoftware Analysis	1970	7.4K
Introduction to automata theory, languages, and computation Computer Languages Logical AutomatonEngineeringAutomated ReasoningFormal MethodsAutomaton Network	1980	6.8K

Page 1