×

Found 4 Software Packages (Results 1–4)

CIL

Cited in 30 Documents (2002–2022)
Software Authors: Necula, G.C., McPeak, S., Rahul, S.P., Weimer, W.
Related Software: BLAST; CBMC; SLAM; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX); …

CIL

Cited in 1 Document (2022)
Software Authors: Jakob S. Jørgensen, Evelina Ametova, Genoveva Burca, Gemma Fardell, Evangelos Papoutsellis, Edoardo Pasca, Kris Thielemans, Martin Turner, Ryan Warr, William R. B. Lionheart, Philip J. Withers
Related Software: LSQR; SIRF; CCPi-Regularisation; …
Main Fields: Numerical analysis (65-XX)

CREST

Cited in 0 Documents
Software Authors: Burnim, J.
Related Software: DART; SPIN; CUTE; …
Main Fields:

MoonWalker

Cited in 0 Documents
Software Authors: Aan de Brugh, N.H.M., Nguyen, V.Y., Ruys, T.C.
Related Software: StEAM; SatAbs; Orion; …
Main Fields:

Filter Results by …

all top 5

Related Software

all top 3

Main Field