×

Found 52 Software Packages (Results 1–52)

ELAN

Software Authors:   Peter Borovansky, Eric Deplagne, Claude Kirchner, Helene Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek
Cited in: 105 Publications (1996–2020)
Related Software: Maude; OBJ3; CafeOBJ; Stratego; Haskell; ATERM; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX)

4eMka2

Software Authors:   S.Greco, B.Matarazzo, R.Slowinski
Cited in: 52 Publications (1999–2022)
Related Software: LERS; M-MACBETH; VisualUTA; UTA Plus; JAMM; PREFDIS; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

FRIL

Software Authors:   Baldwin, J. F.; Martin, T. P.; Pilsworth, B. W.
Cited in: 37 Publications (1987–2020)
Related Software: Likelog; FPROLOG; XPath; XQuery; Ciao; Rfuzzy; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)

SINTEF

Software Authors:   Hasle, Geir (ed.); Lie, Knut-Andreas (ed.); Quak, Ewald (ed.)
Cited in: 37 Publications (2007–2022)
Related Software: Matlab; VRP; CPLEX; Cython; Plotly; Matplotlib; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

PariTOP

Software Authors:   Kettani, Ossama; Khelifi, Karim
Cited in: 30 Publications (2001–2018)
Related Software: LINDO; Tabu search; MOAPPS; PAGP; Hyperheuristics
Main Fields: History and biography (01-XX); Statistics (62-XX); Numerical analysis (65-XX)

Metagraphs

Software Authors:   Basu, Amit; Blanning, Robert W.
Cited in: 17 Publications (1994–2018)
Related Software: GAMS; Woflan; WSAT; AMPL; LPFORM; LINDO; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Computer science (68-XX)

IPSSIS

Software Authors:   Xidonas, Panagiotis; Mavrotas, George; Zopounidis, Constantin; Psarras, John
Cited in: 16 Publications (2011–2022)
Related Software: Python; Matplotlib; RiskMetrics; MOEA/D; Optimization Toolbox; MADM; …
Main Fields: Statistics (62-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

zk-SNARK

Software Authors:   Ben-Sasson, Eli; Chiesa, Alessandro; Tromer, Eran; Virza, Madars
Cited in: 15 Publications (2014–2022)
Related Software: Pinocchio; SNARKs for C; Marlin; ADSNARK; GitHub; Geppetto; …
Main Fields: Number theory (11-XX); Algebraic geometry (14-XX); Computer science (68-XX)

ISAAP

Software Authors:   Granat, Janusz; Makowski, Marek
Cited in: 10 Publications (2000–2017)
Related Software: TROTS; SPEA2; NETGEN; MCMA; GAMS; HOPDM; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

OMAC

Software Authors:   McKay, Kenneth N.; Kletter, David B.; Graves, Stephen C.
Cited in: 9 Publications (1997–2010)
Related Software:
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Information and communication theory, circuits (94-XX)

IMOST

Software Authors:   Lai, Young-Jou
Cited in: 8 Publications (1995–2009)
Related Software: LINGO
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

MONARC

Software Authors:   Ciprian Dobre; Corina Stratan
Cited in: 6 Publications (2001–2012)
Related Software: OptorSim; GridSim; GrADS; iperf; Giggle; Nimrod/G; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Operations research, mathematical programming (90-XX)

PSQL

Software Authors:   Dey, Debabrata; Sarkar, Sumit
Cited in: 4 Publications (1998–2005)
Related Software: ProbView; ProTDB
Main Fields: General and overarching topics; collections (00-XX); Number theory (11-XX); Computer science (68-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)

CloudGenius

Software Authors:   Menzel, Michael; Ranjan, Rajiv; Wang, Lizhe; Khan, Samee U.; Chen, Jinjun
Cited in: 2 Publications (2015–2019)
Related Software: Zephyrus2; CumulusGenius; OpenNebula; Sun Grid Engine; Amazon EC2; Hadoop; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

NeXCLass

Software Authors:   Rigopoulos, George; Askounis, Dimitrios Th.; Metaxiotis, Konstantinos
Cited in: 4 Publications (2010–2020)
Related Software: ELECTRE; UTA Plus; VIKOR; Rubis; IRIS; PREFDIS
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

PROMISE

Software Authors:   Lee, Won Jun; Lee, Kun Chang
Cited in: 4 Publications (1999–2008)
Related Software: Web-HIPRE; PETAPS; Visual Basic
Main Fields: Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

IFLP

Software Authors:   Lai, Y.; Hwang, C.
Cited in: 3 Publications (1995–2019)
Related Software: FPLP; PROBO; FLIP
Main Fields: Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

LMS evaluation

Software Authors:   Cavus, Nadire
Cited in: 2 Publications (2010–2014)
Related Software: FLINTSTONES
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

MOIRA

Software Authors:   Ríos Insua, D., Gallego, E., Mateos, A., Ríos-Insua, S., Monte, L., Brittain, J.E., Gallego, E., Håkanson, L., Hofman, D., Jiménez, A.
Cited in: 3 Publications (2000–2016)
Related Software: WINPRE; WINGDSS; VisualUTA; VISA; Visual Market/2; VIP Analysis; …
Main Fields: General and overarching topics; collections (00-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

ARGO-LIB

Software Authors:   Marić, Filip; Janičić, Predrag
Cited in: 2 Publications (2004)
Related Software: SMT-LIB; CVC
Main Fields: Computer science (68-XX)

DaProS

Software Authors:   Gallegos I, Gates A, Tweedie C
Cited in: 0 Publications
Related Software: MARTE; HERBY; UMLsec; SysML; Uppaal; NuSMV; …
Main Fields:

Elvira

Software Authors:   Andrés Cano
Cited in: 2 Publications (2008–2011)
Related Software: HUGIN; Netica; MSBNx; GeNIe; JavaBayes; Bayesia; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

FlexiMine

Software Authors:   Ben-Eliyahu-Zohary, R.; Domshlak, C.; Gudes, E.; Liusternik, N.; Meisels, A.; Rosen, T.; Shimony, S. E.
Cited in: 2 Publications (2003)
Related Software: NOEMON
Main Fields: Computer science (68-XX)

LibFinder

Software Authors:   Ali Ouni; Raula Gaikovina Kula; Marouane Kessentini; Takashi Ishio, Daniel M Germán; Katsuro Inoue
Cited in: 0 Publications
Related Software: LibRec; Libraries.io; word2vec; StanfordCoreNLP; Adam; Req2Lib; …
Main Fields:

MCMA

Software Authors:   Granat, Janusz; Makowski, Marek
Cited in: 2 Publications (1998–2000)
Related Software: ISAAP; GAMS; HOPDM
Main Fields: Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

MonALISA

Software Authors:   I. Legrand, H. Newman, R. Voicu, C. Cirstoiu, C. Grigoras, C. Dobre, A. Muraru, A. Costan, M. Dediu, C. Stratan
Cited in: 2 Publications (2009–2011)
Related Software: BlobSeer; NetLogger
Main Fields: Computer science (68-XX)

MUDD

Software Authors:   John M. Stephens; Meikel Poess
Cited in: 1 Publication (2019)
Related Software: Matlab; ToXgene; SynTReN; C4.5; BUGS; UCI-ml; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

OpenMarkov

Software Authors:   CISIAD
Cited in: 2 Publications (2015–2018)
Related Software: Libra; OpenGM; TETRAD; BNT; FastInf; LibDAI
Main Fields: Statistics (62-XX); Computer science (68-XX)

OpenMORDM

Software Authors:   Hadka D, Herman J, Reed P, Keller K.
Cited in: 1 Publication (2020)
Related Software: SALib; Exploratory Modeling Workbench; Python; Rhodium
Main Fields: Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

OrclassWeb

Software Authors:   Machado, Thais Cristina Sampaio; Pinheiro, Pl'acido Rogerio; Tamanini, Isabelle
Cited in: 1 Publication (2014)
Related Software: Isabelle
Main Fields: Statistics (62-XX); Operations research, mathematical programming (90-XX)

PETAPS

Software Authors:   Davis, Joseph G.; Sundaram, David
Cited in: 2 Publications (1995–2006)
Related Software: Web-HIPRE; PROMISE; Lotus 1-2-3
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

PriEsT

Software Authors:   Siraj, Sajid; Mikhailov, Ludmil; Keane, John A.
Cited in: 1 Publication (2015)
Related Software: Expert Choice; HIPRE 3+; BENSOLVE; M-MACBETH; DecideIT; FITradeoff; …
Main Fields: Operations research, mathematical programming (90-XX)

SINGRAR

Software Authors:   Simões-Marques, Mário J.; Pires, Fernando Jorge
Cited in: 1 Publication (2003)
Related Software:
Main Fields: Mathematical logic and foundations (03-XX); Operations research, mathematical programming (90-XX)

TPC Benchmark DS

Software Authors:   TPC
Cited in: 0 Publications
Related Software: MySQL; OptMark
Main Fields:

ALSE

Software Authors:   Elsheikh, R., Mohamed Shariff, A. R. B., Amiri, F., Ahmad, N. B., Balasundram, S. K., Soom, M. A. M.
Cited in: 0 Publications
Related Software: MicroLEIS; R; ALUES
Main Fields:

Bayesia

Software Authors:   Bayesia S.A.S.
Cited in: 1 Publication (2011)
Related Software: HUGIN; MSBNx; GeNIe; JavaBayes; Elvira; Netica; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

clpb

Software Authors:   Triska, Markus
Cited in: 1 Publication (2016)
Related Software: SWI-Prolog; SICStus; DIMACS; Prolog; SATO; Walksat; …
Main Fields: Computer science (68-XX)

cpsplines

Software Authors:   Navarro-García, Manuel; Guerrero, Vanesa; Durban, María
Cited in: 1 Publication (2023)
Related Software: Mosek; Python; SciPy
Main Fields: Statistics (62-XX); Operations research, mathematical programming (90-XX)

DOC-BRelax

Software Authors:   Sassi, N.; Salah, K. B.; Ghédira, K.
Cited in: 1 Publication (2018)
Related Software: sunny-cp; Essence; CUD@SAT; Lingeling; aspeed; HordeSat; …
Main Fields: Computer science (68-XX)

FlexibleQL

Software Authors:   Salajegheh, Afshin; Reza, Mohammad
Cited in: 1 Publication (2008)
Related Software:
Main Fields: Computer science (68-XX)

Group Decision Support System

Software Authors:   Prism Decision Systems, LLC
Cited in: 1 Publication (2016)
Related Software: WINPRE; WINGDSS; VisualUTA; VISA; Visual Market/2; VIP Analysis; …
Main Fields: General and overarching topics; collections (00-XX); Operations research, mathematical programming (90-XX)

HyperDB

Software Authors:   Kim, Tae-Kyung; Jung, Seung-Hyun; Kim, Kyoung-Ran; Yoo, Jae-Soo; Cho, Wan-Sup
Cited in: 1 Publication (2007)
Related Software:
Main Fields: Computer science (68-XX)

IMMUNE

Software Authors:   Efatmaneshnik, Mahmoud; Reidsema, Carl
Cited in: 1 Publication (2009)
Related Software: MetaMorph
Main Fields: Computer science (68-XX)

KNAML

Software Authors:   Streeter, Gordon; Potter, Andrew
Cited in: 1 Publication (2004)
Related Software:
Main Fields: Computer science (68-XX)

MABS

Software Authors:   De Reyck, Bert; Degraeve, Zeger
Cited in: 1 Publication (2006)
Related Software: Excel; LINGO; LINDO
Main Fields: Operations research, mathematical programming (90-XX)

MADP toolbox

Software Authors:   Oliehoek, Frans A.; Spaan, Matthijs T.J.; Terwijn, Bas; Robbel, Philipp; Messias, Jo~ao V.
Cited in: 1 Publication (2016)
Related Software:
Main Fields: Game theory, economics, finance, and other social and behavioral sciences (91-XX)

MicroLEIS

Software Authors:   De la Rosa, D., Mayol, F., Diaz-Pereira, E., Fernandez, M., de la Rosa, D.
Cited in: 0 Publications
Related Software: ALSE; R; ALUES
Main Fields:

Rhodium

Software Authors:   Hadjimichael, A., Gold, D., Hadka, D., Reed, P.
Cited in: 0 Publications
Related Software: SALib; Exploratory Modeling Workbench; OpenMORDM; Python
Main Fields:

SISYFE

Software Authors:   Fontaine, M., Gauyacq, D.
Cited in: 1 Publication (2009)
Related Software: DEMIURGE
Main Fields: Operations research, mathematical programming (90-XX)

VerSe

Software Authors:   Sekuboyina A et al.
Cited in: 0 Publications
Related Software: UNet++; U-Net; Elastix; batchgenerators
Main Fields: