PP

Paritosh Pandya

Tata Institute of Fundamental Research, Indian Institute of Technology Kanpur, Maharaja Sayajirao University of Baroda

ORCID iD 0000-0001-7085-0148
Follow

Employment

  • Tata Institute of Fundamental Research Professor

Education

  • Indian Institute of Technology Kanpur M.Tech
    1980 - 1982
  • Maharaja Sayajirao University of Baroda B.E.
    1975 - 1980
  • Tata Institute of Fundamental Research Ph.D.
    ? - 1988

Projects & Funding

Projects & funding information is unavailable.

Publications (99)

  • Two-variable Logic with a Between Predicate
    arXiv preprint arXiv:1603.05625 2016
    +Save
  • Metric Temporal Logic with Counting
    Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedin… 2016
    +Save
  • Metric Temporal Logic with Counting
    arXiv preprint arXiv:1512.09032 2015
    +Save
  • On Unary Fragments of MTL and TPTL over Timed Words
    International Colloquium on Theoretical Aspects of Computing 2014
    +Save
  • Partially punctual metric temporal logic is decidable
    2014 21st International Symposium on Temporal Representation and Reasoning 2014
    +Save
  • Deterministic Logics for UL
    International Colloquium on Theoretical Aspects of Computing 2013
    +Save
  • On the Decidability and Complexity of Some Fragments of Metric Temporal Logic
    arXiv preprint arXiv:1305.6137 2013
    +Save
  • An Introduction to Timed Automata
    Modern Applications of Automata Theory, IISc Rsearch Monograph Series 2012
    +Save
  • Chop expressions and discrete duration calculus
    Modern Applications of Automata Theory. IISc research Monographs Series 2012
    +Save
  • The unary fragments of metric interval temporal logic: bounded versus lower bound constraints
    International Symposium on Automated Technology for Verification and Analysis 2012
    +Save