×

Found 107 Software Packages (Results 1–100)

PRISM

Software Authors:   Kwiatkowska, Marta; Norman, Gethin; Parker, David
Cited in: 438 Publications (2001–2022)
Related Software: MRMC; Uppaal; SPIN; Storm; Bio-PEPA; PEPA; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

MCQueue

Software Authors:   Henk Tijms
Cited in: 155 Publications (2003–2023)
Related Software: GitHub; R; EMpht; QPACK; SMCSolver; clusfind; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

MISER3

Software Authors:   L S Jennings, M E Fisher, K L Teo, C J Goh
Cited in: 84 Publications (1990–2022)
Related Software: Matlab; Visual MISER; NLPQLP; NLPQL; SNOPT; FFSQP(f77); …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

RICPAC

Software Authors:   W. F. Arnold; Alan J. Laub
Cited in: 67 Publications (1987–2023)
Related Software: Algorithm 432; Matlab; LYAPACK; mctoolbox; LAPACK; MESS; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Operator theory (47-XX); Calculus of variations and optimal control; optimization (49-XX)

Uhlig Toolkit

Software Authors:   Harald Uhlig
Cited in: 51 Publications (1998–2022)
Related Software: Gensys; Dynare; Matlab; OccBin; Python; LAPACK; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Operations research, mathematical programming (90-XX)

bc-prod

Software Authors:   Belvaux, Gaetan; Wolsey, Laurence A.
Cited in: 44 Publications (2000–2022)
Related Software: CPLEX; XPRESS; MULTILSB; OR-Library; FEASPUMP; PORTA; …
Main Fields: Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

CONTSID

Software Authors:   Garnier, H., Gilson, M., Bastogne, T., Mensler, M.
Cited in: 38 Publications (2003–2022)
Related Software: CAPTAIN; System Identification Toolbox; Matlab; Wiener-Hammerstein Benchmark; IPsolve; DLMF; …
Main Fields: Real functions (26-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX)

Ellipsoidal Toolbox

Software Authors:   Kurzhanskiy, A. A.; Varaiya, P.
Cited in: 37 Publications (2006–2022)
Related Software: SpaceEx; MPT; Flow*; ToolboxLS; XSpeed; JuliaReach; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-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)

MR and LTV Synthesis Tools

Software Authors:   Pirie, Carol; Dullerud, Geir E.
Cited in: 35 Publications (1999–2021)
Related Software: YALMIP; SeDuMi; LMI toolbox; Sostools; Matlab; Mosek; …
Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Operations research, mathematical programming (90-XX)

Polynomial Toolbox

Software Authors:   Mathworks
Cited in: 34 Publications (2001–2023)
Related Software: SeDuMi; PENBMI; YALMIP; Matlab; COMPleib; PENNON; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)

Ninteger

Software Authors:   D. Valerio, J.S. da Costa
Cited in: 31 Publications (2008–2022)
Related Software: CRONE; Matlab; FOMCON; DFOC; sysdfod; ma2dfc; …
Main Fields: Real functions (26-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)

LFR-toolbox

Software Authors:   Hecker, Simon; Varga, Andras; Magni, Jean-François
Cited in: 29 Publications (2004–2022)
Related Software: YALMIP; Mosek; GitHub; SeDuMi; Maple; SMRSOFT; …
Main Fields: Commutative algebra (13-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)

DCVALID

Software Authors:   P. Pandya
Cited in: 16 Publications (2001–2022)
Related Software: MONA; IDLVALID; Uppaal; Kronos; MRMC; Modechart; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

FAUST2

Software Authors:   S. Esmaeil Zadeh Soudjani, C. Gevaerts, A. Abate
Cited in: 16 Publications (2017–2022)
Related Software: StocHy; PRISM; SReachTools; AMYTISS; Sostools; SCOTS; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Algorithm 735

Software Authors:   Taswell, Carl; McGill, Kevin C.
Cited in: 15 Publications (1994–2016)
Related Software: WavBox 4; wavethresh; Matlab; DT-CWT; LTFAT; Linear Time Frequency Analysis Toolbox; …
Main Fields: Harmonic analysis on Euclidean spaces (42-XX); Statistics (62-XX); Numerical analysis (65-XX)

HiddenMarkov

Software Authors:   David Harte
Cited in: 10 Publications (2009–2020)
Related Software: R; depmixS4; msm; hsmm; mhsmm; LMest; …
Main Fields: General and overarching topics; collections (00-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

TFSAP

Software Authors:   Boualem Boashash, Samir Ouelha
Cited in: 13 Publications (2017–2021)
Related Software: Matlab; MTFSP; GUPPY; SynLab
Main Fields: Approximations and expansions (41-XX); Harmonic analysis on Euclidean spaces (42-XX); Computer science (68-XX)

Algorithm 705

Software Authors:   Gardiner, Judith D.; Wette, Matthew R.; Laub, Alan J.; Amato, James J.; Moler, Cleve B.
Cited in: 14 Publications (1992–2018)
Related Software: SLICOT; Algorithm 432; mctoolbox; LAPACK; LYAPACK; Matlab; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

PARAM

Software Authors:   Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang
Cited in: 13 Publications (2011–2020)
Related Software: PRISM; PROPhESY; Storm; Rapture; MRMC; Bio-PEPA; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

SCASY

Software Authors:   Granat, Robert; Jonsson, Isak; Kågström, Bo
Cited in: 12 Publications (2009–2020)
Related Software: ScaLAPACK; Algorithm 432; LAPACK; mctoolbox; recsy; GEMM; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

BayesEstDiffusion.jl

Software Authors:   van der Meulen, Frank; Schauer, Moritz
Cited in: 11 Publications (2017–2022)
Related Software: Bridge.jl; Julia; ForwardDiff; CODA; EnKF; sde; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

MatContM

Software Authors:   Kuznetsov, Yuri A.; Meijer, Hil G. E.
Cited in: 11 Publications (2018–2023)
Related Software: Matlab; MatcotM; MATCONT
Main Fields: Dynamical systems and ergodic theory (37-XX); Difference and functional equations (39-XX); Numerical analysis (65-XX)

TDA

Software Authors:   Rohwer G, Pötter U
Cited in: 10 Publications (1998–2021)
Related Software: R; Stata; RColorBrewer; cluster (R); TraMineR; SAS; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Statistical mechanics, structure of matter (82-XX)

HQP/OMUSES

Software Authors:   Franke, R., Arnold, E
Cited in: 10 Publications (1997–2022)
Related Software: HQP; Ipopt; LANCELOT; KNITRO; Matlab; GitHub; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)

momentuHMM

Software Authors:   Brett T. McClintock, Theo Michelot
Cited in: 8 Publications (2017–2023)
Related Software: moveHMM; R; crawl; ctmm; kftrack; ukfsst; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Operations research, mathematical programming (90-XX)

discSurv

Software Authors:   Thomas Welchowski; Matthias Schmid
Cited in: 9 Publications (2016–2023)
Related Software: Ecdat; gamair; R; mgcv; catdata; VGAM; …
Main Fields: Statistics (62-XX)

MORLAB

Software Authors:   Peter Benner, Steffen W. R. Werner
Cited in: 8 Publications (2018–2022)
Related Software: MESS; Matlab; RADI; MORPACK; sssMOR; Morembs; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

dynr

Software Authors:   Lu Ou, Michael D. Hunter, Sy-Miin Chow
Cited in: 7 Publications (2018–2023)
Related Software: R; KFAS; lavaan; lme4; astsa; OpenMx; …
Main Fields: Statistics (62-XX); Systems theory; control (93-XX)

recsy

Software Authors:   Granat, Robert; Jonsson, Isak; Kågström, Bo
Cited in: 8 Publications (2004–2022)
Related Software: mctoolbox; GEMM; BLAS; ScaLAPACK; SCASY; Algorithm 432; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

StocHy

Software Authors:   Nathalie Cauchi, Kurt Degiorgio, Alessandro Abate
Cited in: 8 Publications (2019–2023)
Related Software: FAUST2; AMYTISS; ProbReach; PRISM; SCOTS; SReach; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

ToolBus

Software Authors:   J.A. Bergstra; P. Klint
Cited in: 6 Publications (1996–2007)
Related Software: Zapato; E Theorem Prover; CVC Lite; Chaff; GridSAT; Python; …
Main Fields: Computer science (68-XX)

DAREX

Software Authors:   Abels, J., Benner, P.
Cited in: 7 Publications (2004–2019)
Related Software: CAREX; LAPACK; mftoolbox; INTLAB; benchmodred; PLAPACK; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

LSDE

Software Authors:   Singer, H.
Cited in: 7 Publications (1998–2012)
Related Software: LISREL; Mx
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

markovchain

Software Authors:   Giorgio Alfredo Spedicato, Tae Seung Kang, Sai Bhargav Yalamanchi, Mildenberger Thoralf, Deepak Yadav, Nacho Cordón Castillo, Vandit Jain
Cited in: 5 Publications (2017–2019)
Related Software: R; SAS; igraph; ordinal; MultinomialCI; DEoptim; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

SABRE

Software Authors:   Didier, F., Henzinger, T.A., Mateescu, M., Wolf, V
Cited in: 5 Publications (2011–2016)
Related Software: PRISM; MARCIE; Bio-PEPA; SBML Test Suite; INFAMY; MRMC; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

CollocInfer

Software Authors:   Giles Hooker, Luo Xiao, James Ramsay
Cited in: 3 Publications (2015–2019)
Related Software: deSolve; R; pomp; FME; smfsb; fda (R); …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX)

EoN

Software Authors:   Joel C. Miller, Tony TIng
Cited in: 2 Publications (2017–2019)
Related Software: Python; EpiModel; SciPy; Graph-tool; epydemic; R; …
Main Fields: General and overarching topics; collections (00-XX); Biology and other natural sciences (92-XX)

HyLAA

Software Authors:   Bak, Stanley; Duggirala, Parasara Sridhar
Cited in: 6 Publications (2017–2023)
Related Software: Flow*; SpaceEx; Breach; C2e2; CORA; HyTech; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

MIXMAX

Software Authors:   Savvidy, Konstantin G.
Cited in: 6 Publications (2015–2020)
Related Software: TestU01; RANLUX; MRG32k3a; MersenneTwister; K2; GitHub; …
Main Fields: Number theory (11-XX); Dynamical systems and ergodic theory (37-XX); Geometry (51-XX)

Optgame

Software Authors:   Hager, Manfred; Neck, Reinhard; Behrens, Doris A.
Cited in: 6 Publications (2001–2014)
Related Software: Matlab; OPTCON; GAUSS
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

SReachTools

Software Authors:   Vinod, Abraham P.; Gleason, Joseph D.; Oishi, Meeko M. K.
Cited in: 6 Publications (2019–2022)
Related Software: FAUST2; MPT; StocHy; ProbReach; PRISM; GitHub; …
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

AMYTISS

Software Authors:   Lavaei, Abolfazl; Khaled, Mahmoud; Soudjani, Sadegh; Zamani, Majid
Cited in: 5 Publications (2020–2023)
Related Software: FAUST2; StocHy; SReach; ProbReach; PRISM; SCOTS; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

irid_fod

Software Authors:   Chen, Y.Q.
Cited in: 5 Publications (2009–2017)
Related Software: Matlab; sysdfod; FSST; ma2dfc; DFOC; fourier; …
Main Fields: Ordinary differential equations (34-XX); Systems theory; control (93-XX)

CausalKinetiX

Software Authors:   Pfister, Niklas; Bauer, Stefan; Peters, Jonas
Cited in: 4 Publications (2019–2021)
Related Software: JCI; TETRAD; KEGG; fda (R); Data2Dynamics; SUNDIALS
Main Fields: Statistics (62-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)

ctmcd

Software Authors:   Marius Pfeuffer, Greig Smith, Goncalo dos Reis, Linda Moestel, Matthias Fischer
Cited in: 4 Publications (2018–2020)
Related Software: R; sison5; bootstrap; MultinomialCI; msm; QRM
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

ctsem

Software Authors:   Manuel Voelkle, Han Oud, Charles Driver
Cited in: 2 Publications (2019–2022)
Related Software: R; OpenMx; Stan; pomp; YUIMA; lme4; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX)

DiPro

Software Authors:   Husain Aljazzar, Florian Leitner-Fischer, Stefan Leue, Dimitar Simeonov
Cited in: 2 Publications (2014)
Related Software: COMICS; PRISM; z3; CEGAR; MRMC; SCIP; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

HMM

Software Authors:   Lin Himmelmann
Cited in: 2 Publications (2012–2014)
Related Software: R; depmixS4; hmm.discnp; msm; LMest; seqHMM; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Operations research, mathematical programming (90-XX)

MaBoSS

Software Authors:   Stoll, G.; Caron, B.; Viara, E.; Dugourd, A.; Zinovyev, A.; Naldi, A.; Kroemer, G.; Barillot, E.; Calzone, L.
Cited in: 3 Publications (2020–2022)
Related Software: BoolNet; R; GitHub; Ginsim; Pint; BioLQM; …
Main Fields: Combinatorics (05-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

Markov Models

Software Authors:   Johannes Hölzl; Tobias Nipkow
Cited in: 4 Publications (2016–2017)
Related Software: Isabelle/HOL; pGCL; MRMC; HOL; Zoo Probabilistic Systems; CAVA LTL Modelchecker; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

OreAlgebraicAnalysis

Software Authors:   Thomas Cluzeau; Christoph Koutschan
Cited in: 4 Publications (2017–2020)
Related Software: OreMorphisms; OreModules; NLControl; HolonomicFunctions; Macaulay2; SINGULAR; …
Main Fields: General and overarching topics; collections (00-XX); Dynamical systems and ergodic theory (37-XX); Calculus of variations and optimal control; optimization (49-XX)

ctime

Software Authors:   Schofield, Matthew R.; Barker, Richard J.; Gelling, Nicholas
Cited in: 3 Publications (2018–2022)
Related Software: R; Stan; Rcpp; JAGS
Main Fields: Statistics (62-XX)

CyPhySim

Software Authors:   Brooks, Christopher; Lee, Edward A.; Lorenzetti, David; Nouidui, Thierry S.; Wetter, Michael
Cited in: 3 Publications (2017–2020)
Related Software: SpaceEx; Meschach; DyverseRBT; ABsolver; dReach; CalCS; …
Main Fields: Ordinary differential equations (34-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)

dlyap

Software Authors:   MathWorks
Cited in: 3 Publications (2014–2018)
Related Software: Matlab
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)

DStree

Software Authors:   Peter Mayer, Denis Larocque, Matthias Schmid
Cited in: 2 Publications (2016–2018)
Related Software: rpart; R; lme4; mgcv; discSurv; Ecdat; …
Main Fields: Statistics (62-XX)

EpiILM

Software Authors:   Vineetha Warriyar. K. V.; Rob Deardon
Cited in: 0 Publications
Related Software: EpiILMCT; epinet; R; hergm; ergm; igraph; …
Main Fields:

HyDI

Software Authors:   Cimatti A, Mover S, Tonetta S
Cited in: 3 Publications (2013–2015)
Related Software: SpaceEx; MathSAT; HySAT; HyCreate; HYST; Charon; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

MDPtoolbox

Software Authors:   I. Chadès, G. Chapron, M. J. Cros, F. Garcia, R. Sabbadin
Cited in: 2 Publications (2017–2022)
Related Software: MARCA; HyperStar; Jphase; mdp; PRISM; JUnit; …
Main Fields: Probability theory and stochastic processes (60-XX); Operations research, mathematical programming (90-XX)

qwViz

Software Authors:   S. Berry, P. Bourke, J. Wang
Cited in: 2 Publications (2016–2021)
Related Software: QSWalk.m; pyCTQW; QWalk; QSWalk; LightGraphs.jl; PyPlot.jl; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

WPP

Software Authors:   Petersson N. A., Sjögreen B.; Lawrence Livermore National Laboratory
Cited in: 3 Publications (2009–2012)
Related Software: FK
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Geophysics (86-XX)

ANDy

Software Authors:   Franck Delaplace, Cinzia Di Giusto, Jean-Louis Giavitto, Hanna Klaudel
Cited in: 1 Publication (2018)
Related Software: Charlie; SNOOPY; SNAKES
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)

ARGON

Software Authors:   Pier Francesco Palamara
Cited in: 2 Publications (2018–2022)
Related Software: RZooRoH; BCFtools; PLINK; R
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Biology and other natural sciences (92-XX)

aster2

Software Authors:   Charles J. Geyer
Cited in: 2 Publications (2012–2020)
Related Software: envlpaster; aster; mcmc; potts; statnet; ergm
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Biology and other natural sciences (92-XX)

CEASE

Software Authors:   Amini, Amir; Asif, Amir; Mohammadi, Arash
Cited in: 2 Publications (2018–2021)
Related Software: Mosek; YALMIP
Main Fields: Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

hesim

Software Authors:   Devin Incerti; Jeroen P. Jansen
Cited in: 0 Publications
Related Software: heemod; R; BCEA; rjags; ggplot2; dampack; …
Main Fields:

MatcotM

Software Authors:   Naik, Parvaiz Ahmad; Eskandari, Zohreh; Yavuz, Mehmet; Zu, Jian
Cited in: 2 Publications (2022)
Related Software: MatContM
Main Fields: Ordinary differential equations (34-XX); Biology and other natural sciences (92-XX)

OpenDP

Software Authors:   Sylvain Gelly; Olivier Teytaud
Cited in: 2 Publications (2009–2014)
Related Software:
Main Fields: Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

ORACLS

Software Authors:   Armstrong, Ernest S.
Cited in: 2 Publications (1980–1985)
Related Software:
Main Fields: Numerical analysis (65-XX); Mechanics of particles and systems (70-XX); Systems theory; control (93-XX)

pgmhaz

Software Authors:   Stephen P. Jenkins
Cited in: 2 Publications (2008–2015)
Related Software: Stata; SAS/STAT; SAS
Main Fields: Statistics (62-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

ScenTrees.jl

Software Authors:   Kipngeno Kirui; Alois Pichler; Georg Ch. Pflug
Cited in: 1 Publication (2022)
Related Software: Julia
Main Fields: Probability theory and stochastic processes (60-XX); Operations research, mathematical programming (90-XX)

SMM

Software Authors:   Vlad Stefan Barbu, Caroline Berard, Dominique Cellier, Mathilde Sautreuil, Nicolas Vergne
Cited in: 0 Publications
Related Software: SemiMarkov; R; smmR; hsmm; mhsmm; mstate; …
Main Fields:

SND

Software Authors:   Chiarella, C.; Flaschel, P.; Khomin, A.; Zhu, P.
Cited in: 2 Publications (2003–2018)
Related Software:
Main Fields: Dynamical systems and ergodic theory (37-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

StochDynamicProgramming.jl

Software Authors:   Leclère V, Pacaud F, Rigaut T, Gerard H
Cited in: 1 Publication (2021)
Related Software: MSPPy; StructDualDynProg.jl; StOpt; SDDP; JuMP; QUASAR; …
Main Fields: Operations research, mathematical programming (90-XX)

TaLiRo

Software Authors:   Fainekos, G.E., Pappas, G.J.
Cited in: 2 Publications (2009–2011)
Related Software: Breach; S-TaLiRo; StateFlow; Matlab
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

TIRA

Software Authors:   Meyer, Pierre-Jean; Devonport, Alex; Arcak, Murat
Cited in: 2 Publications (2019–2021)
Related Software: SCOTS; Flow*; PESSOA; SpaceEx; Ellipsoidal Toolbox; Matlab
Main Fields: Computer science (68-XX); Systems theory; control (93-XX)

WebSPN

Software Authors:   Horváth, Andras; Puliafito, Antonio; Scarpa, Marco; Telek, Miklós; Tomarchio, Orazio
Cited in: 2 Publications (1998–2000)
Related Software: ESP; TimeNET
Main Fields: Computer science (68-XX)

Algorithm 900

Software Authors:   Torres, Germán A.
Cited in: 1 Publication (2010)
Related Software: STSA; PALM; Bayes++; BFL; KALMTOOL; ESMF
Main Fields: Numerical analysis (65-XX)

BondSim

Software Authors:   BondSimulation; Damić, Vjekoslav; Montgomery, John
Cited in: 1 Publication (2017)
Related Software: BondLib; OpenModelica; VTK
Main Fields: General and overarching topics; collections (00-XX); Combinatorics (05-XX); Systems theory; control (93-XX)

BP_Engine

Software Authors:   Atanasov, Dimitar; Stoimenova, Vessela
Cited in: 1 Publication (2013)
Related Software: Matlab
Main Fields: Probability theory and stochastic processes (60-XX)

Cauchy Solver

Software Authors:   Bulgak, Ayşe; Eminov, Diliaver
Cited in: 1 Publication (2003)
Related Software:
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mathematics education (97-XX)

DARS

Software Authors:   Stefanovski, Jovan
Cited in: 1 Publication (2011)
Related Software:
Main Fields: Systems theory; control (93-XX)

Eir

Software Authors:   Mathew Jacob
Cited in: 0 Publications
Related Software: EpiModel; EoN; Python
Main Fields:

epiPOMS

Software Authors:   Touloupou, P.; Spencer, S. E. F.
Cited in: 1 Publication (2020)
Related Software: epiABC; R
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

FINANCE5

Software Authors:   Jaeger, Peter
Cited in: 1 Publication (2017)
Related Software: Mizar
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

fixedTimeEvents

Software Authors:   Kristian Hovde Liland, Lars Snipen
Cited in: 0 Publications
Related Software: R; SoftwareX
Main Fields:

GDSCalc

Software Authors:   S.H.E. Abdelhamid, C.J. Kuhlman, M.V. Marathe, H.S. Mortveit, S.S. Ravi
Cited in: 1 Publication (2019)
Related Software: TURING; CoCalc; BooleSim; Docker; Ginsim; BoolNet; …
Main Fields: Biology and other natural sciences (92-XX)

GLMMarp

Software Authors:   Xun Pang
Cited in: 1 Publication (2013)
Related Software: gamm4; glmmAK; glmmBUGS; heavy; lmec; lmm; …
Main Fields: Statistics (62-XX)

ISRO

Software Authors:   Dewanji, Anup; Sengupta, Debasis; Chakraborty, Ashis Kumar
Cited in: 1 Publication (2011)
Related Software:
Main Fields: Probability theory and stochastic processes (60-XX); Operations research, mathematical programming (90-XX)

ITTSAE

Software Authors:   Diaz, Jose Manuel; Dormido, Sebastian; Rivera, Daniel E.
Cited in: 1 Publication (2016)
Related Software: SYSQUAKE
Main Fields: Statistics (62-XX); Mathematics education (97-XX)

lqmix

Software Authors:   Maria Francesca Marino, Marco Alfo, Nicola Salvati, Maria Giovanna Ranalli
Cited in: 0 Publications
Related Software: rqpd; R; quantreg; npmlreg; LMest; lqmm; …
Main Fields:

MinimalRealization

Software Authors:   Adukov, V.M.; Fadeeva, A.S.
Cited in: 1 Publication (2014)
Related Software: Maple
Main Fields: Systems theory; control (93-XX)

MpTheory

Software Authors:   Luca Marchetti, Vincenzo Manca
Cited in: 1 Publication (2019)
Related Software: MP-GeneticSynth
Main Fields: Computer science (68-XX)

Multitaper.jl

Software Authors:   Charlotte L Haley; Christopher J Geoga
Cited in: 0 Publications
Related Software: jLab; multitaper; pymutt; Julia
Main Fields:

OptimalAdvertising

Software Authors:   Adukov, V.M.; Adukova, N.V.; Kudryavtsev, K.N.
Cited in: 1 Publication (2015)
Related Software: Maple
Main Fields: Operations research, mathematical programming (90-XX)

ProcessWithExpACF

Software Authors:   D.Bykhovsky
Cited in: 0 Publications
Related Software: SDETools; Mathematica
Main Fields:

ptdalgorithms

Software Authors:   Røikjer, Tobias; Hobolth, Asger; Munch, Kasper
Cited in: 1 Publication (2022)
Related Software: PhaseTypeR; R; expm
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX)

PyDTS

Software Authors:   Tomer Meir, Rom Gutman, Malka Gorfine
Cited in: 0 Publications
Related Software: NumPy; pandas; SciPy; scikit-survival; lifelines; Statsmodels; …
Main Fields:

revTPL

Software Authors:   Bocchi, Laura; Lanese, Ivan; Mezzina, Claudio Antares; Yuen, Shoji
Cited in: 1 Publication (2022)
Related Software:
Main Fields: Computer science (68-XX)

smmR

Software Authors:   Vlad Stefan Barbu, Caroline Berard, Dominique Cellier, Florian Lecocq, Corentin Lothode, Mathilde Sautreuil, Nicolas Vergne
Cited in: 0 Publications
Related Software: SemiMarkov; SMM; hsmm; R; mhsmm
Main Fields: