kPWorkbench 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)
OPERAS 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)
UniNovo 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)