作　　者：Rayna Dimitrova ;Bernd Finkbeiner

出　　处：Electronic Proceedings in Theoretical Computer Science. 2013 ;112:43-51.doi:10.4204/EPTCS.112.9

出 版 社：Open Publishing Association

文 章 ID：85356983

作　　者：Nikolay Todorov Vatev ;Mariyana Vartigova Stoycheva ;Andrei Ivanov Petrov 等

出　　处：World Journal of Vaccines. 2012 ;2(3):172-177.doi:10.4236/wjv.2012.23023

出 版 社：Scientific Research Publishing

文 章 ID：87895896

作　　者：Rayna Dimitrova ;Ivan Gavran ;Rupak Majumdar 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:13:1-13:17.doi:10.4230/LIPIcs.CONCUR.2017.13

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：200735179

作　　者：Rayna Dimitrova ;Bernd Finkbeiner

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2008 ;2:175-186.doi:10.4230/LIPIcs.FSTTCS.2008.1751

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186845497

作　　者：Maria Datcheva ;Gergana Chalakova ;Antonio Nikolov 等

出　　处：MATEC Web of Conferences. 2018 ;145.doi:10.1051/matecconf/201814502005

出 版 社：EDP Sciences

文 章 ID：1011717733

作　　者：Rayna Dimitrova ;Rupak Majumdar ;Vinayak S. Prabhu

出　　处：Electronic Proceedings in Theoretical Computer Science. 2019 ;286:31-33.doi:10.4204/EPTCS.286.3

出 版 社：Open Publishing Association

文 章 ID：1034087460

作　　者：Sebastian Biewer ;Rayna Dimitrova ;Michael Fries 等

出　　处：Logical Methods in Computer Science. 2022 ;18(1):1-39.doi:10.46298/lmcs-18(1:14)2022

出 版 社：Technical University of Braunschweig

文 章 ID：1038046960