ASTREE公司 112份文件引用(2002–2023) 软件作者: 帕特里克·库索特(Patrick Cousot)、拉迪亚·库索特、杰罗姆·费雷特(Jeróme Feret)、劳伦特·毛博尔涅(Laurent Mauborgne)、安托万·米内(Antoine Miné)、大卫·莫尼奥(David Monniaux)、泽维尔· 相关软件: 停机坪;z3;应用程序… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);数值分析(65-XX)…
TVLA公司 33篇文献引用(2000–2022) 软件作者: 塔尔·列夫·阿米;穆利·萨吉夫 相关软件: ESC/Java;简化;z3… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
维拉斯科 15篇文献引用(2016–2023) 软件作者: Jacques Henri Jourdan、Vincent Laporte、Sandrine Blazy、Xavier Leroy、David Pichardie 相关软件: Coq;工具链;z3… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);凸和离散几何(52-XX)…
中美合作所 10篇文献引用(2014年至2021年) 软件作者: 阿尔伯特·E.、阿雷纳斯·P.、弗洛雷斯·蒙托亚·A.、吉纳伊姆·S.、戈梅斯·扎马洛亚·M.、马丁·马汀·E.、普埃布拉·G.、罗曼·迪兹·G。 相关软件: 防抱死制动系统;JCobox;基利姆… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
PAGAI公司 10篇文献引用(2014–2022) 软件作者: 朱利安·亨利、大卫·莫尼奥、马蒂厄·莫伊 相关软件: 停机坪;PPL;阿斯匹克… 主要字段: 数学逻辑与基础(03-XX);凸和离散几何(52-XX);计算机科学(68-XX)…
JSAI公司 6篇文献引用(2017–2022) 软件作者: 维尼斯·卡西亚普、凯尔·杜威、伊桑·库夫纳、约翰·瓦格纳、凯文·吉本斯、约翰·萨拉西诺、本·维德曼、本·哈德科夫 相关软件: JavaScript;幻影;诺恩… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
品脱 4份文件引用(2022–2023) 软件作者: L.Paulevé。 相关软件: PyBoolNet;CaDiCaL;Clingo… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
麻雀 5份文件引用(2016–2022) 软件作者: Hakjoo Oh、Kihong Heo、Wonchan Lee、Woosuk Lee、Kwangkeun Yi 相关软件: 烟尘;停机坪;ASTREE… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
萨维亚 4份文件引用(2011–2022) 软件作者: 劳伦特·休伯特(Laurent Hubert);尼古拉斯·巴尔;贝松,Fr‘ed’eric;Demange,Delphine;托马斯·延森(Thomas Jensen);文森特·蒙福特;大卫·皮哈迪(David Pichardie);蒂芬·特平 相关软件: WALA;PAGAI;深悟空… 主要字段: 计算机科学(68-XX)
eThor公司 3份文件引用(2021–2022) 软件作者: 克拉拉·施奈德温德、伊利亚·格里什琴科、马库斯·谢勒、马特奥·马菲 相关软件: SMT-LIB;CVC4;K校准仪… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
GASTAP公司 3份文件引用(2020–2022) 软件作者: E.阿尔伯特、P.戈迪略、A.鲁比奥、I.谢尔盖。 相关软件: Servois;github;加气站快车… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
RangeLab公司 3份文件引用(2018–2021) 软件作者: 马特尔,M。 相关软件: PRECiSA公司;促进;Boost Interval算术… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
调试工具 3份文件引用(2020–2021) 软件作者: Tikhomirov,S.等人。 相关软件: github;蓄意破坏;LLVM… 主要字段: 博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
CASPA公司_ 1份文件引用(2015年) 软件作者: 迈克尔·巴克斯(Michael Backes);斯特凡·洛伦茨;马特奥·马菲;金·佩西纳 相关软件: F*;塔马林;隐秘… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
混合动力波动器 1份文件引用(2015年) 软件作者: 奥利维埃·布伊索(Olivier Bouissou);埃里克·古鲍特(Eric Goubault);西尔维·普托;卡里姆·特卡尔;弗兰克·维德琳 相关软件: GRK标签 主要字段: 计算机科学(68-XX)
美国国家航空航天研究所 2份文件引用(2010–2022) 软件作者: Mohammad T.Alkhamis、Saeed-Reza Sabbagh-Yazdi、Mahdi Esmaeili、Falah M.Wegian 相关软件: —— 主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)
复杂性分析器 1份文件引用(2021) 软件作者: 埃曼纽尔·海因里;伊曼纽尔·詹德尔;罗曼·佩乔;奥利维尔·泽恩 相关软件: ANTLR;AProVE;TcT公司 主要字段: 计算机科学(68-XX)
IccTA公司 在0个文档中引用 软件作者: 李丽;亚历山大·巴特尔;TegawendéF.Bissyandé;雅克·克莱恩;伊夫·勒特朗(Yves Le Traon);史蒂文·阿尔兹特(Steven Arzt);等人。 相关软件: LibRadar;FraudDroid;monkeyrunner… 主要字段: ——
JavaPDG软件 1份文件引用(2018) 软件作者: Shu G、Sun B、Henderson TA、Podgurski A 相关软件: 准确指出;信息;暗黑破坏神… 主要字段: 计算机科学(68-XX)
毕加索 1份文件引用(2012) 软件作者: 达米安·祖弗里(Damien Zufferey);托马斯·怀斯(Thomas Wies);托马斯·汉津格 相关软件: 电梯 主要字段: 计算机科学(68-XX)
VERMEER公司 1份文件引用(2018) 软件作者: Schwartz-Narbonne,D.,Oh,C.,Schäf,M.,Wies,T。 相关软件: MiniSat;WhyLine;Kodkod… 主要字段: 计算机科学(68-XX)