×

Found 198 Software Packages (Results 1–100)

Archive Formal Proofs

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)

UNITY

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)

spatstat

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)

Arc_Mat

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)

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)

MIM

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)

LOF

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)

PPL

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)

Bio-PEPA

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)

AVISPA

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)

GROOVE

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)

IF-2.0

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)

K Prover

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)

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)

RAMSES

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)

Rapide

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)

WSAT

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)

PMaude

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)

VIATRA2

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)

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)

Euler

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)

Isolde

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)

Alcoa

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)

HOLyHammer

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)

E-LOTOS

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)

MOPS

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)

MARTE

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)

TAXYS

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)

ArchJava

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)

K tool

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)

ToscanaJ

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)

PVeStA

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)

Atomizer

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)

CVT

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)

Metropolis

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)

CORA

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)

scyther

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)

Henshin

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)

FCALGS

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)

Poincare_Series

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)

UML2Alloy

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)

2L_enum

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)

HOL-Z

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)

Java-MaC

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)

LOCKSMITH

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)

VPM

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)

ANNA

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)

DREAM

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)

In-Close

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)

MOMENT2

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)

RATSY

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)

Concept Explorer

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)

MOFLON

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)

AEtnaNova

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)

CalCS

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)

DNA

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)

FShell

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)

KJS

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)

MulVAL

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)

Rif

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)

CacheAudit

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)

Calysto

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)

DisCo

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)

JSAI

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)

Parkway

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)

QuickSpec

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)

Referee

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)

TAEMS

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)

Jani

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)

MultiVeStA

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)

Z2sal

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)

Z3str2

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)

COSTABS

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)

Cyto-Sim

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)

Dist-Orc

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)

LusSy

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)

MarCaSPiS

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)

Mosel

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)

OMNITAB II

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)

REDLIB

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)

Rocksalt

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)

SAAM II

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)

SAT Solver Verification

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)

StocHy

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)

Tanglegrams

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)

TSOTool

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)

Verigraph

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)

BACH

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)

CDAOstore

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)

ConExp

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)

CSPsim

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)

EVE

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)

FaPAS

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)

FLAVERS

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:

helperOC

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)

kPWorkbench

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)

Neuroconductor

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)

PHquintic

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)

PRECiSA

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)

Sapo

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)