Ashish Tiwari 个人学术档案

引用次数

	总计	2019 年至今
引用	9223	3653
h 指数	48	27
i10 指数	128	78

800

400

200

600

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202441 28 71 96 147 196 186 242 270 287 274 342 408 395 418 459 481 542 536 551 629 662 680 791 338

开放获取的出版物数量

查看全部

37 篇文章

1 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Sumit GulwaniPartner Research Manager, Microsoft在 microsoft.com 的电子邮件经过验证
Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI International在 sri.com 的电子邮件经过验证
Natarajan ShankarSRI International Computer Science Laboratory在 csl.sri.com 的电子邮件经过验证
Sanjit A. SeshiaProfessor of EECS, University of California, Berkeley在 eecs.berkeley.edu 的电子邮件经过验证
Sriram SankaranarayananProfessor of Computer Science, University of Colorado Boulder在 colorado.edu 的电子邮件经过验证
patrick lincolnSRI在 sri.com 的电子邮件经过验证
Adrià GascónGoogle Research在 google.com 的电子邮件经过验证
Harald Ruessfortiss在 fortiss.org 的电子邮件经过验证
Radu GrosuProfessor of Computer Science在 tuwien.ac.at 的电子邮件经过验证
Scott A. SmolkaProfessor of Computer Science, Stony Brook University在 cs.sunysb.edu 的电子邮件经过验证
John RushbySRI International在 csl.sri.com 的电子邮件经过验证
Leo BachmairProfessor of Computer Science, Stony Brook University在 cs.stonybrook.edu 的电子邮件经过验证
Bruno DutertreAmazon Web Services在 amazon.com 的电子邮件经过验证
Sam OwreSRI International在 sri.com 的电子邮件经过验证
Sharad MalikProfessor of Electrical and Computer Engineering, Princeton University在 princeton.edu 的电子邮件经过验证
Junxing YangStony Brook Univerisity在 cs.stonybrook.edu 的电子邮件经过验证
Alessandro AbateProfessor of Verification and Control, University of Oxford, UK在 cs.ox.ac.uk 的电子邮件经过验证
Pramod SubramanyanIndian Institute of Technology Kanpur在 cse.iitk.ac.in 的电子邮件经过验证
Leonardo de MouraAmazon Web Services在 amazon.com 的电子邮件经过验证
Gaurav KhannaUniversity of Rhode Island & UMass Dartmouth在 umassd.edu 的电子邮件经过验证

关注

Ashish Tiwari

Computer Scientist, SRI International; Researcher Microsoft

在 csl.sri.com 的电子邮件经过验证 - 首页

Formal Methods Program Analysis Hybrid Systems Decision Procedures Systems Biology


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Oracle-guided component-based program synthesis S Jha, S Gulwani, SA Seshia, A Tiwari Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010	633	2010
A greedy genetic algorithm for the quadratic assignment problem RK Ahuja, JB Orlin, A Tiwari Computers & Operations Research 27 (10), 917-934, 2000	532	2000
Synthesis of loop-free programs S Gulwani, S Jha, A Tiwari, R Venkatesan ACM SIGPLAN Notices 46 (6), 62-73, 2011	430	2011
Output range analysis for deep feedforward neural networks S Dutta, S Jha, S Sankaranarayanan, A Tiwari NASA Formal Methods Symposium, 121-138, 2018	377	2018
SAL 2 L De Moura, S Owre, H Rueß, J Rushby, N Shankar, M Sorea, A Tiwari Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004	374	2004
Series of abstractions for hybrid automata A Tiwari, G Khanna International Workshop on Hybrid Systems: Computation and Control, 465-478, 2002	260	2002
An overview of SAL S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ... NASA CONFERENCE PUBLICATION, 187-195, 2000	257	2000
Termination of linear programs A Tiwari Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004	245	2004
Lifting abstract interpreters to quantified logical domains S Gulwani, B McCloskey, A Tiwari Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2008	202	2008
Constraint-based approach for analysis of hybrid systems S Gulwani, A Tiwari International Conference on Computer Aided Verification, 190-203, 2008	175	2008
Synthesizing geometry constructions S Gulwani, VA Korthikanti, A Tiwari ACM SIGPLAN Notices 46 (6), 50-61, 2011	169	2011
Synchromesh: Reliable code generation from pre-trained language models G Poesia, O Polozov, V Le, A Tiwari, G Soares, C Meek, S Gulwani arXiv preprint arXiv:2201.11227, 2022	162	2022
Reverse engineering digital circuits using structural and functional analyses P Subramanyan, N Tsiskaridze, W Li, A Gascón, WY Tan, A Tiwari, ... IEEE Transactions on Emerging Topics in Computing 2 (1), 63-80, 2013	161	2013
Abstractions for hybrid systems A Tiwari Formal Methods in System Design 32, 57-83, 2008	152	2008
Curcumin encapsulated zeolitic imidazolate frameworks as stimuli responsive drug delivery system and their interaction with biomimetic environment A Tiwari, A Singh, N Garg, JK Randhawa Scientific reports 7 (1), 12598, 2017	141	2017
Box invariance in biologically-inspired dynamical systems A Abate, A Tiwari, S Sastry Automatica 45 (7), 1601-1610, 2009	126	2009
Symbolic systems biology: Hybrid modeling and analysis of biological networks P Lincoln, A Tiwari International Workshop on Hybrid Systems: Computation and Control, 660-672, 2004	124	2004
A technique for invariant generation A Tiwari, H Rueß, H Saïdi, N Shankar International Conference on Tools and Algorithms for the Construction and …, 2001	124	2001
Output range analysis for deep neural networks S Dutta, S Jha, S Sanakaranarayanan, A Tiwari arXiv preprint arXiv:1709.09130, 2017	120	2017
Approximate reachability for linear systems A Tiwari International Workshop on Hybrid Systems: Computation and Control, 514-525, 2003	120	2003

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用