T.V.潘琴科。；叶维·伊万诺夫。；Sunmake Fabunmi公司；Skidonenko，A.V.公司。；叶·奥·特罗夫曼科。 IPCL中扩展的动态状态和实例生成模型。 （乌克兰语。英文摘要） Zbl 1413.68017号 视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2017年第4期，127-130（2017）.MSC公司：68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{T.V.Panchenko}等人。，序列号。菲兹-马特·诺基，基辅。进出口大学。Tarasa Shevchenka 2017，编号4，127-130（2017；兹bl 1413.68017）
法本米·桑马德 IPCL中的一些原子操作符语义。 （乌克兰语。英文摘要） Zbl 1413.68019号 视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2017年第4期，59-62（2017）.MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \textit{F.Sunmake}，维森。，序列号。菲兹-马特·诺基，基辅。进出口大学。Tarasa Shevchenka 2017，第4号，第59-62号（2017；Zbl 1413.68019）
T.V.潘琴科。 使用简化状态的并行程序正确性证明方法及其应用。 （英语） Zbl 1340.68017号 视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2015年第2期，174-177（2015）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{T.V.Panchenko}，维森。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡2015，第2期，174--177（2015；Zbl 1340.68017）
T.S.帕菲罗娃。 关于将顺序平行组合程序简化为完全顺序形式。 （乌克兰语。英文摘要） 兹比尔1224.68053 视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2010年，第132-137号（2010年）.MSC公司：68问题55 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{T.S.Parfirova}，维森。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡2010年第1期，第132-137页（2010年；Zbl 1224.68053）