1.Full Abstraction for Nominal General References

作　　者：Nikos Tzevelekos

出　　处：Logical Methods in Computer Science. 2009 ;5(03).doi:10.2168/LMCS-5(3:8)2009

出版社：Technical University of Braunschweig

文章 ID：47333302

文章详细全文下载
2.Higher-Order Linearisability

作　　者：Andrzej S. Murawski ;Nikos Tzevelekos

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:34:1-34:18.doi:10.4230/LIPIcs.CONCUR.2017.34

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

文章 ID：200735200

文章详细全文下载
3.Symbolic Execution Game Semantics

作　　者：Yu-Yang Lin ;Nikos Tzevelekos

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;167:27:1-27:24.doi:10.4230/LIPIcs.FSCD.2020.27

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

文章 ID：255823204

文章详细全文下载
4.History-Register Automata

作　　者：Radu Grigore ;Nikos Tzevelekos

出　　处：Logical Methods in Computer Science. 2016 ;12(1):1.doi:10.2168/LMCS-12(1:7)2016

出版社：Technical University of Braunschweig

文章 ID：264692123

文章详细全文下载
5.Block Structure vs Scope Extrusion: Between Innocence and Omniscience

作　　者：Andrzej Murawski ;Nikos Tzevelekos

出　　处：Logical Methods in Computer Science. 2016 ;12(3):1.doi:10.2168/LMCS-12(3:3)2016

出版社：Technical University of Braunschweig

文章 ID：264692245

文章详细全文下载
6.Polynomial-Time Equivalence Testing for Deterministic Fresh-Register Automata

作　　者：Andrzej S. Murawski ;Steven J. Ramsay ;Nikos Tzevelekos

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;117:1-14.doi:10.4230/LIPIcs.MFCS.2018.72

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

文章 ID：230213427

文章详细全文下载

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Nikos Tzevelekos")))) )) ) )"

	Nikos Tzevelekos	6篇
	Andrzej S. Murawski	2篇
	Andrzej Murawski	1篇
	Radu Grigore	1篇
	Steven J. Ramsay	1篇

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

	2020	1篇
	2018	1篇
	2017	1篇
	2016	2篇
	2009	1篇