1.On the Automated Verification of Web Applications with Embedded SQL

作　　者：Shachar Itzhaky ;Tomer Kotek ;Noam Rinetzky 等

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

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

文章 ID：191698404

文章详细全文下载
2.Connection Matrices and the Definability of Graph Parameters

作　　者：Tomer Kotek ;Johann Makowsky

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

出版社：Technical University of Braunschweig

文章 ID：264692166

文章详细全文下载
3.Connection Matrices and the Definability of Graph Parameters

作　　者：Tomer Kotek ;Johann A. Makowsky

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;16:411-425.doi:10.4230/LIPIcs.CSL.2012.411

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

文章 ID：186846174

文章详细全文下载
4.Monadic Second Order Finite Satisfiability and Unbounded Tree-Width

作　　者：Tomer Kotek ;Helmut Veith ;Florian Zuleger

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;62:13:1-13:20.doi:10.4230/LIPIcs.CSL.2016.13

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

文章 ID：186847930

文章详细全文下载
5.Parameterized Systems in BIP: Design and Model Checking

作　　者：Igor Konnov ;Tomer Kotek ;Qiang Wang 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;59:30:1-30:16.doi:10.4230/LIPIcs.CONCUR.2016.30

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

文章 ID：186847588

文章详细全文下载

	Johann Makowsky	1篇
	Joseph Sifakis	1篇
	Mooly Sagiv	1篇
	Noam Rinetzky	1篇
	Orr Tamir	1篇
	Qiang Wang	1篇
	Shachar Itzhaky	1篇
	Simon Bliudze	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Tomer Kotek")))) )) ) )"

	Tomer Kotek	5篇
	Helmut Veith	3篇
	Florian Zuleger	2篇
	Igor Konnov	1篇
	Johann A. Makowsky	1篇

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

	2017	1篇
	2016	2篇
	2014	1篇
	2012	1篇