安德烈·穆拉夫斯基。；尼科斯·齐夫列科斯 高阶线性化。 （英语） Zbl 1423.68315号 J.日志。阿尔盖布。方法计划。 104, 86-116 (2019).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Murawski}和\textit{N.Tzevelekos}，J.Log。阿尔盖布。方法计划。104、86-116（2019年；Zbl 1423.68315） 全文： DOI程序 arXiv公司 OA许可证
安德烈·穆拉夫斯基。；尼科斯·齐夫列科斯 完整地面参考的算法游戏。 （英语） 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，编号3277-314（2018；兹bl 1392.68147） 全文： DOI程序 OA许可证
安德烈·穆拉夫斯基。；Tzevelekos，尼科斯 高阶线性化。 （英语） Zbl 1442.68148号 Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。第85条，第34条，第18页（2017年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Murawski}和\textit{N.Tzevelekos}，LIPIcs——莱布尼茨国际程序。通知。85，第34条，第18页（2017年；Zbl 1442.68148） 全文： DOI程序
尼科斯·齐夫列科斯 用状态表示简单语言中的程序等价性。 （英语） Zbl 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程序
安德烈·穆拉夫斯基。；尼科斯·齐夫列科斯 算法标称游戏语义。 （英语） 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程序