受强制性开放获取政策约束的文章 - Bor-Yuh Evan Chang了解详情
可在其他位置公开访问的文章：15 篇
Hippo signaling-mediated mechanotransduction in cell movement and cancer metastasis
YC Chang, JW Wu, CW Wang, ACC Jang
Frontiers in molecular biosciences 6, 157, 2020
强制性开放获取政策： US National Institutes of Health
Semantic-directed clumping of disjunctive abstract states
H Li, F Berenger, BYE Chang, X Rival
ACM SIGPLAN Notices 52 (1), 32-45, 2017
强制性开放获取政策： US National Science Foundation
Demanded abstract interpretation
B Stein, BYE Chang, M Sridharan
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
强制性开放获取政策： US National Science Foundation
Static analysis with demand-driven value refinement
B Stein, BB Nielsen, BYE Chang, A Møller
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019
强制性开放获取政策： US National Science Foundation, US Department of Defense, European Commission
Invariant Generation for Parametrized Systems Using Self-reflection: (Extended Version)
A Sanchez, S Sankaranarayanan, C Sánchez, BYE Chang
Static Analysis: 19th International Symposium, SAS 2012, Deauville, France …, 2012
强制性开放获取政策： Government of Spain
Differential performance debugging with discriminant regression trees
S Tizpaz-Niari, P Cerny, BYE Chang, A Trivedi
Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018
强制性开放获取政策： US Department of Defense
DroidStar callback typestates for Android classes
A Radhakrishna, NV Lewchenko, S Meier, S Mover, KC Sripada, ...
Proceedings of the 40th International Conference on Software Engineering …, 2018
强制性开放获取政策： US Department of Defense, European Commission
Mining framework usage graphs from app corpora
S Mover, S Sankaranarayanan, RBP Olsen, BYE Chang
2018 IEEE 25th International Conference on Software Analysis, Evolution and …, 2018
强制性开放获取政策： US Department of Defense
Discriminating traces with time
S Tizpaz-Niari, P Černý, BYE Chang, S Sankaranarayanan, A Trivedi
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
强制性开放获取政策： US Department of Defense
Safe stream-based programming with refinement types
B Stein, L Clapp, M Sridharan, BYE Chang
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
强制性开放获取政策： US National Science Foundation, US Department of Defense
ChimpCheck: property-based randomized test generation for interactive apps
ESL Lam, P Zhang, BYE Chang
Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas …, 2017
强制性开放获取政策： US National Science Foundation, US Department of Defense
Selectively-Amortized Resource Bounding
T Lu, BYE Chang, A Trivedi
Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA …, 2021
强制性开放获取政策： US National Science Foundation, US Department of Defense
Lifestate: Event-Driven Protocols and Callback Control Flow
S Meier, S Mover, BYE Chang
33rd European Conference on Object-Oriented Programming (ECOOP 2019), 2019
强制性开放获取政策： US Department of Defense
Historia: Refuting Callback Reachability with Message-History Logics
S Meier, S Mover, G Kaki, BYE Chang
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1905-1934, 2023
强制性开放获取政策： US National Science Foundation
A vision for online verification-validation
MA Hammer, BYE Chang, D Van Horn
ACM SIGPLAN Notices 52 (3), 190-201, 2016
强制性开放获取政策： US National Science Foundation
出版信息和资助信息由计算机程序自动确定