1.On Synthesis of Resynchronizers for Transducers

作　　者：Sougata Bose ;Shankara Narayanan Krishna ;Anca Muscholl 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;138:1-14.doi:10.4230/LIPIcs.MFCS.2019.69

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：238892019

文章详细全文下载

2.Towards an Efficient Tree Automata Based Technique for Timed Systems

作　　者：S. Akshay ;Paul Gastin ;Shankara Narayanan Krishna 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:39:1-39:15.doi:10.4230/LIPIcs.CONCUR.2017.39

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：200735205

文章详细全文下载

3.Making Metric Temporal Logic Rational

作　　者：Shankara Narayanan Krishna ;Khushraj Madnani ;Paritosh K. Pandya

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;83:77:1-77:14.doi:10.4230/LIPIcs.MFCS.2017.77

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：205510144

文章详细全文下载

4.On the Separability Problem of String Constraints

作　　者：Parosh Aziz Abdulla ;Mohamed Faouzi Atig ;Vrunda Dave 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:16:1-16:19.doi:10.4230/LIPIcs.CONCUR.2020.16

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：255822875

文章详细全文下载

5.Synthesis of Computable Regular Functions of Infinite Words

作　　者：Vrunda Dave ;Emmanuel Filiot ;Shankara Narayanan Krishna 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:43:1-43:17.doi:10.4230/LIPIcs.CONCUR.2020.43

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：255822902

文章详细全文下载

6.First-order Definable String Transformations

作　　者：Emmanuel Filiot ;Shankara Narayanan Krishna ;Ashutosh Trivedi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;29:147-159.doi:10.4230/LIPIcs.FSTTCS.2014.147

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186846602

文章详细全文下载

7.Revisiting Robustness in Priced Timed Games

作　　者：Shibashis Guha ;Shankara Narayanan Krishna ;Lakshmi Manasa 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;45:261-277.doi:10.4230/LIPIcs.FSTTCS.2015.261

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186847190

文章详细全文下载

8.Stochastic Timed Games Revisited

作　　者：S. Akshay ;Patricia Bouyer ;Shankara Narayanan Krishna 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;58:8:1-8:14.doi:10.4230/LIPIcs.MFCS.2016.8

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186847835

文章详细全文下载

9.FO-Definable Transformations of Infinite Strings

作　　者：Vrunda Dave ;Shankara Narayanan Krishna ;Ashutosh Trivedi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;65:12:1-12:14.doi:10.4230/LIPIcs.FSTTCS.2016.12

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186848132

文章详细全文下载

10.Mean-Payoff Games on Timed Automata

作　　者：Shibashis Guha ;Marcin Jurdzinski ;Shankara Narayanan Krishna 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;65:44:1-44:14.doi:10.4230/LIPIcs.FSTTCS.2016.44

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186848164

文章详细全文下载

	2020	2篇
	2019	1篇
	2018	2篇
	2017	2篇
	2016	4篇

	Khushraj Madnani	2篇
	Lakshmi Manasa	2篇
	Mohamed Faouzi Atig	2篇
	Paritosh K. Pandya	2篇
	Parosh Aziz Abdulla	2篇
	Paul Gastin	2篇
	Shibashis Guha	2篇
	Anca Muscholl	1篇
	Gabriele Puppis	1篇
	Ilias Sarkar	1篇
	Marcin Jurdzinski	1篇
	Nathan Lhote	1篇
	Patricia Bouyer	1篇
	Shaan Vaidya	1篇
	Sougata Bose	1篇
	Vincent Penelle	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Shankara Narayanan Krishna")))) )) ) )"

	Shankara Narayanan Krishna	13篇
	Ashutosh Trivedi	5篇
	S. Akshay	3篇
	Vrunda Dave	3篇
	Emmanuel Filiot	2篇