Software Authors:   MathWorks Inc

Cited in:	13,110 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)

Software Authors:   Guido van Rossum

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

Software Authors:   John W. Eaton

Cited in:	279 Publications (1992–2022)
Related Software:	Matlab; R; Scilab; Python; Mathematica; LAPACK; …
Main Fields:	Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)

Software Authors:   Jean Ichbiah

Cited in:	274 Publications (1979–2022)
Related Software:	Modula; Eiffel; Smalltalk; Simula 67; ALGOL 68; ML; …
Main Fields:	Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

Software Authors:   McCarthy, John

Cited in:	111 Publications (1960–2020)
Related Software:	ACL2; NQTHM; Haskell; ML; Coq; REDUCE; …
Main Fields:	Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

Software Authors:   Alwall, Johan; Herquet, Michel; Maltoni, Fabio; Mattelaer, Olivier; Stelzer, Tim

Cited in:	95 Publications (2010–2022)
Related Software:	PYTHIA8; FeynRules; SHERPA; MadEvent; FeynArts; CompHep; …
Main Fields:	Partial differential equations (35-XX); Numerical analysis (65-XX); Quantum theory (81-XX)

Software Authors:   Alessio Lomuscio, Hongyang Qu, Franco Raimondi

Cited in:	81 Publications (2006–2022)
Related Software:	MCMAS-SLK; MCK; MOCHA; VerICS; PRISM; SPIN; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Software Authors:   Michel, Laurent; See, Andrew; van Hentenryck, Pascal

Cited in:	75 Publications (2004–2021)
Related Software:	CPLEX; Localizer; Gecode; SALSA; CSPLib; MiniZinc; …
Main Fields:	History and biography (01-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

Software Authors:   Pierce, Benjamin C.; Turner, David N

Cited in:	69 Publications (1998–2022)
Related Software:	JoCaml; Maude; Oz; Erlang; MWB; Lolli; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

Software Authors:   Andersson, Joel; Åkesson, Johan; Diehl, Moritz

Cited in:	66 Publications (2012–2022)
Related Software:	Ipopt; ACADO; qpOASES; Matlab; HSL; SUNDIALS; …
Main Fields:	Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

Software Authors:   van der Aalst, Wil M.P.

Cited in:	26 Publications (2004–2021)
Related Software:	Taverna; Woflan; WSAT; PNML; Oracle; BPEL2PN; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

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)

Software Authors:   Nowak, David; Talpin, Jean-Pierre; Gautier, Thierry; Le Guernic, Paul

Cited in:	48 Publications (1987–2018)
Related Software:	Esterel; LUSTRE; Ptolemy; Simulink; Polychrony; StateFlow; …
Main Fields:	General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Annichini, Aurore; Bouajjani, Ahmed; Sighireanu, Mihaela

Cited in:	39 Publications (2001–2021)
Related Software:	FAST; HyTech; LASH; Uppaal; IMITATOR; Kronos; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   –

Cited in:	28 Publications (2001–2020)
Related Software:	Circus; Haskell; Xilinx; Z; Isabelle/UTP; Isabelle/Circus; …
Main Fields:	General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)

Software Authors:   Laxmikant V. Kale; Sanjeev Krishnan

Cited in:	31 Publications (1997–2023)
Related Software:	PETSc; Cilk; ParFUM; ParaView; deal.ii; Chapel; …
Main Fields:	Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

Software Authors:   Necula, G.C., McPeak, S., Rahul, S.P., Weimer, W.

Cited in:	30 Publications (2002–2022)
Related Software:	BLAST; CBMC; SLAM; CUTE; veriSoft; z3; …
Main Fields:	Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

Software Authors:   Caseau, Yves; Josset, François-Xavier; Laburthe, François

Cited in:	32 Publications (1998–2019)
Related Software:	Oz; Choco; SALSA; CHIP; BL data set; ELAN; …
Main Fields:	Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

Software Authors:   Van Hentenryck, Pascal; Perron, Laurent; Puget, Jean-Francois

Cited in:	35 Publications (2000–2022)
Related Software:	CHIP; SALSA; AMPL; CPLEX; Zinc; COMET; …
Main Fields:	History and biography (01-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   Demartini, C., Iosif, R., Sisto, R.

Cited in:	22 Publications (2000–2014)
Related Software:	SPIN; Bandera; Java PathFinder; veriSoft; Bogor; Bebop; …
Main Fields:	General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

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)

Software Authors:   Schwartz, J. T.; Dewar, R. B. K.; Dubinsky, E.; Schonberg, E.

Cited in:	27 Publications (1986–2021)
Related Software:	Z; JSetL; Referee; AEtnaNova; MiniZinc; seL4; …
Main Fields:	Mathematical logic and foundations (03-XX); Combinatorics (05-XX); General algebraic systems (08-XX)

Software Authors:   Meng, Xiangrui; Bradley, Joseph; Yavuz, Burak; Sparks, Evan; Venkataraman, Shivaram; Liu, Davies; Freeman, Jeremy; Tsai, Db; Amde, Manish; Owen, Sean; Xin, Doris; Xin, Reynold; Franklin, Michael J.; Zadeh, Reza; Zaharia, Matei; Talwalkar, Ameet

Cited in:	22 Publications (2016–2022)
Related Software:	Apache Spark; Scikit; Spark; LIBSVM; MapReduce; Hadoop; …
Main Fields:	Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

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; PORGY; Haskell; …
Main Fields:	Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

Software Authors:   Jarrett Revels, Miles Lubin, Theodore Papamarkou

Cited in:	20 Publications (2017–2022)
Related Software:	Julia; PyTorch; TensorFlow; Ipopt; JuMP; Stan; …
Main Fields:	Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

Software Authors:   Frisch, Alan M.; Harvey, Warwick; Jefferson, Chris; Martínez-Hernández, Bernadette; Miguel, Ian

Cited in:	25 Publications (2008–2022)
Related Software:	MiniZinc; Zinc; ESRA; Gecode; COMET; AMPL; …
Main Fields:	Associative rings and algebras (16-XX); Computer science (68-XX); Quantum theory (81-XX)

Software Authors:   William H. Sanders

Cited in:	19 Publications (2001–2021)
Related Software:	SMART_; PEPA; SHARPE; PRISM; GreatSPN 1.7; SPNP; …
Main Fields:	Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

Software Authors:   Durán, F., Lucas, S., Meseguer, J.

Cited in:	25 Publications (2008–2022)
Related Software:	Maude; AProVE; OBJ3; CafeOBJ; MU-TERM; Maude-NPA; …
Main Fields:	General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

Software Authors:   Cody, W.J.

Cited in:	22 Publications (1988–2018)
Related Software:	EISPACK; SPECFUN; Algorithm 528; LAPACK; CELEFUNT; LINPACK; …
Main Fields:	Special functions (33-XX); Numerical analysis (65-XX); Computer science (68-XX)

Software Authors:   Martin, Florian

Cited in:	20 Publications (1996–2018)
Related Software:	NINJA; MPI/MPICH; PHiPAC; PLAPACK; FFTW; BLAS; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

Software Authors:   Luebke, D., Harris, M., Govindaraju, N., Lefohn, A., Houston, M., Owens, J., Segal, M., Papakipos, M., Buck, I.

Cited in:	14 Publications (2006–2018)
Related Software:	CUDA; OpenACC; OpenCL; HOSTA; MPI; ATLAS; …
Main Fields:	Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)

Software Authors:   M"akel"a, Marko

Cited in:	19 Publications (2000–2021)
Related Software:	LoLA; Uppaal; M-nets; Isabelle; PEP; Kronos; …
Main Fields:	Computer science (68-XX); Quantum theory (81-XX); Biology and other natural sciences (92-XX)

Software Authors:   André Almeida; Marco Almeida; José Alves; Nelma Moreira; Rogério Reis

Cited in:	15 Publications (2010–2021)
Related Software:	GUItar; Python; Vaucanson; OpenFst; Regular Sets; PDCoq; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Software Authors:   Alessandro Ricci; Andrea Santi; Michele Piunti; Mirko Viroli; Andrea Omicini; Marco Guidi; Mattia Minotti

Cited in:	7 Publications (2009–2011)
Related Software:	Jason; Jadex; AgentSpeak; 2APL; ReSpecT; simpA; …
Main Fields:	Computer science (68-XX)

Software Authors:   Delaware, B., Claudel, C.P., Gross, J., Chlipala, A.

Cited in:	14 Publications (2015–2019)
Related Software:	Coq; Isabelle/HOL; Isabelle; CertiCoq; CakeML; OCaml; …
Main Fields:	Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

Software Authors:   Anand, A., Appel, A., Morrisett, G., Paraskevopoulou, Z., Pollack, R., Belanger, O.S., Sozeau, M., Weaver, M.

Cited in:	13 Publications (2017–2022)
Related Software:	Coq; CakeML; OEuf; Isabelle/HOL; HOL; Fiat; …
Main Fields:	Combinatorics (05-XX); Computer science (68-XX)

Software Authors:   Shalit A

Cited in:	12 Publications (1996–2014)
Related Software:	Python; Eiffel; Cecil; Ruby; LISP; R; …
Main Fields:	Statistics (62-XX); Computer science (68-XX)

Software Authors:   Blelloch, Guy E.

Cited in:	13 Publications (1994–2017)
Related Software:	Haskell; MapReduce; GHC; CUDA; MGS; SETL; …
Main Fields:	General algebraic systems (08-XX); Computer science (68-XX)

Software Authors:   Rocha, Ricardo; Silva, Fernando; Costa, Vítor Santos

Cited in:	12 Publications (2001–2018)
Related Software:	XSB; YapTab; YapOr; YAP-Prolog; OpenRuleBench; CAT; …
Main Fields:	Computer science (68-XX)

Software Authors:   Ákos Schmidt, Dániel Varró

Cited in:	8 Publications (2004–2019)
Related Software:	SPIN; GROOVE; Bogor; Augur 2; PROGRES; Fujaba; …
Main Fields:	Combinatorics (05-XX); Computer science (68-XX)

Software Authors:   Flener, Pierre; Pearson, Justin; Ågren, Magnus

Cited in:	11 Publications (2004–2022)
Related Software:	Essence; Zinc; NP-SPEC; AMPL; MiniZinc; Gecode; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   M. Egenhofer

Cited in:	6 Publications (1996–2008)
Related Software:	DB2; Oracle; Geo-sal; Informix; PostGIS; JTS Topology Suite; …
Main Fields:	Computer science (68-XX)

Software Authors:   Eike Best, Wojciech Frączak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz

Cited in:	10 Publications (1998–2012)
Related Software:	Maria; PEP; Uppaal; Kronos; Ptolemy; Renew; …
Main Fields:	Computer science (68-XX)

Software Authors:   Lennart C.L. Kats; Eelco Visser

Cited in:	10 Publications (2011–2020)
Related Software:	Stratego; JastAdd; SugarJ; Neverlang; Ott; ANTLR; …
Main Fields:	Computer science (68-XX)

Software Authors:   André Almeida; Marco Almeida; José Alves; Nelma Moreira; Rogério Reis

Cited in:	9 Publications (2010–2018)
Related Software:	FAdo; Python; Vaucanson; OpenFst; Regular Sets; PDCoq; …
Main Fields:	Computer science (68-XX); Information and communication theory, circuits (94-XX)

Software Authors:   –

Cited in:	7 Publications (2004–2021)
Related Software:	Matlab; MultiMATLAB; Parallel Computing Toolbox; pMatlab; CoArray; MultiMin; …
Main Fields:	Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)

Software Authors:   The Open Group

Cited in:	4 Publications (1995–2018)
Related Software:	JPAX; CESAR; Bandera; Pex; SLAM; veriSoft; …
Main Fields:	Computer science (68-XX)

Software Authors:   James, R.P., Sabry, A.

Cited in:	8 Publications (2015–2020)
Related Software:	LRinv; Matita; Eiffel; BETA
Main Fields:	Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Software Authors:   Ştefănescu, Gheorghe; Tătărâm, Monica

Cited in:	6 Publications (2008–2020)
Related Software:	TensorFlow; Chord; Rodin; Lucid; KOOL; K Prover; …
Main Fields:	Computer science (68-XX); Biology and other natural sciences (92-XX)

Software Authors:   Daniela Inclezan, Michael Gelfond

Cited in:	8 Publications (2012–2020)
Related Software:	PEORL; VerbNet; CCalc; BWIBots; StanfordCoreNLP; PDDL; …
Main Fields:	Computer science (68-XX)

Software Authors:   Andersson, C., Führer, C., Åkesson, J.

Cited in:	5 Publications (2015–2022)
Related Software:	Python; F2PY; SUNDIALS; PyBOX; DASSL; Matlab; …
Main Fields:	Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

Software Authors:   Tiziano Peraro

Cited in:	7 Publications (2020–2022)
Related Software:	pySecDec; SecDec; Reduze; Kira; DiffExp; FIESTA; …
Main Fields:	Combinatorics (05-XX); Mechanics of particles and systems (70-XX); Quantum theory (81-XX)

Software Authors:   Grishikashvili, Ella; Allen, M.; Taleb-Bendiab, A.

Cited in:	8 Publications (2002–2011)
Related Software:	–
Main Fields:	General and overarching topics; collections (00-XX); History and biography (01-XX); Functional analysis (46-XX)

Software Authors:   Tarau, Paul; De Bosschere, Koen; Dahl, Veronica; Rochefort, Stephen

Cited in:	8 Publications (1997–2012)
Related Software:	Oz; SICStus; Prolog; Mozart
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Foster, N., Harrison, R., Freedman, M.J., Monsanto, C., Rexford, J., Story, A., Walker, D.

Cited in:	7 Publications (2011–2021)
Related Software:	NetKAT; Nettle; VeriCon; VeriFlow; SDN-SafeCheck; AProVE; …
Main Fields:	Computer science (68-XX)

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:	Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

Software Authors:   Hong Ge, Kai Xu, Zoubin Ghahramani

Cited in:	3 Publications (2022)
Related Software:	Julia; Optim; Stan; Pyro; ForwardDiff; TensorFlow; …
Main Fields:	Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

Software Authors:   Robin Verschueren, Gianluca Frison, Dimitris Kouzoupis, Niels van Duijkeren, Andrea Zanelli, Branimir Novoselnik, Jonathan Frey, Thivaharan Albin, Rien Quirynen, Moritz Diehl

Cited in:	3 Publications (2018–2022)
Related Software:	ACADO; OSQP; VIATOC; BLASFEO; qpOASES; HPIPM; …
Main Fields:	(04-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX)

Software Authors:   Adam Chlipala

Cited in:	4 Publications (2017–2019)
Related Software:	Coq; Toolchain; OCaml; Archive Formal Proofs; Amortized Complexity; Separation Logic; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   A. Brodsky, V. Segal, J. Chen, P. Exarkhopoulo

Cited in:	4 Publications (1997–2013)
Related Software:	XQuery; LyriC; DEDALE; YACC; OPL; CHIP; …
Main Fields:	Computer science (68-XX)

Software Authors:   Hackstadt, Steven T.; Malony, Allen D.

Cited in:	5 Publications (1997–2002)
Related Software:	HPFIT; WIEN97; SPiDER; TransTOOL; SPARSKIT; ITSOL; …
Main Fields:	Computer science (68-XX)

Software Authors:   Christopher R. Aberger, Susan Tu, Kunle Olukotun, Christopher Ré

Cited in:	3 Publications (2017–2022)
Related Software:	HyperBench; Ligra; GraphX; Pregel; LogicBlox; iBench; …
Main Fields:	Combinatorics (05-XX); Computer science (68-XX)

Software Authors:   Shu, N. C.; Housel, B. C.; Taylor, R. W.; Ghosh, S. P.; Lum, V. Y.

Cited in:	4 Publications (1983–2016)
Related Software:	–
Main Fields:	Computer science (68-XX)

Software Authors:   Tiark Rompf, Martin Odersky

Cited in:	4 Publications (2010–2022)
Related Software:	BLOG; TMB; PyMC; Stan; spBayes; Church; …
Main Fields:	Computer science (68-XX)

Software Authors:   Michael Denkowski, Alon Lavie

Cited in:	2 Publications (2015–2022)
Related Software:	BLEU; BEwT-E; SumQE; SIMetrix; BERTScore; SummaryEvaluation; …
Main Fields:	Computer science (68-XX)

Software Authors:   Camacho-Collados, José; Pilehvar, Mohammad Taher; Navigli, Roberto

Cited in:	5 Publications (2016–2022)
Related Software:	word2vec; BabelNet; WordNet; AutoExtend; SBERT; VerbNet; …
Main Fields:	Computer science (68-XX)

Software Authors:   Drăgoi, Cezara; Henzinger, Thomas A.; Zufferey, Damien

Cited in:	5 Publications (2016–2021)
Related Software:	Verdi; SPIN; ByMC; z3; Distal; Horus; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Catanzaro, B., Garland, M., Keutzer, K.

Cited in:	1 Publication (2016)
Related Software:	CUDA; OpenCL; PyOpenCL; Accelerate; Lava; Feldspar; …
Main Fields:	Computer science (68-XX)

Software Authors:   Lukáš Marek, Yudi Zheng, Danilo Ansaloni, Aibek Sarimbekov, Walter Binder, Petr Tůma, Zhengwei Qi

Cited in:	2 Publications (2016–2022)
Related Software:	AspectJ; GitHub; Apache Flink; Savina; Akkaprof
Main Fields:	Computer science (68-XX)

Software Authors:   NAG

Cited in:	4 Publications (1999–2004)
Related Software:	FLOTRAN; PETSc; ADIC; Diffpack; Python; GRUMMP; …
Main Fields:	Ordinary differential equations (34-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

Software Authors:   E. Axelsson, K. Claessen, G. Devai, Z. Horvath, K. Keijzer, B. Lyckegard, A. Persson, M. Sheeran, J. Svenningsson, A. Vajda

Cited in:	2 Publications (2015–2016)
Related Software:	Lava; Haskell; Cyclone; Hume; Cedalion; JastAdd; …
Main Fields:	Computer science (68-XX)

Software Authors:   Hargrove P, Bonachea D

Cited in:	2 Publications (2015–2021)
Related Software:	Chapel; UPC++; PaStiX; symPACK; SuperLU; SuperLU-DIST; …
Main Fields:	General and overarching topics; collections (00-XX); Computer science (68-XX)

Software Authors:   Choi, J., Vijayaraghavan, M., Sherman, B., Chlipala, A., Arvind

Cited in:	4 Publications (2018–2021)
Related Software:	Coq; GitHub; Coquet; Haskell; FreeSpec; operational; …
Main Fields:	Computer science (68-XX)

Software Authors:   Michel, L., Hentenryck, P.V.

Cited in:	4 Publications (2003–2013)
Related Software:	EasyLocal++; SALSA; COMET; Localizer; iOpt; ECJ; …
Main Fields:	Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   Kreczmar, Antoni; Salwicki, Andrzej; Warpechowski, Marek

Cited in:	4 Publications (1985–2016)
Related Software:	Simula 67; BETA
Main Fields:	History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Guns, Tias; Dries, Anton; Nijssen, Siegfried; Tack, Guido; De Raedt, Luc

Cited in:	4 Publications (2017–2019)
Related Software:	Essence; Gecode; MiniZinc; WASP; CloSpan; CLOSET; …
Main Fields:	Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   Ramsey, J.O.

Cited in:	3 Publications (1986–2004)
Related Software:	S-PLUS; SAS; nQuery Advisor; SAS/STAT; SAS/IML; UnifyPow; …
Main Fields:	Statistics (62-XX); Numerical analysis (65-XX)

Software Authors:   Ömer, B.

Cited in:	2 Publications (2010–2017)
Related Software:	QPL; qasm2circ; qasm-tools; LLVM; F#; Haskell; …
Main Fields:	Computer science (68-XX); Quantum theory (81-XX)

Software Authors:   Hills, Mark; Klint, Paul; Vinju, Jurgen J.

Cited in:	3 Publications (2010–2013)
Related Software:	Maude; Stratego; MetaEdit+; Simpl; Spoofax; Xtext; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Touretzky DS, Tira-Thompson EJ

Cited in:	0 Publications
Related Software:	CARMEN; Doxygen; Matlab; PFLib; SMCTC; ROS; …
Main Fields:	–

Software Authors:   Duff, Iain S.; Vörmel, Christof

Cited in:	3 Publications (2002–2017)
Related Software:	BLAS; LAPACK; Matlab; Algorithm 722; Python; Algorithm 719; …
Main Fields:	Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX)

Software Authors:   Sharaf, Nada; Abdennadher, Slim; Frühwirth, Thom

Cited in:	2 Publications (2015)
Related Software:	BALSA; Zeus; ANIMAL; JAWAA
Main Fields:	General and overarching topics; collections (00-XX); Computer science (68-XX)

Software Authors:   Navjot Kukreja, Mathias Louboutin, Felippe Vieira, Fabio Luporini, Michael Lange, Gerard Gorman

Cited in:	3 Publications (2020)
Related Software:	H-revolve; Python; revolve; YASK; CGen; PDEL; …
Main Fields:	Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Software Authors:   Brian Huffman

Cited in:	3 Publications (2012–2017)
Related Software:	Isabelle/HOL; HOL; Archive Formal Proofs; Stern-Brocot Tree; MiniAgda; AmiCo; …
Main Fields:	Computer science (68-XX)

Software Authors:   Monsanto, Christopher; Foster, Nate; Harrison, Rob; Walker, David

Cited in:	2 Publications (2013–2018)
Related Software:	nftables; iptables; pgf; Routing; ConfigChecker; LOFT; …
Main Fields:	Computer science (68-XX)

Software Authors:   Yadu Babuji, Anna Woodard, Zhuozhao Li, Daniel S. Katz, Ben Clifford, Rohan Kumar, Lukasz Lacinski, Ryan Chard, Justin M. Wozniak, Ian Foster, Michael Wilde, Kyle Chard

Cited in:	0 Publications
Related Software:	Python; Dask; Keras; PyCOMPSs; ZeroMQ; TensorFlow; …
Main Fields:	–

Software Authors:   Bauman, Spenser; Bolz, Carl Friedrich; Hirschfeld, Robert; Kirilichev, Vasily; Pape, Tobias; Siek, Jeremy G.; Tobin-Hochstadt, Sam

Cited in:	2 Publications (2015–2019)
Related Software:	JavaScript; RPython; GraalVM; PyPy; pike; Kotlin; …
Main Fields:	Computer science (68-XX)

Software Authors:   J. Talbot, Z. DeVito, P. Hanrahan

Cited in:	1 Publication (2015)
Related Software:	R; pqR; Renjin; dplyr; Oracle; Survey; …
Main Fields:	Statistics (62-XX); Computer science (68-XX)

Software Authors:   Anderson, E. R.; Belz, F. C.; Blum, E. K.

Cited in:	3 Publications (1976–1984)
Related Software:	ALGOL 68; Refal; ALGOL 60
Main Fields:	General algebraic systems (08-XX); Commutative algebra (13-XX); Group theory and generalizations (20-XX)

Software Authors:   Zachary DeVito, James Hegarty, Alex Aiken, Pat Hanrahan, Jan Vitek

Cited in:	2 Publications (2015–2022)
Related Software:	Chainer; DyNet; MacroPy; Python; Lantern; MXNet; …
Main Fields:	Numerical analysis (65-XX); Computer science (68-XX)

Software Authors:   Katelman, Michael; Meseguer, José

Cited in:	3 Publications (2011–2013)
Related Software:	Java+ITP; K Prover; Dist-Orc; MOMENT2; K tool; PVeStA; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Rastogi, A., Hammer, M.A., Hicks, M.

Cited in:	3 Publications (2016–2022)
Related Software:	Sharemind; EasyUC; HyCC; JIFF; Links; Hop; …
Main Fields:	Computer science (68-XX); Mechanics of particles and systems (70-XX); Information and communication theory, circuits (94-XX)

Software Authors:   D.E. Smith, J. Frank, W. Cushing

Cited in:	1 Publication (2018)
Related Software:	COLIN; PDDL; MathSAT5; GOLOG
Main Fields:	Computer science (68-XX)

Software Authors:   Barre, A., Armand, S.

Cited in:	1 Publication (2017)
Related Software:	AnyBody; OpenSim; Matlab; CusToM
Main Fields:	Biology and other natural sciences (92-XX)

Software Authors:   Allan, B.A., Norris, B., Elwasif, W.R., Armstrong, R.C

Cited in:	1 Publication (2011)
Related Software:	DRFM; GrACE; AmrLib; FLASH; Uintah; XCAT-C++; …
Main Fields:	Numerical analysis (65-XX); Fluid mechanics (76-XX)

Software Authors:   C.T. Jacobs, M.D. Piggott

Cited in:	2 Publications (2020–2022)
Related Software:	PETSc/TS; ADCIRC; FEniCS; PETSc; HySEA; TsunAWI; …
Main Fields:	Numerical analysis (65-XX); Fluid mechanics (76-XX)

Software Authors:   Zdun U.

Cited in:	2 Publications (2004–2006)
Related Software:	AspectS; CLOS; Jiazzi; REXX; JBoss; Lua; …
Main Fields:	Computer science (68-XX)

Software Authors:   Tan, Gang

Cited in:	1 Publication (2015)
Related Software:	Ilea; Featherweight Java; OCaml
Main Fields:	Computer science (68-XX)

Software Authors:   Voellmy, A., Kim, H., Feamster, N.

Cited in:	1 Publication (2020)
Related Software:	SGS; OpenFlowSIA; SDSNM; Flowfence; TDDAD; FADM; …
Main Fields:	Computer science (68-XX)

Software Authors:   Inostroza-Ponta M, Berretta R, Moscato P

Cited in:	2 Publications (2017–2021)
Related Software:	HAS-QAP; Wumpus; QAPLIB; PARAssign; Numbat; WhatsHap; …
Main Fields:	General and overarching topics; collections (00-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)