安德烈·塔莱基 77出版物(1983–2018)编入索引的 672引文 合著者： 唐纳德·桑内拉（Donald T.Sannella）。；莫萨科夫斯基（Till Mossakowski）；米歇尔·比多特… 主要字段： 计算机科学（68-XX）；数学逻辑与基础（03-XX） 发布日期： 安德烈·塔莱基;A.塔莱基。
马丁·威辛 113出版物(1977–2023)编入索引的 583引文 合著者： 曼弗雷德·布罗伊；罗尔夫·亨尼克；佩珀，彼得… 主要字段： 计算机科学（68-XX） 发布日期： 马丁·威尔辛;Wirsing，M。
埃琳娜·祖卡 51出版物(1981–2023)编入索引的 94引文 合著者： 大卫·安科纳；保拉·吉安尼尼；索尼娅·法戈齐（Sonia Fagorzi）… 主要字段： 计算机科学（68-XX） 发布日期： 埃琳娜·祖卡