BETA Software Authors: Bent Bruun Kristensen, Ole Lehrmann Madsen, Birger Møller-Pedersen, Kristen Nygaard Cited in: 21 Publications (1985–2016) Related Software: Eiffel; Simula 67; Smalltalk; BetaSim; PolyTOIL; Featherweight Java; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
SCOTS Software Authors: Rungger, Matthias; Zamani, Majid Cited in: 22 Publications (2016–2022) Related Software: PESSOA; CoSyma; TuLiP; Sostools; ROCS; FAUST2; … Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)
FAUST2 Software Authors: S. Esmaeil Zadeh Soudjani, C. Gevaerts, A. Abate Cited in: 16 Publications (2017–2022) Related Software: StocHy; PRISM; SReachTools; AMYTISS; Sostools; SCOTS; … Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
YADE Software Authors: Kozicki, J.; Donzé, F.V. Cited in: 13 Publications (2008–2022) Related Software: LIGGGHTS; OpenFOAM; Matlab; QGLViewer; PowerFLOW; OpenLB; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of deformable solids (74-XX)
CoSyma Software Authors: Mouelhi, Sebti; Girard, Antoine; Gössler, Gregor Cited in: 12 Publications (2015–2022) Related Software: SCOTS; PESSOA; TuLiP; ROCS; pFaces; pypoman; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)
StocHy Software Authors: Nathalie Cauchi, Kurt Degiorgio, Alessandro Abate Cited in: 8 Publications (2019–2023) Related Software: FAUST2; AMYTISS; ProbReach; PRISM; SCOTS; SReach; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-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)
Nettle Software Authors: A. Voellmy, A. Agarwal, P. Hudak Cited in: 3 Publications (2017–2021) Related Software: Frenetic; NetKAT; AProVE; SDN-SafeCheck; Maude; SDSNM; … Main Fields: Computer science (68-XX)
VeriSIMPL Software Authors: Adzkiya, Dieky; Zhang, Yining; Abate, Alessandro Cited in: 3 Publications (2015–2018) Related Software: Algorithm 97; opaal; Ellipsoidal Toolbox; MPT; FaPAS; Maxplus; … Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Systems theory; control (93-XX)
BetaSim Software Authors: Kreutzer, Wolfgang; Østerbye, Kasper Cited in: 3 Publications (1998–2016) Related Software: BETA; Diogenes Main Fields: Computer science (68-XX)
pFaces Software Authors: Khaled, Mahmoud; Zamani, Majid Cited in: 3 Publications (2019–2020) Related Software: ROCS; SCOTS; CoSyma; AMYTISS; StocHy; SReachTools; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)