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:   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)

Software Authors:   Paul Callaghan

Cited in:	17 Publications (2000–2014)
Related Software:	Coq; LEGO; ALF; FraCaS; GF; Nuprl; …
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:   Dave Wecker, Krysta M. Svore

Cited in:	8 Publications (2018–2021)
Related Software:	qHiPSTER; ProjectQ; Python; Quipper; ScaffCC; OpenFermion; …
Main Fields:	Computer science (68-XX); Quantum theory (81-XX); Statistical mechanics, structure of matter (82-XX)

Software Authors:   Damian S. Steiger, Thomas Häner, Matthias Troyer

Cited in:	7 Publications (2019–2023)
Related Software:	Python; OpenFermion; qHiPSTER; LIQUi; Strawberry Fields; QISKit; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX)

Software Authors:   Benedikt Bollig; Joost-Pieter Katoen; Carsten Kern; Martin Leucker; Daniel Neider; David R. Piegdon

Cited in:	10 Publications (2011–2021)
Related Software:	LearnLib; Sigma*; COMICS; jq; LEVER; CALF; …
Main Fields:	Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

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

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

Software Authors:   Nystrom, Nathaniel; Clarkson, Michael R.; Myers, Andrew C.

Cited in:	7 Publications (2003–2015)
Related Software:	JastAdd; Fugue; PLURAL; Spoofax; dk.brics.automaton; ANTLR; …
Main Fields:	Computer science (68-XX)

Software Authors:   eclipse.org

Cited in:	6 Publications (2013–2019)
Related Software:	Spoofax; Stratego; ANTLR; PPM; Blitz++; Liszt; …
Main Fields:	Numerical analysis (65-XX); Computer science (68-XX)

Software Authors:   Daniel P. Friedman, William E. Byrd, Oleg Kiselyov

Cited in:	9 Publications (2008–2022)
Related Software:	KANREN; Haskell; Dsharp; Hakaru; TOY; Mercury; …
Main Fields:	General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Chlipala, A.

Cited in:	8 Publications (2016–2022)
Related Software:	Links; CoSMed; FlowFox; CAVA LTL Modelchecker; Jif; seL4; …
Main Fields:	Computer science (68-XX)

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

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

Software Authors:   Suleyman Karabuk

Cited in:	4 Publications (2008–2017)
Related Software:	Python; AIMMS; Pyomo; AMPL; OptimJ; OpenOpt; …
Main Fields:	General and overarching topics; collections (00-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   Daniel de Rauglaudre

Cited in:	5 Publications (2002–2012)
Related Software:	OCaml; DynaMoW; OEIS; LCF; ML; Coq; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Vanderbilt University

Cited in:	2 Publications (2009–2014)
Related Software:	Python; MetaEdit+; AToM3; GReAT; XASM; ATL; …
Main Fields:	Statistics (62-XX); 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:   Ligatti, Jay; Rickey, Billy; Saigal, Nalin

Cited in:	3 Publications (2009–2018)
Related Software:	AspectJ; TaintDroid; BCEL
Main Fields:	Computer science (68-XX)

Software Authors:   Helfer, Thomas; Michel, Bruno; Proix, Jean-Michel; Salvo, Maxime; Sercombe, Jérôme; Casella, Michel

Cited in:	5 Publications (2015–2021)
Related Software:	Code_Aster; ABAQUS; Python; BRENT; Traits; STL; …
Main Fields:	Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Classical thermodynamics, heat transfer (80-XX)

Software Authors:   Krahn, Holger; Rumpe, Bernhard; Völkel, Steven

Cited in:	3 Publications (2016–2021)
Related Software:	Neverlang; ANTLR; Spoofax; Ott; Featherweight Java; JastAdd; …
Main Fields:	Computer science (68-XX)

Software Authors:   Kiselyov, Oleg

Cited in:	3 Publications (2016–2022)
Related Software:	OCaml; SPIRAL; CIL; Terra; Halide; Strymonas; …
Main Fields:	Computer science (68-XX)

Software Authors:   Chisham, Brandon; Pontelli, Enrico; Son, Tran Cao; Wright, Ben

Cited in:	3 Publications (2011–2016)
Related Software:	–
Main Fields:	General and overarching topics; collections (00-XX); 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:	JMeter; AspectJ; GitHub; Apache Flink; Savina; Akkaprof
Main Fields:	Computer science (68-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; Syntactic; Accelerate; Copperhead; Loo.py; …
Main Fields:	Computer science (68-XX)

Software Authors:   David, P.-C., Ledoux, T., Coupaye, T., Léger, M.

Cited in:	0 Publications
Related Software:	FScript; ByADL; OCaml-Java; xMAML; OCaml; ProActive; …
Main Fields:	Computer science (68-XX)

Software Authors:   David, P.-C., Ledoux, T., Coupaye, T., Léger, M.

Cited in:	0 Publications
Related Software:	FPath; ByADL; OCaml-Java; xMAML; OCaml; ProActive; …
Main Fields:	Computer science (68-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:   Erdweg, S., Rendel, T., Kastner, C., Ostermann, K.

Cited in:	2 Publications (2015–2020)
Related Software:	Spoofax; JastAdd; lang-n-play; K-Java; MetaEdit+; Abella; …
Main Fields:	Computer science (68-XX)

Software Authors:   Kirches, Christian; Leyffer, Sven

Cited in:	3 Publications (2013–2018)
Related Software:	Optimica; JModelica; Ipopt; AMPL; pyomo.dae; ACADO; …
Main Fields:	Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

Software Authors:   Weirich, Stephanie; Yorgey, Brent A.; Sheard, Tim

Cited in:	4 Publications (2011–2019)
Related Software:	Isabelle/HOL; Psi-calculi; Nominal Isabelle; LNgen; Beluga; GitHub; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Anureev, I.S.

Cited in:	3 Publications (2010–2012)
Related Software:	C-Light; Boogie; OpenJML; Frama-C; Spec#; JML; …
Main Fields:	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:   Arne Lange, Colin Atkinson; Gerbig, R. et al.

Cited in:	3 Publications (2019–2021)
Related Software:	ATL; Melange; Ann; MetaDepth; FAMILIAR; Neverlang; …
Main Fields:	Category theory; homological algebra (18-XX); Computer science (68-XX)

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

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

Software Authors:   Aycock, John

Cited in:	3 Publications (2002–2014)
Related Software:	dypgen; DEXTER; Neverlang; ANTLR; Python
Main Fields:	Computer science (68-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:	Maude; Java+ITP; K Prover; Dist-Orc; MOMENT2; K tool; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Honorato-Zimmer, Ricardo; Millar, Andrew J.; Plotkin, Gordon D.; Zardilis, Argyris

Cited in:	2 Publications (2018–2022)
Related Software:	PySB; BioNetGen; APL; SNOOPY; Haskell; pyModelChecking; …
Main Fields:	Biology and other natural sciences (92-XX)

Software Authors:   Arntzenius, Michael; Krishnaswami, Neelakantan R.

Cited in:	2 Publications (2016–2022)
Related Software:	Haskell; Dsharp; Hakaru; TOY; Mercury; Church; …
Main Fields:	Computer science (68-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:   Henrik Mühe, Andreas Angerer, Alwin Hoffmann, Wolfgang Reif

Cited in:	2 Publications (2015–2021)
Related Software:	Robotics API
Main Fields:	Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

Software Authors:   Mourad, Benjamin; Cimini, Matteo

Cited in:	2 Publications (2020)
Related Software:	Ott; SugarJ; K-Java; MetaEdit+; Spoofax; Abella; …
Main Fields:	Computer science (68-XX)

Software Authors:   Arumugam Paventhan, Kenji Takeda, Simon J. Cox, Denis A. Nicole

Cited in:	1 Publication (2009)
Related Software:	WebSphere; DiPerF; Globus Toolkit; MPICH-G2; Matlab
Main Fields:	Computer science (68-XX)

Software Authors:   Huang, Shan Shan; Zook, David; Smaragdakis, Yannis

Cited in:	2 Publications (2011)
Related Software:	AspectJ; Cayenne; Metaphor; OCaml; JBoss; ESC/Java; …
Main Fields:	Computer science (68-XX)

Software Authors:   Freudenthal, Margus

Cited in:	2 Publications (2013–2017)
Related Software:	MetaEdit+; Spoofax; Xtext; Maude; Rascal; ANTLR; …
Main Fields:	Numerical analysis (65-XX); Computer science (68-XX)

Software Authors:   Saikat Dutta; Wenxian Zhang; Zixin Huang; Sasa Misailovic

Cited in:	1 Publication (2021)
Related Software:	Hakaru; GitHub; BayesDA; Stan; AUTOTRAINER; DeepTest; …
Main Fields:	Computer science (68-XX)

Software Authors:   Alexander L. Gaunt, Marc Brockschmidt, Rishabh Singh, Nate Kushman, Pushmeet Kohli, Jonathan Taylor, Daniel Tarlow

Cited in:	0 Publications
Related Software:	BlinkFill; FlashMeta; Infer.NET; z3; LLVM; SMT-LIB; …
Main Fields:	–

Software Authors:   Primault, V.; Maouche, M.; Boutet, A.; Mokhtar, S. B.; Bouchenak, S.; Brunie, L

Cited in:	1 Publication (2021)
Related Software:	ARX; iPrivacy; Anonimatron; Aircloak; sdcTools; PrivKV; …
Main Fields:	Computer science (68-XX)

Software Authors:   Collberg, Christian S.

Cited in:	1 Publication (2002)
Related Software:	–
Main Fields:	Computer science (68-XX)

Software Authors:   David H. Lorenz, Boaz Rosenan

Cited in:	0 Publications
Related Software:	Cyclone; Hume; JastAdd; Feldspar; mbeddr
Main Fields:	–

Software Authors:   Henner Graubitz, Myra Spiliopoulou, Karsten Winkler

Cited in:	1 Publication (2002)
Related Software:	WUM
Main Fields:	Computer science (68-XX)

Software Authors:   Richard Wei, Vikram Adve, Lane Schwartz

Cited in:	0 Publications
Related Software:	Halide; PyTorch; NNVM; XLA; Caffe; LLVM; …
Main Fields:	–

Software Authors:   Nick Spadaccini, Ian R Castleden, Doug du Boulay, Sydney R Hall

Cited in:	0 Publications
Related Software:	Python; CrystalInfoFramework.jl; DrelTools; PEGParser; ParserCombinator; Lark; …
Main Fields:	–

Software Authors:   Cosentino, Valerio; Tisi, Massimo; Izquierdo, Javier Luis Cánovas

Cited in:	0 Publications
Related Software:	SugarJ; Xtext
Main Fields:	Computer science (68-XX)

Software Authors:   C. Schmitt, S. Kuckuk, F. Hannig, H. Köstler, J. Teich

Cited in:	1 Publication (2020)
Related Software:	MODESTO; SDSLc; Petalisp; Exa-Dune; HyTeG; STELLA; …
Main Fields:	Numerical analysis (65-XX); Computer science (68-XX)

Software Authors:   Fisher, Kathleen; Foster, Nate; Walker, David; Zhu, Kenny Q.

Cited in:	0 Publications
Related Software:	Graphviz
Main Fields:	–

Software Authors:   Moore DG, Valentini G, Walker SI, Levin M

Cited in:	1 Publication (2020)
Related Software:	rinform; R
Main Fields:	Fluid mechanics (76-XX); Biology and other natural sciences (92-XX)

Software Authors:   Adrian Mettler, David Wagner, Tyler Close

Cited in:	0 Publications
Related Software:	Retire.js; ConflictJS; Synode; Node.js; npm; BreakApp; …
Main Fields:	–

Software Authors:   Fabry, Johan; Tanter, Éric; D’Hondt, Theo

Cited in:	1 Publication (2008)
Related Software:	–
Main Fields:	Computer science (68-XX)

Software Authors:   Broom, Bradley; Fowler, Rob; Kennedy, Ken

Cited in:	1 Publication (2002)
Related Software:	–
Main Fields:	Computer science (68-XX)

Software Authors:   Blouin, A., Combemale, B., Baudry, B., Beaudoux, O.

Cited in:	1 Publication (2018)
Related Software:	Henshin
Main Fields:	Computer science (68-XX)

Software Authors:   Frédéric Tuong; Burkhart Wolff

Cited in:	1 Publication (2016)
Related Software:	Density Compiler; Archive Formal Proofs; Applicative Lifting; Stern-Brocot Tree; Lifting; Transfer; …
Main Fields:	Category theory; homological algebra (18-XX); Computer science (68-XX)

Software Authors:   Armin Moin, Stephan Rössler, Marouane Sayih, Stephan Günnemann

Cited in:	0 Publications
Related Software:	KNIME; Infer.NET; ThingML; Scikit; TensorFlow; Keras; …
Main Fields:	–

Software Authors:   T. Gysi, T. Grosser, T. Hoefler

Cited in:	1 Publication (2020)
Related Software:	ExaSlang; SDSLc; Petalisp; Exa-Dune; HyTeG; STELLA; …
Main Fields:	Numerical analysis (65-XX); Computer science (68-XX)

Software Authors:   Sztipanovits, Janos; Bapty, Ted; Neema, Sandeep; Howard, Larry; Jackson, Ethan

Cited in:	0 Publications
Related Software:	OpenModelica; z3
Main Fields:	Computer science (68-XX)

Software Authors:   K.I.F. Simonsen, L.M. Kristensen, E. Kindler

Cited in:	0 Publications
Related Software:	Spi2Java
Main Fields:	Computer science (68-XX)

Software Authors:   Matiello, Pedro; de Melo, Ana C.V.

Cited in:	1 Publication (2011)
Related Software:	Pict; Scala; occam-pi
Main Fields:	Computer science (68-XX)

Software Authors:   James. W. Nightingale, Richard G. Hayes, Matthew Griffiths

Cited in:	0 Publications
Related Software:	emcee; PyMultiNest; NumPy; Numba; Matplotlib; dynesty; …
Main Fields:	–

Software Authors:   Rian Shambaugh, Aaron Weiss, Arjun Guha

Cited in:	1 Publication (2021)
Related Software:	Terraform; p4v; LWeb; Ansible
Main Fields:	Computer science (68-XX)

Software Authors:   Kienle, Holger M.; Moore, David L.

Cited in:	1 Publication (2002)
Related Software:	–
Main Fields:	Computer science (68-XX)

Software Authors:   S. Egorov; G. Savchuk

Cited in:	0 Publications
Related Software:	NetCore
Main Fields:	–

Software Authors:   Pfeiffer, Rolf-Helge; Wasowski, Andrzej

Cited in:	0 Publications
Related Software:	–
Main Fields:	–

Software Authors:   Dejanović, I.; Vaderna, R.; Milosavljević, G.; Vuković, Ž.

Cited in:	1 Publication (2021)
Related Software:	mCRL2; GPU-PRISM; CUDA
Main Fields:	Computer science (68-XX)

Software Authors:   Deng, Ke; Bol, Peter K.; Li, Kate J.; Liu, Jun S.

Cited in:	1 Publication (2016)
Related Software:	WordSpy; Penn Treebank
Main Fields:	Statistics (62-XX); Computer science (68-XX)

Software Authors:   Josie Holmes, Alex Groce, Jervis Pinto, Pranjal Mittal, Pooria Azimi, Kevin Kellar, James O’Brien

Cited in:	0 Publications
Related Software:	Hypothesis; MutPy; DLint; EvoSuite; Python; Pynguin
Main Fields:	–

Software Authors:   Charles Yount, Josh Tobin, Alexander Breuer, Alejandro Duran

Cited in:	1 Publication (2020)
Related Software:	Devito; CGen; PDEL; OpenSBLI; Halide; Simflowny; …
Main Fields:	Numerical analysis (65-XX)

Software Authors:   Hegarty, James; Brunhaver, John; DeVito, Zachary; Ragan-Kelley, Jonathan; Cohen, Noy; Bell, Steven; Vasilyev, Artem; Horowitz, Mark; Hanrahan, Pat

Cited in:	0 Publications
Related Software:	–
Main Fields:	–

Software Authors:   Dimitri Plotnikov, Bernhard Rumpe, Inga Blundell, Tammo Ippen, Jochen Martin Eppler, Abgail Morrison

Cited in:	0 Publications
Related Software:	–
Main Fields:	–