×

Found 4 Software Packages (Results 1–4)

DEECO

Software Authors:   Bures, T., Gerostathopoulos, I., Hnetynka, P., Keznikl, J., Kit, M., Plasil, F.
Referenced in: 4 Publications (2014–2019)
Related Software: Helena; SCEL; ReSpecT; Apache Spark; TAG; Featherweight Java; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

AVOCLOUDY

Software Authors:   Stefano Sebastio, Michele Amoretti, Alberto Lluch-Lafuente
Referenced in: 2 Publications (2017)
Related Software: BOINC; CVX; CPLEX; AMPL; Gurobi; Pregel
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

cvxEDA

Software Authors:   Greco A., Valenza G., Lanata A., Scilingo E.P., Citi L.
Referenced in: 0 Publications
Related Software: Physiolyze; gHRV; Ledalab; SCRalyze; Kubios HRV; PyEEG; …
Main Fields:

mARGOt

Software Authors:   Gadioli, Davide; Vitali, Emanuele; Palermo, Gianluca; Silvano, Cristina
Referenced in: 1 Publication (2019)
Related Software: PAPI; Multicube Explorer; SiblingRivalry; Green; SAGE; ADAPT; …
Main Fields: Computer science (68-XX)