Anne-Kathrin Schmuck

Max Planck Institute for Software Systems

Papers

5

Total Citations

18

H-Index

3

About

No biography available yet.

Research Focus

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

Key Achievements

3
H-Index
5
Papers
18
Total Citations
4
Avg Citations/Paper
🏆 Most Cited Paper
PGCD
7 citations · 2019
📈 Most Prolific Year: 2024 (2 Papers)
🤝 Key Collaborators: 11
🏛 Institutions: Max Planck Institute for Software Systems

Top Papers

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

Key Collaborators

RMRupak Majumdar2 shared papersSPSatya Prakash Nayak2 shared papersDZDamien Zufferey1 shared papersSSStanly Samuel1 shared papersKMKaushik Mallik1 shared papersANAmeneh Nejati1 shared papersGBGregor B. Banusić1 shared papersDNDaniel Neider1 shared papersMPMarcus Pirron1 shared papersAAAshwani Anand1 shared papersALAdrian Leva1 shared papers
Not generated yet