Sergiy Bogomolov
论文数
2
总引用数
10
H-Index
2
关于
暂无简介。
研究焦点
Model checking2 · 10 次引用
Programming language2 · 10 次引用
Computer science2 · 10 次引用
Control engineering1 · 6 次引用
Executable1 · 6 次引用
Controller (irrigation)1 · 6 次引用
Artificial intelligence1 · 6 次引用
Formal verification1 · 6 次引用
Embedded system1 · 6 次引用
Engineering1 · 6 次引用
Consistency (knowledge bases)1 · 6 次引用
Hybrid system1 · 6 次引用
主要成就
2
H 指数
2
论文
10
总引用数
5
篇均引用
🏆 最高被引论文
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP
6 次引用 · 2016
📈 最高产年份: 2016 (1 论文)
🤝 主要合作者: 16
🏛 所属机构: Institute of Science and Technology Austria
代表论文
- 1
- 2
主要合作者
NRNacim Ramdani1 篇合著论文MFMartin Fränzle1 篇合著论文LVLuan Viet Nguyen1 篇合著论文HTHoang-Dung Tran1 篇合著论文BQBolun Qi1 篇合著论文SBStanley Bak1 篇合著论文SMSayan Mitra1 篇合著论文KMKyoko Makino1 篇合著论文PSParasara Sridhar Duggirala1 篇合著论文MPMatthew Potok1 篇合著论文TTTaylor T. Johnson1 篇合著论文CSChristian Schilling1 篇合著论文ASAndrew Sogokon1 篇合著论文CFChuchu Fan1 篇合著论文MVMahesh Viswanathan1 篇合著论文WXWeiming Xiang1 篇合著论文
尚未生成