Thermal stability and topological protection of skyrmions in nanotracks D Cortés-Ortuño, W Wang, M Beg, RA Pepper, MA Bisotti, R Carey, ... Scientific reports 7 (1), 4060, 2017 | 173 | 2017 |

Do images of Biskyrmions show type‐II bubbles? JC Loudon, AC Twitchett‐Harrison, D Cortés‐Ortuño, MT Birch, ... Advanced Materials 31 (16), 1806598, 2019 | 95 | 2019 |

Dynamics of skyrmionic states in confined helimagnetic nanostructures M Beg, M Albert, MA Bisotti, D Cortés-Ortuno, W Wang, R Carey, ... Physical Review B 95 (1), 014433, 2017 | 76 | 2017 |

User interfaces for computational science: A domain specific language for OOMMF embedded in Python M Beg, RA Pepper, H Fangohr AIP Advances 7 (5), 2017 | 66 | 2017 |

Fidimag--a finite difference atomistic and micromagnetic simulation package MA Bisotti, D Cortés-Ortuño, RA Pepper, W Wang, M Beg, T Kluyver, ... arXiv preprint arXiv:2002.04318, 2020 | 59 | 2020 |

Nanoscale magnetic skyrmions and target states in confined geometries D Cortés-Ortuño, N Romming, M Beg, K Von Bergmann, A Kubetzka, ... Physical Review B 99 (21), 214408, 2019 | 58 | 2019 |

Proposal for a micromagnetic standard problem for materials with Dzyaloshinskii–Moriya interaction D Cortés-Ortuño, M Beg, V Nehruji, L Breth, R Pepper, T Kluyver, ... New Journal of Physics 20 (11), 113015, 2018 | 52 | 2018 |

On skew braces and their ideals A Konovalov, A Smoktunowicz, L Vendramin Experimental mathematics 30 (1), 95-104, 2021 | 45 | 2021 |

Interoperability in the OpenDreamKit project: the math-in-the-middle approach PO Dehaye, M Iancu, M Kohlhase, A Konovalov, S Lelièvre, D Müller, ... Intelligent Computer Mathematics: 9th International Conference, CICM 2016 …, 2016 | 37 | 2016 |

Classification of alignments between concepts of formal mathematical systems D Müller, T Gauthier, C Kaliszyk, M Kohlhase, F Rabe International Conference on Intelligent Computer Mathematics, 83-98, 2017 | 32 | 2017 |

Skyrmion states in thin confined polygonal nanostructures RA Pepper, M Beg, D Cortés-Ortuño, T Kluyver, MA Bisotti, R Carey, ... Journal of Applied Physics 123 (9), 2018 | 29 | 2018 |

Data analysis support in Karabo at European XFEL H Fangohr, M Beg, V Bondar, S Aplin, A Barty, M Kuhn, V Mariani, ... | 29 | 2017 |

The L-functions and modular forms database project J Cremona Foundations of Computational Mathematics 16 (6), 1541-1553, 2016 | 25 | 2016 |

Stable and manipulable Bloch point M Beg, RA Pepper, D Cortés-Ortuño, B Atie, MA Bisotti, G Downing, ... Scientific reports 9 (1), 7959, 2019 | 24 | 2019 |

Minimal and canonical images C Jefferson, E Jonauskyte, M Pfeiffer, R Waldecker Journal of Algebra 521, 481-506, 2019 | 24 | 2019 |

A central limit theorem for Lipschitz–Killing curvatures of Gaussian excursions D Müller Journal of Mathematical Analysis and Applications 452 (2), 1040-1081, 2017 | 22 | 2017 |

Linear time interactive certificates for the minimal polynomial and the determinant of a sparse matrix JG Dumas, E Kaltofen, E Thomé, G Villard Proceedings of the ACM on International Symposium on Symbolic and Algebraic …, 2016 | 21 | 2016 |

Time and space efficient generators for quasiseparable matrices C Pernet, A Storjohann Journal of Symbolic Computation 85, 224-246, 2018 | 20 | 2018 |

Making PVS accessible to generic services by interpretation in a universal format M Kohlhase, D Müller, S Owre, F Rabe Interactive Theorem Proving: 8th International Conference, ITP 2017 …, 2017 | 19 | 2017 |

Fast computation of the rank profile matrix and the generalized Bruhat decomposition JG Dumas, C Pernet, Z Sultan Journal of Symbolic Computation 83, 187-210, 2017 | 18 | 2017 |