1.Dynamic Complexity Meets Parameterised Algorithms

作　　者：Jonas Schmidt ;Thomas Schwentick ;Nils Vortmeier 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;152:1-17.doi:10.4230/LIPIcs.CSL.2020.36

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

文章 ID：243494237

文章详细全文下载

2.Dynamic Complexity of Parity Exists Queries

作　　者：Nils Vortmeier ;Thomas Zeume

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;152:1-16.doi:10.4230/LIPIcs.CSL.2020.37

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

文章 ID：243494238

文章详细全文下载

3.Dynamic Complexity under Definable Changes

作　　者：Thomas Schwentick ;Nils Vortmeier ;Thomas Zeume

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;68:19:1-19:18.doi:10.4230/LIPIcs.ICDT.2017.19

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

文章 ID：191698407

文章详细全文下载

4.A Strategy for Dynamic Programs: Start over and Muddle Through

作　　者：Samir Datta ;Anish Mukherjee ;Thomas Schwentick 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:98:1-98:14.doi:10.4230/LIPIcs.ICALP.2017.98

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

文章 ID：198372052

文章详细全文下载

5.Dynamic Complexity of Reachability: How Many Changes Can We Handle?

作　　者：Samir Datta ;Pankaj Kumar ;Anish Mukherjee 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;168:122:1-122:19.doi:10.4230/LIPIcs.ICALP.2020.122

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

文章 ID：255823157

文章详细全文下载

6.Reachability and Distances under Multiple Changes

作　　者：Samir Datta ;Anish Mukherjee ;Nils Vortmeier 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;107:120:1-120:14.doi:10.4230/LIPIcs.ICALP.2018.120

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

文章 ID：220014911

文章详细

7.Static Analysis for Logic-based Dynamic Programs

作　　者：Thomas Schwentick ;Nils Vortmeier ;Thomas Zeume

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;41:308-324.doi:10.4230/LIPIcs.CSL.2015.308

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

文章 ID：186847054

文章详细全文下载

8.Dynamic Graph Queries

作　　者：Pablo Mu{\~n}oz ;Nils Vortmeier ;Thomas Zeume

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;48:14:1-14:18.doi:10.4230/LIPIcs.ICDT.2016.14

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

文章 ID：186847286

文章详细全文下载

9.DYNAMIC COMPLEXITY OF PARITY EXISTS QUERIES

作　　者：Nils Vortmeier ;Thomas Zeume

出　　处：Logical Methods in Computer Science. 2021 ;17(4):1-26.doi:10.46298/lmcs-17(4:9)2021

出版社：Technical University of Braunschweig

文章 ID：1038046913

文章详细

	有本地全文	7篇
	有全文链接	2篇

	Anuj Tawari	1篇
	Ioannis Kokkinis	1篇
	Jonas Schmidt	1篇
	Pablo Mu{\~n}oz	1篇
	Pankaj Kumar	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Nils Vortmeier")))) )) ) )"

	Nils Vortmeier	9篇
	Thomas Zeume	9篇
	Thomas Schwentick	4篇
	Anish Mukherjee	3篇
	Samir Datta	3篇

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