×

Found 1,408 Software Packages (Results 1–100)

Matlab

Software Authors:   MathWorks Inc
Cited in: 12,958 Publications (1982–2024)
Related Software: Simulink; LMI toolbox; Maple; MATLAB ODE suite; ode23; ode45; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

CPLEX

Software Authors:   IBM
Cited in: 2,714 Publications (1992–2022)
Related Software: Gurobi; SCIP; GAMS; AMPL; MIPLIB; Matlab; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Python

Software Authors:   Guido van Rossum
Cited in: 1,066 Publications (1991–2023)
Related Software: SciPy; NumPy; Matplotlib; Scikit; Matlab; PyTorch; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Coq

Software Authors:   Dehlinger, Christophe; Dufourd, Jean-François
Cited in: 1,816 Publications (1993–2022)
Related Software: Isabelle/HOL; Isabelle; HOL; PVS; HOL Light; Nuprl; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

IMSL Numerical Libraries

Software Authors:   Visual Numerics, Inc.
Cited in: 572 Publications (1976–2020)
Related Software: SAS; Mathematica; ABAQUS; EISPACK; LINPACK; nag; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

Eiffel

Software Authors:   Bertrand Meyer
Cited in: 225 Publications (1989–2020)
Related Software: JML; Smalltalk; Spec#; Z; ESC/Java; Simula 67; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

KNITRO

Software Authors:   Artelys; Ziena Optimization, R. Byrd, J. Nocedal, R. Waltz
Cited in: 195 Publications (2003–2022)
Related Software: Ipopt; SNOPT; AMPL; CUTEr; MINOS; GAMS; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

JML

Software Authors:   Gary T. Leavens; Yoonsik Cheon
Cited in: 151 Publications (2000–2021)
Related Software: Spec#; Eiffel; KRAKATOA; ESC/Java; PVS; LOOP; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)

CEC 05

Software Authors:   Suganthan, P.N., Hansen, N., Liang, J.J., Deb, K., Chen, Y., Auger, A., Tiwari, S.
Cited in: 119 Publications (2007–2022)
Related Software: JADE; ABC; CMA-ES; Genocop; CEC 13; GSA; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Quantum theory (81-XX)

JavaScript

Software Authors:   Flanagan
Cited in: 138 Publications (1996–2022)
Related Software: Python; PHP; Node.js; GitHub; MySQL; R; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)

MatrixMarket

Software Authors:   Boisvert, R., Pozo, R., Remington, K., Barrett, R., Dongarra, J
Cited in: 165 Publications (1999–2022)
Related Software: SparseMatrix; Matlab; Harwell-Boeing sparse matrix collection; JDQZ; JDQR; LAPACK; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)

KEEL

Software Authors:   Alcalá-Fdez, J.; Sánchez, L.; García, S.; del Jesus, M.J.; Ventura, S.; Garrell, J.M.; Otero, J.; Romero, C.; Bacardit, J.; Rivas, V.M.; Fernández, J.C.; Herrera, F.
Cited in: 87 Publications (2009–2022)
Related Software: JStatCom; UCI-ml; C4.5; R; SMOTE; SPEA2; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

TAPENADE

Software Authors:   INRIA Sophia; L. Hascoët; V. Pascual
Cited in: 141 Publications (2005–2022)
Related Software: ADOL-C; ADIFOR; TAF; L-BFGS; PETSc; revolve; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

SIMPLIFY

Software Authors:   Detlefs, D.; Nelson, G.; Saxe, J. B
Cited in: 129 Publications (2001–2021)
Related Software: z3; ESC/Java; PVS; Spec#; Boogie; Yices; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

Why3

Software Authors:   François Bobot; Jean-Christophe Filliâtre; Claude Marché; Guillaume Melquiond; Andrei Paskevich
Cited in: 127 Publications (2004–2023)
Related Software: KRAKATOA; Coq; Caduceus; z3; Boogie; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX)

ESC/Java

Software Authors:   Greg Nelson
Cited in: 118 Publications (2001–2021)
Related Software: Spec#; SIMPLIFY; JML; Boogie; KRAKATOA; Eiffel; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

Bandera

Software Authors:   Hatcliff, John; Dwyer, Matthew
Cited in: 104 Publications (2000–2018)
Related Software: SPIN; Java PathFinder; veriSoft; SLAM; Bebop; dSPIN; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

AspectJ

Software Authors:   Kiczales, Gregor; Hilsdale, Erik; Hugunin, Jim; Kersten, Mik; Palm, Jeffrey
Cited in: 96 Publications (2001–2021)
Related Software: CaesarJ; JBoss; JAsCo; AspectC++; Eiffel; gbeta; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Java PathFinder

Software Authors:   Havelund, Klaus; Pressburger, Thomas
Cited in: 92 Publications (2000–2021)
Related Software: SPIN; Bandera; veriSoft; CUTE; DART; dSPIN; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

VTK

Software Authors:   W. Schroeder, L. Avila, K. Martin, W. Hoffman, C. Law
Cited in: 74 Publications (2000–2022)
Related Software: ParaView; Python; NumPy; SciPy; Gmsh; Matplotlib; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

JStatCom

Software Authors:   Markus Krätzig
Cited in: 77 Publications (2007–2022)
Related Software: KEEL; UCI-ml; C4.5; SMOTE; R; SMOTEBoost; …
Main Fields: Combinatorics (05-XX); Algebraic topology (55-XX); Statistics (62-XX)

Pellet

Software Authors:   Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.; Clark & Parsia, LLC
Cited in: 67 Publications (2006–2022)
Related Software: FaCT++; Racer; HermiT; swrl; Protege; Jena; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Scala

Software Authors:   Loverdos, Christos K. K.; Syropoulos, Apostolos
Cited in: 78 Publications (2005–2022)
Related Software: Coq; z3; Haskell; Featherweight Java; Isabelle; Isabelle/HOL; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Numerical analysis (65-XX)

Featherweight Java

Software Authors:   Igarashi, Atsushi; Pierce, Benjamin C.; Wadler, Philip
Cited in: 86 Publications (2001–2021)
Related Software: ML; MJ; JML; Scala; Eiffel; Creol; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

KRAKATOA

Software Authors:   Marché, C.; Paulin-Mohring, C.; Urbain, X.
Cited in: 77 Publications (2004–2021)
Related Software: Why3; Caduceus; JML; Boogie; Spec#; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

Sat4j

Software Authors:   Le Berre; Parrain
Cited in: 83 Publications (2007–2023)
Related Software: MiniSat; Chaff; QMaxSAT; Open-WBO; PicoSAT; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

PostgreSQL

Software Authors:   –
Cited in: 52 Publications (2000–2022)
Related Software: Oracle; MySQL; Python; MS SQL Server; DB2; R; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

ImageJ

Software Authors:   Schneider, C.A., Rasband, W.S., Eliceiri, K.W.; Abramoff, M.D., Magalhaes, P.J., Ram, S.J
Cited in: 52 Publications (2006–2022)
Related Software: R; Fiji; Matlab; Python; CellProfiler; Icy; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Computer science (68-XX)

jMetal

Software Authors:   Durillo JJ, Nebro AJ, Luna F, Dorronsoro B, Alba E.
Cited in: 54 Publications (2009–2022)
Related Software: SPEA2; MOEA/D; AbYSS; SMS-EMOA; PISA; SMPSO; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

KLAIM

Software Authors:   De Nicola, R.; Ferrari, G.L.; Pugliese, R.
Cited in: 62 Publications (2000–2021)
Related Software: Linda; Klava; LIME; SCEL; Maude; SLMC; …
Main Fields: Mathematical logic and foundations (03-XX); General topology (54-XX); Computer science (68-XX)

Apache Spark

Software Authors:   apache.org
Cited in: 61 Publications (2015–2022)
Related Software: MLlib; Hadoop; MapReduce; UCI-ml; GitHub; Scikit; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

MULAN

Software Authors:   Tsoumakas, Grigorios; Spyromitros-Xioufis, Eleftherios; Vilcek, Jozef; Vlahavas, Ioannis
Cited in: 62 Publications (2011–2022)
Related Software: ML-KNN; BoosTexter; LIBSVM; MEKA; WEKA; C4.5; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

ANTLR

Software Authors:   Parr, T.; Yu, Dan; Yan, Hong-zhi; Wang, Ji-na
Cited in: 49 Publications (1997–2021)
Related Software: Stratego; JastAdd; YACC; Mathematica; NetworkX; Spoofax; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

OMNet++

Software Authors:   András Varga
Cited in: 33 Publications (2001–2021)
Related Software: ns-2; Chord; GloMoSim; Gurobi; SSFNet; ns-3; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Choco

Software Authors:   Choco Team: http://www.emn.fr/z-info/choco-solver/index.php?page=Team
Cited in: 60 Publications (2001–2022)
Related Software: Gecode; CPLEX; CLAIRE; MINION; MiniZinc; CSPLib; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

KeY

Software Authors:   http://www.key-project.org/people.html
Cited in: 51 Publications (2000–2021)
Related Software: JML; ESC/Java; KRAKATOA; Boogie; Spec#; PVS; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)

Racer

Software Authors:   Volker Haarslev, Kay Hidde, Ralf Möller, Michael Wessel
Cited in: 52 Publications (2001–2021)
Related Software: FaCT++; Pellet; KL-ONE; Protege; RacerPro; HermiT; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Jason

Software Authors:   Bordini, Rafael H.; Hübner, Jomi Fred; Wooldridge, Michael
Cited in: 46 Publications (1977–2021)
Related Software: AgentSpeak; Jadex; 2APL; CArtAgO; GOLOG; JADE; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

NeTra

Software Authors:   Wei-Ying Ma; B.S. Manjunath
Cited in: 42 Publications (2000–2016)
Related Software: VisualSEEk; SIMPLIcity; PicToSeek; Chabot; PicHunter; EMD; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX); Systems theory; control (93-XX)

Protege

Software Authors:   Stanford; J. H. Gennari, M. A. Musen, R. W. Fergerson et al.
Cited in: 29 Publications (1997–2022)
Related Software: Pellet; Racer; Jena; FaCT++; swrl; HermiT; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

SWIG

Software Authors:   Beazley, D.M.
Cited in: 39 Publications (2000–2022)
Related Software: Python; NumPy; F2PY; SciPy; Octave; Matlab; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

WebGraph

Software Authors:   Boldi, P.; Vigna, S.
Cited in: 53 Publications (2006–2022)
Related Software: UbiCrawler; SNAP; SparseMatrix; DIMACS; Pregel; GraphChi; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

Jena

Software Authors:   McCarthy, P.; Brian McBride
Cited in: 18 Publications (2002–2020)
Related Software: SPARQL; Pellet; Protege; swrl; LUBM; FaCT++; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

LPbook

Software Authors:   Vanderbei, Robert J.
Cited in: 49 Publications (2001–2021)
Related Software: NETLIB LP Test Set; LOQO; Matlab; SeDuMi; CPLEX; PDCO; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

AGG

Software Authors:   Gabriele Taentzer
Cited in: 40 Publications (2004–2021)
Related Software: GROOVE; PROGRES; VIATRA2; GrGen; AToM3; Henshin; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Category theory; homological algebra (18-XX)

JBoss

Software Authors:   Red Hat Inc.
Cited in: 21 Publications (2004–2016)
Related Software: Drools; AspectJ; WebSphere; JAsCo; SAVARA; Scribble; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

MOA

Software Authors:   Albert Bifet; Geoff Holmes; Bernhard Pfahringer
Cited in: 35 Publications (2013–2021)
Related Software: UCI-ml; WEKA; Scikit; Scikit-multiflow; ElemStatLearn; OpenML; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Frama-C

Software Authors:   Patrick Baudin; Richard Bonichon; Loïc Correnson; Pascal Cuoq; Zaynah Dargaye; Jean-Christophe Filliâtre; Philippe Herrmann; Claude Marché; Benjamin Monate; Yannick Moy; Anne Pacalet; Virgile Prévosto; Julien Signoles and Boris Yakobowski
Cited in: 39 Publications (2009–2021)
Related Software: Why3; Coq; z3; ACSL; KRAKATOA; Boogie; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)

IF-2.0

Software Authors:   Bozga, Marius; Graf, Susanne; Mounier, Laurent
Cited in: 37 Publications (2002–2017)
Related Software: Uppaal; Kronos; SPIN; HyTech; CADP; CMC; …
Main Fields: General and overarching topics; collections (00-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)

TALx86

Software Authors:   Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, Steve Zdancewic
Cited in: 40 Publications (1998–2019)
Related Software: Coq; ML; Haskell; TIL; OCaml; Twelf; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Daikon

Software Authors:   Ernst, Michael D.; Perkins, Jeff H.; Guo, Philip J.; McCamant, Stephen; Pacheco, Carlos; Tschantz, Matthew S.; Xiao, Chen
Cited in: 34 Publications (2005–2022)
Related Software: JML; Eiffel; z3; Houdini; Z; JCrasher; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

Epsilon

Software Authors:   Wang, Dongming
Cited in: 44 Publications (2002–2021)
Related Software: Maple; ISOLATE; RegularChains; Kronecker; GeoGebra; PGB; …
Main Fields: Field theory and polynomials (12-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX)

javaPlex

Software Authors:   Mikael Vejdemo-Johansson; Henry Adams; Andrew Tausz
Cited in: 42 Publications (2014–2022)
Related Software: Ripser; Gudhi; Perseus; Dionysus; PHAT; jHoles; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Algebraic topology (55-XX); Statistics (62-XX)

Uppaal2k

Software Authors:   Kim G. Larsen, Wang Yi, Paul Pettersson, Alexandre David, Brian Nielsen, Arne Skou, John Håkansson, Jacob Illum Rasmussen, Pavel Krcál, Ulrik Larsen, Marius Mikucionis, Leonid Mokrushin
Cited in: 38 Publications (2000–2017)
Related Software: Uppaal; Kronos; HyTech; PRISM; SPIN; Rabbit; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

JADE

Software Authors:   JADE Team
Cited in: 19 Publications (2002–2022)
Related Software: Jadex; Jason; AgentSpeak; 2APL; METATEM; CArtAgO; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

quivermutation

Software Authors:   Bernhard Keller
Cited in: 40 Publications (2008–2022)
Related Software: Quiver; Magma; SageMath; polymake; OEIS
Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Associative rings and algebras (16-XX)

Mosel

Software Authors:   Fair Isaac Corporation; Colombani Y., Heipcke S.
Cited in: 37 Publications (2003–2021)
Related Software: XPRESS; AMPL; SCIP; GAMS; AIMMS; LINDO; …
Main Fields: General and overarching topics; collections (00-XX); Order, lattices, ordered algebraic structures (06-XX); Numerical analysis (65-XX)

NINJA

Software Authors:   Moreira, José E.; Midkiff, Samuel P.; Gupta, Manish; Wu, Peng; Almasi, George; Artigas, Pedro
Cited in: 29 Publications (2000–2016)
Related Software: TNT; Java Grande; Ninja; HELAC-1LOOP; BlackHat; SAMURAI; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Quantum theory (81-XX)

PatternHunter

Software Authors:   Ma, B., Tromp, J., Li, M.
Cited in: 29 Publications (2004–2020)
Related Software: SHRiMP; BLAT; MUMMER; LAGAN; Soap; BLASTZ; …
Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Statistics (62-XX)

Java CoG Kit

Software Authors:   von Laszewski, Gregor; Gawor, Jarek; Lane, Peter; Rehn, Nell; Russell, Mike
Cited in: 12 Publications (2001–2010)
Related Software: Globus Toolkit; Pegasus; Condor-G; Taverna; ASKALON; Cactus; …
Main Fields: Computer science (68-XX); Geophysics (86-XX); Biology and other natural sciences (92-XX)

Ginsim

Software Authors:   Gonzales, A. G.; Naldi, A.; Sanchez, L.; Thieffry, D.; Chaouiya, C
Cited in: 34 Publications (2008–2022)
Related Software: BoolNet; GitHub; Macaulay2; ADAM; PyBoolNet; Python; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

Walnut

Software Authors:   Hamoon Mousavi
Cited in: 34 Publications (2017–2022)
Related Software: OEIS; GitHub; Python; Coq; Isabelle/HOL; Lean; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX)

Jadex

Software Authors:   Pokahr A., Braubach L., Lamersdorf W.
Cited in: 21 Publications (2005–2021)
Related Software: Jason; AgentSpeak; 2APL; 3APL; JADE; CArtAgO; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Ott

Software Authors:   Sewell, Peter; Nardelli, Francesco Zappa; Owens, Scott; Peskine, Gilles; Ridge, Thomas; Sarkar, Susmit; Strniša, Rok
Cited in: 33 Publications (2007–2021)
Related Software: Coq; Isabelle/HOL; Nominal Isabelle; Isabelle; Twelf; PoplMark; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

TVLA

Software Authors:   Tal Lev-Ami; Mooly Sagiv
Cited in: 31 Publications (2000–2020)
Related Software: ESC/Java; SIMPLIFY; SPIN; SLAM; ASTREE; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

UbiCrawler

Software Authors:   P. Boldi, B. Codenotti, M. Santini, S. Vigna
Cited in: 32 Publications (2004–2022)
Related Software: WebGraph; SparseMatrix; Mercator; ILUPACK; DIMACS; SNAP; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

jStar

Software Authors:   DiStefano, D., Parkinson, M.
Cited in: 29 Publications (2008–2017)
Related Software: VeriFast; Smallfoot; Boogie; Coq; Spec#; ESC/Java; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

JUnit

Software Authors:   Cheon, Yoonsik; Leavens, Gary T.
Cited in: 15 Publications (2002–2020)
Related Software: JML; Eiffel; ESC/Java; Korat; KeY; Spec#; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

Korat

Software Authors:   Chandrasekhar Boyapati; Sarfraz Khurshid; Darko Marinov
Cited in: 22 Publications (2001–2021)
Related Software: Java PathFinder; Symstra; TestEra; CUTE; Rostra; JUnit; …
Main Fields: Computer science (68-XX)

NetCDF

Software Authors:   Glenn Davis, Russ Rew, Ed Hartnett, John Caron, Steve Emmerson, Harvey Davies
Cited in: 18 Publications (2004–2022)
Related Software: Python; Trilinos; deal.ii; PETSc; HDF; xarray; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-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: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX)

GEOTHER 1.1

Software Authors:   Dongming Wang
Cited in: 31 Publications (1996–2021)
Related Software: GeoGebra; GEX; GeoThms; GCLC; GCLCprover; MMP/Geometer; …
Main Fields: Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Geometry (51-XX)

JavaFAN

Software Authors:   Farzan, Azadeh; Chen, Feng; Meseguer, José; Roşu, Grigore
Cited in: 30 Publications (2004–2018)
Related Software: Maude; K Prover; MMT; Java+ITP; ACL2; CafeOBJ; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

MESS

Software Authors:   Saak, J., Mena, H., Benner, P.
Cited in: 32 Publications (2012–2022)
Related Software: Matlab; RADI; MORLAB; LYAPACK; Loewner; Algorithm 432; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

Soot

Software Authors:   Vallée-Rai, R., Gagnon, E., Hendren, L.J., Lam, P., Pominville, P., Sundaresan, V.
Cited in: 26 Publications (2004–2021)
Related Software: AspectJ; WALA; DaCapo; Apron; Sparrow; Jimple; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX)

HR

Software Authors:   Colton, Simon
Cited in: 27 Publications (2002–2022)
Related Software: GRAFFITI; OTTER; Mace4; TPTP; AutoGraphiX; GAP; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

JPAX

Software Authors:   Havelund, Klaus; Roşu, Grigore
Cited in: 21 Publications (2002–2022)
Related Software: Maude; Bandera; Java PathFinder; veriSoft; Java-MaC; NuSMV; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

BETA

Software Authors:   Bent Bruun Kristensen, Ole Lehrmann Madsen, Birger Møller-Pedersen, Kristen Nygaard
Cited in: 21 Publications (1985–2016)
Related Software: Eiffel; Simula 67; Smalltalk; BetaSim; PolyTOIL; Featherweight Java; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

CloudSim

Software Authors:   Rodrigo N. Calheiros, Rajiv Ranjan, Cesar A. F. De Rose, Rajkumar Buyya
Cited in: 17 Publications (2012–2022)
Related Software: GridSim; pMapper; Amazon EC2; Eucalyptus; OpenNebula; Satin; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

LOOP

Software Authors:   van den Berg, Joachim; Jacobs, Bart
Cited in: 24 Publications (2001–2012)
Related Software: JML; PVS; KRAKATOA; ESC/Java; Eiffel; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PhyloNetwork

Software Authors:   Gabriel Cardona, Francesc Rosselló, Gabriel Valiente
Cited in: 24 Publications (2010–2022)
Related Software: bioperl; NetDiversity; PERL; PADRE; TOPD/FMTS; ClusterMetric; …
Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

JFlow

Software Authors:   Andrew C. Myers
Cited in: 22 Publications (2002–2022)
Related Software: Haskell; TALx86; TaintDroid; Jif; Laminar; NaCl; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

LoTREC

Software Authors:   Gasquet, Olivier; Herzig, Andreas; Longin, Dominique; Sahade, Mohamad
Cited in: 26 Publications (2001–2021)
Related Software: PVS; MetTeL; MSPASS; TWB; Lotrecscheme; Imogen; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

Tom

Software Authors:   Emilie Balland; Paul Brauner; Radu Kopetz; Pierre-Etienne Moreau; Antoine Reilles
Cited in: 22 Publications (2006–2022)
Related Software: Stratego; Maude; ASF+SDF; ELAN; Haskell; PORGY; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

Aglets

Software Authors:   IBM
Cited in: 21 Publications (2001–2011)
Related Software: Voyager; Concordia; KLAIM; DIEGO; MAGIC; SatAbs; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

GNA

Software Authors:   Hidde de Jong, Johannes Geiselmann, Céline Hernandez, Michel Page
Cited in: 25 Publications (2006–2021)
Related Software: BIOCHAM; Ginsim; Celldesigner; KEGG; RoVerGeNe; DiVinE; …
Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Computer science (68-XX)

Web-HIPRE

Software Authors:   Raimo P. Hämäläinen, Jyri Mustajoki
Cited in: 25 Publications (1994–2022)
Related Software: HIPRE 3+; ComPAIRS; VisualUTA; UTA Plus; sensitivity; adaptMCMC; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Doxygen

Software Authors:   D. van Heesch
Cited in: 16 Publications (2004–2021)
Related Software: Python; GitHub; CVODE; SUNDIALS; libMesh; PETSc; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

iplots

Software Authors:   Simon Urbanek, Tobias Wichtrey
Cited in: 12 Publications (2007–2019)
Related Software: R; GGobi; MANET; RGtk2; JGR; XGobi; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

rJava

Software Authors:   Simon Urbanek
Cited in: 7 Publications (2007–2021)
Related Software: R; ggplot2; Rcpp; CRAN; SJava; RGtk2; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

Stanford Tagger

Software Authors:   Kristina Toutanova
Cited in: 18 Publications (2009–2022)
Related Software: WordNet; word2vec; TnT; TreeTagger; BLEU; Penn Treebank; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

COSTA

Software Authors:   Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini
Cited in: 22 Publications (1992–2020)
Related Software: SPEED; AProVE; Refal; Featherweight Java; PPL; JCobox; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Partial differential equations (35-XX)

MALLET

Software Authors:   Andrew McCallum et al.
Cited in: 15 Publications (2008–2022)
Related Software: WEKA; C4.5; LIBSVM; gensim; UCI-ml; R; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

SMTInterpol

Software Authors:   Jochen Hoenicke, Jürgen Christ, Alexander Nutz
Cited in: 21 Publications (2015–2021)
Related Software: z3; MathSAT5; CPAchecker; CVC4; Ultimate Automizer; Yices; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Eucalyptus

Software Authors:   Nurmi, D., Wolski, R., Grzegorczyk, C., Obertelli, G., Soman, S., Youseff, L., Zagorodnov, D.
Cited in: 8 Publications (2010–2021)
Related Software: Amazon EC2; OpenNebula; OpenStack; Oracle; CloudSim; Azure; …
Main Fields: Partial differential equations (35-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

Houdini

Software Authors:   Flanagan C, Leino KRM
Cited in: 19 Publications (2001–2020)
Related Software: ESC/Java; z3; JML; Eiffel; Boogie; Daikon; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

JaCoP

Software Authors:   Krzysztof Kuchcinski; Radoslaw Szymanek
Cited in: 15 Publications (2007–2021)
Related Software: Gecode; MiniZinc; Choco; CPLEX; SICStus; Sat4j; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

JastAdd

Software Authors:   Hedin, Görel; Magnusson, Eva
Cited in: 16 Publications (2003–2016)
Related Software: Stratego; ANTLR; Spoofax; Polyglot; ASF+SDF; TXL; …
Main Fields: Computer science (68-XX)

Java-MOP

Software Authors:   Feng Chen; Grigore Roşu
Cited in: 22 Publications (2005–2021)
Related Software: Java-MaC; AspectJ; Clara; MONA; JML; Copilot; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Jess

Software Authors:   Ernest Friedman-Hill
Cited in: 6 Publications (2001–2016)
Related Software: CLIPS; JBoss; Drools; swrl; SNAP; GitHub; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)