×

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

轻量级Java

107篇文献引用(2001–2023)
软件作者: Atsushi Igarashi;本杰明·皮尔斯(Benjamin C.Pierce)。;菲利普·沃德勒
相关软件: JML;毫升;埃菲尔…
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)…

托勒密

66份文件引用(1995–2022)
软件作者: Johan Eker、Jörn W.Janneck、Edward A.Lee、Jie Liu、Xiaojun Liu、Jozsef Ludvig、Stephen Neuendorffer、Sonia Sachs、Yuhong Xiong
相关软件: 大都市;卢斯特;状态流…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

A至M3

18篇文献引用(2002–2021)
软件作者: 胡安·德·拉腊(Juan de Lara);汉斯·旺格鲁
相关软件: AGG;VIATRA2;进度…
主要字段: 组合数学(05-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…

MoDeST公司

33篇文献引用(2001–2022)
软件作者: 佩德罗·R·D’Argenio。;霍尔格赫尔曼斯;Joost-Pieter Katoen;里克·克拉伦
相关软件: 棱镜;Uppaal;高科技…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

CoCasl公司

26篇文献引用(2003–2014)
软件作者: 莫萨科夫斯基(Till Mossakowski);马库斯·罗根巴赫(Markus Roggenbach);卢茨·施罗德
相关软件: CASL;莫德;赫茨…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

灵活

22篇文献引用(1990–2009)
软件作者: 贾卡隆,A.,米什拉,P.,普拉萨德,S
相关软件: 皮克特;毫升;JoCaml…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

皮杜克

18篇文献引用(2006–2020)
软件作者: 卡皮内蒂,萨缪尔;科西莫·拉内夫;卢卡·帕多瓦尼
相关软件: XPi;X产品;COWS…
主要字段: 计算机科学(68-XX)

火山

6篇文献引用(2000–2018)
软件作者: 格雷夫(G.Graefe)。
相关软件: DB2;潜力;LUBM…
主要字段: 计算机科学(68-XX)

可控硅

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

BPEL2PN公司

13份文件引用(2006年-2014年)
软件作者: 克里斯蒂安·斯塔尔;辛兹;K.施密特
相关软件: WSAT;奶牛;BPEL2oWFN…
主要字段: 计算机科学(68-XX)

CSP防护

17篇文献引用(2005–2022)
软件作者: 吉野县Isobe;马库斯·罗根巴赫
相关软件: PVS;Isabelle/HOL;FDR2…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

HOPLA公司

14篇文献引用(2002–2014)
软件作者: 米克尔·奈加德;格林·温斯克尔
相关软件: 新HOPLA
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);范畴理论;同调代数(18-XX)…

闪光

12份文件引用(2002年至2013年)
软件作者: 马尔滕·德莫尔;马克·范·埃克伦;莱纳斯·普拉斯梅耶
相关软件: 清洁;哈斯克尔;Coq…
主要字段: 计算机科学(68-XX)

并发工作台

12份文件引用(2000–2022)
软件作者: P.Stevens等人
相关软件: CADP;SIGREF公司;Uppaal…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

伊莎贝尔/马戏团

12份文件引用(2013–2017)
软件作者: Abderrahmane Feliachi、Marie-Claude Gaudel、Burkhart Wolff
相关软件: Isabelle/HOL;电源保护;伊莎贝尔…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)

fc2工具

12份文件引用(1999–2022)
软件作者: Bouali,A.、Ressouche,A.、Roy,V.、de Simone,R。
相关软件: CADP;到期未结;CAESAR_SOLVE…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)

M网络

11份文件引用(1998–2012)
软件作者: 艾克·贝斯特(Eike Best)、沃伊切赫·弗里查克(Wojciech Frączak)、理查德·霍普金斯(Richard P.Hopkins)、汉娜·克劳代尔(Hanna Klaudel)、伊丽莎白·佩尔兹
相关软件: 政治公众人物;玛丽亚;Uppaal…
主要字段: 计算机科学(68-XX)

VPM公司

4份文件引用(2005–2007)
软件作者: 达尼尔·瓦罗(Dániel Varró),安德拉斯·帕塔里察(András Pataricza)
相关软件: VIATRA2;进度;AGG…
主要字段: 计算机科学(68-XX)

多媒体卡

9份文件引用(2003–2020)
软件作者: 杨平;罗马克里希南,C.R。;斯科特·斯莫尔卡。
相关软件: MWB;MCK;Uppaal…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

网络PIE

引用于8份文件(2012–2022)
软件作者: Urbani,J.、Kotoulas,S.、Maassen,J.,van Harmelen,F.、Bal,H。
相关软件: XSB;数据日志;ELK…
主要字段: 计算机科学(68-XX)

PROMPT锚

4份文件引用(2007–2013)
软件作者: 诺伊,N.F.,缪森,M.A
相关软件: 泡沫;及时;WordNet…
主要字段: 计算机科学(68-XX)

流行病

引用于8份文件(2010–2022)
软件作者: 克里斯托弗·巴雷特;基思·比塞特(Keith R.Bisset);斯蒂芬·尤班克(Stephen G.Eubank);西周风;马达夫·马拉特
相关软件: 作业成本法;gleamviz;图表…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

iSPARQL公司

在0个文档中引用
软件作者: C.基弗;A.伯恩斯坦;M.斯托克
相关软件: SPARQL;序列;R2RML…
主要字段:

电动机

5份文件引用(2004–2013)
软件作者: Joost-Pieter Katoen;亨利克·博恩坎普(Henrik Bohnenkamp);Ric Klaren;霍尔格·赫尔曼斯
相关软件: Uppaal;MoDeST;IF-2.0…
主要字段: 计算机科学(68-XX)

LNT2LOTOS公司

7份文件引用(2012–2022)
软件作者: David Champelovier、Xavier Clerc、Hubert Garavel、Yves Guerte、Frédéric Lang、Christine McKinty、Vincent Powazny、Wendelin Serwe、Gideon Smeding
相关软件: CADP;自旋蛋白;Exp.打开…
主要字段: 计算机科学(68-XX)

帕洛马

4份文件引用(2016–2020)
软件作者: 程峰、简·希尔斯顿
相关软件: SCEL;CARMA;生物-PEPA…
主要字段: 数值分析(65-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…

RT-ASLAN公司

3份文件引用(1994–2002)
软件作者: 奥尔海默B,凯默R A。
相关软件: 埃斯特尔;Ada95;ASTRAL公司
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

辐条

4份文件引用(2008–2020)
软件作者: Gebser,M.、Pührer,J.、Schaub,T.、Tompits,H.、Woltran,S。
相关软件: 格林戈;阿司匹林;SeaLion…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

生物-PEPAd

4份文件引用(2012–2015)
软件作者: 朱利奥·卡拉瓦尼亚;简·希尔斯顿
相关软件: 生物-PEPA;LBS;棱镜…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

增量CCS

4份文件引用(2015年至2020年)
软件作者: 马耳他州洛豪;Stephan Mennicke;Hauke Baller;拉尔斯·里贝克
相关软件: VMC;自旋蛋白;莫德…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

截止日期

1份文件引用(2019)
软件作者: Daniel Adler、Christian Gläser、Oleg Nenadic、Jens Oehlschlägel、Walter Zucchini
相关软件: R;雪;格子…
主要字段: 统计学(62-XX)

MetaKlaim公司

5份文件引用(2003–2020)
软件作者: Gianluigi法拉利;尤金尼奥·莫吉;罗萨里奥·普格利泽
相关软件: 科莱姆;克拉瓦;杰森…
主要字段: 计算机科学(68-XX)

澄清器

5份文件引用(1995–2005)
软件作者: 亨特,肯尼;詹姆斯·克雷默
相关软件: 分子;鹦鹉螺;交流…
主要字段: 凸和离散几何(52-XX);统计学(62-XX);计算机科学(68-XX)…

SAFKASI公司

3份文件引用(2005–2015)
软件作者: D.S.Wallach、A.W.Appel、E.W.Felten
相关软件: 棱镜;JFlow;活页夹…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

CASPA公司

4份文件引用(2008–2015)
软件作者: 延斯·巴赫曼;马丁·里德尔(Martin Riedl);约翰·舒斯特(Johann Schuster);马库斯·西格尔
相关软件: 棱镜;CUDD;参数
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX)

CSSim公司

4份文件引用(2007–2009)
软件作者: 菲利普·布鲁克。;理查德·佩奇(Richard F.Paige)。;杰里米·雅各布。
相关软件: 埃菲尔;独家新闻;TCOZ…
主要字段: 计算机科学(68-XX)

设计

引用于2份文件(2021–2022)
软件作者: 周亚琴、刘尚青、肖景凯、杜晓宁、刘洋
相关软件: CodeBERT;单词2vec;代码2vec…
主要字段: 计算机科学(68-XX)

埃林戈

4份文件引用(2020–2022)
软件作者: 佩德罗·卡巴拉尔;豪尔赫·范丁诺;哈维尔·加里亚(Javier Garea);哈维尔·罗梅罗;托尔斯滕·绍布
相关软件: 克林戈;出售;htd…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

JAFMAS公司

3份文件引用(2000–2007)
软件作者: D·肖汉
相关软件: 剪辑;脱咖啡因咖啡
主要字段: 计算机科学(68-XX)

尼皮普

引用于2份文件(2023)
软件作者: K.Gorgolewski、C.D.Burns、C.Madison、D.Clark、Y.O.Halchenko、M.L.Waskom、S.S.Ghosh
相关软件: 自由冲浪者;比特币;Matplotlib…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

PowerForms公司

3份文件引用(2000–2008)
软件作者: 布拉布兰德,克劳斯;M{\o}ller,安德斯;米克尔·里基;迈克尔·施瓦茨巴赫。
相关软件: 海滨;iTasks;BABEL…
主要字段: 计算机科学(68-XX)

威斯特利亚

4份文件引用(2016–2023)
软件作者: 拉斯托吉,A.,哈默,M.A.,希克斯,M。
相关软件: HyCC;共享思维;ABY…
主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);信息与通信理论,电路(94-XX)

导线

3份文件引用(2018–2021)
软件作者: 卡米利,马蒂奥;卡洛·贝莱蒂尼;洛伦佐·卡普拉;蒙加,马蒂亚;网飞公司
相关软件: MongoDB;开放星云;沙发数据库…
主要字段: 计算机科学(68-XX)

LSCrawler(LS爬虫)

在0个文档中引用
软件作者: M.Yuvarani、N.C.S.N.Iyengar、A.Kannan
相关软件: Swoogle;SPARQL公司
主要字段: 系统论;控制(93-XX)

莫维奥拉

3份文件引用(2017–2019)
软件作者: 奥昆特Sabunu;莱特,乔~奥
相关软件: 克林戈;扣带;迷你卫星…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

新HOPLA

3份文件引用(2004–2014)
软件作者: 格林·温斯克尔(Glynn Winskel);弗朗西斯科·扎帕·纳德利
相关软件: HOPLA公司
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)

PHORA公司

3份文件引用(2001–2002)
软件作者: Manuel Palomar;塞兹·诺埃达(Saiz-Noeda),马克西米利亚诺(Maximiliano);穆尼奥斯,拉斐尔;苏亚雷斯,阿曼多;帕特里西奥·马丁内斯·巴尔科
相关软件: WordNet(文字网)
主要字段: 计算机科学(68-XX)

POOSL公司

3份文件引用(2003–2022)
软件作者: Theelen,B.D。;Voeten,J.P.M。;R.D.J.克莱默。
相关软件: 蟒蛇;TypeScript;酯类…
主要字段: 计算机科学(68-XX)

验证器

3份文件引用(2016年至2019年)
软件作者: 高弘久保田;Kakutani、Yoshihiko;加藤,加油;川野康仁;樱田秀树
相关软件: QPL;质量管理清单;QPMC…
主要字段: 计算机科学(68-XX);量子理论(81-XX)

VERSA公司

3份文件引用(1997–2022)
软件作者: D.克拉克、I.李、H.l.谢
相关软件: Uppaal;西尔文;M-TREE…
主要字段: 计算机科学(68-XX)

Zooid公司

3份文件引用(2021–2023)
软件作者: David Castro-Perez、Francisco Ferreira、Lorenzo Gheri、Nobuko Yoshida
相关软件: 皮罗埃特;卡拉斯;Coq…
主要字段: 计算机科学(68-XX)

AWN公司

引用于2份文件(2014–2016)
软件作者: 蒂莫西·布鲁克
相关软件: 伊莎贝尔/马戏团;Isabelle/jEdit;TPTP…
主要字段: 计算机科学(68-XX)

中央情报局

引用于2份文件(2001)
软件作者: 科莱特·福彻
相关软件: 对象日志+
主要字段: 计算机科学(68-XX)

CoLiS公司

引用于2份文件(2017)
软件作者: 尼古拉斯·珍妮罗德;克劳德·马奇;拉尔夫·特里宁
相关软件: Why3;WhyML;CVC4…
主要字段: 计算机科学(68-XX)

F——最大功率

引用于2份文件(1997–2001)
软件作者: 杨在栋
相关软件: 科恩平滑
主要字段: 计算机科学(68-XX)

图形代码BERT

在0个文档中引用
软件作者: 大亚·郭、朔仁、帅路、张银峰、杜玉堂、刘淑杰、龙舟、南端、阿列克谢·斯维亚特科夫斯基、傅胜瑜、米歇尔·图法诺、邵坤登、科林·克莱门特、黎明排水沟、内尔·桑德雷桑、建银、大新江、明州
相关软件: CodeXGLUE;设计;代码BLEU…
主要字段:

玻璃钢

1份文件引用(2016)
软件作者: Jebali F、Lang F、Mateescu R
相关软件: 电子LOTOS;AADL;LNT2LOTOS…
主要字段: 计算机科学(68-XX)

格罗弗

引用于2份文件(2002–2009)
软件作者: Barker-Plummer,Dave;西德尼·C·拜林。
相关软件: OBJ咖啡馆;生动;超防…
主要字段: 计算机科学(68-XX)

SemSUM公司

1份文件引用(2023)
软件作者: Jin,H.、T.Wang、X.Wan
相关软件: Tensor2传感器;BERT;宾夕法尼亚树银行…
主要字段: 计算机科学(68-XX)

SeVe公司

引用于2份文件(2012–2015)
软件作者: Luu,Anh Tuan;孙军;刘,杨;董金松
相关软件: 棱镜;拍打;卡斯珀…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

BAL公司

1份文件引用(2011年)
软件作者: 迭戈·佩雷斯·莱昂德雷斯(Pérez Leándrez);鲁伊斯,M.卡门;J.Jose,Pardo;迭戈·卡佐拉
相关软件:
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

CSP公司

1份文件引用(2010)
软件作者: 霍尔
相关软件:
主要字段: 计算机科学(68-XX)

DAFY公司

1份文件引用(1992)
软件作者: 埃里克·拉勒曼德(Eric Lallemand);勒杜克,盖伊
相关软件:
主要字段: 计算机科学(68-XX)

胶状的

在0个文档中引用
软件作者: Ken Hironaka;斋藤秀雄;Kei Takahashi;Kenjiro陶拉
相关软件:
主要字段:

孔普伦

1份文件引用(2018)
软件作者: 布鲁因,A.,库梅马尔,B.,鲍德利,B.,博杜克斯,O。
相关软件: 变身
主要字段: 计算机科学(68-XX)

LEMA公司

1份文件引用(2010)
软件作者: 文森特·列夫雷(Vincent Lefèvre);菲利普·塞维尼;德迪内钦,佛罗伦萨;克劳德·皮埃尔·珍妮罗德(Claude-Pierre Jeannerod);克利斯朵夫·莫里勒伦(Christophe Mouilleron);戴维·普范霍尔泽(David Pfannholzer);娜塔莉·雷沃
相关软件:
主要字段: 数值分析(65-XX)

接通SDM

在0个文档中引用
软件作者: 卡洛斯·罗伯托(Carlos Roberto);吉马朗斯、迪奥戈·莱莫斯;杰拉尔多·F.D.扎法隆。;Neves,Leandro A。;安杰洛·科伦比尼。
相关软件:
主要字段: 计算机科学(68-XX)

PAFSV公司

在0个文档中引用
软件作者: 曼,卡洛克;Lei,Chi-Un;赫曼吉·K·卡普尔。;托马斯·克里拉维修斯(Tomas Krilavicius);马杰明;张楠
相关软件: Verilog;Uppaal;自旋蛋白
主要字段: 计算机科学(68-XX)

PNlib公司

1份文件引用(2020)
软件作者: Sabrina专业;伯恩哈德·巴赫曼
相关软件: PetriFlow;Dymola;Modelica公司
主要字段: 生物学和其他自然科学(92-XX);系统论;控制(93-XX)

承诺

在0个文档中引用
软件作者: 乔·程(Joe Cheng)
相关软件: 计划员;rintrojs;未来…
主要字段:

RandLA-Net公司

在0个文档中引用
软件作者: 胡庆永、杨波、谢林海、罗莎、郭玉兰、王志华、尼基·特里戈尼、安德鲁·马卡姆
相关软件: KPConv;CGAL;PointNet…
主要字段:

微笑

1份文件引用(2003)
软件作者: 埃斯特鲁赫,V。;费里,C。;Hernández-Orallo,J。;M.J.Ramírez-Quintana。
相关软件: C4.5;UCI-毫升
主要字段: 计算机科学(68-XX)

vmake公司

1份文件引用(2000)
软件作者: 斯沃博达,P。;Wadge,西北。
相关软件: 佩尔
主要字段: 计算机科学(68-XX)

发酵剂

1份文件引用(2018)
软件作者: 埃里克·布雷克
相关软件: NLTK;Orange4WS;短语…
主要字段: 计算机科学(68-XX)

暗房

在0个文档中引用
软件作者: 詹姆斯·赫加蒂(James Hegarty);John Brunhaver;扎卡里·德维托;乔纳森·拉甘·凯利(Jonathan Ragan-Kelley);诺伊·科恩;史蒂文·贝尔(Steven Bell);阿特姆·瓦西利耶夫;马克·霍洛维茨(Mark Horowitz);帕特·汉拉罕
相关软件:
主要字段:

VeTIS公司

在0个文档中引用
软件作者: 利娜·内穆莱特、托马斯·斯凯尔西、阿尔吉尔达斯·苏基斯、埃德维纳斯·辛克维修斯、利娜斯·阿布隆斯基
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件