Joshua Sunshine

Carnegie Mellon University

论文数

2

总引用数

7

H-Index

2

关于

暂无简介。

研究焦点

Computer science2 · 7 次引用
Consistency (knowledge bases)1 · 3 次引用
Cyber-physical system1 · 3 次引用
Distributed computing1 · 3 次引用
Human–computer interaction1 · 3 次引用
Model checking1 · 3 次引用
Modular design1 · 3 次引用
Programming language1 · 3 次引用
Property (philosophy)1 · 3 次引用
Semantics (computer science)1 · 3 次引用
Theoretical computer science1 · 3 次引用
Artificial intelligence1 · 3 次引用

主要成就

2
H 指数
2
论文
7
总引用数
4
篇均引用
🏆 最高被引论文
Experience report
4 次引用 · 2018
📈 最高产年份: 2018 (2 论文)
🤝 主要合作者: 7
🏛 所属机构: Carnegie Mellon University

代表论文

  1. 1
    Experience report
    4 次引用 · 2018
  2. 2
    IPL: An Integration Property Language for Multi-model Cyber-physical Systems
    3 次引用 · 2018

主要合作者

IRIvan Ruchkin1 篇合著论文SHStefan Hanenberg1 篇合著论文UPUlrik Pagh Schultz1 篇合著论文BSBradley Schmerl1 篇合著论文DGDavid Garlan1 篇合著论文GIGrant Iraci1 篇合著论文JTJohann Thor Mogensen Ingibergsson1 篇合著论文
尚未生成