Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q15713163> ?p ?o }
Showing triples 1 to 94 of
94
with 100 triples per page.
- Q15713163 description "Computer scientist".
- Q15713163 description "Computer scientist".
- Q15713163 subject Q15274001.
- Q15713163 subject Q3919876.
- Q15713163 subject Q5312304.
- Q15713163 subject Q7010925.
- Q15713163 subject Q7011156.
- Q15713163 subject Q7012074.
- Q15713163 subject Q7012080.
- Q15713163 subject Q8466127.
- Q15713163 subject Q8595678.
- Q15713163 subject Q8763960.
- Q15713163 subject Q9580543.
- Q15713163 subject Q9655128.
- Q15713163 abstract "Paritosh K. Pandya is an Indian computer scientist based at the Tata Institute of Fundamental Research (TIFR) in Mumbai, India.Paritosh Pandya studied for a BE degree in Electronics at the Maharaja Sayajirao University of Baroda (1980), MTech degree in Computer Science at IIT Kanpur (1982), and a PhD in Computer Science at Bombay University/TIFR (1988).From 1988, Paritosh Pandya has held academic posts at TIFR. He was a researcher at the Oxford University Computing Laboratory in England during 1989–91, on leave from TIFR, undertaking research with Jonathan Bowen, Jifeng He, and Tony Hoare, amongst others, as part of the ESPRIT ProCoS project on "Provably Correct Systems". He then returned to TIFR, where he has spent most of his career. Pandya leads the Theoretical Computer Science Group there.Pandya's main research interest is in the area of formal methods, including real-time systems. He has been especially involved with research concerning Duration Calculus, including the DCVALID model-checking tool. His most cited paper, "Finding Response Times in a Real-Time System", with over 900 citations on Google Scholar, was joint work with Mathai Joseph, published in The Computer Journal in 1986.Paritosh Pandya has been a member of the Editorial Board for the Formal Aspects of Computing journal published by Springer.".
- Q15713163 academicAdvisor Q15990096.
- Q15713163 birthPlace Q668.
- Q15713163 influencedBy Q92602.
- Q15713163 knownFor Q5316264.
- Q15713163 residence Q1156.
- Q15713163 residence Q668.
- Q15713163 wikiPageExternalLink paritosh-pandya.
- Q15713163 wikiPageExternalLink Paritosh_Pandya.
- Q15713163 wikiPageExternalLink ~pandya.
- Q15713163 wikiPageExternalLink ParitoshPandya.
- Q15713163 wikiPageWikiLink Q1049183.
- Q15713163 wikiPageWikiLink Q1156.
- Q15713163 wikiPageWikiLink Q11650.
- Q15713163 wikiPageWikiLink Q142617.
- Q15713163 wikiPageWikiLink Q15274001.
- Q15713163 wikiPageWikiLink Q1569697.
- Q15713163 wikiPageWikiLink Q1580044.
- Q15713163 wikiPageWikiLink Q15990096.
- Q15713163 wikiPageWikiLink Q1747272.
- Q15713163 wikiPageWikiLink Q176916.
- Q15713163 wikiPageWikiLink Q21.
- Q15713163 wikiPageWikiLink Q21198.
- Q15713163 wikiPageWikiLink Q2743938.
- Q15713163 wikiPageWikiLink Q2777905.
- Q15713163 wikiPageWikiLink Q2878974.
- Q15713163 wikiPageWikiLink Q2985386.
- Q15713163 wikiPageWikiLink Q3919876.
- Q15713163 wikiPageWikiLink Q3988.
- Q15713163 wikiPageWikiLink Q406402.
- Q15713163 wikiPageWikiLink Q494817.
- Q15713163 wikiPageWikiLink Q5260200.
- Q15713163 wikiPageWikiLink Q5312304.
- Q15713163 wikiPageWikiLink Q5316264.
- Q15713163 wikiPageWikiLink Q5469945.
- Q15713163 wikiPageWikiLink Q5688822.
- Q15713163 wikiPageWikiLink Q668.
- Q15713163 wikiPageWikiLink Q7010925.
- Q15713163 wikiPageWikiLink Q7011156.
- Q15713163 wikiPageWikiLink Q7012074.
- Q15713163 wikiPageWikiLink Q7012080.
- Q15713163 wikiPageWikiLink Q752297.
- Q15713163 wikiPageWikiLink Q754454.
- Q15713163 wikiPageWikiLink Q7727237.
- Q15713163 wikiPageWikiLink Q782682.
- Q15713163 wikiPageWikiLink Q82594.
- Q15713163 wikiPageWikiLink Q8466127.
- Q15713163 wikiPageWikiLink Q8595678.
- Q15713163 wikiPageWikiLink Q8763960.
- Q15713163 wikiPageWikiLink Q92602.
- Q15713163 wikiPageWikiLink Q93043.
- Q15713163 wikiPageWikiLink Q9580543.
- Q15713163 wikiPageWikiLink Q9655128.
- Q15713163 academicAdvisors Q15990096.
- Q15713163 birthPlace Q668.
- Q15713163 influences Q92602.
- Q15713163 knownFor Q5316264.
- Q15713163 name "Pandya, Paritosh K.".
- Q15713163 name "Paritish K. Pandya".
- Q15713163 placeOfBirth Q668.
- Q15713163 residence "Mumbai, India".
- Q15713163 shortDescription "Computer scientist".
- Q15713163 type Person.
- Q15713163 type Agent.
- Q15713163 type Person.
- Q15713163 type Scientist.
- Q15713163 type Agent.
- Q15713163 type NaturalPerson.
- Q15713163 type Thing.
- Q15713163 type Q215627.
- Q15713163 type Q5.
- Q15713163 type Q901.
- Q15713163 type Person.
- Q15713163 comment "Paritosh K. Pandya is an Indian computer scientist based at the Tata Institute of Fundamental Research (TIFR) in Mumbai, India.Paritosh Pandya studied for a BE degree in Electronics at the Maharaja Sayajirao University of Baroda (1980), MTech degree in Computer Science at IIT Kanpur (1982), and a PhD in Computer Science at Bombay University/TIFR (1988).From 1988, Paritosh Pandya has held academic posts at TIFR.".
- Q15713163 label "Paritosh Pandya".
- Q15713163 givenName "Paritosh K.".
- Q15713163 name "Pandya, Paritosh K.".
- Q15713163 name "Paritish K. Pandya".
- Q15713163 name "Paritosh K. Pandya".
- Q15713163 surname "Pandya".