Found 3 Software Packages (Results 1–3)


Software Authors:   Gheorghe, M., Ipate, F., Mierla, L., Konur, S.
Cited in: 4 Publications (2015–2021)
Related Software: CompCert; ProB; Rodin; Coq; GitHub; CuSNP; …
Main Fields: Computer science (68-XX)


Software Authors:   Stamatopoulou, Ioanna; Kefalas, Petros; Gheorghe, Marian
Cited in: 2 Publications (2009–2017)
Related Software: NetLogo
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)


Software Authors:   Kyowon Jeong, Sangtae Kim, Pavel A. Pevzner
Cited in: 1 Publication (2017)
Related Software: Comet
Main Fields: Biology and other natural sciences (92-XX)