×

Found 18 Software Packages (Results 1–18)

LOTOS

Software Authors:   Bolognesi, T., Brinksma, E.
Cited in: 131 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)

AntNet

Software Authors:   Di Caro, G.; Dorigo, M.
Cited in: 48 Publications (1998–2015)
Related Software: AntHocNet; MACS-VRPTW; HAS-SOP; Tabu search; HAS-QAP; ns-2; …
Main Fields: History and biography (01-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

VIFF

Software Authors:   Damgård, Ivan; Geisler, Martin; Krøigaard, Mikkel; Nielsen, Jesper Buus
Cited in: 14 Publications (2009–2022)
Related Software: Sharemind; FairplayMP; TASTY; VMCrypt; fhe; MP-SPDZ; …
Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Information and communication theory, circuits (94-XX)

SSC2

Software Authors:   Zhang, Muxiang; Carroll, Christopher; Chan, Agnes
Cited in: 9 Publications (2000–2011)
Related Software: Grain
Main Fields: Statistics (62-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

Atropos

Software Authors:   Stephen F. Bush; Amit Kulkarn
Cited in: 2 Publications (2004–2010)
Related Software: PLAN
Main Fields: Computer science (68-XX)

APFELgrid

Software Authors:   Valerio Bertone, Stefano Carrazza, Nathan P. Hartland
Cited in: 1 Publication (2018)
Related Software: MadGraph; SHERPA; mcfm; NLOJet++; HATHOR; ManeParse; …
Main Fields: Quantum theory (81-XX)

BSPonMPI

Software Authors:   Wijnand J. Suijlen; Rob H. Bisseling
Cited in: 3 Publications (2004–2022)
Related Software: BSPedupack; MulticoreBSP; GitHub; AllDifferent; Gecode; BSP; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

MultiUAV

Software Authors:   Rasmussen, Steven
Cited in: 3 Publications (2004–2010)
Related Software: Simulink; Matlab; Xplane
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)

FLAR

Software Authors:   Mirabedini, Seyed Javad; Teshnehlab, Mohammad; Shenasa, Mohammad Hassan; Rahmani, Amir Masoud
Cited in: 2 Publications (2008)
Related Software: AntHocNet; AntNet
Main Fields: Operations research, mathematical programming (90-XX); Systems theory; control (93-XX); Information and communication theory, circuits (94-XX)

APINetworks

Software Authors:   Alfonso Niño, Camelia Muñoz-Caro, Sebastián Reyes
Cited in: 0 Publications
Related Software: FSBAllocator; NetworkX; Pajek; Cytoscape; Gephi; Tulip
Main Fields:

EasyMSG

Software Authors:   Havé, Pascal
Cited in: 1 Publication (2002)
Related Software: POOMA; PETSc
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

LinkGrammar-WN

Software Authors:   Elliot Turner; Szolovits, P
Cited in: 0 Publications
Related Software: GENIA corpus; GENETAG; ABNER; iHOP; MedScan; ProMiner
Main Fields:

Q-SCA

Software Authors:   Lee, Jaesoo; Kim, Saehwa; Park, Jiyong; Hong, Seongsoo
Cited in: 1 Publication (2006)
Related Software:
Main Fields: Computer science (68-XX)

symPACK

Software Authors:   Mathias Jacquelin, Yili Zheng, Esmond Ng, Katherine Yelick
Cited in: 0 Publications
Related Software: GASNet; UPC++; PaStiX; SuperLU; SuperLU-DIST; Scotch; …
Main Fields:

WaveComBox

Software Authors:   François Rottenberg; Mathieu Van Eeckhaute; François Horlin; Jérôme Louveaux
Cited in: 0 Publications
Related Software: Matlab
Main Fields:

AudiTEE

Software Authors:   Zhufeng Ye, Zhenghao Wu, Xianglan Tian
Cited in: 0 Publications
Related Software:
Main Fields:

Formulax

Software Authors:   mweyland
Cited in: 0 Publications
Related Software:
Main Fields:

Schifra

Software Authors:   Arash Partow
Cited in: 0 Publications
Related Software:
Main Fields: