Andrzej S.穆拉夫斯基。；史蒂文·拉姆齐。；Tzevelekos，尼科斯 确定性新生注册自动机的多项式时间等价性测试。 （英语） Zbl 1512.68143号 Potapov，Igor（编辑）等人，第43届计算机科学数学基础国际研讨会。2018年8月27日至31日，英国利物浦，MFCS 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。117，第72条，第14页（2018年）。MSC公司：65年第68季度 20-08 2010年1月20日 65年第68季度 68周05 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Murawski}等人，LIPIcs——莱布尼茨国际程序。通知。117，第72条，第14页（2018；Zbl 1512.68143） 全文： DOI程序
Andrzej S.穆拉夫斯基。；Tzevelekos，尼科斯 完整地面参考的算法游戏。 （英语） Zbl 1392.68147号 形式方法系统。设计。 52，第3号，277-314（2018）.MSC公司：68号30 68甲15 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Murawski}和\textit{N.Tzevelekos}，《形式方法系统》。设计。52，第3号，277--314（2018；Zbl 1392.68147） 全文： DOI程序
穆拉夫斯基。；拉姆齐，S.J。；北卡罗来纳州齐夫列科斯。 下推寄存器自动机中的可达性。 （英语） Zbl 1370.68185号 J.计算。系统。科学。 87, 58-83 (2017).MSC公司：65年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Murawski}等人，J.Compute。系统。科学。87、58-83（2017年；Zbl 1370.68185） 全文： DOI程序
Andrzej S.穆拉夫斯基。；Tzevelekos，尼科斯 块结构与范围挤压：介于天真和无所不知之间。 （英语） Zbl 1398.68096号 日志。方法计算。科学。 12，3号，第3号论文，43页（2016年）.MSC公司：68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Murawski}和\textit{N.Tzevelekos}，Log。方法计算。科学。12，第3期，第3号论文，43页（2016；Zbl 1398.68096） 全文： DOI程序 arXiv公司
Andrzej S.穆拉夫斯基。；Tzevelekos，尼科斯 简化ML的完全抽象。 （英语） Zbl 1358.68060号 Ann.纯粹应用。逻辑 164，第11期，1118-1143（2013）.MSC公司：68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Murawski}和\textit{N.Tzevelekos}，Ann.Pure Appl。逻辑164，编号11，1118--1143（2013；兹bl 1358.68060） 全文： DOI程序
Andrzej S.穆拉夫斯基。；Tzevelekos，尼科斯 朝向名义上的阿布拉姆斯基。 （英语） Zbl 1264.68062号 Coecke，Bob（编辑）等人，《计算、逻辑、游戏和量子基础》。萨姆森·阿布拉姆斯基的许多方面。纪念萨姆森·阿布拉姆斯基60岁生日的文章。柏林：施普林格出版社（ISBN 978-3-642-38163-8/pbk）。计算机科学课堂讲稿7860246-263（2013）。MSC公司：68号30 68问题55 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Murawski}和\textit{N.Tzevelekos}，莱克特。注释计算。科学。7860246--263（2013年；Zbl 1264.68062） 全文： DOI程序
Dan R.吉卡。；Tzevelekos，尼科斯 系统级游戏语义。 （英语） Zbl 1342.68196号 Berger，Ulrich（编辑）等人，《第28届编程语义数学基础会议论文集》（MFPS XXVIII），英国巴斯，2012年6月6日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记286191-211（2012）。MSC公司：68问题55 68甲15 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Ghica}和\textit{N.Tzevelekos}，电子。注释Theor。计算。科学。286191-211（2012；Zbl 1342.68196） 全文： DOI程序 arXiv公司
Tzevelekos，尼科斯 用状态表示简单语言中的程序等价性。 （英语） 兹比尔1248.68155 计算。语言系统。结构。 38，第2期，181-198（2012）.MSC公司：68号30 68问题85 68问题55 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{N.Tzevelekos}，计算。语言系统。结构。38，第2号，181--198（2012；Zbl 1248.68155） 全文： DOI程序
Andrzej S.穆拉夫斯基。；Tzevelekos，尼科斯 算法标称游戏语义。 （英语） Zbl 1326.68071号 Barthe，Gilles（编辑），《编程语言和系统》。2011年3月26日至4月3日，在德国萨尔布吕肯举行的第20届欧洲编程研讨会（ESOP 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19717-8/pbk）。计算机科学讲座笔记6602419-438（2011）。MSC公司：68甲18 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Murawski}和\textit{N.Tzevelekos}，莱克特。注释计算。科学。6602419--438（2011年；Zbl 1326.68071） 全文： DOI程序
Andrzej S.穆拉夫斯基。；Tzevelekos，尼科斯 简化ML的完全抽象。 （英语） Zbl 1234.68058号 de Alfaro，Luca（编辑），《软件科学和计算结构基础》。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00595-4/pbk）。计算机科学讲座笔记5504，32-47（2009）。MSC公司：68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Murawski}和\textit{N.Tzevelekos}，莱克特。注释计算。科学。5504、32-47（2009年；Zbl 1234.68058） 全文： DOI程序