M.G. Staskauskas - Publications, H-index & Citations

M.G. Staskauskas

University of California System

10H指数

19论文数

277被引数

收录论文 3

发表时间

Assessment of Guideline-Directed Medical Therapy Optimization Scores and Readmission Risk in Heart Failure With Reduced Ejection Fraction 评估指南指导药物治疗优化评分与射血分数降低的心力衰竭再入院风险

ANNALS OF PHARMACOTHERAPY

IF2.3

2025-11-01

PREAI

Jensen, Hanna; Staskauskas, Max; Strome, Sara; Pobre, Jethro; Le, Nghi; Nakamura, Cameryn; Fahmy, Mina; Dang, Benjamin; Hellier, Yvette; Shin, Jaekyu; Pon, Tiffany K.; Huynh, Trina; Namba, Jennifer; Wang, Louise T.; Cadiz, Christine; Yousif, Zaid; Willeford, Andrew

Using partial-order methods in the formal validation of industrial concurrent programs

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

1996-07-01

PREAI

Godefroid, P; Peled, D; Staskauskas, M

A framework for evaluating specification methods for reactive systems - Experience report

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

1996-06-01

PREAI

Ardis, MA; Chaves, JA; Jagadeesan, LJ; Mataga, P; Puchol, C; Staskauskas, MG; VonOlnhausen, J

研究方向