作　　者：Denis Kuperberg ;Laureline Pinault ;Damien Pous

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;150:1-14.doi:10.4230/LIPIcs.FSTTCS.2019.45

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

文章 ID：241519899

文章详细全文下载

2.Regular Resynchronizability of Origin Transducers Is Undecidable

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;170:58:1-58:14.doi:10.4230/LIPIcs.MFCS.2020.58

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

文章 ID：255822968

文章详细全文下载

3.Width of Non-deterministic Automata

作　　者：Denis Kuperberg ;Anirban Majumdar

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;96:47:1-47:14.doi:10.4230/LIPIcs.STACS.2018.47

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

文章 ID：220015282

文章详细

4.Linear Temporal Logic for Regular Cost Functions

作　　者：Denis Kuperberg

出　　处：Logical Methods in Computer Science. 2014 ;10(1):1.doi:10.2168/LMCS-10(1:4)2014

出版社：Technical University of Braunschweig

文章 ID：264692216

文章详细全文下载

5.On the Succinctness of Alternating Parity Good-For-Games Automata

作　　者：Udi Boker ;Denis Kuperberg ;Karoliina Lehtinen 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;182:1-13.doi:10.4230/LIPIcs.FSTTCS.2020.41

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

文章 ID：257805111

文章详细全文下载

6.Linear temporal logic for regular cost functions

作　　者：Denis Kuperberg

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;9:627-636.doi:10.4230/LIPIcs.STACS.2011.627

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

文章 ID：186845850

文章详细全文下载

7.Quasi-Weak Cost Automata: A New Variant of Weakness

作　　者：Denis Kuperberg ;Michael Vanden Boom

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;13:66-77.doi:10.4230/LIPIcs.FSTTCS.2011.66

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

文章 ID：186845868

文章详细全文下载

8.Deciding the weak definability of Büchi definable tree languages

作　　者：Thomas Colcombet ;Denis Kuperberg ;Christof L{\"o}ding 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;23:215-230.doi:10.4230/LIPIcs.CSL.2013.215

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

文章 ID：186846340

文章详细全文下载

9.Regular Sensing

作　　者：Shaull Almagor ;Denis Kuperberg ;Orna Kupferman

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;29:161-173.doi:10.4230/LIPIcs.FSTTCS.2014.161

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

文章 ID：186846603

文章详细全文下载

10.The Sensing Cost of Monitoring and Synthesis

作　　者：Shaull Almagor ;Denis Kuperberg ;Orna Kupferman

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;45:380-393.doi:10.4230/LIPIcs.FSTTCS.2015.380

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

文章 ID：186847198

文章详细全文下载

	有本地全文	13篇
	有全文链接	1篇

	2020	2篇
	2019	1篇
	2018	2篇
	2016	3篇
	2015	1篇

	Amaldev Manuel	1篇
	Anca Muscholl	1篇
	Anirban Majumdar	1篇
	Christof L{\"o}ding	1篇
	Damien Pous	1篇
	Igor Walukiewicz	1篇
	Jan Martens	1篇
	Javier Esparza	1篇
	Jean-{\'E}ric Pin	1篇
	Karoliina Lehtinen	1篇
	Laure Daviaud	1篇
	Laureline Pinault	1篇
	Marc Bagnol	1篇
	Skrzypczak, Michał	1篇
	Szymon Torunczyk	1篇
	Udi Boker	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Denis Kuperberg")))) )) ) )"

	Denis Kuperberg	14篇
	Michael Vanden Boom	2篇
	Orna Kupferman	2篇
	Shaull Almagor	2篇
	Thomas Colcombet	2篇

	LIPIcs : Leibniz International Proceedings in Informatics	13篇
	Logical Methods in Computer Science	1篇