REDUCE Software Authors: Anthony C. Hearn; Rayna, Gerhard; Rainer Schöpf; Thomas Sturm Cited in: 735 Publications (1970–2021) Related Software: Maple; Mathematica; MACSYMA; DIMSYM; EXCALC; AXIOM; … Main Fields: (34-04-XX); (65Y15-XX); (35A30-XX)
ML Software Authors: Harper, Robert; Milner, Robin; Tofte, Mads; University of Edinburgh Cited in: 486 Publications (1978–2022) Related Software: HOL; Coq; Isabelle; Isabelle/HOL; Haskell; HOL Light; … Main Fields: –
SYM Software Authors: S. Dimas; D. Tsoubelis Cited in: 69 Publications (2008–2022) Related Software: LIE; Mathematica; SYMMGRP; REDUCE; GeM; SYMMGRP.MAX; … Main Fields: –
XDuce Software Authors: Haruo Hosoya , Benjamin C. Pierce Cited in: 52 Publications (2003–2020) Related Software: CDuce; XPath; PiDuce; XQuery; OCaml; XPi; … Main Fields: –
COWS Software Authors: Lapadula, Alessandro; Pugliese, Rosario; Tiezzi, Francesco Cited in: 46 Publications (2007–2020) Related Software: SPIN; CC-Pi; PiDuce; Maude; Orc; KLAIM; … Main Fields: (68M11-XX); (68N30-XX); (68Q55-XX)
CDuce Software Authors: Benzaken, Véronique; Castagna, Giuseppe; Frisch, Alain Cited in: 48 Publications (2003–2020) Related Software: XDuce; XPath; XQuery; Haskell; OCaml; PiDuce; … Main Fields: (68N18-XX)
Refal Software Authors: Valentin F. Turchin Cited in: 42 Publications (1969–2020) Related Software: Haskell; COSTA; CiaoPP; Ciao; Maude; ECCE; … Main Fields: –
Idris Software Authors: Edwin Brady Cited in: 39 Publications (2011–2022) Related Software: Coq; Agda; Irdis; Haskell; Nuprl; Lean; … Main Fields: –
SMS Software Authors: Korelc, Jože Cited in: 33 Publications (1997–2022) Related Software: Mathematica; AceGen; AceFEM; FINGER; Matlab; ABAQUS; … Main Fields: (91B99-XX); (90-02-XX); (65C20-XX)
WhyML Software Authors: Filliâtre, Jean-Christophe; Paskevich, Andrei Cited in: 32 Publications (2013–2023) Related Software: Why3; z3; Coq; Boogie; Isabelle/HOL; Dafny; … Main Fields: (68Nxx-XX)
SNOBOL Software Authors: AT&T Bell Laboratories; David J. Farber; Ralph E. Griswold; Ivan P. Polonsky Cited in: 29 Publications (1964–2018) Related Software: ALGOL 68; SPITBOL; MACSYMA; REDUCE; Vertica; Matlab; … Main Fields: –
BLOOMP Software Authors: Fannjiang, Albert; Liao, Wenjing Cited in: 28 Publications (2012–2022) Related Software: PDCO; CoSaMP; FPC_AS; EdgeCS; RecPF; DLMF; … Main Fields: (65D18-XX); (68U10-XX)
JoCaml Software Authors: Fournet, Cedric; Le Fessant, Fabrice; Maranget, Luc; Schmitt, Alan Cited in: 26 Publications (2000–2022) Related Software: Pict; OCaml; PiDuce; KLAIM; Erlang; Scala; … Main Fields: (68N18-XX)
Irdis Software Authors: – Cited in: 22 Publications (2011–2021) Related Software: Idris; Coq; Agda; Haskell; GitHub; Lean; … Main Fields: –
AWK Software Authors: Alfred V. Aho , Brian W. Kernighan , Peter J. Weinberger Cited in: 21 Publications (1979–2019) Related Software: YACC; Mathematica; PERL; GAP; GRAP; PORT; … Main Fields: –
FlowNet Software Authors: E. Ilg, N. Mayer, T. Saikia, M. Keuper, A. Dosovitskiy, T. Brox Cited in: 17 Publications (2018–2022) Related Software: Adam; EpicFlow; PWC-Net; KITTI; DeepFlow; TensorFlow; … Main Fields: –
GrGen Software Authors: Geiß, Rubino; Batz, Gernot Veit; Grund, Daniel; Hack, Sebastian; Szalkowski, Adam Cited in: 15 Publications (2006–2020) Related Software: AGG; GROOVE; PROGRES; Graph transformation benchmarks; Fujaba; VIATRA2; … Main Fields: (68Q42-XX); (68T20-XX)
PiDuce Software Authors: Carpineti, Samuele; Laneve, Cosimo; Padovani, Luca Cited in: 18 Publications (2006–2020) Related Software: XPi; XDuce; COWS; XPath; CDuce; PIPER; … Main Fields: (68M11-XX); (68N15-XX); (68P05-XX)
Delphin Software Authors: Schürmann, C., Fontana, R., Liao, Y., Poswolsky, A. Cited in: 17 Publications (2003–2020) Related Software: Twelf; Coq; Beluga; Abella; Isabelle/HOL; Isabelle; … Main Fields: –
OpenFst Software Authors: Allauzen, Cyril; Riley, Michael; Schalkwyk, Johan; Skut, Wojciech; Mohri, Mehryar Cited in: 15 Publications (2007–2021) Related Software: Vaucanson; GUItar; FAdo; SFST; FSA; Tiburon; … Main Fields: (68Q45-XX)
FREAK Software Authors: A. Alahi, R. Ortiz, P. Vandergheynst Cited in: 12 Publications (2013–2021) Related Software: SIFT; BRISK; SURF; PCA-SIFT; ASIFT; SIFER; … Main Fields: –
Leon Software Authors: Régis Blanc; Viktor Kuncak; Etienne Kneuss; Philippe Suter Cited in: 12 Publications (2014–2022) Related Software: CVC4; Dafny; z3; Isabelle/HOL; SMT-LIB; Why3; … Main Fields: (68Nxx-XX); (68Qxx-XX)
Graph transformation benchmarks Software Authors: G. Varró, A. Schürr, D. Varró Cited in: 4 Publications (2006–2010) Related Software: PROGRES; VIATRA2; GrGen; AGG; Fujaba; GROOVE; … Main Fields: –
PRIX Software Authors: P. Rao, B. Moon Cited in: 4 Publications (2009–2014) Related Software: ViST; XPath; XQuery; APEX; Lore; XMark; … Main Fields: –
V-Net Software Authors: Fausto Milletari, Nassir Navab, Seyed-Ahmad Ahmadi Cited in: 8 Publications (2019–2022) Related Software: U-Net; ImageNet; Adam; COVID-Net; XGBoost; AlexNet; … Main Fields: –
MiniAgda Software Authors: Abel, A. Cited in: 10 Publications (2011–2021) Related Software: Coq; Agda; GitHub; Paco; Isabelle; ML; … Main Fields: –
UnQL Software Authors: Peter Buneman, Mary Fernandez, Dan Suciu Cited in: 10 Publications (2006–2018) Related Software: XPath; XQuery; XDuce; CDuce; Quilt; GRoundTram; … Main Fields: –
Theseus Software Authors: James, R.P., Sabry, A. Cited in: 8 Publications (2015–2020) Related Software: LRinv; Matita; Eiffel; BETA Main Fields: –
FreshOCaml Software Authors: M. Shinwell, A. Pitts Cited in: 7 Publications (2006–2018) Related Software: Freshml; Nominal Isabelle; Isabelle/HOL; ML; HNT; Unbound; … Main Fields: –
reFLect Software Authors: Grundy, Jim; Melham, Tom; O’Leary, John Cited in: 6 Publications (2006–2018) Related Software: Coq; ML; Agda; HOL Light; HOL; HOL Light QE; … Main Fields: –
TiML Software Authors: Wang, P., Wang, D., Chlipala, A. Cited in: 7 Publications (2018–2022) Related Software: TcT; z3; Separation Logic; ACE; OptiMathSAT; Amortized Complexity; … Main Fields: –
XPi Software Authors: Acciai, Lucia; Boreale, Michele Cited in: 6 Publications (2008–2020) Related Software: PiDuce; XDuce; XPath; CDuce; CC-Pi; COWS; … Main Fields: (68Q85-XX)
CoCaml Software Authors: Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra Cited in: 6 Publications (2017–2022) Related Software: coFJ; Paco; Featherweight Java; CoALP; Nominal Isabelle; Fudgets; … Main Fields: (68N18-XX)
Equations Software Authors: Sozeau, Matthieu Cited in: 6 Publications (2010–2020) Related Software: Coq; Idris; Lean; Irdis; GitHub; AmiCo; … Main Fields: (68T15-XX); (68N20-XX)
Flow Caml Software Authors: V. Simonet Cited in: 5 Publications (2009–2018) Related Software: Jif; HLIO; Haskell; JFlow; Creol; MS SQL Server; … Main Fields: –
FocalTest Software Authors: Carlier, Matthieu; Dubois, Catherine; Gotlieb, Arnaud Cited in: 6 Publications (2011–2018) Related Software: QuickCheck; Coq; SmallCheck; Mathematical Components; GitHub; QuickChick; … Main Fields: (68Q60-XX)
Key.Net Software Authors: Axel Barroso-Laguna, Edgar Riba, Daniel Ponsa, Krystian Mikolajczyk Cited in: 3 Publications (2021–2022) Related Software: SuperPoint; FlowNet; HPatches; BRISK; PointNet; SOSNet; … Main Fields: –
PCRE Software Authors: – Cited in: 3 Publications (2011–2018) Related Software: RE2; TRE; CRAN Task Views; re2r; qed; namedCapture; … Main Fields: –
SPARE Parts Software Authors: Bruce W. Watson; Loek Cleophas Cited in: 4 Publications (2004–2012) Related Software: BLIM Main Fields: –
Forest FIRE Software Authors: Cleophas, Loek; Hemerik, Kees Cited in: 3 Publications (2009–2020) Related Software: MONA; Tiburon Main Fields: (68Q45-XX)
Gnort Software Authors: Vasiliadis, G., Antonatos, S., Polychronakis, M., Markatos, E.P., Ioannidis, S. Cited in: 2 Publications (2010–2011) Related Software: Snort; CUDA; ADEPTS; Flex; Lucene Main Fields: –
MPSCAN Software Authors: E. Rivals, L. Salmela, P. Kiiskinen, P. Kalsi, J. Tarhio Cited in: 3 Publications (2010–2012) Related Software: BWA; PASS; Iedera; PerM; ZOOM; PatMaN; … Main Fields: –
AtlasNet Software Authors: Thibault Groueix, Matthew Fisher, Vladimir G. Kim, Bryan C. Russell, Mathieu Aubry Cited in: 2 Publications (2020) Related Software: Adam; ShapeNet; D-Faust; COMA; PyTorch; FoldingNet; … Main Fields: Computer science (68-XX)
Atoment Software Authors: Anureev, I.S. Cited in: 3 Publications (2010–2012) Related Software: C-Light; Boogie; OpenJML; Frama-C; Spec#; JML; … Main Fields: (68Q60-XX); (68N30-XX)
BinGAN Software Authors: Maciej Zieba, Piotr Semberecki, Tarek El-Gaaly, Tomasz Trzcinski Cited in: 3 Publications (2020–2021) Related Software: SIFT; SOSNet; L2-Net; Theia; R2D2; MAGSAC++; … Main Fields: –
BundleFusion Software Authors: Angela Dai, Matthias Nießner, Michael Zollhöfer, Shahram Izadi, Christian Theobalt Cited in: 3 Publications (2019–2022) Related Software: PointNet; SynSin; Make3D; PIFuHD; ViLBERT; BRISK; … Main Fields: –
comput-biol Software Authors: Valiente, Gabriel Cited in: 2 Publications (2009–2012) Related Software: PhyloNetwork; QNet; clustervalidation; SSAP; CRAN; CPAN; … Main Fields: (68T10-XX); (68-01-XX); (92-08-XX)
ContextDesc Software Authors: Zixin Luo, Tianwei Shen, Lei Zhou, Jiahui Zhang, Yao Yao, Shiwei Li, Tian Fang, Long Quan Cited in: 2 Publications (2021–2022) Related Software: SuperGlue; D2-Net; ASLFeat; SuperPoint; HPatches; BRISK; … Main Fields: –
countmotif Software Authors: Nuel, G.; Delos, V. Cited in: 3 Publications (2016–2019) Related Software: fsaLib; BWA; R Main Fields: (92D-XX)
Kangaroo Software Authors: Betel, D., Hogue, C. Cited in: 1 Publication (2012) Related Software: SCiFI; WebLogo; BioProspector Main Fields: –
LASSAP Software Authors: Glémet, E.; Codani, J.J. Cited in: 2 Publications (2003–2004) Related Software: GeneRAGE; Cluster-C; BLAST; PSI-BLAST; Agrep Main Fields: –
Maisa Software Authors: Rudolf Ferenc; Juha Gustafsson; László Müller; Jukka Paakki Cited in: 3 Publications (2002–2012) Related Software: Columbus; DEEBEE Main Fields: –
MatchPy Software Authors: Manuel Krebber; Henrik Barthels Cited in: 1 Publication (2021) Related Software: SymPy; Python; Wolfram Functions Site; LMFDB; Arb; DLMF; … Main Fields: –
Montre Software Authors: Dogan Ulus Cited in: 3 Publications (2017–2021) Related Software: timed-pattern-matching; MonPoly; aerial; GNU parallel; MONAA; Pure; … Main Fields: –
PPFNet Software Authors: Haowen Deng, Tolga Birdal, Slobodan Ilic Cited in: 2 Publications (2019–2021) Related Software: PointNet; 3DMatch; DeepContext; VoxelNet; PointCNN; PanoContext; … Main Fields: –
R2D2 Software Authors: Jerome Revaud, Philippe Weinzaepfel, César De Souza, Noe Pion, Gabriela Csurka, Yohann Cabon, Martin Humenberger Cited in: 3 Publications (2021–2022) Related Software: D2-Net; SuperPoint; HPatches; BRISK; LF-Net; SURF; … Main Fields: –
RIGAL Software Authors: Auguston, M.I. Cited in: 3 Publications (1991–1993) Related Software: YACC Main Fields: (68N15-XX)
SimCLR Software Authors: Ting Chen, Simon Kornblith, Mohammad Norouzi, Geoffrey Hinton Cited in: 3 Publications (2022) Related Software: Swin Transformer; ViT; ImageNet; solo-learn; SwAV; PyTorch; … Main Fields: –
SWiM Software Authors: Vladimir Kolesnikov; Mike Rosulek; Ni Trieu Cited in: 3 Publications (2018–2020) Related Software: paillier Main Fields: –
timed-pattern-matching Software Authors: Waga, Masaki; Akazaki, Takumi; Hasuo, Ichiro Cited in: 3 Publications (2016–2021) Related Software: Montre; MONAA; Simulink; Pure Main Fields: (68Qxx-XX)
BLIM Software Authors: K\"ulekci, M.O\u{g}uzhan Cited in: 2 Publications (2010–2014) Related Software: SPARE Parts Main Fields: (68W32-XX); (68M07-XX)
cap-typechecking Software Authors: J. Edi; A. Viso Cited in: 2 Publications (2018–2019) Related Software: GitHub Main Fields: (68N30-XX); (03B40-XX); (68N18-XX)
CIS-X Software Authors: Hsu, Wen-Chiao; Liao, I-En Cited in: 2 Publications (2013–2014) Related Software: APEX; GString; NeMa; PRIX; GraphREL; ViST; … Main Fields: (68P20-XX); (68P05-XX)
EdgeStereo Software Authors: Xiao Song, Xu Zhao, Liangji Fang, Hanwen Hu Cited in: 2 Publications (2021–2022) Related Software: SynSin; Make3D; PIFuHD; ViLBERT; BRISK; Qsplat; … Main Fields: –
FrameNet Software Authors: Jingwei Huang, Yichao Zhou, Thomas Funkhouser, Leonidas Guibas Cited in: 2 Publications (2020–2022) Related Software: Make3D; ShapeNet; SynSin; PIFuHD; ViLBERT; BRISK; … Main Fields: –
GNAT.Spitbol Software Authors: – Cited in: 2 Publications (2003) Related Software: MySQL; GNAT; PostgreSQL; Ada95 Main Fields: –
Graph Investigator Software Authors: Czech, Wojciech; Dzwinel, Witold; Goryczka, Sławomir; Arodź, Tomasz; Dudek, Arkadiusz Z. Cited in: 2 Publications (2011–2016) Related Software: SpectralNET; StOCNET Main Fields: (68R10-XX); (90B10-XX)
Hugs Software Authors: – Cited in: 2 Publications (1997–2006) Related Software: Haskell; ActiveVRML; Lucid; TBAG; Fran; LUSTRE; … Main Fields: –
MLOG Software Authors: Poirriez, Vincent Cited in: 2 Publications (1992–1994) Related Software: GHC Main Fields: (68N15-XX)
MONAA Software Authors: Masaki Waga Cited in: 2 Publications (2016–2017) Related Software: timed-pattern-matching; Simulink; Montre; Pure Main Fields: –
Pure Software Authors: Albert Gräf Cited in: 2 Publications (2017) Related Software: Montre; MONAA; timed-pattern-matching; Simulink Main Fields: Computer science (68-XX); Mathematics education (97-XX)
SeLINQ Software Authors: Schoepe, Daniel; Hedin, Daniel; Sabelfeld, Andrei Cited in: 2 Publications (2014–2017) Related Software: K Prover; Links; JSLINQ; F*; KJS; Ur/Web; … Main Fields: (68N30-XX); (68N18-XX); (68P15-XX)
SOSNet Software Authors: Yurun Tian, Xin Yu, Bin Fan, Fuchao Wu, Huub Heijnen, Vassileios Balntas Cited in: 2 Publications (2021–2022) Related Software: BRISK; PointNet; L2-Net; Theia; R2D2; SuperGlue; … Main Fields: –
tacg Software Authors: Harry J Mangalam Cited in: 1 Publication (2012) Related Software: – Main Fields: –
TravMC Software Authors: Neatherway, Robin P.; Ramsay, Steven J.; Ong, Chih-Hao Luke Cited in: 2 Publications (2012–2017) Related Software: TravMC2; GitHub; MoCHi; TRecS; BLAST Main Fields: (68Q60-XX)
TreeMiner Software Authors: Zaki, Mohammed J. Cited in: 2 Publications (2005) Related Software: gSpan; SLEUTH Main Fields: (68T05-XX); (68P05-XX)
UTPCalc Software Authors: Butterfield, Andrew Cited in: 2 Publications (2017–2020) Related Software: Isabelle/UTP; PVS; Coq; Kami; Archive Formal Proofs; GitHub; … Main Fields: (68N30-XX)
YATL Software Authors: Cluet, S., Siméon, J. Cited in: 2 Publications (2003–2004) Related Software: XDuce; OCaml; Haskell; XPath Main Fields: –
AnchorNet Software Authors: David Novotny, Diane Larlus, Andrea Vedaldi Cited in: 1 Publication (2022) Related Software: SynSin; Make3D; PIFuHD; ViLBERT; BRISK; Qsplat; … Main Fields: –
Antenna Toolbox Software Authors: – Cited in: 1 Publication (2010) Related Software: ATPDraw; EJS; LEKIN; MAST; TEXTNN; SeismicLab; … Main Fields: –
BaBooN Software Authors: Florian Meinfelder, Thorsten Schnapp Cited in: 1 Publication (2017) Related Software: UCI-ml; missForest; jomo; cat; REALCOM; mi; … Main Fields: –
BAPM Software Authors: Procházka, Petr; Holub, Jan Cited in: 1 Publication (2017) Related Software: GLIMPSE Main Fields: Biology and other natural sciences (92-XX)
BlastGraph Software Authors: Guillaume Holley, P. Peterlongo Cited in: 1 Publication (2022) Related Software: IDBA; DARRC; deBGA; MEGAHIT; Velvet; IDBA-Tran Main Fields: –
ChIP-PaM Software Authors: Wu, S., Wang, J., Zhao, W., Pounds, S., Cheng, C Cited in: 1 Publication (2015) Related Software: WaveSeq; qvalue Main Fields: –
D2D Software Authors: Yurun Tian, Vassileios Balntas, Tony Ng, Axel Barroso-Laguna, Yiannis Demiris, Krystian Mikolajczyk Cited in: 1 Publication (2022) Related Software: SynSin; Make3D; PIFuHD; ViLBERT; BRISK; Qsplat; … Main Fields: –
DeepPruner Software Authors: Shivam Duggal, Shenlong Wang, Wei-Chiu Ma, Rui Hu, Raquel Urtasun Cited in: 1 Publication (2022) Related Software: SynSin; Make3D; PIFuHD; ViLBERT; BRISK; Qsplat; … Main Fields: –
3DFeat-Net Software Authors: Zi Jian Yew, Gim Hee Lee Cited in: 1 Publication (2019) Related Software: BundleFusion; FoldingNet; 3DMatch; PPF-FoldNet; PPFNet; PointNet; … Main Fields: –
ExpertMatcher Software Authors: Vivek Sharma, Praneeth Vepakomma, Tristan Swedish, Ken Chang, Jayashree Kalpathy-Cramer, Ramesh Raskar Cited in: 0 Publications Related Software: FedHealth; SCAFFOLD; FetchSGD; MNIST; Horovod; PaddleFL; … Main Fields: –
foetus Software Authors: Andreas Abel Cited in: 1 Publication (2016) Related Software: Autosubst; OCaml; Why3; Haskell; Coq Main Fields: –
FULLPROF Software Authors: Juan Rodriguez-Carvajal Cited in: 1 Publication (2018) Related Software: JANA; RIETAN; GSAS; TOPAS Main Fields: –
GigaMesh Software Authors: Mara, Hubert Cited in: 1 Publication (2012) Related Software: – Main Fields: (68-02-XX); (68T10-XX); (68T45-XX)
HILDIF Software Authors: Hugo Zylberajch, Piyawat Lertvittayakumjorn, Francesca Toni Cited in: 0 Publications Related Software: QANet; ERNIE; SQuAD; ContractNLI; ALBERT; Adam; … Main Fields: –
HyperDepth Software Authors: Sean Ryan Fanello; Christoph Rhemann; Vladimir Tankovich; Adarsh Kowdle; Sergio Orts Escolano; David Kim; Shahram Izadi Cited in: 1 Publication (2022) Related Software: SynSin; Make3D; PIFuHD; ViLBERT; BRISK; Qsplat; … Main Fields: –
IncDTW Software Authors: Maximilian Leodolter Cited in: 0 Publications Related Software: reticulate; microbenchmark; RcppArmadillo; Rcpp; dtaidistance; Cython; … Main Fields: –
IPPD Software Authors: M. Slawski, R. Hussong, M. Hein Cited in: 0 Publications Related Software: rTANDEM; GO.db; reactome.db; Reactome; rols; hpar; … Main Fields: –
IPSILON Software Authors: Bae, Soo Hyun; Juang, Biing-Hwang Cited in: 1 Publication (2010) Related Software: – Main Fields: (68P20-XX); (68Q15-XX)
LiteFlowNet Software Authors: Tak-Wai Hui, Xiaoou Tang, Chen Change Loy Cited in: 0 Publications Related Software: Adam; FlowNet; UnFlow; EpicFlow; PWC-Net; DeepFlow; … Main Fields: –
LiteFlowNet3 Software Authors: Tak-Wai Hui, Chen Change Loy Cited in: 1 Publication (2022) Related Software: SynSin; Make3D; PIFuHD; ViLBERT; BRISK; Qsplat; … Main Fields: –
LogGOPSim Software Authors: T. Hoefler, T. Schneider, A. Lumsdaine Cited in: 1 Publication (2013) Related Software: PLASMA; MAGMA Main Fields: –
MatchCore.jl Software Authors: Zhao, T., Carlsson, K. Cited in: 0 Publications Related Software: MLStyle.jl; egg; RuntimeGeneratedFunctions.jl; Julia; Metatheory.jl Main Fields: –