日期 影响因子
日期:
2020 年 — 2026 年
2020
2021
2022
2023
2024
2025
2026
影响因子:
–

Towards efficient verification of population protocols

为有效验证人口协议而开展

期刊:Formal Methods in System Design
影响因子:0.8
doi:10.1007/s10703-021-00367-3
Blondin, Michael; Esparza, Javier; Jaax, Stefan; Meyer, Philipp J
发表日期：2021
文献求助 收藏

The complexity of verifying population protocols

验证人口协议的复杂性

期刊:
影响因子:
doi:10.1007/s00446-021-00390-x
Esparza, Javier; Jaax, Stefan; Raskin, Mikhail; Weil-Kennedy, Chana
发表日期：2021
文献求助 收藏

Structural requirements for the procoagulant activity of nucleic acids

核酸促凝血活性的结构要求

期刊:PLoS One
影响因子:2.6
doi:10.1371/journal.pone.0050399
Gansler, Julia; Jaax, Miriam; Leiting, Silke; Appel, Bettina; Greinacher, Andreas; Fischer, Silvia; Preissner, Klaus T
发表日期：2012
文献求助 收藏