Simulation Modelling Practice and Theory · 2014 · 38 citations · 51 references
ComputingComputer ScienceDistributed SystemsFormal MethodsKnowledge RepresentationDeductive VerificationModel CheckingModel ExecutionMulti-agent SystemsTemporal Knowledge RepresentationTemporal LogicPartial-order ReductionReal-time Systems VerificationTemporal Knowledge ModelingTemporal Logic VerificationTemporal Verification
51
Graph-Based Algorithms for Boolean Function Manipulation
Bryant · IEEE Transactions on Computers · 1986 · 8.9K citations · Full text
E. M. Clarke, Orna Grümberg, D. Long · 1996 · 6.9K citations
Depth-First Search and Linear Graph Algorithms
Robert E. Tarjan · SIAM Journal on Computing · 1972 · 6K citations
Speech Acts: An Essay in the Philosophy of Language.
William P. Alston, John R. Searle · The Philosophical Quarterly · 1970 · 3.9K citations
Humanities, Linguistics, Philosophy +14
Mathematical Social Sciences · 1994 · 3.6K citations