zbMATH中的参考文献，第1条标准)

1. Fava，Daniel S.；Steffen，Martin；Stolz，Volker:具有信道同步的弱内存模型的操作语义（2019）
2. Johansen，Christian；Owe，Olaf：动态结构操作语义（2019）
3. Ştefănescu，Andrei；Ciob–căStefan；Mereuta，Radu；Moore，Brandon；Roşu，Grigore；Şerbănuṭă，Traian Florin：全路径可达逻辑（2019）
4. van Binsbergen，L.Thomas；Mosses，Peter D.；Sculthorpe，Neil：《基于组件的可执行语义》（2019）
5. Lochbihler，Andreas:使用经过验证的编译器实现多线程Java的类型安全模型（2018）
6. Arusoaie，Andrei；Ciob–că，Ştefan；Lucanu，Dorel；Rosu，Grigore；Rusu，Vlad；Şerbănuţă，Traian Florin:程序逻辑及其应用（2017）
7. Bugliesi，Michele；Calzavara，Stefano；Focardi，Riccardo:web安全的形式方法（2017）
8. Cheney，James；Momigliano，Alberto:（\alpha\mathrmCheck）：机械化元理论模型检查器（2017）
9. Lucanu，Dorel；Rusu，Vlad；Arusoaie，Andrei：《符号执行的一般框架：一种共同归纳法》（2017）
10. Roşu，Grigore:匹配逻辑（2017）
11. Bettini，Lorenzo:用Xsemantics实现IDE的类型系统（2016）
12. Rusu，Vlad；Lucanu，Dorel；Şerbănuţă，Traian Florin；Arusoaie，Andrei；Ştefănescu，Andrei；Roşu，Grigore:语言定义作为重写理论（2016）
13. Şerbănuţă，Traian Florin；Dinu，Liviu P.：最大化并行上下文字符串重写（2016）
14. Arusoaie，Andrei；Lucanu，Dorel；Rusu，Vlad：基于语言转换的符号执行（2015）
15. Bogdanas，Denis；Roşu，Grigore:K-Java:Java的完整语义（2015）
16. Ciob–că，Ştefan；Lucanu，Dorel；Rusu，Vlad；Roşu，Grigore:编程语言聚合的理论基础（2015）
17. Lucanu，Dorel；Rusu，Vlad:循环推理的程序等价性（2015）
18. Lucanu，Dorel；Rusu，Vlad；Arusoaie，Andrei；Nowak，David:验证重写逻辑规范的可达性逻辑属性（2015）
19. Mota，A.；Farias，A.；Woodcock，J.；Larsen，P.G.：模型检查CML：工具开发和工业应用（2015）ioport公司
20. Roşu，Grigore:从重写逻辑到编程语言语义，再到程序验证（2015）