CUReT Software Authors: K.J. Dana, B. Van-Ginneken, S.K. Nayar, J.J. Koenderink Cited in: 28 Publications (2001–2020) Related Software: Outex; SIFT; EMD; LIBSVM; PASCAL VOC; BSDS; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
IMITATOR Software Authors: André, Étienne Cited in: 32 Publications (1996–2022) Related Software: Uppaal; HyTech; PPL; PAT; TREX; VINAS-P; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)
Breach Software Authors: Alexandre Donzé Cited in: 31 Publications (2011–2022) Related Software: S-TaLiRo; Flow*; SpaceEx; C2e2; Matlab; KeYmaera; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
PESSOA Software Authors: Roy, Pritam; Tabuada, Paulo; Majumdar, Rupak Cited in: 21 Publications (2011–2022) Related Software: SCOTS; CoSyma; TuLiP; Matlab; LTLMoP; ROCS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
ROLMIP Software Authors: Agulhari, C. M.; Oliveira, R. C. L.F.; Peres, P. L. D. Cited in: 20 Publications (2016–2022) Related Software: YALMIP; Mosek; SeDuMi; Sostools; SeDuMi Interface; SOSOPT; … Main Fields: Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)
PROPhESY Software Authors: Dehnert, C., Junges, S., Jansen, N., Corzilius, F., Volk, M., Bruintjes, H., Katoen, J.-P., Ábrahám, E. Cited in: 15 Publications (2015–2022) Related Software: PRISM; Storm; PARAM; MRMC; PASS; Sylvan; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)
RoVerGeNe Software Authors: Grégory Batt; Calin Belta Cited in: 13 Publications (2007–2019) Related Software: RAMAS; BIOCHAM; DiVinE; PRISM; GNA; HyTech; … Main Fields: Dynamical systems and ergodic theory (37-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
LPVTools Software Authors: Hjartarson, A., Seiler, P.J., Packard, A. Cited in: 4 Publications (2020–2022) Related Software: GitHub; Mu Analysis and Synthesis Toolbox; SeDuMi; Sostools; LFR-toolbox; Mosek; … Main Fields: Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)
ROCS Software Authors: Li, Yinan; Liu, Jun Cited in: 5 Publications (2018–2021) Related Software: SCOTS; CoSyma; pFaces; TuLiP; PESSOA; CPAchecker; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
Sapo Software Authors: Dreossi T Cited in: 5 Publications (2017–2022) Related Software: Breach; dReach; Flow*; SpaceEx; HyTech; KeYmaera; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)
VERIFAI Software Authors: Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia Cited in: 3 Publications (2021) Related Software: Reluplex; NNV; Marabou; MNIST; SqueezeDet; Easychair; … Main Fields: Computer science (68-XX)
PRISM-PSY Software Authors: Češka, M., Pilař, P., Paoletti, N., Brim, L., Kwiatkowska, M. Cited in: 3 Publications (2018) Related Software: PRISM; PROPhESY; Python; Numba; PPL; Uppaal; … Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)
NeST Software Authors: Dai, Xiaoliang; Yin, Hongxu; Jha, Niraj K. Cited in: 2 Publications (2019–2021) Related Software: ImageNet; AlexNet; MobileNets; WaveNet; Net2Net; Fashion-MNIST; … Main Fields: Computer science (68-XX)
OPARC Software Authors: Zhang, Xuejing; He, Zishu; Xia, Xiang-Gen; Liao, Bin; Zhang, Xuepan; Yang, Yue Cited in: 2 Publications (2019) Related Software: – Main Fields: Information and communication theory, circuits (94-XX)
PSyHCoS Software Authors: André, Étienne; Liu, Yang; Sun, Jun; Dong, Jin-Song Cited in: 1 Publication (2014) Related Software: Shrinktech; PAT; PPL; Uppaal; HyTech; TREX; … Main Fields: Computer science (68-XX)
AIRCAMA Software Authors: Filipovic, Mirjana Cited in: 1 Publication (2015) Related Software: – Main Fields: Mechanics of particles and systems (70-XX); Systems theory; control (93-XX)
Binary Maker Software Authors: Bradstreet, D. H.; Steelman, D. P. Cited in: 1 Publication (2020) Related Software: clustervalidation; clusfind; RobPer; AS 136; dtw; Silhouettes Main Fields: Statistics (62-XX)
PIDMaster Software Authors: Ostroveršnik, M.; Šehić, Z.; Zupančič, B.; Šega, M. Cited in: 1 Publication (1994) Related Software: ANA Main Fields: Computer science (68-XX)
RGBD-GAN Software Authors: Atsuhiro Noguchi, Tatsuya Harada Cited in: 0 Publications Related Software: MMD GAN; TensorFlow; StyleGAN; Adam; DRIT++; HoloGAN; … Main Fields: –
Time4sys2imi Software Authors: André, Étienne; Jerray, Jawher; Mhiri, Sahar Cited in: 1 Publication (2019) Related Software: Cheddar; Uppaal; IMITATOR Main Fields: Computer science (68-XX)
ParetoLib Software Authors: Bakhirkin, Alexey; Basset, Nicolas; Maler, Oded; Jarabo, José-Ignacio Requeno Cited in: 0 Publications Related Software: – Main Fields: –