| Ponatinib (AP24534) inhibits MEKK3-KLF signaling and prevents formation and progression of cerebral cavernous malformations JP Choi, R Wang, X Yang, X Wang, L Wang, KK Ting, M Foley, V Cogger, ... Science Advances 4 (11), eaau0731, 2018 | 33 | 2018 |
| Cerebral cavernous malformations are driven by ADAMTS5 proteolysis of versican CC Hong, AT Tang, MR Detter, JP Choi, R Wang, X Yang, AA Guerrero, ... Journal of Experimental Medicine 217 (10), 2020 | 22 | 2020 |
| Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model R Wang, LM Kristensen, H Meling, V Stolz Journal of Logical and Algebraic Methods in Programming 104, 254-273, 2019 | 15 | 2019 |
| Pdcd10-Stk24/25 complex controls kidney water reabsorption by regulating Aqp2 membrane targeting R Wang, ST Wu, X Yang, Y Qian, JP Choi, R Gao, S Song, Y Wang, ... JCI insight 6 (12), 2021 | 10 | 2021 |
| Application of Model-based Testing on a Quorum-based Distributed Storage. R Wang, LM Kristensen, H Meling, V Stolz PNSE@ Petri Nets, 177-196, 2017 | 8 | 2017 |
| Visualization and abstractions for execution paths in model-based software testing R Wang, C Artho, LM Kristensen, V Stolz Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen …, 2019 | 6 | 2019 |
| Region-based geocast routing protocols for VANETs: Summary, evaluation methods and simulation models R Wang, H Zhang, T Larsson 2014 International Conference on Connected Vehicles and Expo (ICCVE), 731-738, 2014 | 4 | 2014 |
| Simulation of region-based geocast routing protocols H Zhang, R Wang, T Larsson 2014 International Conference on Connected Vehicles and Expo (ICCVE), 723-730, 2014 | 4 | 2014 |
| MBT/CPN: A tool for model-based software testing of distributed systems protocols using coloured petri nets R Wang, LM Kristensen, V Stolz Verification and Evaluation of Computer and Communication Systems: 12th …, 2018 | 3 | 2018 |
| Multi-objective Search for Model-based Testing R Wang, C Artho, LM Kristensen, V Stolz | 2 | 2020 |
| Integration of runtime verification into metamodeling for simulation and code generation (position paper) F Macias, T Scheffel, M Schmitz, R Wang Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain …, 2016 | 2 | 2016 |
| Model-based Testing of the Gorums Framework for Fault-tolerant Distributed Systems Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz Transactions on Petri Nets and Other Models of Concurrency XIII 11090 …, 2018 | 1 | 2018 |
| Release of STK24/25 suppression on MEKK3 signaling in endothelial cells confers Cerebral cavernous malformation X Yang, ST Wu, R Gao, R Wang, Y Wang, Z Dong, L Wang, C Qi, X Wang, ... JCI insight, 2023 | | 2023 |
| Model-based software testing for distributed systems and protocols R Wang Høgskulen på Vestlandet, 2020 | | 2020 |
| Multi-objective reinforcement learning and optimization for the search-based test case generation of Model-based software testing. R Wang | | |
| Integration of Runtime Verification into Metamodeling F Macıas, T Scheffel, M Schmitz, R Wang, M Leucker, A Rutle, V Stolz Workshop on Programming Theory (NWPT’16), 40, 0 | | |
Volker StolzHøgskulen på Vestlandet & Universitetet i OsloVerified email at foldr.org
