Tommaso Dreossi

University of California, Berkeley

Papers

3

Total Citations

172

H-Index

3

About

No biography available yet.

Research Focus

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

Key Achievements

3
H-Index
3
Papers
172
Total Citations
57
Avg Citations/Paper
🏆 Most Cited Paper
Scenic: a language for scenario specification and data generation
83 citations · 2022
📈 Most Prolific Year: 2022 (1 Papers)
🤝 Key Collaborators: 8
🏛 Institutions: University of California, Berkeley

Top Papers

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

Key Collaborators

SASanjit A. Seshia3 shared papersSGShromona Ghosh2 shared papersXYXiangyu Yue2 shared papersDJDaniel J. Fremont2 shared papersASAlberto Sangiovanni‐Vincentelli2 shared papersEKEdward Kim1 shared papersEKEdward Kim1 shared papersADAnkush Desai1 shared papers
Not generated yet