State Key Laboratory of Computer Science

Unknown

Papers

3

Total Citations

27

H-Index

3

Researchers

3

About

No biography available yet.

Research Focus

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

Key Achievements

3
H-Index
3
Papers
27
Total Citations
3
Faculty & Researchers
🏆 Most Cited Paper
Component-based verification using incremental design and invariants
18 citations · 2014
📊 Avg Citations/Paper: 9
📈 Most Prolific Year: 2014 (1)
🔬 Research Focus: Computer science, Mathematics, Theoretical computer science, Programming language, Distributed computing, Deadlock

Top Papers

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

Faculty & Researchers

…

Not generated yet