Software Authors:   Blanchette, Jasmin Christian; Haslbeck, Maximilian; Matichuk, Daniel; Nipkow, Tobias

Cited in:	202 Publications (1963–2022)
Related Software:	Isabelle/HOL; Isabelle; Coq; HOL; Sledgehammer; Mizar; …
Main Fields:	Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX)

Software Authors:   K. Mani Chandy; Jayadev Misra

Cited in:	178 Publications (1988–2021)
Related Software:	NQTHM; PVS; HOL; SPIN; LARCH; Rodin; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   Adrian Baddeley, Rolf Turner, Ege Rubak; et al

Cited in:	114 Publications (2005–2022)
Related Software:	R; spatial; pyuvdata; Splancs; lgcp; RandomFields; …
Main Fields:	Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

Software Authors:   Xingjian Liu; James P. LeSage

Cited in:	140 Publications (2007–2023)
Related Software:	spatial panels; R; spBayes; spdep; Matlab; R-INLA; …
Main Fields:	Statistics (62-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

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)

Software Authors:   Edwards, David

Cited in:	132 Publications (1995–2023)
Related Software:	glasso; TETRAD; R; CoCo; huge; GMRFLib; …
Main Fields:	Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)

Software Authors:   Breunig, M., Kriegel, H., Ng, R., Sander, J.

Cited in:	76 Publications (2008–2022)
Related Software:	UCI-ml; Orca; IsolationForest; ELKI; R; ROCK; …
Main Fields:	Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

Software Authors:   Bagnara, Roberto; Ricci, Elisa; Zaffanella, Enea; Hill, Patricia M.

Cited in:	103 Publications (2002–2022)
Related Software:	HyTech; Apron; ASTREE; Uppaal; PHAVer; PolyLib; …
Main Fields:	Mathematical logic and foundations (03-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)

Software Authors:   Federica Ciocchetta, Maria Luisa Guerriero, Vashti Galpin, Jane Hillston, Giulio Caravagna, Allan Clark, Andrea Degasperi, Adam Duguid, Kanimozhi Ellavarason, Stephen Gilmore, Laurence Loewe, Dimitrios Milios

Cited in:	91 Publications (2008–2022)
Related Software:	PEPA; PRISM; BIOCHAM; BioNetGen; BlenX; LBS; …
Main Fields:	Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

Software Authors:   European Community under the Information Society Technologies Programme (1998-2002)

Cited in:	82 Publications (2005–2021)
Related Software:	Casper; ProVerif; OFMC; YAPA; TAMARIN; Maude-NPA; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Software Authors:   Kastenberg, H., Rensink, A.

Cited in:	42 Publications (2004–2020)
Related Software:	AGG; SPIN; CheckVML; GrGen; Bogor; PROGRES; …
Main Fields:	General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

Software Authors:   Bozga, Marius; Graf, Susanne; Mounier, Laurent

Cited in:	38 Publications (2002–2022)
Related Software:	Uppaal; Kronos; SPIN; HyTech; CADP; TINA; …
Main Fields:	General and overarching topics; collections (00-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)

Software Authors:   Roşu, Grigore et.al

Cited in:	46 Publications (2007–2022)
Related Software:	Maude; K tool; z3; MMT; JavaFAN; K-Java; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

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)

Software Authors:   R. Teyssier

Cited in:	37 Publications (2006–2022)
Related Software:	NIRVANA; GADGET; FLASH; ENZO; PARAMESH; Pluto; …
Main Fields:	Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

Software Authors:   Luckham, David C.

Cited in:	31 Publications (1997–2019)
Related Software:	HOL; Isar; Isabelle/HOL; Isabelle; ArchJava; MANIFOLD; …
Main Fields:	Computer science (68-XX)

Software Authors:   Fu, Xiang; Bultan, Tevfik; Su, Jianwen

Cited in:	29 Publications (2004–2019)
Related Software:	BPEL2PN; CADP; SPIN; LTSA-WS; mCRL2; Woflan; …
Main Fields:	Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

Software Authors:   Gul Agha; José Meseguer; Koushik Sen

Cited in:	28 Publications (2005–2022)
Related Software:	Maude; PVeStA; VESTA; CafeOBJ; ITP; PRISM; …
Main Fields:	History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Varró, Dániel; Balogh, András

Cited in:	18 Publications (2006–2019)
Related Software:	PROGRES; AGG; Graph transformation benchmarks; VPM; AToM3; GROOVE; …
Main Fields:	Computer science (68-XX)

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)

Software Authors:   Wirth, N.; Weber, H.

Cited in:	28 Publications (1966–2020)
Related Software:	ALGOL 60; LANGAGE; YACC; ALGOL 68
Main Fields:	Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

Software Authors:   Barkatou, Moulay A.; Pflügel, Eckhard; Stan, Flavia

Cited in:	27 Publications (1992–2022)
Related Software:	Maple; OR-Library; ParamInt; Lindalg; PfaffInt; Jordan; …
Main Fields:	General and overarching topics; collections (00-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX)

Software Authors:   Jackson, D.; Schechter, I.; Shlyakhter, I.

Cited in:	20 Publications (2000–2021)
Related Software:	Alloy; SPIN; Chaff; Z; TestEra; NuSMV; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Kaliszyk, Cezary; Urban, Josef

Cited in:	26 Publications (2014–2021)
Related Software:	HOL Light; Mizar; Flyspeck; Isabelle/HOL; E Theorem Prover; VAMPIRE; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Optics, electromagnetic theory (78-XX)

Software Authors:   Clark, Robert; Moreira, Ana

Cited in:	23 Publications (1998–2016)
Related Software:	CADP; SPIN; LOTOS; CAESAR_SOLVE; Exp.Open; LNT2LOTOS; …
Main Fields:	Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

Software Authors:   Chen, H., Wagner, D.

Cited in:	15 Publications (2003–2019)
Related Software:	SLAM; BLAST; SPIN; Bebop; CIL; SIMPLIFY; …
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:   Object Management Group, Inc.

Cited in:	10 Publications (2009–2017)
Related Software:	SysML; Uppaal; SPIN; Matlab; TINA; Simulink; …
Main Fields:	Computer science (68-XX); Systems theory; control (93-XX); Information and communication theory, circuits (94-XX)

Software Authors:   Closse, Etienne; Poize, Michel; Pulou, Jacques; Sifakis, Joseph; Venter, Patrick

Cited in:	15 Publications (2001–2017)
Related Software:	Uppaal; Kronos; Eiffel; Uppaal2k; Esterel; Modelica; …
Main Fields:	Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

Software Authors:   Aldrich, Jonathan; Chambers, Craig; Notkin, David

Cited in:	10 Publications (2002–2017)
Related Software:	SOFA 2.0; Rapide; UMLDiff; PICCOLA; VisualStudio.NET; Hume; …
Main Fields:	Computer science (68-XX)

Software Authors:   David Lazar, Andrei Arusoaie, Traian Florin Şerbǎnuţǎ, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Roşu

Cited in:	17 Publications (2010–2022)
Related Software:	K Prover; Maude; PLT Redex; z3; K-Maude; MMT; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

Software Authors:   Becker, Peter; Correia, Joachim Hereth

Cited in:	17 Publications (2004–2011)
Related Software:	Galicia; ConImp; JGraph; Dia; fca.sty; ConExp; …
Main Fields:	General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX)

Software Authors:   AlTurki, M., Meseguer, J

Cited in:	13 Publications (2011–2021)
Related Software:	Maude; PMaude; VESTA; PRISM; Uppaal; PSMaude; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   Flanagan C, Freund SN

Cited in:	16 Publications (2004–2021)
Related Software:	Velodrome; SingleTrack; Eraser; Java PathFinder; Goldilocks; ESC/Java; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Pnueli, A.; Shtrichman, O.; Siegel, M.

Cited in:	17 Publications (1998–2021)
Related Software:	TVOC; CVC; SystemC; ICS; Loopy; Crellvm; …
Main Fields:	Mathematical logic and foundations (03-XX); Field theory and polynomials (12-XX); Computer science (68-XX)

Software Authors:   Balarin F, Watanabe Y, Hsieh H, Lavagno L, Passerone C, Sangiovanni-Vincentelli A

Cited in:	7 Publications (2006–2018)
Related Software:	Ptolemy; Reo; SPIN; Esterel; Uppaal; Kronos; …
Main Fields:	Computer science (68-XX); Systems theory; control (93-XX)

Software Authors:   Matthias Althoff, Niklas Kochdumper

Cited in:	15 Publications (2016–2022)
Related Software:	SpaceEx; HYST; C2e2; HyTech; PHAVer; MPT; …
Main Fields:	Ordinary differential equations (34-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)

Software Authors:   Cremers, C.

Cited in:	14 Publications (2009–2017)
Related Software:	AVISPA; Akiss; TAMARIN; Casper; ConfiChair; Apte; …
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:   Thorsten Arendt; Enrico Biermann; Stefan Jurack; Christian Krause; Gabriele Taentzer

Cited in:	12 Publications (2012–2021)
Related Software:	AGG; GROOVE; PRISM; Maude; Isabelle/HOL; GrGen; …
Main Fields:	Category theory; homological algebra (18-XX); Computer science (68-XX)

Software Authors:   Krajca P., Outrata J., Vychodil V.

Cited in:	12 Publications (2011–2022)
Related Software:	In-Close; UCI-ml; AddIntent; Algorithm 447; LCM; CUDD; …
Main Fields:	Order, lattices, ordered algebraic structures (06-XX); Statistics (62-XX); Computer science (68-XX)

Software Authors:   Bedratyuk, L.P.

Cited in:	12 Publications (2010–2022)
Related Software:	Macaulay2; Maple; noether.lib; Normaliz; SL_2_Inv_Ker; Mathematica; …
Main Fields:	Combinatorics (05-XX); Commutative algebra (13-XX); Algebraic geometry (14-XX)

Software Authors:   Anastasakis, K., Bordbar, B., Georg, G., Ray, I

Cited in:	6 Publications (2008–2015)
Related Software:	HOL-OCL; ATL; Maude; Kermeta; AGG; z3; …
Main Fields:	Computer science (68-XX)

Software Authors:   Bohn, Adam; Faenza, Yuri; Fiorini, Samuel; Fisikopoulos, Vissarion; Macchia, Marco; Pashkovich, Kanstantsin

Cited in:	12 Publications (2015–2022)
Related Software:	01poly; Macaulay2; SageMath; birkhoff faces; polymake; SlackIdeals; …
Main Fields:	Combinatorics (05-XX); Commutative algebra (13-XX); Convex and discrete geometry (52-XX)

Software Authors:   Basin, David; Kuruma, Hironobu; Takaragi, Kazuo; Wolff, Burkhart

Cited in:	5 Publications (2005–2011)
Related Software:	Z; HOL; Isabelle/HOL; Circus; csp2B; VPM; …
Main Fields:	Computer science (68-XX)

Software Authors:   Moonzoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, Oleg Sokolsky

Cited in:	11 Publications (2003–2021)
Related Software:	JPAX; Java-MOP; Copilot; InterAspect; evt; AspectWerkz; …
Main Fields:	General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Pratikakis, P., Foster, J.S., Hicks, M.

Cited in:	10 Publications (2008–2021)
Related Software:	RELAY; Eraser; Goblint; RacerX; Boogie; DDVerify; …
Main Fields:	Computer science (68-XX)

Software Authors:   Dániel Varró, András Pataricza

Cited in:	4 Publications (2005–2007)
Related Software:	VIATRA2; PROGRES; AToM3; Fujaba; Graph transformation benchmarks; GXL; …
Main Fields:	Computer science (68-XX)

Software Authors:   Luckham, David

Cited in:	8 Publications (1986–2007)
Related Software:	Ada95; Spec#; JML; Eiffel; SPARK; LARCH; …
Main Fields:	General and overarching topics; collections (00-XX); Computer science (68-XX)

Software Authors:   Vrugt, J. A

Cited in:	10 Publications (2018–2022)
Related Software:	NUTS; Glow; GitHub; Matlab; BayesDA; MADE; …
Main Fields:	Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

Software Authors:   Andrews, S

Cited in:	8 Publications (2015–2022)
Related Software:	FCALGS; UCI-ml; AddIntent; LCM; CUDD; BicPAM; …
Main Fields:	Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   Artur Boronat; Peter Csaba Ölveczky

Cited in:	9 Publications (2010–2016)
Related Software:	Maude; ITP/OCL; Ptolemy; JavaFAN; Java+ITP; K Prover; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Roderick Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Könighofer, Marco Roveri, Viktor Schuppan, Richard Seeber

Cited in:	9 Publications (2012–2021)
Related Software:	JTLV; NuSMV; CUDD; UMDES; GitHub; MathSAT; …
Main Fields:	Mathematical logic and foundations (03-XX); Measure and integration (28-XX); Computer science (68-XX)

Software Authors:   Yevtushenko, S.A.

Cited in:	8 Publications (2010–2020)
Related Software:	UCI-ml; ImageJ; IGLUE; Galicia; Hermes; Boost; …
Main Fields:	General and overarching topics; collections (00-XX); Order, lattices, ordered algebraic structures (06-XX); Statistics (62-XX)

Software Authors:   Amelunxen, C., Königs, A., Rötschke, T., Schürr

Cited in:	1 Publication (2006)
Related Software:	Moflon; PROGRES; VIATRA2; AGG; SelfSync; Ptolemy; …
Main Fields:	Computer science (68-XX)

Software Authors:   Eugenio G. Omodeo, Domenico Cantone, Alberto Policriti, Jacob T. Schwartz

Cited in:	8 Publications (2011–2018)
Related Software:	Referee; SETL; Mizar; Metamath; Nuprl; Isabelle/HOL; …
Main Fields:	Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Functions of a complex variable (30-XX)

Software Authors:   Nuzzo, P., Puggelli, A., Seshia, S.A., Sangiovanni-Vincentelli, A.L.

Cited in:	8 Publications (2013–2019)
Related Software:	dReal; z3; dReach; Yices; SMT-RAT; SMT-LIB; …
Main Fields:	Computer science (68-XX); Mechanics of particles and systems (70-XX); Operations research, mathematical programming (90-XX)

Software Authors:   Gill, R., Datta, S., Datta, S.

Cited in:	7 Publications (2013–2021)
Related Software:	WGCNA; GlobalMIT; slingshot; SNN-Cliq; MrTADFinder; CIDR; …
Main Fields:	Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

Software Authors:   Andreas Holzer; Christian Schallhart; Michael Tautschnig; Helmut Veith

Cited in:	6 Publications (2010–2016)
Related Software:	Java PathFinder; CPAchecker; RapiTime; pwcet; BLAST; Wolverine; …
Main Fields:	General and overarching topics; collections (00-XX); Computer science (68-XX)

Software Authors:   Daejun Park, Andrei Ştefănescu, Grigore Roşu

Cited in:	8 Publications (2015–2021)
Related Software:	K-Java; Maude; Coq; JavaScript; K Prover; GitHub; …
Main Fields:	Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX)

Software Authors:   Ou, X., Govindavajhala, S., Appel, A.W.

Cited in:	5 Publications (2010–2020)
Related Software:	ADEPTS; SHARPE; CyGraph; TCPDUMP; SecurITree; SeaMonster; …
Main Fields:	Probability theory and stochastic processes (60-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Software Authors:   A. Wittkopf; G. Reid

Cited in:	8 Publications (2004–2019)
Related Software:	Maple; DifferentialGeometry; REDUCE; Mathematica; diffgrob2; GeM; …
Main Fields:	Field theory and polynomials (12-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)

Software Authors:   Doychev, G., Feld, D., Köpf, B., Mauborgne, L., Reineke, J.

Cited in:	7 Publications (2017–2021)
Related Software:	Boogie; JFlow; NaCl; LLVM; HACL*; TEA; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Software Authors:   Babić, D., Hu, A.J.

Cited in:	5 Publications (2008–2020)
Related Software:	z3; ESC/Java; BoogiePL; SLAM; BLAST; MiniSat; …
Main Fields:	Computer science (68-XX)

Software Authors:   Aaltonen, Timo; Katara, Mika; Pitkänen, Risto

Cited in:	7 Publications (1998–2006)
Related Software:	PVS; AspectJ; Ocsid; HOL-UNITY; HOL; Coq; …
Main Fields:	Computer science (68-XX)

Software Authors:   Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, Ben Hardekopf

Cited in:	5 Publications (2017–2022)
Related Software:	JavaScript; Phantm; Norn; Node.js; PPL; ast; …
Main Fields:	Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   A. Trifunovic; W. J. Knottenbelt

Cited in:	5 Publications (2007–2013)
Related Software:	PaToH; Zoltan; hMETIS; SparseMatrix; UMPa; MLPart; …
Main Fields:	Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

Software Authors:   Claessen, K., Smallbone, N., Hughes, J.

Cited in:	5 Publications (2014–2019)
Related Software:	QuickCheck; Hipster; HipSpec; Zeno; Theorema; ACL2; …
Main Fields:	Computer science (68-XX)

Software Authors:   Eugenio G. Omodeo; Domenico Cantone; Alberto Policriti; Jacob T. Schwartz

Cited in:	7 Publications (2013–2018)
Related Software:	AEtnaNova; SETL; Mizar; Metamath; Nuprl; Isabelle/HOL; …
Main Fields:	Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

Software Authors:   Decker, Keith

Cited in:	5 Publications (2002–2007)
Related Software:	DECAF; AntNet; NuSMV
Main Fields:	Computer science (68-XX); Operations research, mathematical programming (90-XX)

Software Authors:   Budde, C.E., Dehnert, C., Hahn, E.M., Hartmanns, A., Junges, S., Turrini, A.

Cited in:	6 Publications (2019–2022)
Related Software:	PRISM; MoDeST; Storm; z3; POMDP; PDDL; …
Main Fields:	Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

Software Authors:   Sebastio, Stefano; Vandin, Andrea

Cited in:	4 Publications (2016–2020)
Related Software:	Maude; SCEL; KLAIM; Pirlo; SPIN; VESTA; …
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:   J Derrick, S North, A J H Simons

Cited in:	5 Publications (2008–2012)
Related Software:	SPIN; Z; Z/EVES; CZT; jSpin; PROMELA; …
Main Fields:	General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Zheng, Yunhui; Ganesh, Vijay; Subramanian, Sanu; Tripp, Omer; Berzish, Murphy; Dolby, Julian; Zhang, Xiangyu

Cited in:	5 Publications (2017–2022)
Related Software:	HAMPI; Z3str3; Stranger; Norn; CVC4; z3; …
Main Fields:	Computer science (68-XX)

Software Authors:   Albert, E., Arenas, P., Genaim, S., Gómez-Zamalloa, M., Puebla, G.

Cited in:	5 Publications (2012–2017)
Related Software:	ABS; SPEED; SACO; JCobox; Erlang; Featherweight Java; …
Main Fields:	Computer science (68-XX)

Software Authors:   Sean Sedwards, Tommaso Mazza

Cited in:	4 Publications (2008–2014)
Related Software:	BlenX; COPASI; Bio-PEPA
Main Fields:	Computer science (68-XX); Biology and other natural sciences (92-XX)

Software Authors:   Musab AlTurki; José Meseguer

Cited in:	5 Publications (2011–2015)
Related Software:	Maude; JavaFAN; Java+ITP; K Prover; MOMENT2; K tool; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Moy, M., Maraninchi, F., Maillet-Contoz, L.

Cited in:	3 Publications (2007–2013)
Related Software:	SystemC; KRATOS; veriSoft; Esterel; Pinapa; LLVM; …
Main Fields:	Computer science (68-XX)

Software Authors:   Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink

Cited in:	5 Publications (2009–2015)
Related Software:	COWS; MoDeST; GroupKit; KLAIM; SAS; SPSS; …
Main Fields:	General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)

Software Authors:   P. Kelb, T. Margaria, M. Mendler, C. Gsottberger

Cited in:	4 Publications (1998–2018)
Related Software:	MONA; ATV; BioMOBY; Bio-SPICE; ClustalW; EMBOSS; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX)

Software Authors:   Peavy, Sally T., Bremer, Shirley G., Varner, Ruth N., Hogben, David

Cited in:	5 Publications (1972–1984)
Related Software:	SPSS; MINITAB; GLIM
Main Fields:	General and overarching topics; collections (00-XX); Statistics (62-XX); Numerical analysis (65-XX)

Software Authors:   Farn Wang

Cited in:	5 Publications (2011–2014)
Related Software:	Kronos; CMC; Synthia; Uppaal; UPPAAL TIGA; Tempo; …
Main Fields:	Computer science (68-XX)

Software Authors:   Morrisett, G., Tan, G., Tassarotti, J., Tristan, J.B., Gan, E.

Cited in:	5 Publications (2015–2021)
Related Software:	Coq; GDSL; FreeSpec; operational; Kami; GitHub; …
Main Fields:	Computer science (68-XX); Information and communication theory, circuits (94-XX)

Software Authors:   Barrett, P H R, Bell, B M, Cobelli, C, Golde, H, Schumitzky, A, Vicini, P, Foster, D M

Cited in:	4 Publications (2000–2014)
Related Software:	Python; wxPython; Matplotlib; PKSolver; TopCAT; vaCATE; …
Main Fields:	Biology and other natural sciences (92-XX); Systems theory; control (93-XX)

Software Authors:   Filip Maric

Cited in:	5 Publications (2009–2018)
Related Software:	Archive Formal Proofs; Chaff; Isabelle/HOL; MiniSat; BerkMin; SATO; …
Main Fields:	Computer science (68-XX)

Software Authors:   Nathalie Cauchi, Kurt Degiorgio, Alessandro Abate

Cited in:	5 Publications (2019–2022)
Related Software:	FAUST2; PRISM; SReachTools; ProbReach; AMYTISS; MoDeST; …
Main Fields:	Computer science (68-XX); Systems theory; control (93-XX)

Software Authors:   Scornavacca, C.; Zickman, F.; Huson, D.

Cited in:	5 Publications (2012–2022)
Related Software:	OEIS; SylvX; GDToolkit; SPRSupertrees
Main Fields:	Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

Software Authors:   Hangal S, Vahia D, Manovit C, Lu J-YJ, Narayanan S

Cited in:	5 Publications (2008–2021)
Related Software:	UMM; Coq; TSL; K Prover; CompCert; Lem; …
Main Fields:	Combinatorics (05-XX); Computer science (68-XX)

Software Authors:   Azzi, Guilherme Grochau; Bezerra, Jonas Santos; Ribeiro, Leila; Costa, Andrei; Rodrigues, Leonardo Marques; Machado, Rodrigo

Cited in:	5 Publications (2016–2021)
Related Software:	AGG; AGREE; GROOVE; APIDiff; MIGRATE; EMorF; …
Main Fields:	Category theory; homological algebra (18-XX); Computer science (68-XX)

Software Authors:   Bu L, Li Y, Wang L, Li X

Cited in:	4 Publications (2010–2018)
Related Software:	PHAVer; SpaceEx; HyTech; HySAT; KeYmaera X; Ellipsoidal Toolbox; …
Main Fields:	Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-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:   Tatyana Taran; Hanika, T., Hirth, J.

Cited in:	3 Publications (2008–2022)
Related Software:	UCI-ml; JGraph; Dia; fca.sty; Galicia; ToscanaJ; …
Main Fields:	Computer science (68-XX)

Software Authors:   Brooke, Phillip J.; Paige, Richard F.; Jacob, Jeremy L.

Cited in:	4 Publications (2007–2009)
Related Software:	Eiffel; SCOOP; Circus; TCOZ; Ada95; Boogie; …
Main Fields:	Computer science (68-XX)

Software Authors:   Muhammad Najib

Cited in:	4 Publications (2019–2021)
Related Software:	MCMAS; MCMAS-SLK; PRISM-games; EAGLE; PRALINE; MOCHA; …
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:   B. Yordanov, C. Belta

Cited in:	4 Publications (2013–2018)
Related Software:	NuSMV; Algorithm 97; VeriSIMPL; Maxplus; SPIN
Main Fields:	Combinatorics (05-XX); Biology and other natural sciences (92-XX); Systems theory; control (93-XX)

Software Authors:   Cobleigh, J.M.; Clarke, L.A.; Osterweil, L.J.

Cited in:	0 Publications
Related Software:	PMD; PQL; CodeSurfer; Checkstyle; MOPS; JML; …
Main Fields:	–

Software Authors:   Somil Bansal, Mo Chen, Sylvia Herbert, Claire J. Tomlin

Cited in:	3 Publications (2020–2022)
Related Software:	ToolboxLS; PILCO; Python; BaRC
Main Fields:	Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Software Authors:   Gheorghe, M., Ipate, F., Mierla, L., Konur, S.

Cited in:	4 Publications (2015–2021)
Related Software:	CompCert; ProB; Rodin; Coq; CuSNP; GitHub; …
Main Fields:	Computer science (68-XX)

Software Authors:   Muschelli, J.; Fortin, J. -P.; Gherman, A.; Avants, B.; Whitcher, B.; Clayden, J. D.; Caffo, B.; Crainiceanu, C. M.

Cited in:	2 Publications (2018–2019)
Related Software:	R; oro.dicom; oro.nifti; spant; MRUI; FSL-MRS; …
Main Fields:	Statistics (62-XX); Biology and other natural sciences (92-XX); Information and communication theory, circuits (94-XX)

Software Authors:   Dong, B., Farouki, R.T.

Cited in:	4 Publications (2015–2019)
Related Software:	BPOLY
Main Fields:	Numerical analysis (65-XX); Computer science (68-XX)

Software Authors:   Titolo, Laura; Feliú, Marco A.; Moscato, Mariano; Muñoz, César A.

Cited in:	4 Publications (2018–2021)
Related Software:	RangeLab; z3; ASTREE; Frama-C; PVS; Reluplex; …
Main Fields:	Numerical analysis (65-XX); Computer science (68-XX)

Software Authors:   Dreossi T

Cited in:	4 Publications (2017–2021)
Related Software:	Breach; SpaceEx; dReach; Flow*; HyTech; KeYmaera; …
Main Fields:	Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)