×

Found 80 Software Packages (Results 1–80)

PRISM

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

PDDL

Software Authors:   Fox, M.; Long, D.; Ghallab, M., Howe, A., Knoblock, C., McDermott, D., Ram, A., Veloso, M., Weld, D., Wilkins, D.
Cited in: 92 Publications (2000–2022)
Related Software: Graphplan; Walksat; SAPA; MiniSat; UCPOP; LPG; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

SLMC

Software Authors:   Hugo Vieira; Luís Caires
Cited in: 72 Publications (2003–2022)
Related Software: PIPER; PRISM; KLAIM; Maude; Uppaal; BlenX; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

CHomP

Software Authors:   http://chomp.rutgers.edu/People.html
Cited in: 53 Publications (2006–2023)
Related Software: GAP; CAPD; Perseus; RedHom; Kenzo; Homology; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Algebraic topology (55-XX); Manifolds and cell complexes (57-XX)

BIOCHAM

Software Authors:   Chabrier, N., Fages, F., Soliman, S.
Cited in: 45 Publications (2005–2022)
Related Software: Bio-PEPA; PRISM; PEPA; BioNetGen; LBS; GNA; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

ROMS

Software Authors:   Haidvogel, D. B.; Arango, H.; Budgell, W. P.; Cornuelle, B. D.; Curchitser, E.; Di Lorenzo, E.; Fennel, K.; Geyer, W. R.; Hermann, A. J.; Lanerolle, L.; Levin, J.; McWilliams, J. C.; Miller, A. J.; Moore, A. M.; Powell, T. M.; Shchepetkin, A. F.; Sherwood, C. R.; Signell, R. P.; Warner, J. C.; Wilkin, J.
Cited in: 40 Publications (2008–2022)
Related Software: L-BFGS; EnKF; MPAS-Ocean; MIKE; SWAN; UTV; …
Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-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)

Cadence SMV

Software Authors:   McMillan K L.
Cited in: 22 Publications (2000–2018)
Related Software: NuSMV; SPIN; SPOT; LTL2BA; VIS; CESAR; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Systems theory; control (93-XX)

LTSmin

Software Authors:   Alfons Laarman; Jaco van de Pol; Michael Weber; Stefan Blom
Cited in: 20 Publications (2011–2022)
Related Software: SPIN; DiVinE; Uppaal; NuSMV; CADP; mCRL2; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

PESSOA

Software Authors:   Roy, Pritam; Tabuada, Paulo; Majumdar, Rupak
Cited in: 20 Publications (2011–2022)
Related Software: SCOTS; CoSyma; TuLiP; Matlab; LTLMoP; ROCS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-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)

VIS

Software Authors:   Brayton, R.K., et al.
Cited in: 10 Publications (2005–2015)
Related Software: NuSMV; SPIN; HyTech; LTL2BA; SPOT; CESAR; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-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)

AMT

Software Authors:   D. Nickovic, O. Maler
Cited in: 12 Publications (2008–2018)
Related Software: Uppaal; SpaceEx; PRISM; Breach; Matlab; PPL; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

RoVerGeNe

Software Authors:   Grégory Batt; Calin Belta
Cited in: 13 Publications (2007–2019)
Related Software: RAMAS; BIOCHAM; DiVinE; PRISM; GNA; HyTech; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

SMV

Software Authors:   Ed Clarke; K. L. McMillan; E. A. Emerson; J. R. Burch
Cited in: 13 Publications (1986–2018)
Related Software: HyTech; PHAVer; SPIN; HSolver; RSOLVER; MATISSE; …
Main Fields: Ordinary differential equations (34-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX)

APNN-Toolbox

Software Authors:   Peter Buchholz; Markus Fischer; Peter Kemper; Carsten Tepper
Cited in: 11 Publications (1999–2018)
Related Software: LDQBD; PEPS; COLAMD; PEPA; StochKit; GTAEXPRESS; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)

MAVEN

Software Authors:   Goldman, Max; Katz, Emilia; Katz, Shmuel
Cited in: 9 Publications (2007–2013)
Related Software: ProMoVer; CVPP; Aspectual Caml; PolyAML; Moped; Sawja; …
Main Fields: 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)

Temporal_Eigenvector_Centrality

Software Authors:   Taylor, Dane; Myers, Sean A.; Clauset, Aaron; Porter, Mason A.; Mucha, Peter J.
Cited in: 10 Publications (2016–2021)
Related Software: GenLouvain; RolX; Mathematics Genealogy Project; SNAP; Supracentrality; Basemap; …
Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Ordinary differential equations (34-XX)

TLAPS

Software Authors:   Lamport, L
Cited in: 10 Publications (1999–2021)
Related Software: SPIN; FOOL; Satallax; STeP; LaTeX; Mizar; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

TLPVS

Software Authors:   Pnueli, Amir; Arons, Tamarah
Cited in: 8 Publications (2003–2011)
Related Software: PVS; SPIN; MAGIC; SatAbs; Bebop; Java PathFinder; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Bubbles

Software Authors:   Aapo Hyvärinen; Jarmo Hurri; Jaakko Väyrynen
Cited in: 8 Publications (2005–2014)
Related Software: LIBSVM; MNIST; sfa; R; JPEG2000
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Biology and other natural sciences (92-XX)

MARCIE

Software Authors:   Heiner, Monika; Rohr, Christian; Schwarick, Martin
Cited in: 5 Publications (2013–2017)
Related Software: PRISM; SABRE; CADP; SPIN; MRMC; Bio-PEPA; …
Main Fields: Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); Computer science (68-XX)

BioShape

Software Authors:   Buti, F.; Cacciagrano, D.; Corradini, F.; Merelli, E.; Tesei, L.; Pani, M.
Cited in: 4 Publications (2010–2014)
Related Software: Bio-PEPA; BioNetGen; BioAmbient Machine; PathSim; PEPA; StochKit; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)

LARVA

Software Authors:   Colombo C, Pace GJ, Schneider G
Cited in: 6 Publications (2012–2022)
Related Software: Scribble; Uppaal; VeriFast; JML; CC-Pi; Timed Conversation; …
Main Fields: Computer science (68-XX)

Perracotta

Software Authors:   Yang, J., Evans, D., Bhardwaj, D., Bhat, T., Das, M.
Cited in: 5 Publications (2008–2021)
Related Software: SMArTIC; PR-Miner; Texada; PPTLMiner; Antichains; ADABU; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

RGITL

Software Authors:   Schellhorn, Gerhard; Tofan, Bogdan; Ernst, Gidon; Pf"ahler, Jörg; Reif, Wolfgang
Cited in: 7 Publications (2014–2022)
Related Software: SPIN; KIV; CIRC; CPAchecker; HolBA; SeaHorn; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

xtscc

Software Authors:   Daniel Hoechle
Cited in: 6 Publications (2012–2015)
Related Software: Stata; xtserial; XTCSD; Z-Tree
Main Fields: Statistics (62-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

NMRDPP

Software Authors:   Thiebaux, S.; Gretton, C.; Slaney, J.; Price, D.; Kabanza, F.
Cited in: 6 Publications (2006–2021)
Related Software: Graphplan; GitHub; MONA; PRISM; FluCaP; FODD-Planner; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

QuantGAN

Software Authors:   Magnus Wiese, Robert Knobloch, Ralf Korn, Peter Kretschmer
Cited in: 6 Publications (2020–2022)
Related Software: Adam; Wasserstein GAN; POT; AdaGAN; Grad-CAM; Tensor2Tensor; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)

ByteNet

Software Authors:   Nal Kalchbrenner, Lasse Espeholt, Karen Simonyan, Aaron van den Oord, Alex Graves, Koray Kavukcuoglu
Cited in: 4 Publications (2017–2022)
Related Software: WaveNet; Adam; Tensor2Tensor; Xception; ImageNet; ConvS2S; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Mechanics of deformable solids (74-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)

MC2

Software Authors:   Robin Donaldson
Cited in: 4 Publications (2010–2017)
Related Software: PRISM; Ymer; MRMC; COSMOS; MARCIE; Gecode; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

TURTLE-P

Software Authors:   Apvrille, Ludovic; De Saqui-Sannes, Pierre; Khendek, Ferhat
Cited in: 2 Publications (2003–2006)
Related Software: Uppaal; Kronos; TAXYS; TINA; TTool
Main Fields: Computer science (68-XX)

VERIFAS

Software Authors:   Yuliang Li, Alin Deutsch, Victor Vianu
Cited in: 4 Publications (2019–2021)
Related Software: Cubicle; Mcmt; Booster; SAFARI; ASASP; Yices; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

VMC

Software Authors:   ter Beek, Maurice H.; Mazzanti, Franco; Sulova, Aldi
Cited in: 4 Publications (2015–2019)
Related Software: MSTA; DeltaCCS; MIO Workbench; Motras; Sat4j; MultiVeStA; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

AsmetaSMV

Software Authors:   Arcaini, P., Gargantini, A., Riccobene, E.
Cited in: 2 Publications (2016–2021)
Related Software: CoMA; NuSMV; ASMETA; Maude; SPIN; COWS; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CARTOOL

Software Authors:   Brunet D, Murray MM, Michel CM
Cited in: 1 Publication (2019)
Related Software: TMSEEG; Connectome Mapper; BrainNet Viewer; GraphVar; eConnectome; Gephi; …
Main Fields: Biology and other natural sciences (92-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)

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)

MoMo

Software Authors:   De Nicola, Rocco; Loreti, Michele
Cited in: 4 Publications (2005–2014)
Related Software: KLAIM; SLMC; COPASI; Casaal; ULM; MRMC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

ProMoVer

Software Authors:   Soleimanifard, Siavash; Gurov, Dilian; Huisman, Marieke
Cited in: 4 Publications (2011–2016)
Related Software: MAVEN; DeltaCCS; MSTA; VMC; MultiVeStA; CPAchecker; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

dyngraph2vec

Software Authors:   Palash Goyal, Sujit Rokka Chhetri, Arquimedes Canedo
Cited in: 3 Publications (2020–2021)
Related Software: DynGEM; DeepWalk; node2vec; PyTorch; word2vec; DGL; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)

J-LO

Software Authors:   Eric Bodden; Volker Stolz
Cited in: 3 Publications (2009–2012)
Related Software: Java-MOP; DaCapo; AspectJ; PQL; Clara; Java-MaC; …
Main Fields: Computer science (68-XX)

NAT2TEST

Software Authors:   Carvalho G, Barros F, Carvalho A, Cavalcanti A, Mota A, Sampaio A
Cited in: 3 Publications (2016–2018)
Related Software: Boogie; contractLarva; DeltaEcore; DarwinSPL; SCEst; SCCharts; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Systems theory; control (93-XX)

Petri-PDL

Software Authors:   Braga, Christiano; Lopes, Bruno
Cited in: 3 Publications (2016–2018)
Related Software: Maude
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Texada

Software Authors:   C. Lemieux, D. Park, I. Beschastnikh
Cited in: 3 Publications (2021–2022)
Related Software: PPTLMiner; PPTL_SPIN; Perracotta; C4.5
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

TimeML

Software Authors:   Ingria, B., Pustejovsky, J.
Cited in: 3 Publications (2014–2020)
Related Software: C4.5; WEKA; LIBLINEAR; LIBSVM; ClearTK; Pyomo; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

VerX

Software Authors:   Permenev, A., Dimitrov, D., Tsankov, P., Drachsler-Cohen, D., Vechev, M.
Cited in: 3 Publications (2021–2022)
Related Software: solc-verify; Manticore; SeaHorn; DeepSEA; ABCL; ABS; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX)

p2b

Software Authors:   Baldamus, Michael; Schr"oder-Babo, Jochen
Cited in: 2 Publications (2001–2010)
Related Software: PROMELA; SPIN; ETCH; Haskell; ML; SMV
Main Fields: Computer science (68-XX)

PPTL_SPIN

Software Authors:   Zhang, Xiaoming; Duan, Zhenhua; Tian, Cong
Cited in: 2 Publications (2016–2022)
Related Software: Texada; PPTLMiner; SPIN
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ProbDiVinE

Software Authors:   Barnat, J.; Brim, L.; Cerna, I.; Ceska, M.; Tumova, J.
Cited in: 2 Publications (2014–2018)
Related Software: PRISM; Rabinizer; Rapture; PARAM; PASS; LiQuor; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX)

Sparkle-T

Software Authors:   Tejfel, Máté; Horváth, Zoltán; Kozsik, Tamás
Cited in: 2 Publications (2006–2009)
Related Software: Sparkle; CLEAN
Main Fields: Computer science (68-XX)

ARbiascorrect

Software Authors:   Sørbye, Sigrunn H.; Nicolau, Pedro G.; Rue, Håvard
Cited in: 1 Publication (2022)
Related Software: FitAR; BootPR; itsmr; astsa; fGarch; RMetrics; …
Main Fields: Statistics (62-XX)

Basic-REAL

Software Authors:   Nepomnyashchij, V.A.; Shilov, N.V.; Bodin, E.V.
Cited in: 1 Publication (1997)
Related Software:
Main Fields: Computer science (68-XX)

CenterFusion

Software Authors:   Ramin Nabati, Hairong Qi
Cited in: 0 Publications
Related Software: VoxelNet; Pseudo-LiDAR++; FCOS; PointRCNN; YOLO; SSD; …
Main Fields:

Chain plot

Software Authors:   Taylor, C.C.; Zempléni, A.
Cited in: 1 Publication (2004)
Related Software:
Main Fields: Statistics (62-XX)

CoinCalc

Software Authors:   Jonathan F. Siegmund, Nicole Siegmund, Reik V. Donner
Cited in: 0 Publications
Related Software: R; CRAN
Main Fields:

Dixit

Software Authors:   Fejoz L, Méry D, Merz S
Cited in: 1 Publication (2007)
Related Software: CVC Lite; Uppaal; SLAM; Kronos
Main Fields: Computer science (68-XX)

Dynamic Architectures

Software Authors:   Diego Marmsoler
Cited in: 1 Publication (2019)
Related Software: Reo; Architectural_Design_Patterns; FACTum; Archive Formal Proofs; Coinductive; Xtext; …
Main Fields: Computer science (68-XX)

ENuSMV

Software Authors:   Wang, Rui; Liu, Wanwei; Li, Tun; Mao, Xiaoguang; Wang, Ji
Cited in: 1 Publication (2013)
Related Software: NuSMV
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

GenCCSL

Software Authors:   Mallet, Frédéric; Zholtkevych, Grygoriy
Cited in: 1 Publication (2015)
Related Software: TimeSquare; CCSL
Main Fields: Computer science (68-XX)

Grade/CPN

Software Authors:   Westergaard, Michael; Fahland, Dirk; Stahl, Christian
Cited in: 1 Publication (2013)
Related Software: JUnit
Main Fields: Computer science (68-XX); Mathematics education (97-XX)

LP3Verif

Software Authors:   Bavendiek, Kai; Schupp, Sibylle
Cited in: 1 Publication (2022)
Related Software: SpaceTwist; LocLok; MaPIR; Casper*; CVC4
Main Fields: Computer science (68-XX)

MFDFA

Software Authors:   Leonardo Rydin Gorjão, Galib Hassan, Jürgen Kurths, Dirk Witthaut
Cited in: 1 Publication (2022)
Related Software:
Main Fields: Measure and integration (28-XX); Dynamical systems and ergodic theory (37-XX); Statistics (62-XX)

ODsplines

Software Authors:   Wang, Jiali; Verbyla, Arūnas P.; Jiang, Bomin; Zwart, Alexander B.; Ong, Cheng Soon; Sirault, Xavier R. R.; Verbyla, Klara L.
Cited in: 1 Publication (2020)
Related Software: GitHub; dfoptim; fda (R); R
Main Fields: Statistics (62-XX); Numerical analysis (65-XX)

PLSMC

Software Authors:   Pang, Tao; Duan, Zhenhua; Liu, Xiaofang
Cited in: 1 Publication (2015)
Related Software: CUDD; NuSMV
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ProMoca

Software Authors:   G"unay, Ak{i}n; Liu, Yang; Zhang, Jie
Cited in: 1 Publication (2016)
Related Software:
Main Fields: Computer science (68-XX)

QuIt

Software Authors:   Gleiss, Bernhard; Kovács, Laura; Robillard, Simon
Cited in: 1 Publication (2018)
Related Software: VAMPIRE; InvGen; CVC4; z3; TPTP; SMT-LIB
Main Fields: Computer science (68-XX)

Rast

Software Authors:   Das, Ankush; Pfenning, Frank
Cited in: 1 Publication (2022)
Related Software:
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

SCREAM

Software Authors:   Rowland J.C., Shelef E., Pope P.A., Muss J., Gangodagamage C., Brumby S.P., et al.
Cited in: 0 Publications
Related Software: Bedforms-ATM; RVR Meander; PyRIS; Matlab; MStaT; RivWidthCloud; …
Main Fields:

Speckle2Void

Software Authors:   Andrea Bordone Molini, Diego Valsesia, Giulia Fracastoro, Enrico Magli
Cited in: 1 Publication (2022)
Related Software: SAR2SAR; DnCNN; NL-SAR; UNLocBoX
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

Stuttering Equivalence

Software Authors:   Stephan Merz
Cited in: 1 Publication (2018)
Related Software: Imperative Refinement; Gabow SCC; CAVA LTL Modelchecker; Archive Formal Proofs; Collections; CAVA; …
Main Fields: Computer science (68-XX)

Timbre Toolbox

Software Authors:   Peeters G., Giordano B., Susini P., Misdariis N., Mcadams S.
Cited in: 0 Publications
Related Software: MLxtend; NumPy; hctsa; tsfresh; cesium; FATS; …
Main Fields:

Tip

Software Authors:   Sorensson N, Claessen K.
Cited in: 1 Publication (2016)
Related Software: nuXmv; CTIGAR; GitHub; JKind; Kind 2; PKind; …
Main Fields: Computer science (68-XX)

TXP

Software Authors:   Dudani, S., Geada, J., Jakacki, G., Vainer, D.
Cited in: 1 Publication (2005)
Related Software: Java-MaC; LTL2BA; SPIN
Main Fields: Computer science (68-XX)

VBPR

Software Authors:   Ruining He, Julian McAuley
Cited in: 0 Publications
Related Software: Spotlight; Cornac; recommenderlab; Surprise; OpenRec; LibRec; …
Main Fields: Computer science (68-XX)

VistaLab

Software Authors:   Malo J, Gutierrez J.
Cited in: 1 Publication (2020)
Related Software: ColorLab; PerceptNet; ITE
Main Fields: Game theory, economics, finance, and other social and behavioral sciences (91-XX); Biology and other natural sciences (92-XX)