Matthew Potok
论文数
1
总引用数
6
H-Index
1
关于
暂无简介。
研究焦点
Artificial intelligence1 · 6 次引用
Computer science1 · 6 次引用
Consistency (knowledge bases)1 · 6 次引用
Control engineering1 · 6 次引用
Controller (irrigation)1 · 6 次引用
Embedded system1 · 6 次引用
Engineering1 · 6 次引用
Executable1 · 6 次引用
Formal verification1 · 6 次引用
Hybrid system1 · 6 次引用
Model checking1 · 6 次引用
Model transformation1 · 6 次引用
主要成就
1
H 指数
1
论文
6
总引用数
6
篇均引用
🏆 最高被引论文
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP
6 次引用 · 2016
📈 最高产年份: 2016 (1 论文)
🤝 主要合作者: 13
🏛 所属机构: University of Illinois Urbana-Champaign
代表论文
- 1
主要合作者
LVLuan Viet Nguyen1 篇合著论文HTHoang-Dung Tran1 篇合著论文BQBolun Qi1 篇合著论文SBStanley Bak1 篇合著论文SMSayan Mitra1 篇合著论文PSParasara Sridhar Duggirala1 篇合著论文TTTaylor T. Johnson1 篇合著论文CSChristian Schilling1 篇合著论文ASAndrew Sogokon1 篇合著论文CFChuchu Fan1 篇合著论文SBSergiy Bogomolov1 篇合著论文MVMahesh Viswanathan1 篇合著论文WXWeiming Xiang1 篇合著论文
尚未生成