| Probabilistic cegar H Hermanns, B Wachter, L Zhang International Conference on Computer Aided Verification, 162-175, 2008 | 253 | 2008 |
| On probabilistic automata in continuous time C Eisentraut, H Hermanns, L Zhang 2010 25th Annual IEEE Symposium on Logic in Computer Science, 342-351, 2010 | 215 | 2010 |
| PARAM: A Model Checker for Parametric Markov Models EM Hahn, H Hermanns, B Wachter, L Zhang Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010 | 181 | 2010 |
| Revisit the VEC rule in high entropy alloys (HEAs) with high-throughput CALPHAD approach and its applications for material design-A case study with Al–Co–Cr–Fe–Ni system S Yang, J Lu, F Xing, L Zhang, Y Zhong Acta Materialia 192, 11-19, 2020 | 130 | 2020 |
| Programmed co-delivery of paclitaxel and doxorubicin boosted by camouflaging with erythrocyte membrane Q Fu, P Lv, Z Chen, D Ni, L Zhang, H Yue, Z Yue, W Wei, G Ma Nanoscale 7 (9), 4020-4030, 2015 | 128 | 2015 |
| iscasMc: A Web-Based Probabilistic Model Checker EM Hahn, Y Li, S Schewe, A Turrini, L Zhang FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014 | 128 | 2014 |
| InSe: a two-dimensional material with strong interlayer coupling Y Sun, S Luo, XG Zhao, K Biswas, SL Li, L Zhang Nanoscale 10 (17), 7991-7998, 2018 | 126 | 2018 |
| Synthesis for PCTL in parametric Markov decision processes EM Hahn, T Han, L Zhang Nasa formal methods symposium, 146-161, 2011 | 123 | 2011 |
| Hregnet: A hierarchical network for large-scale outdoor lidar point cloud registration F Lu, G Chen, Y Liu, L Zhang, S Qu, S Liu, R Gu Proceedings of the IEEE/CVF International Conference on Computer Vision …, 2021 | 122 | 2021 |
| Perovskite solar absorbers: materials by design Q Xu, D Yang, J Lv, YY Sun, L Zhang Small Methods 2 (5), 1700316, 2018 | 122 | 2018 |
| Dynamic regret of strongly adaptive methods L Zhang, T Yang, ZH Zhou International conference on machine learning, 5882-5891, 2018 | 120 | 2018 |
| Efficient distance metric learning by adaptive sampling and mini-batch stochastic gradient descent (SGD) Q Qian, R Jin, J Yi, L Zhang, S Zhu Machine Learning 99, 353-372, 2015 | 118 | 2015 |
| Measurability and safety verification for stochastic hybrid systems M Fränzle, EM Hahn, H Hermanns, N Wolovick, L Zhang Proceedings of the 14th international conference on Hybrid systems …, 2011 | 118 | 2011 |
| Bismuth and antimony-based oxyhalides and chalcohalides as potential optoelectronic materials Z Ran, X Wang, Y Li, D Yang, XG Zhao, K Biswas, DJ Singh, L Zhang npj Computational Materials 4 (1), 14, 2018 | 117 | 2018 |
| Safety verification for probabilistic hybrid systems L Zhang, Z She, S Ratschan, H Hermanns, EM Hahn European Journal of Control 18 (6), 572-587, 2012 | 117 | 2012 |
| Review on health management system for lithium-ion batteries of electric vehicles ZB Omariba, L Zhang, D Sun Electronics 7 (5), 72, 2018 | 115 | 2018 |
| Thermodynamic properties of the Al–Fe–Ni system acquired via a hybrid approach combining calorimetry, first-principles and CALPHAD L Zhang, J Wang, Y Du, R Hu, P Nash, XG Lu, C Jiang Acta Materialia 57 (18), 5324-5341, 2009 | 114 | 2009 |
| Optimal operation of heavy-haul trains equipped with electronically controlled pneumatic brake systems using model predictive control methodology L Zhang, X Zhuan IEEE Transactions on Control Systems Technology 22 (1), 13-22, 2013 | 113 | 2013 |
| A pragmatic method to determine the composition-dependent interdiffusivities in ternary systems by using a single diffusion couple W Chen, L Zhang, Y Du, C Tang, B Huang Scripta Materialia 90, 53-56, 2014 | 112 | 2014 |
| Effects of rare-earth element, Y, additions on the microstructure and mechanical properties of CoCrFeNi high entropy alloy LJ Zhang, MD Zhang, Z Zhou, JT Fan, P Cui, PF Yu, Q Jing, MZ Ma, ... Materials Science and Engineering: A 725, 437-446, 2018 | 109 | 2018 |
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusBestätigte E-Mail-Adresse bei cs.uni-saarland.de
