| Timed automata with integer resets: Language inclusion and expressiveness PV Suman, PK Pandya, SN Krishna, L Manasa International conference on formal modeling and analysis of timed systems, 78-92, 2008 | 47 | 2008 |
| Adding negative prices to priced timed games T Brihaye, G Geeraerts, S Narayanan Krishna, L Manasa, B Monmege, ... International Conference on Concurrency Theory, 560-575, 2014 | 24 | 2014 |
| On pure Nash equilibria in stochastic games A Das, SN Krishna, L Manasa, A Trivedi, D Wojtczak International Conference on Theory and Applications of Models of Computation …, 2015 | 12 | 2015 |
| What's decidable about recursive hybrid automata? SN Krishna, L Manasa, A Trivedi Proceedings of the 18th International Conference on Hybrid Systems …, 2015 | 9 | 2015 |
| Integer reset timed automata: Clock reduction and determinizability L Manasa arXiv preprint arXiv:1001.1215, 2010 | 9 | 2010 |
| Stochastic timed games revisited S Akshay, P Bouyer, SN Krishna, L Manasa, A Trivedi arXiv preprint arXiv:1607.05671, 2016 | 4 | 2016 |
| Model checking weighted integer reset timed automata L Manasa, SN Krishna, C Jain Theory of Computing Systems 48 (3), 648-679, 2011 | 4 | 2011 |
| Improved undecidability results for reachability games on recursive timed automata SN Krishna, L Manasa, A Trivedi arXiv preprint arXiv:1408.5968, 2014 | 3 | 2014 |
| Determinization of timed automata with integral resets PV Suman, PK Pandya, SN Krishna, L Manasa Research Report TIFR-PPVS-GM-2007/4, 2007 | 3 | 2007 |
| Revisiting robustness in priced timed games S Guha, SN Krishna, L Manasa, A Trivedi arXiv preprint arXiv:1507.05787, 2015 | 2 | 2015 |
| Updatable timed automata with additive and diagonal constraints L Manasa, SN Krishna, K Nagaraj Logic and Theory of Algorithms: 4th Conference on Computability in Europe …, 2008 | 2 | 2008 |
| Reachability Games on Recursive Hybrid Automata SN Krishna, L Manasa, A Trivedi 2015 22nd International Symposium on Temporal Representation and Reasoning …, 2015 | 1 | 2015 |
| 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2015) MS Charikar, A Bouajjani, M Emmi, C Enea, J Hamza, J Worrell, B Barak, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2015 | 1 | 2015 |
| Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable SN Krishna, L Manasa, A Trivedi Language and Automata Theory and Applications: 9th International Conference …, 2015 | 1 | 2015 |
| On The Reachability Problem for Recursive Hybrid Automata with One and Two Players SN Krishna, L Manasa, A Trivedi arXiv preprint arXiv:1406.7289, 2014 | 1 | 2014 |
| Comparative In-Vitro Antihelmintic Activity of Prepared, Branded and Generic Albendazole Samples in Pheretima Posthuma SK Anasurya, VS Lakshmi, V Sravya, SS Krishna, G Maha, L Manasa, ... | | 2023 |
| LIPIcs, Volume 58, MFCS'16, Complete Volume}} P Faliszewski, A Muscholl, R Niedermeier, S Ben-David, M Bojanczyk, ... 41st International Symposium on Mathematical Foundations of Computer Science …, 2016 | | 2016 |
| Improved Undecidability Results for Reachability Games on Recursive Timed Automata S Narayanan Krishna, L Manasa, A Trivedi arXiv e-prints, arXiv: 1408.5968, 2014 | | 2014 |
| On The Reachability Problem for Recursive Hybrid Automata with One and Two Players S Narayanan Krishna, L Manasa, A Trivedi arXiv e-prints, arXiv: 1406.7289, 2014 | | 2014 |
| Weighted Timed Games: Positive Results with Negative Costs B Monmege, T Brihaye, S Krishna, L Manasa, A Trivedi | | 2014 |
Ashutosh TrivediAssociate Professor, University of Colorado at BoulderAdresse e-mail validée de colorado.edu
