PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Pandya, Paritosh K."

Author of the publication

copydeleteadd this publication to your clipboard
Recursive Mean-Value Calculus.

, and . FSTTCS, volume 1530 of Lecture Notes in Computer Science, page 257-268. Springer, (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

K. Stahl

K. Gaiser

K. Lindow

Grzegorz K. Karch

Dipl.-Ing. Thomas Kuestner

Scan time reduction in DWI of the pancreas using simultaneous multislice technique with different acceleration factors: how fast can we go?, , , , , , , and . Proceedings of the International Society for Magnetic Resonance in Medicine (ISMRM), Honolulu, Hawaii, USA, (April 2017)
 

Other publications of authors with the same name

Representation, Verification, and Computation of Timed Properties in Web., , and . ICWS, page 497-504. IEEE Computer Society, (2006)Timed Modelling and Analysis in Web Service Compositions., , and . ARES, page 840-846. IEEE Computer Society, (2006)On the Computational Power of Operators in ICSP with Fairness., and . FSTTCS, volume 880 of Lecture Notes in Computer Science, page 231-242. Springer, (1994)A Dose of Timed Logic, in Guarded Measure., and . FORMATS, volume 4202 of Lecture Notes in Computer Science, page 260-273. Springer, (2006)Specification and Optimal Reactive Synthesis of Run-time Enforcement Shields., and . CoRR, (2019)Two-variable Logic with a Between Relation., , , and . LICS, page 106-115. ACM, (2016)Metric Temporal Logic with Counting., , and . FoSSaCS, volume 9634 of Lecture Notes in Computer Science, page 335-352. Springer, (2016)Weak Chop Inverses and Liveness in Mean-Value Calculus.. FTRTFT, volume 1135 of Lecture Notes in Computer Science, page 148-167. Springer, (1996)Model Checking CTL*DC.. TACAS, volume 2031 of Lecture Notes in Computer Science, page 559-573. Springer, (2001)Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers., , , and . FM, volume 13047 of Lecture Notes in Computer Science, page 182-199. Springer, (2021)