formal verification of simulink/stateflow diagrams (16)
journal of immunology research (7)
boundary value problems (5)
artificial intelligence in medicine (4)
international journal of mathematics (4)
journal of applied mathematics (4)
journal of systems science and complexity (4)
mathematical methods in the applied sciences (4)
chinese journal of chemical engineering (3)
international journal of cancer (3)
journal of mathematical analysis and applications (3)
journal of systems science & complexity (3)
mathematics in computer science (3)
scientific reports (3)
2018 ieee 3rd international conference on image, vision and computing (icivc), image, vision and computing (icivc), 2018 ieee 3rd international conference on (2)
advances in mathematical physics (2)
communications on pure and applied analysis (2)
fm 2012: formal methods (2)
fm 2014: formal methods (2)
fm 2015: formal methods (2)
formal aspects of computing (2)
international journal of wavelets, multiresolution & information processing (2)
journal of clinical oncology (2)
journal of electronic imaging (2)
journal of experimental & clinical cancer research (2)
journal of experimental & clinical cancer research (17569966) (2)
journal of nonlinear sciences and applications (2)
journal of nonlinear sciences and applications. jnsa (2)
pattern recognition (2)
proceedings of spie (2)
2008 international seminar on business and information management, business and information management, 2008. isbim '08. international seminar on (1)
2009 second international workshop on knowledge discovery and data mining, knowledge discovery and data mining, 2009. wkdd 2009. second international workshop on (1)
2010 chinese conference on pattern recognition (ccpr), pattern recognition (ccpr), 2010 chinese conference on (1)
2011 proceedings of the ninth acm international conference on embedded software (emsoft), embedded software (emsoft), 2011 proceedings of the international conference on (1)
2012 19th ieee international conference on image processing, image processing (icip), 2012 19th ieee international conference on (1)
2013 ieee international conference on image processing, image processing (icip), 2013 20th ieee international conference on (1)
2017 international conference on security, pattern analysis, and cybernetics (spac), security, pattern analysis, and cybernetics (spac), 2017 international conference on (1)
2020 ieee international conference on image processing (icip), image processing (icip), 2020 ieee international conference on (1)
2022 26th international conference on pattern recognition (icpr), pattern recognition (icpr), 2022 26th international conference on (1)
2023 international joint conference on neural networks (ijcnn), neural networks (ijcnn), 2023 international joint conference on (1)
automated reasoning and mathematics (1)
cancer research (1)
current problems in cancer (1)
formal aspects of computing: applicable formal methods (1)
frontiers in microbiology (1)
hscc2020---proceedings of the 23rd international conference on hybrid systems: computation and control (1)
international journal of wavelets multiresolution and information processing (1)
international journal of wavelets, multiresolution and information processing (1)
journal of mathematical analysis & applications (1)
journal of systems science \& complexity (1)