沃伊切赫，切尔文斯基;克莱尔·大卫;卡蒂亚·洛塞曼;维姆·马滕斯 通过确定性正则表达式确定可定义性。 （英文） Zbl 1371.68146号 J.计算。系统。科学。 88, 75-89 (2017).MSC公司：65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Czerwinn ski}等人，《计算杂志》。系统。科学。88、75-89（2017年；Zbl 1371.68146） 全文： 内政部 链接
卡蒂亚·洛塞曼;维姆·马滕斯;马蒂亚斯·尼沃思 确定性正则表达式的闭包属性和描述复杂性。 （英文） Zbl 1338.68154号 西奥。计算。科学。 627, 54-70 (2016).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Losemann}等人，Theor。计算。科学。627、54-70（2016年；Zbl 1338.68154） 全文： 内政部
蒂莫斯·安东尼奥普洛斯;达格·霍夫兰;维姆·马滕斯;法兰克·奈文 确定节点选择树自动机的枝定义。 （英文） Zbl 1338.68137号 理论计算。系统。 57，第4期，967-1007（2015）.MSC公司：65年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{T.Antonopoulos}等人，理论计算。系统。57，第4号，967--1007（2015年；兹bl 1338.68137） 全文： 内政部 链接
沃伊切赫，切尔文斯基;维姆·马滕斯;Lorijn，van Rooijen;马克·泽顿 关于分段可测试语言的可判定可分性的注记。 （英文） Zbl 1434.68242号 Kosowski，Adrian（编辑）等人，《计算理论基础》。2015年8月17日至19日，第20届国际研讨会，FCT 2015，波兰根斯克。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9210, 173-185 (2015).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Czerwinn ski}等人，Lect。注释计算。科学。9210，173--185（2015；Zbl 1434.68242） 全文： 内政部
伤口凝胶;托马斯·伊齐亚塞克;维姆·马滕斯;法兰克·奈文;简·帕雷登斯 简化XML模式：常规树语言的单类型近似。 （英文） Zbl 1408.68091号 J.计算。系统。科学。 79，第6号，910-936（2013）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Gelade}等人，《计算杂志》。系统。科学。79，第6号，910--936（2013；Zbl 1408.68091） 全文： 内政部
维姆·马滕斯;法兰克·奈文;马克·吉森 自上而下的XML转换类型检查：固定的输入或输出模式。 （英文） Zbl 1154.68370号 Inf.计算。 206，第7号，806-827（2008）.MSC公司：68第05页 第68页，共15页 PDF格式BibTeX公司 XML格式引用 \textit{W.Martens}等人，《Inf.Compute》。206，第7号，806--827（2008；Zbl 1154.68370） 全文： 内政部 链接
维姆·马滕斯;法兰克·奈文 类型检查简单XML转换的易处理性前沿。 （英文） 兹比尔1115.68058 J.计算。系统。科学。 73，第362-390号（2007年）.MSC公司：68第05页 PDF格式BibTeX公司 XML格式引用 \textit{W.Martens}和\textit{F.Neven}，J.Compute。系统。科学。73，No.3，362--390（2007；Zbl 1115.68058） 全文： 内政部 链接
维姆·马滕斯;法兰克·奈文 关于自顶向下的XML转换类型检查的复杂性。 （英文） Zbl 1080.68021号 西奥。计算。科学。 336，第1期，153-180（2005）.MSC公司：68第05页 PDF格式BibTeX公司 XML格式引用 \textit{W.Martens}和\textit{F.Neven}，Theor。计算。科学。336，第1号，153--180（2005；Zbl 1080.68021） 全文： 内政部