×

找到128个软件包(结果1-100)

自旋蛋白

619文件引用(1990–2023)
软件作者: 贝尔实验室
相关软件: NuSMV;Uppaal;班德拉…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

克洛诺斯

246篇文献引用(1997–2022)
软件作者: Conrado Daws、Alfredo Olivero、Stavros Tripakis、Sergio Yovine
相关软件: Uppaal;高科技;旋转…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

CESAR公司

160篇文献引用(1982–2023)
软件作者: Queille,J.P。;J.西法基斯。
相关软件: 自旋蛋白;SLAM;Uppaal…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

MCMAS公司

86篇文献引用(2006–2023)
软件作者: 阿莱西奥·洛穆西奥(Alessio Lomuscio)、洪阳区(Hongyang Qu)、弗兰科·雷蒙迪(Franco Raimondi)
相关软件: MCK;摩卡;MCMAS-SLK…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

SLMC公司

75篇文献引用(2003–2023)
软件作者: 雨果·维埃拉;路易斯·凯雷斯
相关软件: 棱镜;管道;莫德…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

斑点

61篇文献引用(2005–2023)
软件作者: Duret-Lutz,A。;波特雷诺。
相关软件: 自旋蛋白;LTL2BA;NuSMV…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

METATEM公司

49篇文献引用(1994–2016)
软件作者: 巴林格,H。;费希尔,M。;Gabbay博士。;戈夫,G。;R.欧文斯。
相关软件: AgentSpeak;高尔夫;ConGolog…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

生物CHAM

52篇文献引用(2005–2024)
软件作者: Chabrier,N.、Fages,F.、Soliman,S。
相关软件: 生物-PEPA;棱镜;政治公众人物协议…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

违约

32篇文献引用(2011–2022)
软件作者: 亚历山大·唐泽
相关软件: S-TaLiRo;流量*;SpaceEx…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

日本运通银行

25篇文献引用(2002–2022)
软件作者: 克劳斯·哈弗伦德;格里高·罗什乌
相关软件: Java PathFinder;莫德;班德拉…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

MCK公司

34份文件引用(2004–2023)
软件作者: 罗恩·范德梅登;彼得·甘米(Peter Gammie);Kai Baukus;杰里米·李;程洛;黄晓伟
相关软件: MCMAS;VerICS;NuSMV…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…

TLA公司

29篇文献引用(1992–2023)
软件作者: L.兰波特
相关软件: 自旋蛋白;z3;加号…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

BPEL2oWFN型

25篇文献引用(2007–2020)
软件作者: 尼尔斯·洛曼
相关软件: 奶牛;BPEL2PN;温迪…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

LTSmin公司

25篇文献引用(2011–2023)
软件作者: 阿尔芬斯·拉阿尔曼(Alfons Laarman);雅各·范德波尔;迈克尔·韦伯;斯特凡·布洛姆
相关软件: 自旋蛋白;Uppaal;迪文尼…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

PESSOA公司

26篇文献引用(2011–2022)
软件作者: 罗伊,普里塔姆;保罗·塔布阿达;鲁帕克·马朱姆达尔
相关软件: SCOTS;科西马;TuLiP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

Cadence SMV公司

22篇文献引用(2000–2018)
软件作者: 麦克米兰K·L。
相关软件: NuSMV;自旋蛋白;SPOT…
主要字段:

S-TaLiRo公司

26篇文献引用(2011–2023)
软件作者: 安普雷迪(Annpureddy),亚什旺斯(Yashwanth);刘,车;费内科斯(Fainekos,Georgios);桑卡拉纳拉亚南,斯里拉姆
相关软件: 违约;SpaceEx;流量*…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

VESTA公司

22篇文献引用(2007–2021)
软件作者: Koushik Sen、Mahesh Viswanathan、Gul Agha
相关软件: 棱镜;莫德;HOL…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);统计学(62-XX)…

LARS公司

23篇文献引用(2016–2022)
软件作者: Beck,H.、Dao-Tran,M.、Eiter,T.、Fink,M。
相关软件: 克林戈;o克林戈;SPARQL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

TABLEAUX公司

20篇文献引用(1991–2022)
软件作者: 洛朗·卡塔赫
相关软件: 佩斯卡;莫因;LoTREC…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

TRP公司++

20篇文献引用(2004–2023)
软件作者: Hustadt,U.,Konev,B。
相关软件: NuSMV;SPASS;利维坦…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

聚乙烯醇水杨酸

14篇文献引用(2011–2023)
软件作者: AlTurki,M.,Meseguer,J
相关软件: 莫德;PMaude;VESTA…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

可控硅

10篇文献引用(2000–2018)
软件作者: 伊曼·布尔吉巴;贝莱德Moa
相关软件: 自旋蛋白;NuSMV;PVS…
主要字段: 数值分析(65-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

薄层色谱法

15篇文献引用(2000–2023)
软件作者: Lamport L、Yu Y
相关软件: 自旋蛋白;TLAPS;常春藤…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

TTM公司

18篇文献引用(2007–2023)
软件作者: J.Gaintzarain、M.Hermo、P.Lucio、M.Navarro、F.Orejas
相关软件: TRP++;拉比尼泽;条纹…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

可视信息系统

10篇文献引用(2005–2015)
软件作者: Brayton,R.K.等人。
相关软件: NuSMV;自旋蛋白;LTL2BA…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

CACTUS公司

15篇文献引用(1998年至2016年)
软件作者: 马诺利斯Gergatsoulis
相关软件: 数据日志;DeCART公司;FCVODE…
主要字段: (68N17-XX);(03B44-XX)

蒙保利

14篇文献引用(2015年至2024年)
软件作者: D.Basin、M.Harvan、F.Klaedtke、E.Zalinescu
相关软件: LOLA;德贾武;天线…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

临时雇员

15篇文献引用(2004–2021)
软件作者: 乌尔里希侯斯塔特;鲍里斯·科涅夫;亚历山大·里亚扎诺夫;安德烈·沃伦科夫
相关软件: VAMPIRE公司;TSPASS;TRP++…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

TuLiP公司

15篇文献引用(2016–2022)
软件作者: Tichakorn Wongpiromsarn、Ufuk Topcu、Necmiye Ozay、Huan Xu、Richard M.Murray
相关软件: PESSOA;科西马;SCOTS…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

TLAPS(TLAPS)

14篇文献引用(1999年-2023年)
软件作者: 拉波特
相关软件: 薄层色谱法;常春藤;Coq…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

AMT公司

12份文件引用(2008–2018)
软件作者: D.尼科维奇,O.马勒
相关软件: Uppaal;SpaceEx;棱镜…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

RoVerGeNe公司

13份文件引用(2007–2019)
软件作者: 格雷戈里·巴特;凯琳·贝尔塔
相关软件: RAMAS;生物炭;迪文尼…
主要字段: 动力系统与遍历理论(37-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…

SMV公司

13份文件引用(1986–2018)
软件作者: 埃德·克拉克;K.L.McMillan;E.A.艾默生;J.R.伯奇
相关软件: 高科技;PHAVer;旋转…
主要字段: 常微分方程(34-XX);变分法与最优控制;优化(49-XX);计算机科学(68-XX)…

APNN-工具箱

12份文件引用(1999–2022)
软件作者: 彼得·巴赫霍尔茨(Peter Buchholz);马库斯·费舍尔;彼得·坎佩尔;卡斯滕·泰珀
相关软件: 棱镜;政治公众人物协议;LDQBD…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);概率论与随机过程(60-XX);数值分析(65-XX)…

猫头鹰

12份文件引用(2018–2022)
软件作者: Křetínsk \345],Jan;托比亚斯·梅根多尔弗;所罗门·西克特
相关软件: SPOT;条纹;棱镜…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

解除束缚

12份文件引用(2011–2023)
软件作者: 吕迪格·埃勒斯
相关软件: 相思树+;条纹;BoSy…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

STeLP公司

10篇文献引用(2011–2022)
软件作者: 佩德罗·卡巴拉尔;马丁·迪盖兹
相关软件: 克林戈;科拉;格林戈…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

数据日志LITE

9份文件引用(2002–2019)
软件作者: 乔治·戈特洛布(Georg Gottlob);Erich Grädel;赫尔穆特·维思
相关软件: XPath;Ltur;ComputeTW…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

IDLVALID公司

10篇文献引用(2001–2013)
软件作者: 帕里托什·K·潘迪亚。
相关软件: DCVALID;Uppaal;Kronos…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

MAVEN公司

9份文件引用(2007–2013)
软件作者: Max Goldman;埃米利亚·卡茨(Emilia Katz);Shmuel Katz
相关软件: ProMoVer;CVPP;Aspectual凸轮…
主要字段: 计算机科学(68-XX)

TLPVS公司

8份文件引用(2003–2011)
软件作者: 阿米尔·普努利;塔马拉·阿隆斯
相关软件: PVS;自旋蛋白;魔法…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

EAGLE公司

9份文件引用(2015–2021)
软件作者: 亚历克西斯·图米;朱利安·古铁雷斯(Julian Gutierrez);迈克尔·伍尔德里奇
相关软件: MCMAS;摩卡;PRISM-games…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

OCRA公司

9份文件引用(2015–2022)
软件作者: Cimatti,A。;Dorigatti,M。;托内塔,S。
相关软件: nuXmv;NuSMV;数学SAT5…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)

德贾武

8份文件引用(2018–2022)
软件作者: Havelund,K。;贝利德,D。;D.乌卢斯。
相关软件: LOLA;蒙保利;Java-MOP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

RGITL公司

8份文件引用(2014–2022)
软件作者: 格哈德·谢尔霍恩(Gerhard Schellhorn);托凡、博格丹;吉登•恩斯特(Ernst,Gidon);Pf“ahler,Jörg;Reif,Wolfgang
相关软件: 自旋蛋白;KIV;Dafny…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

ROCS公司

8份文件引用(2018–2022)
软件作者: 李一南;刘军
相关软件: SCOTS;科西马;PESSOA…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

SCTL-MUS公司

5份文件引用(2001–2006)
软件作者: JoséJ.Pazos Arias。;加西亚·杜克(Jorge García Duque)
相关软件: PVS;SLAM;NuSMV…
主要字段: (68Q65-XX)

ACTLW公司

6篇文献引用(2008年至2016年)
软件作者:
相关软件: 自旋蛋白;奶牛;mCRL…
主要字段:

德拉格

7份文件引用(2017–2021)
软件作者: 米勒,大卫;所罗门·西克特
相关软件: SPOT;猫头鹰;LTL2BA…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

目标

6篇文献引用(2009–2015)
软件作者: Tsay,Y.-K.,Chen,Y.-F.,Tsai,M.-H.,Wu,K.-N.,Chan,W.C。
相关软件: 自旋蛋白;LTL2BA;Matlab…
主要字段:

磅/吨

5份文件引用(2009–2015)
软件作者: H.Tauriainen;K.赫尔詹科
相关软件: LTL2BA;SPOT;旋转…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

MoChiBA公司

7份文件引用(2017年-2023年)
软件作者: 所罗门·西克特;简·Křetínsk
相关软件: 棱镜;猫头鹰;SPOT…
主要字段:

NMRDPP公司

7份文件引用(2006–2023)
软件作者: 蒂堡,S。;格雷顿,C。;斯莱尼,J。;价格,D。;卡班扎,F。
相关软件: 图形平面图;观察员;OpenAI健身房…
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

TATL公司

7份文件引用(2009–2017)
软件作者: 艾米莉·大卫
相关软件: CL校准仪;VAMPIRE公司;TRP++…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

卡利

4份文件引用(2007–2014)
软件作者: Fonseca MJ、Pimentel C、Jorge JA
相关软件: SketchREAD;塔胡提;HCRF…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

卡萨尔

5份文件引用(2012–2022)
软件作者: 彼得·布利切夫(Peter Bulychev);亚历山大·戴维;古德斯特兰·拉森(Kim Guldstrand Larsen);Legay,Axel;李广元;丹尼·鲍尔森(Danny Bougsted Poulsen);阿梅莉·施泰纳
相关软件: Uppaal;UPPAAL TIGA;APMC…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

COSMOS公司

6篇文献引用(2013–2021)
软件作者: Ballarini,P.、Djafri,H.、Duflot,M.、Haddad,S.、Pekergin,N。
相关软件: 棱镜;Ymer;VESTA…
主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

HASL公司

6篇文献引用(1986–2016)
软件作者: Ballarini,P.、Djafri,H.、Duflot,M.、Haddad,S.、Pekergin,N。
相关软件: COSMOS;Uppaal;棱镜…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

利维坦

6篇文献引用(2016年至2021年)
软件作者: 贝特罗(Matteo Bertello);尼古拉·吉甘特(Nicola Gigante);安吉洛·蒙塔纳里(Angelo Montanari);雷诺兹,马克
相关软件: NuSMV;TRP++;阿尔塔…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

MSVL公司

6篇文献引用(2019–2020)
软件作者: 王晓兵、丛田、段振华、梁昭
相关软件: 自旋蛋白;CPA检查员;CESAR…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

验证

5份文件引用(2021–2023)
软件作者: 托马索·德罗西(Tommaso Dreossi)、丹尼尔·弗雷蒙特(Daniel J.Fremont)、施洛蒙娜·戈什(Shromona Ghosh)、爱德华·金(Edward Kim)、哈迪·拉文巴赫(Hadi Ravanbakhsh)、马塞尔·巴斯奎兹·香拉特(Marcell Vazque
相关软件: Reluplex;NNV;风景…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

VMC公司

5份文件引用(2015–2020)
软件作者: 莫里斯·比克。;弗朗科·马扎蒂(Franco Mazzanti);阿尔迪·苏洛娃
相关软件: DeltaCCS;MSTA;mCRL2…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

CTL-RP公司

5份文件引用(2010–2021)
软件作者: 张澜;乌尔里希侯斯塔特;克莱尔·狄克逊
相关软件: SPASS;TRP++;TeMP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

Java日志

引用于3份文件(2002–2007)
软件作者: 阿曼迪,安娜拉;马塞洛·坎波;亚历杭德罗·祖尼诺
相关软件: 高尔夫;奥兹;METATEM…
主要字段: 计算机科学(68-XX)

kP工作台

5份文件引用(2015年-2023年)
软件作者: Gheorghe,M.、Ipate,F.、Mierla,L.、Konur,S。
相关软件: 自旋蛋白;NuSMV;莫德…
主要字段: 计算机科学(68-XX)

长期平均价格

5份文件引用(2017年至2022年)
软件作者: Cameron Finucane;《钢原经》;哈达斯·克雷斯·加济特
相关软件: PESSOA;TuLiP;SCOTS…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

MarCaSPiS公司

5份文件引用(2009–2015)
软件作者: 洛科·德·尼古拉、迭戈·拉泰拉、米歇尔·洛雷蒂、梅克·马西克
相关软件: 奶牛;MoDeST;科莱姆…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);概率论与随机过程(60-XX)…

MC2公司

4份文件引用(2010–2017)
软件作者: 罗宾·唐纳森
相关软件: 棱镜;Ymer;MRMC…
主要字段:

萨波

5份文件引用(2017年至2022年)
软件作者: 德罗西T
相关软件: SpaceEx;高科技;违约…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)

德克萨斯州

5份文件引用(2021–2022)
软件作者: C.Lemieux、D.Park、I.Beschatnikh
相关软件: PPTLMiner;S-TaLiRo;Daikon…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)

验证

4份文件引用(2019–2021)
软件作者: 李玉良、阿林·德意志、维克托·维亚努
相关软件: 小卧室;Mcmt;尽快…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

天线

4份文件引用(2017–2020)
软件作者: 德米特里·特拉泰尔
相关软件: LOLA;蒙保利;存档正式证据…
主要字段:

引用于3份文件(2014–2018)
软件作者: 丹尼尔·戈林;德克·帕丁森;卢茨·施罗德;弗洛里安·维德曼;托尔斯滕·维曼
相关软件: LoTREC;精益K;E定理证明器…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

前夕

4份文件引用(2019–2021)
软件作者: 穆罕默德·纳吉布
相关软件: MCMAS;MCMAS-SLK;PRISM-games…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

FaPAS公司

4份文件引用(2013–2018)
软件作者: B.约丹诺夫,C.贝尔塔
相关软件: NuSMV;VeriSIMPL;算法97…
主要字段: 组合数学(05-XX);生物学和其他自然科学(92-XX);系统论;控制(93-XX)

活动性

引用于3份文件(2008–2014)
软件作者: 史蒂文斯·D、德拉吉塞维奇·S和罗思利·K。
相关软件: 卢卡斯;FANN;AntNet…
主要字段:

不完整性

4份文件引用(1998–2008)
软件作者: 戈曼,H.J.M。;Kok,J.N。;Sere,K.先生。;Udink,R.T.ti:《有罪不罚框架中的协调》。
相关软件:
主要字段: 偏微分方程(35-XX);计算机科学(68-XX);统计力学,物质结构(82-XX)…

科梅特

4份文件引用(2002–2005)
软件作者: Calmet,J.,Jekutsch,S.,Kullmann,P.,Schü,J。
相关软件: FRIL;PVS;SPASS…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

MoMo公司

4份文件引用(2005–2014)
软件作者: 德尼古拉(De Nicola)、罗科(Rocco);米歇尔·洛雷蒂
相关软件: 科莱姆;SLMC;COPASI…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

MuTACLP公司

引用于3份文件(2000–2014)
软件作者: 保罗·曼卡雷拉(Paolo Mancarella);吉安卢卡·内尔比尼;拉斐特,亚历山德拉;Franco图里尼
相关软件: SMT-LIB;酯类;SIC斯图斯
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

PRISM-PSY公司

4份文件引用(2018)
软件作者: 乔什卡,M.,Pilař,P.,Paoletti,N.,Brim,L.,Kwiatkowska,M。
相关软件: 棱镜;PROPhESY公司;PPL…
主要字段:

XTL公司

4份文件引用(2003–2017)
软件作者: Garavel,H.、Mateescu,R。
相关软件: CADP;LNT2LOTOS公司;Exp.打开…
主要字段: 计算机科学(68-XX)

阿尔塔

引用于3份文件(2016年至2020年)
软件作者: 李建文;姚银波;Pu、Geguang;张丽君;何继峰
相关软件: 利维坦;TRP++;NuSMV…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

生物模型分析仪

2份文件引用(2017–2021)
软件作者: 扎拉·艾哈迈德;大卫·本克(David Benque);谢尔盖·别雷津;Dahl,Anna Caroline E。;贾斯敏·费希尔(Jasmin Fisher);本杰明·霍尔(Benjamin A.Hall)。;萨明·伊斯蒂亚克;杰伊·纳纳瓦蒂;尼尔·皮特曼;梅克Riechert;尼基塔·斯科洛夫
相关软件: 漫长的时期;亚特兰蒂斯;Cytoscape.js…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

J-LO公司

引用于3份文件(2009–2012)
软件作者: 埃里克·博登(Eric Bodden);沃尔克·斯托尔茨
相关软件: 方面J;Java-MOP;DaCapo…
主要字段: 计算机科学(68-XX)

LDYIS公司

引用于3份文件(2008–2011)
软件作者: 阿莱西奥·洛穆西奥;沃伊切赫·彭泽克
相关软件: MCMAS-X;MCMAS;Casper…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

OmegaThreads公司

引用于3份文件(2021–2022)
软件作者: 哈立德,马哈茂德;马吉德·扎马尼
相关软件:
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)

兰花

引用于3份文件(2005–2018)
软件作者: 朱利安·奥利文;Jean Goubault Larrecq先生
相关软件:
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)

Petri-PDL公司

引用于3份文件(2016–2018)
软件作者: 克里斯蒂亚诺·布拉加;布鲁诺·洛佩斯
相关软件: 莫德
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

PPT矿工

引用于3份文件(2020–2022)
软件作者: 张楠;余斌;丛天;段振华;小帅元
相关软件: 德克萨斯州;DynaMine公司;旋转…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

图腾生物网

引用于3份文件(2020–2022)
软件作者: 德博拉·博伊恩瓦尔(Déborah Boyenval)、吉莱斯·贝诺(Gilles Bernot)、海莱内·科拉维扎(Hélène Collavizza)、让·鲍尔彗星(Jean-Paul Comet)
相关软件: NuSMV;金西姆;Aleph…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

BluSTL公司

2份文件引用(2019–2022)
软件作者: V.Raman,A.Donzé。
相关软件: 蒙保利;不偏不倚;DejaVu…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

语言2LTL

2份文件引用(2023)
软件作者: 刘新余;杨,Z。;Idrees,I。;Liang,S。;Schornstein,B。;Tellex,S.公司。;A.沙阿。
相关软件: OpenAI健身房;AMYTISS公司;深度合成…
主要字段:

LOEWE公司

2份文件引用(2008–2019)
软件作者:
相关软件: 凯撒;CADP;LoLA…
主要字段: 计算机科学(68-XX)

PPTL_销

2份文件引用(2016–2022)
软件作者: 张晓明;段振华;田聪
相关软件: 自旋蛋白;代纳明;德克萨斯州…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

ProbDiVinE公司

2份文件引用(2014–2018)
软件作者: Barnat,J。;Brim,L。;塞尔纳,I。;塞斯卡,M。;J.图莫娃。
相关软件: 棱镜;通行证;拉比尼泽…
主要字段:

普罗莫卡

2份文件引用(2016–2023)
软件作者: 阿克·古奈{i} n个; 刘,杨;张杰
相关软件:
主要字段: 计算机科学(68-XX)

qtl求解器

2份文件引用(2015–2016)
软件作者: 马尔塞洛·M·贝尔萨尼。;罗西,马蒂奥;圣彼得罗,皮耶路易吉
相关软件: z3;佐特
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

TaLiRo公司

2份文件引用(2009–2011)
软件作者: 费内科斯、G.E.、帕帕斯、G.J。
相关软件: Matlab;违约;S-TaLiRo…
主要字段:

筛选结果依据…

全部的 前5名

相关软件