Anne-Kathrin Schmuck

Max Planck Institute for Software Systems

论文数

5

总引用数

18

H-Index

3

关于

暂无简介。

研究焦点

Computer science5 · 18 次引用
Artificial intelligence4 · 16 次引用
Theoretical computer science4 · 15 次引用
Programming language3 · 13 次引用
Distributed computing4 · 11 次引用
Concurrency1 · 7 次引用
Programmer1 · 7 次引用
Inductive programming1 · 7 次引用
Programming paradigm1 · 7 次引用
Concurrent object-oriented programming1 · 7 次引用
Motion (physics)1 · 7 次引用
Reactive programming1 · 7 次引用

主要成就

3
H 指数
5
论文
18
总引用数
4
篇均引用
🏆 最高被引论文
PGCD
7 次引用 · 2019
📈 最高产年份: 2024 (2 论文)
🤝 主要合作者: 11
🏛 所属机构: Max Planck Institute for Software Systems

代表论文

  1. 1
    PGCD
    7 次引用 · 2019
  2. 2
    Contract-Based Distributed Logical Controller Synthesis
    3 次引用 · 2024
  3. 3
    Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates
    3 次引用 · 2024
  4. 4
    Resilient abstraction-based controller design
    3 次引用 · 2020
  5. 5
    Dynamic hierarchical reactive controller synthesis
    2 次引用 · 2017

主要合作者

RMRupak Majumdar2 篇合著论文SPSatya Prakash Nayak2 篇合著论文DZDamien Zufferey1 篇合著论文SSStanly Samuel1 篇合著论文KMKaushik Mallik1 篇合著论文ANAmeneh Nejati1 篇合著论文GBGregor B. Banusić1 篇合著论文DNDaniel Neider1 篇合著论文MPMarcus Pirron1 篇合著论文AAAshwani Anand1 篇合著论文ALAdrian Leva1 篇合著论文
尚未生成