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

Hardware-optimal quantum algorithms

硬件最优量子算法

Muroya, Stefanie; Chatterjee, Krishnendu; Henzinger, Thomas A

Information-flow interfaces

信息流接口

Bartocci, Ezio; Ferrère, Thomas; Henzinger, Thomas A; Nickovic, Dejan; Oliveira da Costa, Ana

The Role of Methylation Analysis in Distinguishing Cellular Myxoma from Low-Grade Myxofibrosarcoma

甲基化分析在区分细胞粘液瘤和低度恶性粘液纤维肉瘤中的作用

Hanna Henzinger, Iva Brčić, Jasminka Igrec, Theresa Marie Godschachner, Susanne Scheipl, Joanna Szkandera, Philipp Jurmeister, Bernadette Liegl-Atzwanger

Trap spaces of multi-valued networks: definition, computation, and applications

多值网络的陷阱空间:定义、计算和应用

Trinh, Van-Giang; Benhamou, Belaid; Henzinger, Thomas; Pastva, Samuel

Safety and Clinical Evaluation of Dual Inhibition with Pertuzumab and Trastuzumab Biosimilar SB3 in HER2-Positive Breast Cancer Patients

帕妥珠单抗联合曲妥珠单抗生物类似药SB3双重抑制治疗HER2阳性乳腺癌患者的安全性和临床评价

Suppan, Christoph; Steiner, Daniel; Klocker, Eva Valentina; Posch, Florian; Henzinger, Elisabeth; Müller, Hannah Deborah; Stöger, Herbert; Dandachi, Nadia; Balic, Marija

Non-Coding RNAs and SARS-Related Coronaviruses

非编码RNA与SARS相关冠状病毒

Henzinger, Hanna; Barth, Dominik A; Klec, Christiane; Pichler, Martin

From non-preemptive to preemptive scheduling using synchronization synthesis

利用同步综合实现从非抢占式调度到抢占式调度

Černý, Pavol; Clarke, Edmund M; Henzinger, Thomas A; Radhakrishna, Arjun; Ryzhyk, Leonid; Samanta, Roopsha; Tarrach, Thorsten

Split diversity in constrained conservation prioritization using integer linear programming

利用整数线性规划在受限保护优先排序中划分多样性

Chernomor, Olga; Minh, Bui Quang; Forest, Félix; Klaere, Steffen; Ingram, Travis; Henzinger, Monika; von Haeseler, Arndt

Quantitative reactive modeling and verification

定量反应建模与验证

Henzinger, Thomas A

Solving the chemical master equation using sliding windows

使用滑动窗口求解化学主方程式

Wolf, Verena; Goel, Rushil; Mateescu, Maria; Henzinger, Thomas A