zbMATH中的参考文献（参考 55篇文章 参考，1标准件)

1. Dimitrios Michail，Joris Kinable，Barak Naveh，John V Sichi:Jgraph-一个用于图形数据结构和算法的Java库（2019）阿尔十四
2. 《时间之窗》（2017年《时间之窗》；卡利奥塔《时间之窗》；卡利奥塔
3. Bettini，Lorenzo:用Xsemantics实现IDE的类型系统（2016）
4. 比约达尔，古斯塔夫；莫内特，让诺埃尔；弗莱纳，皮埃尔；皮尔森，贾斯汀：MiniZinc基于约束的本地搜索后端（2015）
5. Reis，Leonardo V.S.；Di Iorio，Vladimir O.；Bigonha，Roberto S.：编写和定义可扩展语言的动态语法修改机制（2015）
6. Wang，Bing；Deng，Bo；Xing，Fei；Wang，Dongxia；Yao，Yiping:分区事件图：基于LP的并行离散事件仿真建模的形式化（2015）
7. Amighi，Afshin；Blom，Stefan；Darabi，Saeed；Huisman，Marieke；Mostowski，Wojciech；Zaharieva Stojanovski，Marina:验证VerCors的并发系统（2014年）
8. Cazzola，Walter；Vacchi，Edoardo:关于LR-goto图的增量增长和收缩（2014）
9. 何江洲；陈文光；陈光瑞；郑伟民；唐志忠；叶，韩东：OpenMDSP：扩展OpenMP编程多核DSP（2014）ioport公司
10. Reinbacher，Thomas；Függer，Matthias；Brauer，Jörg:嵌入式实时系统的运行时验证（2014）
11. Rodríguez Cerezo，Daniel；Sarasa Cabezuelo，Antonio；Gómez Albarrán，Mercedes；Sierra，José-Luis：高等教育中的严肃游戏：关于计算机语言实施课程中基本概念理解的案例研究（2014）数学
12. Thielecke，Hayo:解析动作的语义（2014）
13. Bettini，Lorenzo；Damiani，Ferruccio；Schaefer，Ina；Strocco，Fabio:\textsTraitRecordj:一种具有特征和记录的编程语言（2013）ioport公司
14. Freudenthal，Margus:Siml:企业信息系统中特定领域语言开发的工具包（2013）
15. Ahrendt，Wolfgang；Dylla，Maximilian:异步对象组合验证系统（2012）
16. Cervelle，Julien；Forax，Rémi；Loyauté，Gautier；Roussel，Gilles:Banzai+Tatoo:使用尖端解析器实现高性能服务器（2012）ioport公司
17. Ilhami Visne；Ahmet Yildiz；Ekran Dilaveroglu；Klemens Vierlinger；Christa Nöhammer；Friedrich Leisch；Albert Kriegner:speedR：交互式数据导入、过滤和现成代码生成的R包（2012）不是zbMATH
18. 夏伟；姚一平；缪晓东：基于扩展事件图的并行分布式离散事件仿真建模方法（2012）
19. Fister jun.，Iztok；Fister，Iztok；Mernik，Marjan；Brest，Janez:领域特定语言easytime的设计与实现（2011）ioport公司
20. Johannes Oetsch，Jörg Pührer，Hans Tompits:SeaLion已经登陆：答案集编程的IDE-初步报告（2011）阿尔十四