Sergiy Bogomolov
Papers
2
Total Citations
10
H-Index
2
About
No biography available yet.
Research Focus
Model checking2 · 10 citations
Programming language2 · 10 citations
Computer science2 · 10 citations
Control engineering1 · 6 citations
Executable1 · 6 citations
Controller (irrigation)1 · 6 citations
Artificial intelligence1 · 6 citations
Formal verification1 · 6 citations
Embedded system1 · 6 citations
Engineering1 · 6 citations
Consistency (knowledge bases)1 · 6 citations
Hybrid system1 · 6 citations
Key Achievements
2
H-Index
2
Papers
10
Total Citations
5
Avg Citations/Paper
🏆 Most Cited Paper
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP
6 citations · 2016
📈 Most Prolific Year: 2016 (1 Papers)
🤝 Key Collaborators: 16
🏛 Institutions: Institute of Science and Technology Austria
Top Papers
- 1
- 2
Key Collaborators
NRNacim Ramdani1 shared papersMFMartin Fränzle1 shared papersLVLuan Viet Nguyen1 shared papersHTHoang-Dung Tran1 shared papersBQBolun Qi1 shared papersSBStanley Bak1 shared papersSMSayan Mitra1 shared papersKMKyoko Makino1 shared papersPSParasara Sridhar Duggirala1 shared papersMPMatthew Potok1 shared papersTTTaylor T. Johnson1 shared papersCSChristian Schilling1 shared papersASAndrew Sogokon1 shared papersCFChuchu Fan1 shared papersMVMahesh Viswanathan1 shared papersWXWeiming Xiang1 shared papers
Not generated yet