×

Found 12 Software Packages (Results 1–12)

ParTopS

Software Authors:   Rodrigo Espinha, Waldemar Celes, Noemi Rodriguez, Glaucio H. Paulino
Referenced in: 2 Publications (2011–2015)
Related Software: ParFUM; libMesh; CHARM++; Zoltan; METIS; SIERRA; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

miTLS

Software Authors:   Karthikeyan Bhargavan, Cédric Fournet, Santiago Zanella-Béuelin, Benjamin Beurdouche, Antoine Delignat-Lavaud, Markulf Kohlweiss, Jean-Karim Zinzindohoué, Nadim Kobeissi, Alfredo Pironti, Pierre-Yves Strub
Referenced in: 3 Publications (2019–2021)
Related Software: NAXOS; HaNS; CppMem; diy7; herd7; HOL
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

speedy_colorful_subtrees

Software Authors:   White, W.Timothy J.; Beyer, Stephan; Dührkop, Kai; Chimani, Markus; Böcker, Sebastian
Referenced in: 3 Publications (2015–2021)
Related Software: HMDB; Gurobi; GitHub; MolFind; SIRIUS; CPLEX
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

GeMDA

Software Authors:   Lo, Yu-Lung; Hua, Kien A.; Young, Honesty C.
Referenced in: 2 Publications (2001–2003)
Related Software:
Main Fields: Computer science (68-XX)

SDMTools

Software Authors:   Jeremy VanDerWal, Lorena Falconi, Stephanie Januchowski, Luke Shoo, Collin Storlie
Referenced in: 1 Publication (2014)
Related Software: R; DiagnosisMed; pROC; TG-ROC; PresenceAbsence; Epi; …
Main Fields: Biology and other natural sciences (92-XX)

ERZoom

Software Authors:   Wang, Xiong
Referenced in: 1 Publication (2009)
Related Software:
Main Fields: Computer science (68-XX)

FLoWS

Software Authors:   Theobald D, Norman J, Peterson EE, Ferraz S, Wade A, Sherburne MR
Referenced in: 0 Publications
Related Software: R; GRASS GIS; ArcGIS Desktop; SSN; Arc Hydro; Python; …
Main Fields:

HINGE

Software Authors:   Govinda M Kamath, Ilan Shomorony, Fei Xia, Thomas A Courtade, N Tse David
Referenced in: 1 Publication (2019)
Related Software: CAMSA; hybridSPAdes; GTED; Canu; Bandage; Unicycler; …
Main Fields: Biology and other natural sciences (92-XX)

MDMC2

Software Authors:   Bonhommeau, David A.; Gaigeot, Marie-Pierre
Referenced in: 1 Publication (2014)
Related Software:
Main Fields: Numerical analysis (65-XX); Statistical mechanics, structure of matter (82-XX)

nparACT

Software Authors:   Christine Blume, Nayantara Santhi, Manuel Schabus
Referenced in: 0 Publications
Related Software: kftrack; ukfsst; kfsst; trackit; acc; pawacc; …
Main Fields:

PI

Software Authors:   Qiao, Yantao; Zhang, Hong; Bu, Dongbo; Sun, Shiwei
Referenced in: 0 Publications
Related Software:
Main Fields:

XFrag

Software Authors:   Bose, S., Fegaras, L.
Referenced in: 0 Publications
Related Software: Lore; XPath
Main Fields: