Paritosh Pandya 个人学术档案

引用次数

	总计	2019 年至今
引用	3330	455
h 指数	23	8
i10 指数	45	4

200

100

150

1990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202426 7 25 22 48 67 60 77 86 85 62 75 83 91 104 102 118 181 150 148 131 153 135 148 147 119 129 136 104 80 74 82 91 98 30

开放获取的出版物数量

查看全部

3 篇文章

0 篇文章

可查看的文章

无法查看的文章

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

合著作者

Shankara Narayanan KrishnaIIT Bombay在 cse.iitb.ac.in 的电子邮件经过验证
Khushraj MadnaniPost-doctoral Resercher, Max-Planck Instiute for Software Systems在 mpi-sws.org 的电子邮件经过验证
Jonathan P. BowenEmeritus Professor of Computing, London South Bank University在 lsbu.ac.uk 的电子邮件经过验证
Amol WakankarBARC在 barc.gov.in 的电子邮件经过验证
Simoni ShahIndigo Jewellery Pvt Ltd在 svinodkumar.com 的电子邮件经过验证
Raman KazhamiakinDSLab, Digis Center, FBK, Trento, Italy在 fbk.eu 的电子邮件经过验证
Marco PistoreDirector, Digital Society Center, Fondazione Bruno Kessler, Italy在 fbk.eu 的电子邮件经过验证
Supratik ChakrabortyDept. of Computer Science and Engineering, IIT Bombay在 iitb.ac.in 的电子邮件经过验证
Howard StraubingProfessor of Computer Science Boston College在 bc.edu 的电子邮件经过验证
Andreas KrebsProfessor für Alt-Katholische und Ökumenische Theologie, Universität Bonn在 uni-bonn.de 的电子邮件经过验证
Y. S. RamakrishnaAWS/Amazon在 amazon.com 的电子邮件经过验证
Lakshmi ManasaPhD Student, IIT Bombay在 cse.iitb.ac.in 的电子邮件经过验证
RK ShyamasundarIIT Bombay在 cse.iitb.ac.in 的电子邮件经过验证
Jozef HoomanProfessor of Computer Science, Radboud University Nijmegen在 cs.ru.nl 的电子邮件经过验证
Ramesh S.formerly Professor of Computer Science, IIT Bombay, now Technical Fellow, General Motors R&D在 iitbombay.org 的电子邮件经过验证
Swarup MohalikPrinicipal Engineer - Research, Ericsson在 ericsson.com 的电子邮件经过验证
Narayan KumarProfessor, Chennai Mathematical Institute在 cmi.ac.in 的电子邮件经过验证
Babita SharmaGoogle在 google.com 的电子邮件经过验证
Dileep KiniUniversity of Illinois at Urbana-Champaign在 illinois.edu 的电子邮件经过验证
Dr. Manoranjan SatpathyAssociate Professor of Computer Science, IIT Bhubaneswar在 iitbbs.ac.in 的电子邮件经过验证

关注

Paritosh Pandya

Adjunct Professor, CSE, IIT Bombay, Former Professor and Dean, STCS, TIFR

在 tifr.res.in 的电子邮件经过验证 - 首页

Logic Automata Formal Methods Software Engineering Embedded Systems


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Finding response times in a real-time system M Joseph, P Pandya The Computer Journal 29 (5), 390-395, 1986	1703	1986
Specifying and deciding quantified discrete-time duration calculus formulae using DCVALID PK Pandya RTTOOLS 2001 Workshop (affiliated with CONCUR 2001), 2001	116	2001
Representation, verification, and computation of timed properties in web R Kazhamiakin, P Pandya, M Pistore 2006 IEEE International Conference on Web Services (ICWS'06), 497-504, 2006	108	2006
Timed modelling and analysis in web service compositions R Kazhamiakin, P Pandya, M Pistore First International Conference on Availability, Reliability and Security …, 2006	105	2006
P—A logic—a compositional proof system for distributed programs PK Pandya, M Joseph Distributed Computing 5 (1), 37-54, 1991	74	1991
Duration calculus of weakly monotonic time PK Pandya, D Van Hung Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International …, 1998	58	1998
Finite divergence MR Hansen, PK Pandya, Z Chaochen Theoretical Computer Science 138 (1), 113-139, 1995	51	1995
Timed automata with integer resets: Language inclusion and expressiveness PV Suman, PK Pandya, SN Krishna, L Manasa International conference on formal modeling and analysis of timed systems, 78-92, 2008	47	2008
Model checking ctl*[dc] PK Pandya International Conference on Tools and Algorithms for the Construction and …, 2001	44	2001
Interval duration logic: Expressiveness and decidability PK Pandya Electronic Notes in Theoretical Computer Science 65 (6), 254-272, 2002	42	2002
Formal design of hybrid systems Y Xinyao, W Ji, Z Chaochen, P Pandya Formal Techniques in Real-Time and Fault-Tolerant Systems, 738-755, 1994	42	1994
Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts S Mohalik, AC Rajeev, MG Dixit, S Ramesh, PV Suman, PK Pandya, ... Proceedings of the 45th annual Design Automation Conference, 296-299, 2008	40*	2008
Digitizing interval duration logic G Chakravorty, PK Pandya Computer Aided Verification: 15th International Conference, CAV 2003 …, 2003	38	2003
Some extensions to propositional mean-value calculus: Expressiveness and decidability PK Pandya International Workshop on Computer Science Logic, 434-451, 1995	38	1995
Bounded validity checking of interval duration logic B Sharma, PK Pandya, S Chakraborty Tools and Algorithms for the Construction and Analysis of Systems: 11th …, 2005	34	2005
An approach to verifiable compiling specification and prototyping J Bowen, H Jifeng, P Pandya Programming Language Implementation and Logic Programming: International …, 1990	34	1990
Towards a theory of sequential hybrid programs PK Pandya, HP Wang, QW Xu Proc. IFIP Working Conference PROCOMET 98, 366-384, 1998	33	1998
An algebraic approach to verifiable compiling specification and prototyping of the ProCoS level 0 programming language CAR Hoare, H Jifeng, J Bowen, P Pandya ESPRIT’90: Proceedings of the Annual ESPRIT Conference Brussels, November 12 …, 1990	30	1990
Marking the chops: an unambiguous temporal logic K Lodaya, P Pandya, S Shah Fifth Ifip International Conference On Theoretical Computer Science–Tcs 2008 …, 2008	27	2008
Some comments on the assumption-commitment framework for compositional verification of distributed programs PK Pandya Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness …, 1990	27	1990

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

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用