journal of symbolic computation (12)
journal of systems science and complexity (8)
science china information sciences (5)
journal of systems science & complexity (4)
journal of systems science \& complexity (4)
communications biology (3)
communications in nonlinear science and numerical simulation (3)
computer aided verification. part i (3)
computer-aided design (3)
frontiers in oncology (3)
frontiers of computer science (3)
ieee transactions on computer-aided design of integrated circuits & systems (3)
italian journal of animal science (3)
journal of bone and mineral research (3)
journal of medicinal chemistry (3)
nano research (3)
steroids (3)
abstract and applied analysis (2)
acm transactions on embedded computing systems (2)
fm 2016: formal methods (2)
international journal of molecular sciences (2)
isprs international journal of geo-information (2)
issac 2013---proceedings of the 38th international symposium on symbolic and algebraic computation (2)
journal of autoimmunity (2)
journal of biological chemistry (2)
journal of power sources (2)
journal of systems science and mathematical sciences. xitong kexue yu shuxue (2)
molecules (2)
nature medicine (2)
nonlinear analysis: hybrid systems (2)
proceedings of the 2007 international workshop: symbolic-numeric computation (2)
proceedings of the national academy of sciences of the united states of america (2)
science china-information sciences (2)
scientia horticulturae (2)
the innovation (2)
virologica sinica (2)
2009 international joint conference on computational sciences and optimization, computational sciences and optimization, 2009. cso 2009. international joint conference on (1)
2014 ieee 40th photovoltaic specialist conference (pvsc), photovoltaic specialist conference (pvsc), 2014 ieee 40th (1)
2016 international conference on embedded software (emsoft), embedded software (emsoft), 2016 international conference on (1)
2018 international symposium on theoretical aspects of software engineering (tase), theoretical aspects of software engineering (tase), 2018 international symposium on, tase (1)
2019 ieee/cvf conference on computer vision and pattern recognition (cvpr), computer vision and pattern recognition (cvpr), 2019 ieee/cvf conference on (1)
2019 international symposium on theoretical aspects of software engineering (tase), theoretical aspects of software engineering (tase), 2019 international symposium on (1)
2021 58th acm/ieee design automation conference (dac), design automation conference (dac), 2021 58th acm/ieee (1)
2022 26th international conference on pattern recognition (icpr), pattern recognition (icpr), 2022 26th international conference on (1)
2023 60th acm/ieee design automation conference (dac), design automation conference (dac), 2023 60th acm/ieee (1)
2023 ieee/cvf conference on computer vision and pattern recognition (cvpr), computer vision and pattern recognition (cvpr), 2023 ieee/cvf conference on, cvpr (1)
2023 ieee/cvf conference on computer vision and pattern recognition workshops (cvprw), computer vision and pattern recognition workshops (cvprw), 2023 ieee/cvf conference on, cvprw (1)
computer aided verification (1)
icassp 2023 - 2023 ieee international conference on acoustics, speech and signal processing (icassp), acoustics, speech and signal processing (icassp), icassp 2023 - 2023 ieee international conference on (1)
journal of the national cancer institute (1)