Paritosh Pandya

Cited by

	All	Since 2020
Citations	3418	435
h-index	23	7
i10-index	50	6

200

100

150

19901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202526 7 26 23 49 67 61 78 95 84 64 71 84 91 110 98 120 184 148 149 134 151 132 151 146 118 128 134 104 93 68 80 93 105 79 10

Public access

View all

4 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Shankara Narayanan KrishnaIIT BombayVerified email at cse.iitb.ac.in
Khushraj MadnaniPost-doctoral Resercher, Max-Planck Instiute for Software SystemsVerified email at mpi-sws.org
Jonathan P. BowenEmeritus Professor of Computing, London South Bank UniversityVerified email at lsbu.ac.uk
Amol WakankarBARCVerified email at barc.gov.in
Simoni ShahIndigo Jewellery Pvt LtdVerified email at svinodkumar.com
Raman KazhamiakinDSLab, Digis Center, FBK, Trento, ItalyVerified email at fbk.eu
Marco PistoreDirector, Digital Society Center, Fondazione Bruno Kessler, ItalyVerified email at fbk.eu
Supratik ChakrabortyDept. of Computer Science and Engineering, IIT BombayVerified email at iitb.ac.in
Howard StraubingProfessor of Computer Science Boston CollegeVerified email at bc.edu
Andreas KrebsProfessor für Alt-Katholische und Ökumenische Theologie, Universität BonnVerified email at uni-bonn.de
Y. S. RamakrishnaAWS/AmazonVerified email at amazon.com
Manuel Mazo Jr.Associate Professor at TU DelftVerified email at tudelft.nl
Lakshmi ManasaPhD Student, IIT BombayVerified email at cse.iitb.ac.in
RK ShyamasundarIIT BombayVerified email at cse.iitb.ac.in
Jozef HoomanProfessor of Computer Science, Radboud University NijmegenVerified email at cs.ru.nl
Ramesh S.formerly Professor of Computer Science, IIT Bombay, now Technical Fellow, General Motors R&DVerified email at iitbombay.org
Swarup MohalikPrinicipal Engineer - Research, EricssonVerified email at ericsson.com
Narayan KumarProfessor, Chennai Mathematical InstituteVerified email at cmi.ac.in
Dileep KiniAkuna CapitalVerified email at illinois.edu
Babita SharmaGoogleVerified email at google.com

Paritosh Pandya

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

Verified email at tifr.res.in - Homepage

Logic Automata Formal Methods Software Engineering Embedded Systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Finding response times in a real-time system M Joseph, P Pandya The Computer Journal 29 (5), 390-395, 1986	1735	1986
Specifying and deciding quantified discrete-time duration calculus formulae using DCVALID PK Pandya RTTOOLS 2001 Workshop (affiliated with CONCUR 2001), 2001	118	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	105	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	73	1991
Duration calculus of weakly monotonic time PK Pandya, D Van Hung Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International …, 1998	60	1998
Finite divergence MR Hansen, PK Pandya, Z Chaochen Theoretical Computer Science 138 (1), 113-139, 1995	53	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	49	2008
Interval duration logic: Expressiveness and decidability PK Pandya Electronic Notes in Theoretical Computer Science 65 (6), 254-272, 2002	45	2002
Model checking ctl*[dc] PK Pandya International Conference on Tools and Algorithms for the Construction and …, 2001	44	2001
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	42*	2008
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
Digitizing interval duration logic G Chakravorty, PK Pandya Computer Aided Verification: 15th International Conference, CAV 2003 …, 2003	40	2003
Some extensions to propositional mean-value calculus: Expressiveness and decidability PK Pandya International Workshop on Computer Science Logic, 434-451, 1995	39	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
Towards a theory of sequential hybrid programs PK Pandya, HP Wang, QW Xu Proc. IFIP Working Conference PROCOMET 98, 366-384, 1998	34	1998
An approach to verifiable compiling specification and prototyping J Bowen, H Jifeng, P Pandya Programming Language Implementation and Logic Programming: International …, 1990	34	1990
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	32	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	31	2008
On expressive powers of timed logics: Comparing boundedness, non-punctuality, and deterministic freezing PK Pandya, SS Shah CONCUR 2011–Concurrency Theory: 22nd International Conference, CONCUR 2011 …, 2011	30	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors