Tommaso Dreossi

University of California, Berkeley

论文数

3

总引用数

172

H-Index

3

关于

暂无简介。

研究焦点

Artificial intelligence3 · 172 次引用
Computer science3 · 172 次引用
Programming language3 · 172 次引用
Syntax2 · 97 次引用
Machine learning2 · 97 次引用
Debugging2 · 97 次引用
Domain (mathematical analysis)2 · 97 次引用
Probabilistic logic2 · 97 次引用
Human–computer interaction1 · 83 次引用
Context (archaeology)1 · 83 次引用
Process (computing)1 · 83 次引用
Distributed computing1 · 75 次引用

主要成就

3
H 指数
3
论文
172
总引用数
57
篇均引用
🏆 最高被引论文
Scenic: a language for scenario specification and data generation
83 次引用 · 2022
📈 最高产年份: 2022 (1 论文)
🤝 主要合作者: 8
🏛 所属机构: University of California, Berkeley

代表论文

  1. 1
    Scenic: a language for scenario specification and data generation
    83 次引用 · 2022
  2. 2
    Combining Model Checking and Runtime Verification for Safe Robotics
    75 次引用 · 2017
  3. 3
    Scenic: A Language for Scenario Specification and Data Generation
    14 次引用 · 2020

主要合作者

SASanjit A. Seshia3 篇合著论文SGShromona Ghosh2 篇合著论文XYXiangyu Yue2 篇合著论文DJDaniel J. Fremont2 篇合著论文ASAlberto Sangiovanni‐Vincentelli2 篇合著论文EKEdward Kim1 篇合著论文EKEdward Kim1 篇合著论文ADAnkush Desai1 篇合著论文
尚未生成