Paritosh Pandya

Cited by

	All	Since 2020
Citations	3402	437
h-index	23	7
i10-index	48	4

200

100

150

19901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202526 7 25 22 48 67 61 77 86 85 62 72 84 91 105 101 121 181 150 148 131 153 135 148 147 119 130 137 105 83 77 83 91 103 78 5

Public access

View all

3 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
Amol WakankarBARCVerified email at barc.gov.in
Jonathan P. BowenEmeritus Professor of Computing, London South Bank UniversityVerified email at lsbu.ac.uk
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
Lakshmi ManasaPhD Student, IIT BombayVerified email at cse.iitb.ac.in
RK ShyamasundarIIT BombayVerified email at cse.iitb.ac.in
Manuel Mazo Jr.Associate Professor at TU DelftVerified email at tudelft.nl
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
Babita SharmaGoogleVerified email at google.com
Dileep KiniUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu

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	1742	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	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	50	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	41*	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	31	1990
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	28	2011
Marking the chops: an unambiguous temporal logic K Lodaya, P Pandya, S Shah Fifth Ifip International Conference On Theoretical Computer Science–Tcs 2008 …, 2008	28	2008

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