Paritosh Pandya

Citée par

	Toutes	Depuis 2016
Citations	2916	496
indice h	22	8
indice i10	39	5

160

120

1990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202121 9 23 25 49 64 52 71 88 81 63 73 74 94 104 92 110 158 154 138 135 144 144 148 146 113 118 126 96 95 60 1

Coauteurs

Shankara Narayanan KrishnaIIT BombayAdresse e-mail validée de cse.iitb.ac.in
Jonathan P. BowenEmeritus Professor of Computing, London South Bank UniversityAdresse e-mail validée de lsbu.ac.uk
Khushraj MadnaniGrad Student, CSE, IIT BombayAdresse e-mail validée de cse.iitb.ac.in
Amol WakankarBARCAdresse e-mail validée de barc.gov.in
Raman KazhamiakinSOA Research Unit, FBK-Irst, Trento, ItalyAdresse e-mail validée de fbk.eu
Marco PistoreResearch Director, Service Oriented Applications, Fondazione Bruno Kessler, ItalyAdresse e-mail validée de fbk.eu
Supratik ChakrabortyDept. of Computer Science and Engineering, IIT BombayAdresse e-mail validée de iitb.ac.in
Y. S. RamakrishnaTwitter, Inc.Adresse e-mail validée de twitter.com
Howard StraubingProfessor of Computer Science Boston CollegeAdresse e-mail validée de bc.edu
Tony (C.A.R.) HoarePrincipal Researcher, Microsoft Research; Emeritus Professor, University of Oxford; GriffithAdresse e-mail validée de griffith.edu.au
Lakshmi ManasaPhD Student, IIT BombayAdresse e-mail validée de cse.iitb.ac.in
Rk ShyamasundarIIT BombayAdresse e-mail validée de cse.iitb.ac.in
Jozef HoomanProfessor of Computer Science, Radboud University NijmegenAdresse e-mail validée de cs.ru.nl
Dileep KiniUniversity of Illinois at Urbana-ChampaignAdresse e-mail validée de illinois.edu
Narayan KumarProfessor, Chennai Mathematical InstituteAdresse e-mail validée de cmi.ac.in
Ramesh S.formerly Professor of Computer Science, IIT Bombay, now Technical Fellow, General Motors R&DAdresse e-mail validée de iitbombay.org
A.K. BhattacharjeeBARCAdresse e-mail validée de barc.gov.in
Kavi AryaProfessor of Computer Science and Engineering, IIT BombayAdresse e-mail validée de cse.iitb.ac.in

Paritosh Pandya

Professor, Tata Institute of Fundamental Research & Adjunct Professor, IIT Bombay

Adresse e-mail validée de tifr.res.in - Page d'accueil

Logic Automata Formal Methods Software Engineering Embedded Systems


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Finding response times in a real-time system M Joseph, P Pandya The Computer Journal 29 (5), 390-395, 1986	1462	1986
Specifying and deciding quantified discrete-time duration calculus formulae using DCVALID PK Pandya RTTOOLS 2001 Workshop (affiliated with CONCUR 2001), 2001	104*	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	101	2006
Timed modelling and analysis in web service compositions R Kazhamiakin, P Pandya, M Pistore First International Conference on Availability, Reliability and Security …, 2006	88	2006
P—A logic—a compositional proof system for distributed programs PK Pandya, M Joseph Distributed Computing 5 (1), 37-54, 1991	69	1991
Duration calculus of weakly monotonic time PK Pandya, D Van Hung International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1998	58	1998
Finite divergence MR Hansen, PK Pandya, Z Chaochen Theoretical Computer Science 138 (1), 113-139, 1995	53	1995
Interval duration logic: Expressiveness and decidability PK Pandya Electronic Notes in Theoretical Computer Science 65 (6), 254-272, 2002	40	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	40	1994
Model checking ctl*[dc] PK Pandya International Conference on Tools and Algorithms for the Construction and …, 2001	39	2001
Digitizing interval duration logic G Chakravorty, PK Pandya International Conference on Computer Aided Verification, 167-179, 2003	38	2003
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	36	2008
Some extensions to propositional mean-value calculus: Expressiveness and decidability PK Pandya International Workshop on Computer Science Logic, 434-451, 1995	35	1995
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	33*	2008
An approach to verifiable compiling specification and prototyping J Bowen, H Jifeng, P Pandya International Workshop on Programming Language Implementation and Logic …, 1990	33	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, 804-818, 1990	32	1990
Bounded validity checking of interval duration logic B Sharma, PK Pandya, S Chakraborty International Conference on Tools and Algorithms for the Construction and …, 2005	30	2005
Towards a theory of sequential hybrid programs PK Pandya, HP Wang, QW Xu Proc. IFIP Working Conference PROCOMET 98, 366-384, 1998	30	1998
Marking the chops: an unambiguous temporal logic K Lodaya, P Pandya, S Shah Fifth Ifip International Conference On Theoretical Computer Science–Tcs 2008 …, 2008	26	2008
Compositional verification of distributed programs PK Pandya Tata Institute of Fundamental Research. Computer Science Group, 1988	26	1988

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Importer un PDF

Suivre les mises à jour de cet auteur

Citée par

Coauteurs