Jishu Guin
Papers
1
Total Citations
2
H-Index
1
About
No biography available yet.
Research Focus
Automaton1 · 2 citations
Computer science1 · 2 citations
Distributed computing1 · 2 citations
Event (particle physics)1 · 2 citations
Formal verification1 · 2 citations
Human–computer interaction1 · 2 citations
Interdependence1 · 2 citations
Merge (version control)1 · 2 citations
Model checking1 · 2 citations
Programming language1 · 2 citations
Redundancy (engineering)1 · 2 citations
Separation of concerns1 · 2 citations
Key Achievements
1
H-Index
1
Papers
2
Total Citations
2
Avg Citations/Paper
🏆 Most Cited Paper
Developing Multi-view Contracts Using Event-B and Uppaal Timed Automata
2 citations · 2016
📈 Most Prolific Year: 2016 (1 Papers)
🤝 Key Collaborators: 2
🏛 Institutions: Tallinn University of Technology
Top Papers
- 1Developing Multi-view Contracts Using Event-B and Uppaal Timed Automata2 citations · 2016
Key Collaborators
Not generated yet