Marking the chops: an unambiguous temporal logic K Lodaya, PK Pandya, SS Shah Fifth Ifip International Conference On Theoretical Computer Science–Tcs 2008 …, 2008 | 26 | 2008 |
On expressive powers of timed logics: Comparing boundedness, non-punctuality, and deterministic freezing PK Pandya, SS Shah International Conference on Concurrency Theory, 60-75, 2011 | 24 | 2011 |
Around dot depth two K Lodaya, PK Pandya, SS Shah International Conference on Developments in Language Theory, 303-315, 2010 | 20 | 2010 |
The unary fragments of metric interval temporal logic: bounded versus lower bound constraints PK Pandya, SS Shah International Symposium on Automated Technology for Verification and …, 2012 | 9 | 2012 |
Unambiguity in timed regular languages: Automata and logics PK Pandya, SS Shah International Conference on Formal Modeling and Analysis of Timed Systems …, 2010 | 7 | 2010 |
Synthesis of Programs from Multimodal Datasets. S Thakoor, S Shah, G Ramakrishnan, A Sanyal AAAI, 184-191, 2018 | 3 | 2018 |
Deterministic Logics for UL PK Pandya, SS Shah International Colloquium on Theoretical Aspects of Computing, 301-318, 2013 | 1 | 2013 |
Deterministic Logics for UL PK Pandya, SS Shah arXiv preprint arXiv:1401.2714, 2014 | | 2014 |
The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower bound Constraints (Full Version) PK Pandya, SS Shah arXiv preprint arXiv:1305.3204, 2013 | | 2013 |
Marking the chops: an unambiguous temporal logic PK Pandya, SS Shah, K Lodaya IFIP International Federation for Information Processing 273 (1), 2010 | | 2010 |
Building Complementary Domain Taxonomies using Query Enrichment SS Shah, S Bhattad, S Lokegaonkar, G Ramakrishnan | | |
B. Tech Project Phase 2 Report Draft A Consensus-Based Active Learning Strategy for Multi-Label Classification AK Akash, G Ramakrishnan, A Kulkarni, S Shah, P Singh | | |
Temporal and Timed Logics: Expressiveness and Decidability SS Shah | | |