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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

Software Authors:   AlTurki, M., Meseguer, J

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

Software Authors:   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)

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)

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)

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)

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)

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)

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)

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

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

Software Authors:   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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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

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

Software Authors:   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)

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)

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)

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)

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)

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)

Software Authors:   Muhammad Najib

Cited in:	4 Publications (2019–2021)
Related Software:	MCMAS; MCMAS-SLK; PRISM-games; EAGLE; PRALINE; MOCHA; …
Main Fields:	Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

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

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

Software Authors:   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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

Software Authors:   Nepomnyashchij, V.A.; Shilov, N.V.; Bodin, E.V.

Cited in:	1 Publication (1997)
Related Software:	–
Main Fields:	Computer science (68-XX)

Software Authors:   Ramin Nabati, Hairong Qi

Cited in:	0 Publications
Related Software:	VoxelNet; Pseudo-LiDAR++; FCOS; PointRCNN; YOLO; SSD; …
Main Fields:	–

Software Authors:   Taylor, C.C.; Zempléni, A.

Cited in:	1 Publication (2004)
Related Software:	–
Main Fields:	Statistics (62-XX)

Software Authors:   Jonathan F. Siegmund, Nicole Siegmund, Reik V. Donner

Cited in:	0 Publications
Related Software:	R; CRAN
Main Fields:	–

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)

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)

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)

Software Authors:   Mallet, Frédéric; Zholtkevych, Grygoriy

Cited in:	1 Publication (2015)
Related Software:	TimeSquare; CCSL
Main Fields:	Computer science (68-XX)

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)

Software Authors:   Bavendiek, Kai; Schupp, Sibylle

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

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)

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)

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)

Software Authors:   G"unay, Ak{i}n; Liu, Yang; Zhang, Jie

Cited in:	1 Publication (2016)
Related Software:	–
Main Fields:	Computer science (68-XX)

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)

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)

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:	–

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)

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)

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:	–

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)

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)

Software Authors:   Ruining He, Julian McAuley

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

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)