×

Found 834 Software Packages (Results 1–100)

Coq

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

Gmsh

Software Authors:   Christophe Geuzaine, Jean-François Remacle
Cited in: 772 Publications (2003–2022)
Related Software: PETSc; FEniCS; ParaView; MUMPS; deal.ii; FreeFem++; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

SPIN

Software Authors:   Bell Labs
Cited in: 591 Publications (1990–2022)
Related Software: NuSMV; Uppaal; Bandera; Java PathFinder; Bebop; CESAR; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Maude

Software Authors:   Clavel, M.; Durán, F.; Eker, S.; Lincoln, P.; Martí-Oliet, N.; Maude team
Cited in: 613 Publications (1984–2022)
Related Software: CafeOBJ; OBJ3; ELAN; CASL; Haskell; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

PVS

Software Authors:   Sam Owre, Natarajan Shankar, John Rushby
Cited in: 603 Publications (1993–2022)
Related Software: Coq; Isabelle/HOL; HOL; Isabelle; Nuprl; ACL2; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

Gerris

Software Authors:   Popinet, Stéphane
Cited in: 356 Publications (2000–2022)
Related Software: PROST; SLIC; Basilisk; KRAKEN; p4est; PETSc; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

Z

Software Authors:   Woodcock, Jim; Davies, Jim
Cited in: 228 Publications (1958–2022)
Related Software: Circus; ProofPower; Rodin; Z/EVES; Eiffel; Isabelle/HOL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Number theory (11-XX)

ADIFOR

Software Authors:   Bischof, Christian; Carle, Alan; Corliss, George; Griewank, Andreas
Cited in: 250 Publications (1992–2020)
Related Software: ADOL-C; ADIC; TAPENADE; TAMC; TAF; PETSc; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

E Theorem Prover

Software Authors:   Stephan Schulz
Cited in: 203 Publications (2001–2021)
Related Software: VAMPIRE; TPTP; SPASS; Isabelle/HOL; Mizar; MaLARea; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

JML

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

UNITY

Software Authors:   K. Mani Chandy; Jayadev Misra
Cited in: 173 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)

CASL

Software Authors:   Mossakowski, Till
Cited in: 171 Publications (1999–2021)
Related Software: CafeOBJ; Hets; Maude; OBJ3; CoFI; Isabelle; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

MICE

Software Authors:   Stef van Buuren
Cited in: 138 Publications (2006–2022)
Related Software: R; SAS; Amelia; Stata; mi; missForest; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

CESAR

Software Authors:   Queille, J.P.; Sifakis, J.
Cited in: 149 Publications (1982–2021)
Related Software: SPIN; SLAM; Uppaal; NuSMV; Bandera; PVS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

LOTOS

Software Authors:   Bolognesi, T., Brinksma, E.
Cited in: 129 Publications (1988–2020)
Related Software: CADP; SPIN; Uppaal; Z; LOTOSphere; FDR2; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)

OBJ3

Software Authors:   J. Goguen, T. Winkler, J. Meseguer, K. Futatsigi and J. Jouannaud; (kiniry)
Cited in: 135 Publications (1989–2021)
Related Software: Maude; CafeOBJ; CASL; ELAN; Haskell; AProVE; …
Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Category theory; homological algebra (18-XX)

Why3

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

Bandera

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

NAS Parallel Benchmarks

Software Authors:   NASA
Cited in: 72 Publications (1992–2018)
Related Software: MPI/MPICH; MPI; CUDA; Intel MPI Benchmarks; CoArray; Jumpshot; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)

XQuery

Software Authors:   w3.org
Cited in: 68 Publications (2002–2021)
Related Software: XPath; XMark; Oracle; XSEarch; TIMBER; SPARQL; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Probability theory and stochastic processes (60-XX)

np

Software Authors:   Tristen Hayfield, Jeffrey S. Racine
Cited in: 94 Publications (2008–2022)
Related Software: R; KernSmooth; quantreg; ggplot2; GAMLSS; boot; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

QDES

Software Authors:   Boyd, Stephen P.; Barratt, Craig H.
Cited in: 106 Publications (1991–2022)
Related Software: LMI toolbox; SeDuMi; YALMIP; Robust Control Toolbox; Matlab; Optimization Toolbox; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

LEGO

Software Authors:   Luo, Z., Pollack, R.
Cited in: 106 Publications (1991–2021)
Related Software: Coq; Nuprl; Automath; Isabelle; ML; HOL; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

LARCH

Software Authors:   Guttag, John V.; Horning, James J.
Cited in: 94 Publications (1989–2021)
Related Software: JML; Eiffel; PVS; CASL; Maude; CafeOBJ; …
Main Fields: Mathematical logic and foundations (03-XX); Group theory and generalizations (20-XX); Computer science (68-XX)

MOCHA

Software Authors:   Alur, R., Henzinger, T.A., Mang, F.Y.C., Qadeer, S., Rajamani, S.K., Tasiran, S.
Cited in: 81 Publications (1999–2021)
Related Software: MCMAS; SPIN; MCMAS-SLK; NuSMV; EAGLE; PRISM; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

seL4

Software Authors:   Klein, G., Elphinstone, K., Heiser, G., Andronick, J., Cock, D., Derrin, P., Elkaduwe, D., Engelhardt, K., Kolanski, R., Norrish, M., Sewell, T., Tuch, H., Winwood, S.
Cited in: 84 Publications (2009–2022)
Related Software: Isabelle/HOL; Coq; Isabelle; HOL; HOL Light; kepler98; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

Keccak

Software Authors:   Bertoni, G., Daemen, J., Peeters, M., Van Assche, G.
Cited in: 86 Publications (2011–2022)
Related Software: PRESENT; SIMON; Skein Hash; GitHub; spongent; Salsa20; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX)

MCMAS

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

ADIC

Software Authors:   Howland, P.; Norris, B.; Smith, B.
Cited in: 82 Publications (1996–2022)
Related Software: ADIFOR; ADOL-C; PETSc; TAPENADE; TAMC; TAF; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)

Dafny

Software Authors:   Rustan Leino
Cited in: 69 Publications (2010–2021)
Related Software: z3; Boogie; Why3; VeriFast; Coq; VCC; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

MIXED

Software Authors:   SAS Institute Inc
Cited in: 71 Publications (1993–2023)
Related Software: SAS; SAS/STAT; R; S-PLUS; MEMSS; PROC GLM; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)

DPpackage

Software Authors:   Jara, A., Hanson, T. E., Quintana, F. A., Müller, P., Rosner, G. L.
Cited in: 65 Publications (2008–2022)
Related Software: R; BayesDA; CODA; boa; R2WinBUGS; BNPdensity; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

PROGRES

Software Authors:   Münch, Manfred; Schürr, Andy; Winter, Andreas J.
Cited in: 49 Publications (1994–2020)
Related Software: VIATRA2; AGG; Fujaba; SPIN; DIEGO; Graph transformation benchmarks; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Combinatorics (05-XX)

CLEFIA

Software Authors:   Rezaeipour, Davood; Said, Mohamad Rushdan Md.
Cited in: 66 Publications (2007–2022)
Related Software: PRESENT; LBlock; Piccolo; TWINE; Camellia; HIGHT; …
Main Fields: Number theory (11-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

VeriFast

Software Authors:   Bart Jacobs; Jan Smans; Frank Piessens
Cited in: 60 Publications (2009–2022)
Related Software: Boogie; Dafny; z3; Why3; jStar; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

KeY

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

Algorithm 679

Software Authors:   J. J. Dongarra, J. Du Croz, I. S. Duff, S. Hammarling
Cited in: 62 Publications (1990–2021)
Related Software: BLAS; LAPACK; ScaLAPACK; LINPACK; EISPACK; GEMM; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

Hets

Software Authors:   Mossakowski, T., Maeder, C., Lüttich, K.
Cited in: 62 Publications (2005–2021)
Related Software: CASL; Isabelle/HOL; Isabelle; Maude; CafeOBJ; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

mCRL2

Software Authors:   Groote, Jan Friso; Mathijssen, Aad; Reniers, Michel A.; Usenko, Yaroslav S.; van Weerdenburg, Muck
Cited in: 53 Publications (2007–2022)
Related Software: CADP; Reo; PRISM; Uppaal; SPIN; LTSmin; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

ProofPower

Software Authors:   Roger Jones; Arthan, R.D.; Dave King; Lemma 1 Ltd
Cited in: 52 Publications (2001–2020)
Related Software: Circus; Z; HOL; Isabelle/HOL; HOL Light; Isabelle; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Real functions (26-XX)

Abella

Software Authors:   Andrew Gacek
Cited in: 52 Publications (2008–2022)
Related Software: Twelf; Beluga; Coq; Isabelle/HOL; PoplMark; Bedwyr; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

LAM-MPI

Software Authors:   Burns, G., Daoud, R., and Vaigl, J
Cited in: 45 Publications (1996–2020)
Related Software: MPI/MPICH; MPI; METIS; NAS Parallel Benchmarks; Cactus; HTCondor MW; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)

IMPS

Software Authors:   Farmer, William M.; Guttman, Joshua D.; Thayer, F.Javier
Cited in: 51 Publications (1990–2021)
Related Software: Isabelle; Nuprl; Coq; HOL; PVS; ETPS; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

SIGNAL

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)

KeYmaera

Software Authors:   Platzer, André; Quesel, Jan-David
Cited in: 47 Publications (2008–2022)
Related Software: SpaceEx; HyTech; KeYmaera X; PHAVer; Isabelle/HOL; Flow*; …
Main Fields: Mathematical logic and foundations (03-XX); Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX)

IF-2.0

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

AsmL

Software Authors:   Microsoft Research; Grieskamp, W.; Gurevich Y.
Cited in: 44 Publications (2001–2021)
Related Software: ML; SpecExplorer; Korat; LPTP; XASM; z3; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

Daikon

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

CoFI

Software Authors:   Mosses, Peter D.
Cited in: 39 Publications (1997–2017)
Related Software: CASL; ATERM; Maude; OMDoc; MAYA; OBJ3; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); General algebraic systems (08-XX)

SHARPE

Software Authors:   Sahner, Robin; Trivedi, Kishor S.; Puliafito, Antonio
Cited in: 36 Publications (1992–2021)
Related Software: Möbius; SPNP; SMART_; TimeNET; PRISM; CADP; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

Uppaal2k

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

OpenMx

Software Authors:   Boker, Steven; Neale, Michael; Maes, Hermine; Wilde, Michael; Spiegel, Michael; Brick, Timothy; Spies, Jeffrey; Estabrook, Ryne; Kenny, Sarah; Bates, Timothy; Mehta, Paras; Fox, John
Cited in: 29 Publications (2006–2022)
Related Software: R; Mplus; lavaan; LISREL; sem; EQS; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

Modulef

Software Authors:   Bernadou, M.; Hassim, A.; Laug, P.; Steer, D.; Vidrascu, M.; Saltel, E.
Cited in: 39 Publications (1985–2018)
Related Software: petsc4py; COFFEE; TSFC; Firedrake; Algorithm 884; UFL; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

SSS

Software Authors:   Hans, Chris; Dobra, Adrian; West, Mike
Cited in: 39 Publications (2007–2022)
Related Software: EMVS; glmnet; BayesDA; EBayesThresh; glasso; R; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Numerical analysis (65-XX)

d/dt

Software Authors:   Asarin, Eugene; Dang, Thao; Maler, Oded
Cited in: 38 Publications (2002–2021)
Related Software: HyTech; PHAVer; SpaceEx; RSOLVER; Uppaal; HSolver; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

MAGIC

Software Authors:   Chaki, Sagar; Clarke, Edmund; Jha, Somesh; Veith, Helmut
Cited in: 37 Publications (2003–2019)
Related Software: ComFoRT; Bandera; SPIN; Bebop; Maude; Java PathFinder; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

gcmr

Software Authors:   Masarotto, Guido; Varin, Cristiano
Cited in: 34 Publications (2012–2022)
Related Software: R; CopulaModel; copula; VGAM; weightedScores; copBasic; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-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)

MoDeST

Software Authors:   D'Argenio, Pedro R.; Hermanns, Holger; Katoen, Joost-Pieter; Klaren, Ric
Cited in: 31 Publications (2001–2021)
Related Software: PRISM; Uppaal; HyTech; IF-2.0; MOTOR; Jani; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

PRIME Decisions

Software Authors:   Gustafsson J., Salo A., Gustafsson T.
Cited in: 36 Publications (2001–2022)
Related Software: ComPAIRS; RICH Decisions; VIP Analysis; UTA Plus; M-MACBETH; VisualUTA; …
Main Fields: Measure and integration (28-XX); Statistics (62-XX); Computer science (68-XX)

STeP

Software Authors:   N. Bjørner, I.A. Browne, E. Chang, M. Colón, A. Kapur, Z. Manna, H.B. Sipma, T.E. Uribe
Cited in: 33 Publications (1997–2015)
Related Software: PVS; SPIN; Uppaal; Kronos; HyTech; Java PathFinder; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

Ruby

Software Authors:   Flanagan, D.; Matsumoto, Y.
Cited in: 23 Publications (2002–2017)
Related Software: Python; JavaScript; PERL; Dylan; Lua; ML; …
Main Fields: General and overarching topics; collections (00-XX); Numerical analysis (65-XX); Computer science (68-XX)

VerICS

Software Authors:   Zbrzezny, Andrzej; Wo\' zna, Bo\D zena
Cited in: 33 Publications (2005–2021)
Related Software: MCMAS; MCK; MOCHA; MCMAS-SLK; NuSMV; CUDD; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

ABS

Software Authors:   Johnsen, E.B., Hähnle, R., Schäfer, J., Schlatte, R., Steffen, M.
Cited in: 29 Publications (2012–2022)
Related Software: JCobox; SACO; Erlang; Creol; COSTABS; SPEED; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

3APL

Software Authors:   M. Dastani, F. Dignum, J.-J. Meyer
Cited in: 23 Publications (2001–2016)
Related Software: AgentSpeak; Jadex; Jason; KARO; 2APL; ConGolog; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

frontier

Software Authors:   Tim Coelli, Arne Henningsen
Cited in: 29 Publications (1998–2022)
Related Software: R; sfa; Benchmarking; Stata; LIMDEP; FRONTIER; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

JUnit

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

Korat

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

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)

WhyML

Software Authors:   Filliâtre, Jean-Christophe; Paskevich, Andrei
Cited in: 32 Publications (2013–2023)
Related Software: Why3; z3; Coq; Boogie; Isabelle/HOL; Dafny; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Number theory (11-XX)

AToM3

Software Authors:   de Lara, Juan; Vangheluwe, Hans
Cited in: 13 Publications (2002–2013)
Related Software: AGG; VIATRA2; DiaGen; PROGRES; VPM; SMART_; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

GEOTHER 1.1

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

SHAZAM

Software Authors:   SHAZAM Analytics
Cited in: 26 Publications (1991–2009)
Related Software: LIMDEP; GAUSS; Stata; EViews; SAS; Excel; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

TimeNET

Software Authors:   German, Reinhard; Kelling, Christian; Zimmermann, Armin; Hommel, Günter
Cited in: 28 Publications (1995–2022)
Related Software: GreatSPN; SPNP; GreatSPN 1.7; ESP; SHARPE; SPNica; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

HIP

Software Authors:   Wei-Ngan Chin; Huu Hai Nguyen; Cristina David; Cristian Gherghina; Quang Loc Le; Ton-Chanh Le; Asankhaya Sharma
Cited in: 30 Publications (2007–2021)
Related Software: Smallfoot; VeriFast; Slide; Coq; z3; Infer; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

mCRL

Software Authors:   Blom, Stefan; Fokkink, Wan; Groote, Jan Friso; van Langevelde, Izak; Lisser, Bert
Cited in: 23 Publications (2001–2016)
Related Software: Uppaal; SPIN; CADP; mCRL2; ATERM; PVS; …
Main Fields: Mathematical logic and foundations (03-XX); Associative rings and algebras (16-XX); Computer science (68-XX)

PMaude

Software Authors:   Gul Agha; José Meseguer; Koushik Sen
Cited in: 26 Publications (2005–2021)
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)

SIGOA

Software Authors:   Thomas Weise
Cited in: 26 Publications (2009–2021)
Related Software: Genocop; Matlab; Optimization Toolbox; SymDIRECT; Mathematica; CEC 05; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

JPAX

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

MIO Workbench

Software Authors:   Bauer, Sebastian S.; Mayer, Philip; Legay, Axel
Cited in: 28 Publications (2010–2022)
Related Software: Motras; ECDAR; MSTA; Mica; Circus; CESAR; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PROMELA

Software Authors:   Natarajan, V.; Holzmann, Gerard J.
Cited in: 29 Publications (1997–2018)
Related Software: SPIN; jSpin; ProB; Uppaal; Isabelle/HOL; Rodin; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

LOOP

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

bfa

Software Authors:   Murray, Jared S.; Dunson, David B.; Carin, Lawrence; Lucas, Joseph E.
Cited in: 27 Publications (2013–2021)
Related Software: R; ADVI; Stan; MULTIMIX; loo; lavaan; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Eden

Software Authors:   U. Klusik, Y. Ortega-Mallén, R. Peña
Cited in: 23 Publications (2001–2018)
Related Software: Haskell; GUM; EdenTV; GHC; Erlang; MapReduce; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

MOSEL

Software Authors:   Björn Beutel; Helmut Herold; Almási, B.; Bolch, G.; Tutsch, D.; et.al
Cited in: 26 Publications (1998–2021)
Related Software: lcpSim; GreatSPN 1.7; GreatSPN; SPNP; MARKMOD; SPN2MGM; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

OFMC

Software Authors:   Sebastian Mödersheim, Luca Viganò
Cited in: 25 Publications (2005–2021)
Related Software: AVISPA; NRL; Casper; Maude; ProVerif; Maude-NPA; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

MAYA

Software Authors:   Hutter, Dieter; Autexier, Serge
Cited in: 23 Publications (2002–2015)
Related Software: CASL; Mizar; Isabelle; OMDoc; TPTP; PVS; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Computer science (68-XX)

Visual C#

Software Authors:   Microsoft
Cited in: 22 Publications (2002–2010)
Related Software: ASP.NET; Eiffel; VisualStudio.NET; Visual Basic; SeaBreeze; LabVIEW; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX); Computer science (68-XX)

Zinc

Software Authors:   Marriott, Kim; Nethercote, Nicholas; Rafeh, Reza; Stuckey, Peter J.; Garcia de la Banda, Maria; Wallace, Mark
Cited in: 27 Publications (2005–2022)
Related Software: Essence; MiniZinc; Gecode; COMET; AMPL; ESRA; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Numerical analysis (65-XX)

CoCasl

Software Authors:   Mossakowski, Till; Roggenbach, Markus; Schröder, Lutz
Cited in: 26 Publications (2003–2014)
Related Software: CASL; Maude; Hets; CCSL; CafeOBJ; CIRC; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

qGCL

Software Authors:   Zuliani, Paolo
Cited in: 23 Publications (2000–2021)
Related Software: QPL; Quipper; ScaffCC; YALLA; HYBRID; Coq; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX)

TLA

Software Authors:   L. Lamport
Cited in: 26 Publications (1992–2020)
Related Software: SPIN; z3; Z; ByMC; Uppaal; PEPA; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

CCSL

Software Authors:   Jan Rothe, Bart Jacobs, and Hendrik Tews
Cited in: 24 Publications (2001–2015)
Related Software: PVS; CoCasl; CASL; Haskell; OCaml; GenCCSL; …
Main Fields: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); General algebraic systems (08-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)

PROSPER

Software Authors:   Dennis, Louise A.; Collins, Graham; Norrish, Michael; Boulton, Richard; Slind, Konrad; Robinson, Graham; Gordon, Mike; Melham, Tom
Cited in: 23 Publications (2000–2009)
Related Software: PVS; OMRS; Gandalf; HOL; Maple; ML; …
Main Fields: General and overarching topics; collections (00-XX); History and biography (01-XX); Mathematical logic and foundations (03-XX)

Essence

Software Authors:   Frisch, Alan M.; Harvey, Warwick; Jefferson, Chris; Martínez-Hernández, Bernadette; Miguel, Ian
Cited in: 23 Publications (2008–2022)
Related Software: MiniZinc; Zinc; ESRA; COMET; Gecode; MINION; …
Main Fields: Mathematical logic and foundations (03-XX); Associative rings and algebras (16-XX); Computer science (68-XX)

SysML

Software Authors:   Weilkiens, T.
Cited in: 14 Publications (2006–2019)
Related Software: Modelica; MARTE; Uppaal; Simulink; Matlab; TINA; …
Main Fields: Order, lattices, ordered algebraic structures (06-XX); General topology (54-XX); Computer science (68-XX)

Zenon

Software Authors:   Bonichon, Richard; Delahaye, David; Doligez, Damien
Cited in: 19 Publications (2007–2021)
Related Software: Coq; TPTP; dedukti; Isabelle/HOL; FoCaLiZe; BWare; …
Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Computer science (68-XX)

BradleyTerry2

Software Authors:   Heather Turner, David Firth
Cited in: 14 Publications (2012–2022)
Related Software: R; prefmod; gnm; BTLLasso; VGAM; gvcm.cat; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

Java-MOP

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