特夫菲克·布尔坦 39出版物(1992–2016)编入索引的 197引文 合著者： 奥斯卡·H·伊巴拉（Oscar H.Ibarra）。；苏建文；巴尔齐斯，君士坦丁… 主要字段： 计算机科学（68-XX） 发布日期： 特夫菲克·布尔坦
克拉克（Edmund Melson jun Clarke）。 135出版物(1979–2018)编入索引的 2941引文 合著者： Orna Grumberg；赫尔穆特·维思（Helmut Veith）；萨加·查基… 主要字段： 计算机科学（68-XX） 发布日期： 埃德蒙·克拉克；埃德蒙·克拉克（Edmund M.Clarke）。；E.M.克拉克。；E.克拉克。；Edmund M.jun Clarke。；克拉克（Edmund Melson jun Clarke）。；E.M.jun Clarke。；克拉克、埃德蒙·梅尔森 更多。。。较少的
奥斯卡·H·伊巴拉。 333出版物(1967–2023)编入索引的 2338条引文 合著者： 党哲；伊恩·麦克奎伦（Ian McQuillan）；姜涛… 主要字段： 计算机科学（68-XX） 发布日期： 奥斯卡·H·伊巴拉。；奥斯卡·伊巴拉；O.H.伊巴拉。；O.伊巴拉。 更多。。。较少的
希曼舒·杰恩 6出版物(2005–2009)编入索引的 18引文 合著者： 克拉克（Edmund Melson jun.Clarke）。；Orna Grumberg；拉梅什·K·阿加瓦尔… 主要字段： 计算机科学（68-XX） 发布日期： 希曼舒·杰恩
苏建文 53出版物(1991–2024)编入索引的 205引文 合著者： 奥斯卡·H·伊巴拉（Oscar H.Ibarra）。；特维克布尔坦；董国柱… 主要字段： 计算机科学（68-XX） 发布日期： 苏建文
图巴·雅武兹·卡维奇 6出版物(2001–2012)编入索引的 24引文 合著者： 特维克布尔坦；巴尔齐斯（Bartzis），君士坦丁堡（Constantinos）；金华峰… 主要字段： 计算机科学（68-XX） 发布日期： 图巴·雅武兹·卡维奇