Jishu Guin

Tallinn University of Technology

论文数

1

总引用数

2

H-Index

1

关于

暂无简介。

研究焦点

Automaton1 · 2 次引用
Computer science1 · 2 次引用
Distributed computing1 · 2 次引用
Event (particle physics)1 · 2 次引用
Formal verification1 · 2 次引用
Human–computer interaction1 · 2 次引用
Interdependence1 · 2 次引用
Merge (version control)1 · 2 次引用
Model checking1 · 2 次引用
Programming language1 · 2 次引用
Redundancy (engineering)1 · 2 次引用
Separation of concerns1 · 2 次引用

主要成就

1
H 指数
1
论文
2
总引用数
2
篇均引用
🏆 最高被引论文
Developing Multi-view Contracts Using Event-B and Uppaal Timed Automata
2 次引用 · 2016
📈 最高产年份: 2016 (1 论文)
🤝 主要合作者: 2
🏛 所属机构: Tallinn University of Technology

代表论文

  1. 1
    Developing Multi-view Contracts Using Event-B and Uppaal Timed Automata
    2 次引用 · 2016

主要合作者

LTLeonidas Tsiopoulos1 篇合著论文JVJüri Vain1 篇合著论文
尚未生成