Kyoko Makino
Papers
1
Total Citations
4
H-Index
1
About
No biography available yet.
Research Focus
Algorithm1 · 4 citations
Computer science1 · 4 citations
Constraint (computer-aided design)1 · 4 citations
Cyber-physical system1 · 4 citations
Domain (mathematical analysis)1 · 4 citations
Interval arithmetic1 · 4 citations
Mathematical optimization1 · 4 citations
Mathematics1 · 4 citations
Model checking1 · 4 citations
Numerical analysis1 · 4 citations
Physical system1 · 4 citations
Programming language1 · 4 citations
Key Achievements
1
H-Index
1
Papers
4
Total Citations
4
Avg Citations/Paper
🏆 Most Cited Paper
Symbolic-Numeric Methods for Problem Solving in CPS (Dagstuhl Seminar 16491)
4 citations · 2017
📈 Most Prolific Year: 2017 (1 Papers)
🤝 Key Collaborators: 3
Top Papers
- 1
Key Collaborators
Not generated yet