Get started
Author

Paritosh K. Pandya

Observed names: P. K. Pandya, P. Pandya, P.K. Pandya, Pandya, Paritosh, Pandya, Paritosh K., Paritosh K Pandya, Paritosh K. P, Paritosh P, Paritosh Pandya, Paritosh. K. Pandya
Observed institutions: Madrid Institute for Advanced Studies, Tata Institute of Fundamental Research, Indian Institute of Technology Bombay, Homi Bhabha National Institute, University of Oxford, United Nations University, Institute of Mathematical Sciences
ORCID: 0000-0001-7085-0148
Observed ORCID: 0000-0001-7085-0148
OpenAlex ID: A5027806769
Timed modelling and analysis in Web service compositions
2006 · R. Kazhamiakin, P. Pandya, et al. · International Conference on Availability, Reliability and Security (ARES) · 60
Representation, Verification, and Computation of Timed Properties in Web
2006 · Raman Kazhamiakin, Paritosh Pandya, et al. · IEEE International Conference on Web Services (ICWS) · 53
Representation, Verification, and Computation of Timed Properties in Web Service Compositions ∗
2006 · Raman Kazhamiakin, Paritosh K. Pandya, et al. · 42
Timed Automata with Integer Resets: Language Inclusion and Expressiveness
2008 · P. Vijay Suman, Paritosh K. Pandya, et al. · Lecture notes in computer science · 33
Model Checking CTL*[DC]
2001 · Paritosh K. Pandya · Lecture notes in computer science · 32
PDF
Duration Calculus of Weakly Monotonic Time
1998 · Paritosh K. Pandya, Dang Van Hung · Lecture notes in computer science · 32
Finite divergence
1995 · Michael R. Hansen, Paritosh K. Pandya, et al. · Theoretical Computer Science · 31
PDF
Marking the chops: an unambiguous temporal logic
2008 · Kamal Lodaya, Paritosh K. Pandya, et al. · IFIP International Federation for Information Processing/IFIP · 30
Principles of concurrent and distributed programming
1991 · Paritosh Pandya · Science of Computer Programming · 30
PDF
Specifying and Deciding Quantified Discrete-time Duration Calculus Formulae using DCVALID
2000 · Paritosh K. Pandya · 29
Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts
2008 · Swarup Mohalik, A. C. Rajeev, et al. · ACM/IEEE Design Automation Conference (DAC) · 26
Digitizing Interval Duration Logic
2003 · Gaurav Chakravorty, Paritosh K. Pandya · Lecture notes in computer science · 26
PDF
Interval Duration Logic
2002 · Paritosh K. Pandya · Electronic Notes in Theoretical Computer Science · 26
PDF
An Algebraic Approach to Verifiable Compiling Specification and Prototyping of the Procos Level 0 Programming Language
1990 · C. A. R. Hoare, He Jifeng, et al. · Springer eBooks · 25
Formal design of hybrid systems
1994 · Yu Xinyao, Wang Ji, et al. · Lecture notes in computer science · 24
Some extensions to propositional mean-value calculus: Expressiveness and decidability
1996 · Paritosh K. Pandya · Lecture notes in computer science · 21
On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing
2011 · Paritosh K. Pandya, Simoni S. Shah · Lecture notes in computer science · 20
PDF
An approach to verifiable compiling specification and prototyping
2005 · Jonathan Bowen, He Jifeng, et al. · Springer eBooks · 18
Around Dot Depth Two
2010 · Kamal Lodaya, Paritosh K. Pandya, et al. · Lecture notes in computer science · 17
Towards a Theory of Sequential Hybrid Programs
1998 · P. K. Pandya, H.-P. Wang, et al. · Springer eBooks · 16
PDF
Some comments on the assumption-commitment framework for compositional verification of distributed programs
1990 · Paritosh K. Pandya · Lecture notes in computer science · 16
Bounded Validity Checking of Interval Duration Logic
2005 · Babita Sharma, Paritosh. K. Pandya, et al. · Lecture notes in computer science · 14
PDF
Weak chop inverses and liveness in Mean-Value Calculus
1996 · Paritosh K. Pandya · Lecture notes in computer science · 14
Automated Technology for Verification and Analysis
2012 · Pandya, Paritosh K., Shah, Simoni S. · Lecture notes in computer science · 13
PDF
Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership
2020 · Andreas Krebs, Kamal Lodaya, et al. · Logical Methods in Computer Science · 12
PDF
Works count: 103
Citation count: 903
H-index: 18
I10-index: 29
Year
Topic
Type