ResearcherID Thomson Reuters  

trivedi, ashutosh
Create a ResearcherID badge for this researcher View publications analytics for this researcher
Close
ResearcherID: B-9196-2017
URL: http://www.researcherid.com/rid/B-9196-2017
ORCID: http://orcid.org/0000-0001-9346-0126
My Institutions (more details)
Primary Institution:
Sub-org/Dept: Computer Science
Role:
 
 

This list contains papers that I have authored.

publication(s)  
First Page Previous Page Page   of  3  Go Next Page Last Page
  Sort by:    Results per page: 
1.  Title: Bounded-rate multi-mode systems based motion planning
 Author(s): Bhave, D.; Jha, S.; Krishna, S.N.; et al.
 Conference: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC 2015 Pages: 41-50 Year: 2015
 DOI: 10.1145/2728606.2728616 /  Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-84940689051&partnerID=MN8TOAR ...
added
01-Feb-17
2.  Title: Compositional modeling and analysis of automotive feature product lines
 Author(s): Krishna, S.N.; Narwane, G.; Ramesh, S.; et al.
 Conference: Proceedings - Design Automation Conference Volume: 2015-July Year: 2015
 Times Cited: 0
 DOI: 10.1145/2744769.2747928 /  Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-84944080750&partnerID=MN8TOAR ...
added
01-Feb-17
3.  Title: On pure Nash equilibria in stochastic games
 Author(s): Das, A.; Krishna, S.N.; Manasa, L.; et al.
 Source: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Volume: 9076 Pages: 359-371 Published: 2015
 Times Cited: 1
 DOI: 10.1007/978-3-319-17142-5_31 /  Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-84929629196&partnerID=MN8TOAR ...
added
01-Feb-17
4.  Title: Symmetric strategy improvement
 Author(s): Schewe, S.; Trivedi, A.; Varghese, T.
 Source: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Volume: 9135 Pages: 388-400 Published: 2015
 Times Cited: 5
 DOI: 10.1007/978-3-662-47666-6_31 /  Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-84950161209&partnerID=MN8TOAR ...
added
01-Feb-17
5.  Title: Time-bounded reachability problem for recursive timed automata is undecidable
 Author(s): Krishna, S.N.; Manasa, L.; Trivedi, A.
 Source: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Volume: 8977 Pages: 237-248 Published: 2015
 DOI: 10.1007/978-3-319-15579-1_18 /  Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-84928781591&partnerID=MN8TOAR ...
added
01-Feb-17
6.  Title: What's decidable about recursive hybrid automata?
 Author(s): Krishna, S.N.; Manasa, L.; Trivedi, A.
 Conference: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC 2015 Pages: 31-40 Year: 2015
 DOI: 10.1145/2728606.2728624 /  Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-84940649101&partnerID=MN8TOAR ...
added
01-Feb-17
7.  Title: Adding negative prices to priced timed games
 Author(s): Brihaye, T.; Geeraerts, G.; Narayanan Krishna, S.; et al.
 Source: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Volume: 8704 LNCS Pages: 560-575 Published: 2014
 DOI: 10.1007/978-3-662-44584-6_38 /  Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-84906751322&partnerID=MN8TOAR ...
added
01-Feb-17
8.  Title: First-order definable string transformations
 Author(s): Filiot, E.; Krishna, S.N.; Trivedi, A.
 Conference: Leibniz International Proceedings in Informatics, LIPIcs Volume: 29 Pages: 147-159 Year: 2014
 DOI: 10.4230/LIPIcs.FSTTCS.2014.147 /  Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-84921505467&partnerID=MN8TOAR ...
added
01-Feb-17
9.  Title: Improved undecidability results for reachability games on recursive timed automata
 Author(s): Krishna, S.N.; Manasa, L.; Trivedi, A.
 Conference: Electronic Proceedings in Theoretical Computer Science, EPTCS Volume: 161 Pages: 245-259 Year: 2014
 DOI: 10.4204/EPTCS.161.21 /  Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-84938694008&partnerID=MN8TOAR ...
added
01-Feb-17
10.  Title: Weak singular hybrid automata
 Author(s): Krishna, S.N.; Mathur, U.; Trivedi, A.
 Source: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Volume: 8711 LNCS Pages: 161-175 Published: 2014
 DOI: 10.1007/978-3-319-10512-3-12 /  Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-84906350082&partnerID=MN8TOAR ...
added
01-Feb-17
publication(s)  
First Page Previous Page Page   of  3  Go Next Page Last Page
  Sort by:    Results per page: