State Key Laboratory of Computer Science

Unknown

论文数

3

总引用数

27

H-Index

3

研究人员

3

关于

暂无简介。

研究焦点

Computer science3 · 27 次引用
Mathematics2 · 22 次引用
Theoretical computer science2 · 22 次引用
Programming language1 · 18 次引用
Distributed computing1 · 18 次引用
Deadlock1 · 18 次引用
Component (thermodynamics)1 · 18 次引用
Deadlock prevention algorithms1 · 18 次引用
Invariant (physics)1 · 18 次引用
Process (computing)1 · 18 次引用

主要成就

3
H 指数
3
论文
27
总引用数
3
教职员与研究人员
🏆 最高被引论文
Component-based verification using incremental design and invariants
18 次引用 · 2014
📊 篇均引用: 9
📈 最高产年份: 2014 (1)
🔬 研究焦点: Computer science, Mathematics, Theoretical computer science, Programming language, Distributed computing, Deadlock

代表论文

  1. 1
    Component-based verification using incremental design and invariants
    18 次引用 · 2014
  2. 2
    Improved mobile robot's Corridor-Scene Classifier based on probabilistic Spiking Neuron Model
    5 次引用 · 2011
  3. 3
    Safe Probabilistic Invariance Verification for Stochastic Discrete-Time Dynamical Systems
    4 次引用 · 2023

教职员与研究人员

…

尚未生成