Andrew Sogokon
Papers
1
Total Citations
6
H-Index
1
About
No biography available yet.
Research Focus
Artificial intelligence1 · 6 citations
Computer science1 · 6 citations
Consistency (knowledge bases)1 · 6 citations
Control engineering1 · 6 citations
Controller (irrigation)1 · 6 citations
Embedded system1 · 6 citations
Engineering1 · 6 citations
Executable1 · 6 citations
Formal verification1 · 6 citations
Hybrid system1 · 6 citations
Model checking1 · 6 citations
Model transformation1 · 6 citations
Key Achievements
1
H-Index
1
Papers
6
Total Citations
6
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: 13
🏛 Institutions: The University of Texas at Arlington
Top Papers
- 1
Key Collaborators
LVLuan Viet Nguyen1 shared papersHTHoang-Dung Tran1 shared papersBQBolun Qi1 shared papersSBStanley Bak1 shared papersSMSayan Mitra1 shared papersPSParasara Sridhar Duggirala1 shared papersMPMatthew Potok1 shared papersTTTaylor T. Johnson1 shared papersCSChristian Schilling1 shared papersCFChuchu Fan1 shared papersSBSergiy Bogomolov1 shared papersMVMahesh Viswanathan1 shared papersWXWeiming Xiang1 shared papers
Not generated yet