Home > Research > LANCASTER UNIVERSITY LEIPZIG > Publications & Outputs

Research

View graph of relations

LANCASTER UNIVERSITY LEIPZIG

1 - 25 out of 200Page size: 25
RSS feed of this list
  1. 2025
  2. Published

    The Kieker Observability Framework Version 2

    Yang, S., Reichelt, D. G., Jung, R., Hansson, M. & Hasselbring, W., 5/05/2025, ICPE '25: Companion of the 16th ACM/SPEC International Conference on Performance Engineering. New York: ACM, p. 11-15 5 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  3. Published

    SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning

    Křetínský, J., Meggendorfer, T., Prokop, M. & Zarkhah, A., 1/05/2025, Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings. Gurfinkel, A. & Heule, M. (eds.). Cham: Springer, p. 233-253 21 p. (Lecture Notes in Computer Science; vol. 15696 LNCS).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  4. Published

    Sound Statistical Model Checking for Probabilities and Expected Rewards

    Budde, C. E., Hartmanns, A., Meggendorfer, T., Weininger, M. & Wienhöft, P., 1/05/2025, Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings. Gurfinkel, A. & Heule, M. (eds.). Cham: Springer, p. 167-190 24 p. (Lecture Notes in Computer Science; vol. 15696 LNCS).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  5. Forthcoming

    Use of Proceeds in Private Equity-Backed Initial Public Offerings

    Hammer, B., Marcotty-Dehm, N. & Martin, J., 23/04/2025, (Accepted/In press) In: British Accounting Review. 101672.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  6. Forthcoming

    A Two-Level Machine Learning Framework for Managing EV Charging and Renewable Energy Curtailment in Smart Grids

    Nasr Esfahani, F., Suri, N. & Ma, X., 16/04/2025, (Accepted/In press) ICCEP - 9th International Conference on CLEAN ELECTRICAL POWER. IEEE, 8 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  7. Published

    Solving Robust Markov Decision Processes: Generic, Reliable, Efficient

    Meggendorfer, T., Weininger, M. & Wienhöft, P., 11/04/2025, In: Proceedings of the AAAI Conference on Artificial Intelligence. 39, 25, p. 26631-26641 11 p.

    Research output: Contribution to Journal/Magazine › Conference article › peer-review

  8. Published

    A Regression-Based Predictive Model Hierarchy for Nonwoven Tensile Strength Inference

    Antweiler, D., Burgard, J. P., Harmening, M., Marheineke, N., Schmeißer, A., Wegener, R. & Welke, P., 10/04/2025, Informed Machine Learning. Schulz, D. & Bauckhage, C. (eds.). Cham: Springer, p. 63-90 28 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

  9. Published

    Do funding agencies select and enable novel research: evidence from ERC

    Veugelers, R., Wang, J. & Stephan, P., 3/04/2025, In: Economics of Innovation and New Technology. p. 1-18 18 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  10. Published

    Learning Algorithms for Verification of Markov Decision Processes

    Brázdil, T., Chatterjee, K., Chmelik, M., Forejt, V., Křetínský, J., Kwiatkowska, M., Meggendorfer, T., Parker, D. & Ujma, M., 1/04/2025, In: TheoretiCS. 4, 13268.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  11. Published

    Federated data acquisition market: Architecture and a mean-field based data pricing strategy

    Hu-Bolz, J., Reed, M., Zhang, K., Liu, Z. & Hu, J., 31/03/2025, In: High-Confidence Computing. 100232.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  12. E-pub ahead of print

    Task assignments with rotations and flexible shift starts to improve demand coverage and staff satisfaction in healthcare

    Schoenfelder, J., Heins, J. & Brunner, J. O., 30/06/2025, In: Journal of Scheduling. 28, 3, p. 329-353 25 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  13. Published

    Cyber Security Foundations: Fundamentals, technology and society

    Martin, K., Happa, J., Mersinas, K. & Schmitz, G., 3/03/2025, London: Kogan Page. 304 p.

    Research output: Book/Report/Proceedings › Book

  14. Published

    Collaboration networks and radical innovation: Two faces of tie strength and structural holes

    Zhang, J., Wang, J., Winnink, J. & Jong, S., 28/02/2025, In: Journal of Informetrics. 19, 1, 101636.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  15. Published

    Architecture Decisions in Quantum Software Systems: An Empirical Study on Stack Exchange and GitHub

    Aktar, M. S., Liang, P., Waseem, M., Tahir, A., Ahmad, A., Zhang, B. & Li, Z., 31/01/2025, In: Information and Software Technology. 177, 107587.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  16. Published

    Exploring the Problems, their Causes and Solutions of AI Pair Programming: A Study on Git Huband Stack Overflow

    Zhou, X., Liang, P., Zhang, B., Li, Z., Ahmad, A., Shahin, M. & Waseem, M., 31/01/2025, In: Journal of Systems and Software. 219, 112204.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  17. Forthcoming

    <del>Security-by-design</del> Securing a compromised system

    Rashid, A., Belguith, S., Bradbury, M., Creese, S., Flechais, I. & Suri, N., 7/01/2025, (Accepted/In press) In: Rossfest Symposium.

    Research output: Contribution to Journal/Magazine › Conference article › peer-review

  18. 2024
  19. Published

    Adversarial Attack Detection via Fuzzy Predictions

    Li, Y., Angelov, P. & Suri, N., 31/12/2024, In: IEEE Transactions on Fuzzy Systems. 32, 12, p. 7015-7024 10 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  20. Published

    Entropic risk for turn-based stochastic games

    Baier, C., Chatterjee, K., Meggendorfer, T. & Piribauer, J., 31/12/2024, In: Information and Computation. 301, 105214.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  21. Published

    FABI: A formal analyser of binary image objects identification tools

    Iqbal, S., Altamimi, A. B., Khan, W., Alsaffar, M., Ahmad, A. & Alfaisal, F. F., 31/12/2024, In: IEEE Access. 12, p. 186313-186325 13 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  22. Published

    Moving away from, moving towards and moving against others: An adaptive multi-strategy approach to defend and build resources in self-protection mode

    Russell, E., O'Reilly, J., Blome, C., Bussi, M., Chung, H., Finney, M., Johansson, H., Leon, M., Leschke, J., Mytna-Kurekova, L., Ruffa, C., Schoyen, M. A., Thürer, M., Unt, M., Verdin, R. & Wallace, C., 31/12/2024, In: Journal of Vocational Behavior. 155, 104052.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  23. Published

    Overhead Measurement Noise in Different Runtime Environments

    Reichelt, D. G., Jung, R. & van Hoorn, A., 31/12/2024, In: Softwaretechnik-Trends. 44, 4, p. 12-14 3 p.

    Research output: Contribution to Journal/Magazine › Conference article › peer-review

  24. Published

    The financial impact of green transformation-based competencies: Does Green IS play just a supporting role?

    Paulraj, A., Rajkumar, C., Jayaraman, V. & Blome, C., 31/12/2024, In: IEEE Transactions on Engineering Management. 71, p. 14243-14257 15 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  25. Published

    The Multifaceted Role of Social Capital for Achieving Organizational Ambidexterity and Supply Chain Resilience

    Aslam, H., Syed, T. A., Blome, C., Ramish, A. & Ayaz, K., 31/12/2024, In: IEEE Transactions on Engineering Management. 71, p. 10571-10584 14 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

  26. Published

    Weisfeiler and Leman Go Loopy: A New Hierarchy for Graph Representational Learning.

    Paolino, R., Maskey, S., Welke, P. & Kutyniok, G., 10/12/2024.

    Research output: Contribution to conference - Without ISBN/ISSN › Conference paper › peer-review

  27. E-pub ahead of print

    Turning creative ideas into successful innovations: Differential effects of network structure for radical and incremental innovation

    Zhang, J., Wang, J., Winnink, J. & Jong, S., 4/12/2024, (E-pub ahead of print) In: The Journal of Technology Transfer. p. 1-21 21 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

Previous 1 2 3 4 5 6 7 8 Next

Back to top