斯塔夫罗斯·康斯坦蒂尼迪斯 形式语言服务器（LaSer）的理论和实现方面。 （英文） Zbl 07633516号 Anselmo，Marcella（编辑）等人，《超越可计算性的视野》。第十六届欧洲可计算性会议，CiE 2020，意大利费西亚诺，2020年6月29日至7月3日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12098, 289-295 (2020).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Konstantinidis}，莱克特。注释计算。科学。12098、289--295（2020；Zbl 07633516） 全文： 内政部
卡里、莉拉;斯塔夫罗斯·康斯坦蒂尼迪斯;斯特芬·科佩基;杨孟 通过传感器计算正则语言内部编辑距离的高效算法。 （英文） Zbl 1461.68102号 算法（巴塞尔） 11，第11号，第165号论文，18页（2018）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Kari}等人，《算法（巴塞尔）》11，第11期，第165号论文，第18页（2018；Zbl 1461.68102） 全文： 内政部
斯塔夫罗斯·康斯坦蒂尼迪斯;凯西·梅杰尔;内尔玛·莫雷拉;罗杰里奥·里斯 代码属性的符号操作。 （英文） Zbl 1396.68067号 J.汽车。语言梳。 23，编号1-3，243-269（2018）.MSC公司：65年第68季度 68-04 94A45型 PDF格式BibTeX公司 XML格式引用 \textit{S.Konstantinidis}等人，J.Autom。语言梳。23、编号1--3、243--269（2018；Zbl 1396.68067） 全文： 内政部 arXiv公司
斯塔夫罗斯·康斯坦蒂尼迪斯;凯西，梅杰;内尔玛·莫雷拉;罗杰里奥·里斯 通过传感器实现代码属性。 （英文） Zbl 1475.68160号 Han，Yo-Sub（编辑）等，自动机的实现和应用。2016年7月19日至22日，第21届国际会议，CIAA 2016，韩国首尔。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。9705, 189-201 (2016).MSC公司：65年第68季度 68号30 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{S.Konstantinidis}等人，Lect。注释计算。科学。9705189--201（2016；Zbl 1475.68160） 全文： 内政部 链接
克里斯蒂安·杜金斯基;斯塔夫罗斯·康斯坦蒂尼迪斯 代码属性的形式化描述：可判定性、复杂性、实现。 （英文） Zbl 1279.68149号 发现的国际期刊。计算。科学。 23，第1号，67-85（2012）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Dudzinski}和\textit{S.Konstantinidis}，国际期刊发现。计算。科学。23，第1号，67--85（2012；Zbl 1279.68149） 全文： 内政部