| Battery-aware scheduling in low orbit: the GomX–3 case M Bisgaard, D Gerhardt, H Hermanns, J Krčál, G Nies, M Stenger Formal Aspects of Computing 31 (2), 261-285, 2019 | 57 | 2019 |
| Battery-aware contact plan design for LEO satellite constellations: The ulloriaq case study JA Fraire, G Nies, C Gerstacker, H Hermanns, K Bay, M Bisgaard IEEE Transactions on Green Communications and Networking 4 (1), 236-245, 2019 | 45 | 2019 |
| Mastering Operational Limitations of LEO Satellites–The G Nies, M Stenger, J Krcál, H Hermanns Theoretical Computer Science 126, 183-235, 2016 | 28* | 2016 |
| How is your satellite doing? Battery kinetics with recharging and uncertainty H Hermanns, J Krčál, G Nies Leibniz Transactions on Embedded Systems 4 (1), 04-1-04: 28, 2017 | 27 | 2017 |
| Recharging probably keeps batteries alive H Hermanns, J Krčál, G Nies International Workshop on Design, Modeling, and Evaluation of Cyber Physical …, 2015 | 19 | 2015 |
| On the scalability of battery‐aware contact plan design for LEO satellite constellations JA Fraire, C Gerstacker, H Hermanns, G Nies, M Bisgaard, K Bay International Journal of Satellite Communications and Networking 39 (2), 193-204, 2021 | 16 | 2021 |
| Pareto optimal reachability analysis for simple priced timed automata Z Zhang, B Nielsen, KG Larsen, G Nies, M Stenger, H Hermanns International Conference on Formal Engineering Methods, 481-495, 2017 | 6 | 2017 |
| Quantification of Battery Depletion Risk Made Efficient H Hermanns, G Nies NASA Formal Methods Symposium, 156-174, 2022 | | 2022 |
| Mastering satellite operation: on model-based and data-driven optimal battery-aware scheduling G Nies Saarländische Universitäts-und Landesbibliothek, 2021 | | 2021 |
| Battery-Aware Contact Plan Design for LEO Satellite JA Fraire, G Nies, H Hermanns, K Bay IEEE Sensors Journal 14 (11), 3874-3882, 2014 | | 2014 |
| Representations of Boolean Functions in Constructive Type Theory G Nies Saarland University, 2012 | | 2012 |
