×

Found 18 Software Packages (Results 1–18)

LOTOS

Cited in 135 Documents (1988–2023)
Software Authors: Bolognesi, T., Brinksma, E.
Related Software: CADP; SPIN; Uppaal; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); …

AntNet

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

VIFF

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

SSC2

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

Atropos

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

APFELgrid

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

BSPonMPI

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

MultiUAV

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

FLAR

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

symPACK

Cited in 1 Document (2018)
Software Authors: Mathias Jacquelin, Yili Zheng, Esmond Ng, Katherine Yelick
Related Software: ScaLAPACK; FLEUR; GAUSSIAN; …
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)

APINetworks

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

EasyMSG

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

LinkGrammar-WN

Cited in 0 Documents
Software Authors: Elliot Turner; Szolovits, P
Related Software: GENIA corpus; GENETAG; ABNER; …
Main Fields:

Q-SCA

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

WaveComBox

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

AudiTEE

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

Formulax

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

Schifra

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

Filter Results by …

all top 5

Related Software

all top 3

Main Field