Sanjit A. Seshia - Publications, H-index & Citations

Sanjit A. Seshia

University of California System

63H指数

437论文数

1.5W被引数

收录论文 15

发表时间

Communications of the ACM

IF12.2

2026-01-01

PREAI

Barrett, Clark; Henzinger, Thomas A.; Seshia, Sanjit A.

ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS

IF2.6

2025-09-01

OAAI

Lin, Shaokai; Jellum, Erling; Theile, Mirco; Tanneberger, Tassilo; Sun, Binqi; Jerad, Chadlia; Xu, Yimo; Feng, Guangyu; Maehlum, Magnus; Chen, Jian-Jia; Schoeberl, Martin; Phan, Linh Thi Xuan; Castrillon, Jeronimo; Seshia, Sanjit A.; Lee, Edward A.

COMMUNICATIONS OF THE ACM

IF12.2

2022-06-21

OAAI

Seshia, Sanjit A.; Sadigh, Dorsa; Sastry, S. Shankar

COMMUNICATIONS OF THE ACM

IF12.2

2022-04-25

OAAI

Seshia, Sanjit A.

MACHINE LEARNING

IF2.9

2022-02-02

OAAI

Fremont, Daniel J.; Kim, Edward; Dreossi, Tommaso; Ghosh, Shromona; Yue, Xiangyu; Sangiovanni-Vincentelli, Alberto L.; Seshia, Sanjit A.

IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS

IF8.9

2022-02-01

223

OAAI

Zhao, Sicheng; Yue, Xiangyu; Zhang, Shanghang; Li, Bo; Zhao, Han; Wu, Bichen; Krishna, Ravi; Gonzalez, Joseph E.; Sangiovanni-Vincentelli, Alberto L.; Seshia, Sanjit A.; Keutzer, Kurt

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2021-05-01

OAAI

Alexandru, Andreea B.; Gatsis, Konstantinos; Shoukry, Yasser; Seshia, Sanjit A.; Tabuada, Paulo; Pappas, George J.

PROCEEDINGS OF THE IEEE

IF25.9

2018-09-01

OAAI

Shoukry, Yasser; Nuzzo, Pierluigi; Sangiovanni-Vincentelli, Alberto L.; Seshia, Sanjit A.; Pappas, George J.; Tabuada, Paulo

AUTONOMOUS ROBOTS

IF4.3

2018-05-04

144

PREAI

Sadigh, Dorsa; Landolfi, Nick; Sastry, Shankar S.; Seshia, Sanjit A.; Dragan, Anca D.

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2017-10-01

216

OAAI

Shoukry, Yasser; Nuzzo, Pierluigi; Puggelli, Alberto; Sangiovanni-Vincentelli, Alberto L.; Seshia, Sanjit A.; Tabuada, Paulo

AUTOMATICA

IF5.9

2017-09-01

OAAI

Kim, Eric S.; Arcak, Murat; Seshia, Sanjit A.

PROCEEDINGS OF THE IEEE

IF25.9

2015-11-01

OAAI

Seshia, Sanjit A.

IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTING

IF5.4

2014-03-01

106

OAAI

Subramanyan, Pramod; Tsiskaridze, Nestan; Li, Wenchao; Gascon, Adria; Tan, Wei Yang; Tiwari, Ashish; Shankar, Natarajan; Seshia, Sanjit A.; Malik, Sharad

IEEE ACCESS

IF3.6

2014-01-01

125

OAAI

Nuzzo, Pierluigi; Xu, Huan; Ozay, Necmiye; Finn, John B.; Sangiovanni-Vincentelli, Alberto L.; Murray, Richard M.; Donze, Alexandre; Seshia, Sanjit A.

PROCEEDINGS OF THE IEEE

IF25.9

2012-01-01

120

PREAI

Eidson, John C.; Lee, Edward A.; Matic, Slobodan; Seshia, Sanjit A.; Zou, Jia

研究方向