轻量级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)
可控硅 10篇文献引用(2000–2018) 软件作者: 伊曼·布尔吉巴;贝莱德·莫阿 相关软件: 自旋蛋白;NuSMV;PVS… 主要字段: 数值分析(65-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-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份文件引用(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)
流行病 引用于8份文件(2010–2022) 软件作者: 克里斯托弗·巴雷特;基思·比塞特(Keith R.Bisset);斯蒂芬·尤班克(Stephen G.Eubank);西周风;马达夫·马拉特 相关软件: 作业成本法;gleamviz;图表… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
电动机 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)
埃林戈 4份文件引用(2020–2022) 软件作者: 佩德罗·卡巴拉尔;豪尔赫·范丁诺;哈维尔·加里亚(Javier Garea);哈维尔·罗梅罗;托尔斯滕·绍布 相关软件: 克林戈;出售;htd… 主要字段: 数学逻辑与基础(03-XX);计算机科学(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)
新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)
Zooid公司 3份文件引用(2021–2023) 软件作者: David Castro-Perez、Francisco Ferreira、Lorenzo Gheri、Nobuko Yoshida 相关软件: 皮罗埃特;卡拉斯;Coq… 主要字段: 计算机科学(68-XX)
图形代码BERT 在0个文档中引用 软件作者: 大亚·郭、朔仁、帅路、张银峰、杜玉堂、刘淑杰、龙舟、南端、阿列克谢·斯维亚特科夫斯基、傅胜瑜、米歇尔·图法诺、邵坤登、科林·克莱门特、黎明排水沟、内尔·桑德雷桑、建银、大新江、明州 相关软件: CodeXGLUE;设计;代码BLEU… 主要字段: –
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)
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)
RandLA-Net公司 在0个文档中引用 软件作者: 胡庆永、杨波、谢林海、罗莎、郭玉兰、王志华、尼基·特里戈尼、安德鲁·马卡姆 相关软件: KPConv;CGAL;PointNet… 主要字段: –
微笑 1份文件引用(2003) 软件作者: 埃斯特鲁赫,V。;费里,C。;Hernández-Orallo,J。;M.J.Ramírez-Quintana。 相关软件: C4.5;UCI-毫升 主要字段: 计算机科学(68-XX)
暗房 在0个文档中引用 软件作者: 詹姆斯·赫加蒂(James Hegarty);John Brunhaver;扎卡里·德维托;乔纳森·拉甘·凯利(Jonathan Ragan-Kelley);诺伊·科恩;史蒂文·贝尔(Steven Bell);阿特姆·瓦西利耶夫;马克·霍洛维茨(Mark Horowitz);帕特·汉拉罕 相关软件: – 主要字段: –