M. Lowry

Ames Research Center, University at Buffalo, State University of New York

论文数

2

总引用数

179

H-Index

1

关于

暂无简介。

研究焦点

Computer science2 · 179 次引用
Component (thermodynamics)1 · 178 次引用
Abstraction layer1 · 178 次引用
Model checking1 · 178 次引用
Programming language1 · 178 次引用
Promela1 · 178 次引用
Software1 · 178 次引用
Software engineering1 · 178 次引用
Concurrency1 · 178 次引用
Lisp1 · 178 次引用
Acoustics1 · 1 次引用
Physics1 · 1 次引用

主要成就

1
H 指数
2
论文
179
总引用数
90
篇均引用
🏆 最高被引论文
Formal analysis of a space-craft controller using SPIN
178 次引用 · 2001
📈 最高产年份: 2001 (1 论文)
🤝 主要合作者: 6
🏛 所属机构: Ames Research Center, University at Buffalo, State University of New York

代表论文

  1. 1
    Formal analysis of a space-craft controller using SPIN
    178 次引用 · 2001
  2. 2
    Passive low-frequency vibration mitigation in large space structures
    1 次引用 · 2024

主要合作者

JPJohn Penix1 篇合著论文KHKlaus Havelund1 篇合著论文ATAbigail T. Juhl1 篇合著论文CLCarson L. Willey1 篇合著论文VWVincent W. Chen1 篇合著论文MNMostafa Nouh1 篇合著论文
尚未生成