A+Manufacturing & Service Operations ManagementUTD24FT50202628(3): 860-876Trade Credit with Costly Sales Revenue VerificationPaola Martin, Diwakar Gupta被引 1高影响力 前 10%管理信息系统
EM-T2BMC Public Health2026Online health information seeking, verification behaviour, and misinformation perceptions among adults with chronic disease in Saudi Arabia: a structural equation modelling studyHaitham Alzghaibi被引 0开放获取社会学与政治学
EM-WoSExpert Systems with Applications2027333: 134061Beyond scaling: Capability and evidence boundaries of large language models for trustworthy misinformation verificationZhenzhen Gu, Xukun Yan, Guohui Xiao, Yaohui Zhu被引 0阅读 3开放获取社会学与政治学
EM-T1Natural Hazards2023117(2): 1493-1519The verification of wildland–urban interface fire evacuation modelsEnrico Ronchi, Jonathan Wahlqvist, Adam Ardinge, Arthur Rohaert 等 12 人被引 17基金开放获取海洋工程疏散行为与风险认知
A+Operations ResearchUTD24FT50202573(6): 3421-3439Distributionally Robust Optimal Allocation with Costly VerificationHalil İ. Bayrak, Çağıl Koçyiğit, Daniel Kühn, Mustafa Çelebi Pınar被引 2开放获取管理科学与运筹学不确定性优化（随机/鲁棒/DRO/CVaR）
EM-T1Natural Hazards and Earth System Sciences201717(9): 1469-1485Verification of pre-monsoon temperature forecasts over India during 2016 with a focus on heatwave predictionH. N. Singh, Kopal Arora, Raghavendra Ashrit, Ekkattil N. Rajagopal被引 34开放获取大气科学
EM-T1Reliability Engineering & System Safety2021217: 108024-108024An updated method identifying collision-prone locations for ships. A case study for oil tankers navigating in the Gulf of FinlandJ. Mazurek, Liangliang Lu, Przemysław Krata, Jakub Montewka 等 6 人被引 26开放获取海洋工程
EM-T1Disasters201641(3): 549-565Trust, but verify: social media models for disaster managementAmisha M. Mehta, Axel Bruns, Judith Newton被引 85高影响力 前 10%开放获取传播学应急治理与韧性政策
EM-T2Journal of Loss Prevention in the Process Industries2026105: 106195Bridging Tacit Knowledge Loss and Data Scarcity of Coke Drum Integrity Management using a Multi-Stage Hybrid Decision-Analytic FrameworkSamer Ibrahim, Sarinova Simanjuntak, Mohamed Yehia被引 0开放获取机械工程
EM-T1Natural Hazards Review202426(1)Verification and Validation of Agent-Based Models for Resilience Analysis and SimulationXu Han, Maria Koliou, André R. Barbosa被引 8高影响力 前 10%社会学与政治学应急治理与韧性政策
EM-WoSExpert Systems with Applications2026334: 134509RVReplan: A Runtime Verification Framework for Adaptive ReplanningRafael C. Cardoso, Angelo Ferrando被引 0阅读 1开放获取人工智能
EM-T1Reliability Engineering & System Safety2023241: 109621-109621Online hazard prediction of train operations with parametric hybrid automata based runtime verificationMing Chai, Xinyi Zhang, Bernd–Holger Schlingloff, Tao Tang 等 5 人被引 19阅读 1高影响力 前 10%开放获取计算理论与数学
EM-T1Reliability Engineering & System Safety2020205: 107237-107237Model checking reveals design issues leading to spurious actuation of nuclear instrumentation and control systemsAntti Pakonen, Igor Buzhinsky, Kim Björkman被引 31基金开放获取计算理论与数学
EM-T1Safety Science2027206: 107498Verifying accident causation models: A comparative analysis of representational capabilitiesTakaharu Igarashi, Karen Marais被引 0阅读 2开放获取统计、概率与不确定性
EM-T1Natural Hazards2024120(14): 12705-12727Vulnerability assessment of landslides along the Yunnan section of the Northern Tropic of Cancer based on fuzzy evidence weight modelHui Ye, Die Bai, Shucheng Tan, Jinliang Wang 等 5 人被引 6基金开放获取环境管理、监测、政策与法规洪涝风险与减灾
EM-T1Reliability Engineering & System Safety2015145: 169-182Model-based verification method for solving the parameter uncertainty in the train control systemRuijun Cheng, Jin Zhou, Dewang Chen, Yongduan Song被引 23高影响力 前 10%基金计算理论与数学
EM-T1Natural Hazards and Earth System Sciences202323(8): 2857-2871Assessment of subseasonal-to-seasonal (S2S) ensemble extreme precipitation forecast skill over EuropePauline Rivoire, Olivia Martius, Philippe Naveau, Alexandre Tuel被引 17基金开放获取全球变化洪涝风险与减灾
EM-T1Reliability Engineering & System Safety2025266: 111705-111705Accelerated life testing and reliability estimation for internet of things-based smart water networksMing‐Hung Shu, I-Sheng Sun, Chung‐Ming Yang, To‐Cheng Wang被引 1基金开放获取安全、风险、可靠性与质量
A+Journal of Operations ManagementUTD24FT50201538(1): 1-13Sustainable evaluation and verification in supply chains: Aligning and leveraging accountability to stakeholdersJury Gualandris, Robert David Klassen, Stephan Vachon, Matteo Giacomo Maria Kalchschmidt被引 363阅读 1高影响力 前 1%基金开放获取战略与管理
EM-T1Reliability Engineering & System Safety2015138: 194-209Integration of model verification, validation, and calibration for uncertainty quantification in engineering systemsShankar Sankararaman, Sankaran Mahadevan被引 123阅读 1高影响力 前 10%基金开放获取统计、概率与不确定性
