Home > Research > LANCASTER UNIVERSITY LEIPZIG > Publications & Outputs

Research

View graph of relations

LANCASTER UNIVERSITY LEIPZIG

1 - 50 out of 200Page size: 50
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

  28. Published

    Comparing patent in-text and front-page references to science

    Wang, J. & Verberne, S., 30/11/2024, In: Journal of Informetrics. 18, 4, 101564.

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

  29. Published

    Evaluating the Overhead of the Performance Profiler Cloudprofiler With MooBench

    Yang, S., Reichelt, D. G. & Hasselbring, W., 26/11/2024, In: Softwaretechnik-Trends.

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

  30. Published

    Self-Supervised Representation Learning for Adversarial Attack Detection

    Li, Y., Angelov, P. & Suri, N., 26/11/2024, Computer Vision – ECCV 2024: 18th European Conference, Milan, Italy, September 29–October 4, 2024, Proceedings, Part I. Leonardis, A., Ricci, E., Roth, S., Russakovsky, O., Sattler, T. & Varol, G. (eds.). Cham: Springer, p. 236-252 18 p. (Lecture Notes in Computer Science; vol. 15118).

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

  31. Forthcoming

    Robust Self-Supervised Learning for Adversarial Attack Detection

    Li, Y., Angelov, P. & Suri, N., 15/11/2024, (Accepted/In press) The Thirty-Ninth Annual Conference on Neural Information Processing Systems (NIPS).

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

  32. Published

    Logical Distillation of Graph Neural Networks

    Pluska, A., Welke, P., Gärtner, T. & Malhotra, S., 2/11/2024, Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning. Marquis, P., Ortiz, M. & Pagnucco, M. (eds.). IJCAI, p. 920-930 11 p.

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

  33. Published

    Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report

    Andriushchenko, R., Bork, A., Budde, C. E., Češka, M., Grover, K., Hahn, E. M., Hartmanns, A., Israelsen, B., Jansen, N., Jeppson, J., Junges, S., Köhl, M. A., Könighofer, B., Křetínský, J., Meggendorfer, T., Parker, D., Pranger, S., Quatmann, T., Ruijters, E. & Taylor, L. & 3 others, Volk, M., Weininger, M. & Zhang, Z., 1/11/2024, TOOLympics Challenge 2023 - Updates, Results, Successes of the Formal-Methods Competitions. Beyer, D., Hartmanns, A. & Kordon, F. (eds.). Cham: Springer, p. 90-146 57 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14550 LNCS).

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

  34. Published

    Heterogeneous university research and firm R&D location decisions: research orientation, academic quality, and investment type

    Belderbos, R., Braito , N. & Wang, J., 31/10/2024, In: The Journal of Technology Transfer. 49, 5, p. 1959-1989 31 p.

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

  35. Published

    QADL: Prototype of Quantum Architecture Description Language

    Waseem, M., Mikkonen, T., Ahmad, A., Khan, M. T., Haghparast, M., Stirbu, V. & Liang, P., 13/10/2024, Arxiv, p. 1-6, 6 p.

    Research output: Working paper › Preprint

  36. Published

    Advancing database security a comprehensive systematic mapping study of potential challenges

    Iqbal, A., Khan, S. U., Niazi, M., Humayun, M., Sama, N. U., Khan, A. A. & Ahmad, A., 1/10/2024, In: Wireless Networks. 30, 7, p. 6399-6426 28 p.

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

  37. Published

    Causally Deterministic Markov Decision Processes.

    Akshay, S., Meggendorfer, T. & Thiagarajan, P. S., 9/09/2024, 35th International Conference on Concurrency Theory, CONCUR 2024. Majumdar, R. & Silva, A. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 6:1-6:22 22 p. 6. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 311).

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

  38. Published

    Logical Distillation of Graph Neural Networks.

    Pluska, A., Welke, P., Gärtner, T. & Malhotra, S., 21/08/2024, Arxiv.

    Research output: Working paper › Preprint

  39. Published

    Semi-supervised Learning Guided by the Generalized Bayes Rule Under Soft Revision

    Dietrich, S., Rodemann, J. & Jansen, C., 10/08/2024, Combining, Modelling and Analyzing Imprecision, Randomness and Dependence. Cham: Springer, p. 110-117 8 p. (Advances in Intelligent Systems and Computing (AISC); vol. 1458).

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

  40. Published

    Conflicting Work-Family Ideals and Female Resistance in the Global South

    Alcaraz-Barriga, J., Carrillo, V., Vo, L.-C., Lavissiere, M. & Lavissiere, A., 1/08/2024, In: Academy of Management Proceedings. 24, 1

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

  41. Published

    A Reference Architecture for Quantum Computing as a Service

    Ahmad, A., Altamimi, A. B. & Aqib, J., 31/07/2024, In: Journal of King Saud University - Computer and Information Sciences. 36, 6, 18 p., 102094.

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

  42. Published

    Theories of digital platforms for supply chain management: a systematic literature review

    Culotta, C., Blome, C. & Henke, M., 30/07/2024, In: International Journal of Physical Distribution and Logistics Management. 54, 5, p. 449-475 27 p.

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

  43. Published

    Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games

    Meggendorfer, T. & Weininger, M., 26/07/2024, Computer Aided Verification: CAV 2024. Gurfinkel, A. & Ganesh, V. (eds.). Cham: Springer, p. 359-372 14 p. (Lecture Notes in Computer Science; vol. 14683).

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

  44. Published

    Investigating Location-aware Advertisements in Anycast IP Networks

    Kastanakis, S., Giotsas, V., Livadariu, I. & Suri, N., 23/07/2024, ANRW '24: Proceedings of the 2024 Applied Networking Research Workshop. New York: ACM, p. 15-22 8 p.

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

  45. Published

    NodeGuard: A Highly Efficient Two-Party Computation Framework for Training Large-Scale Gradient Boosting Decision Tree

    Dai, T., Jiang, Y., Li, Y. & Mei, F., 4/07/2024, 2024 IEEE Security and Privacy Workshops (SPW). IEEE

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

  46. Published

    Complexity and Supply Chain Sustainability: A Triple-R Perspective

    Anjum, N., Aslam, H. & Blome, C., 3/07/2024.

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

  47. Published

    Ensuring Social Sustainability and Fairtrade in Global Supply Chains using Blockchain Technology

    Anjum, N. & Ahmad, A., 3/07/2024.

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

  48. Published

    Unravelling innovative pathways to supply chain resilience amidst upstream and downstream disruptions

    Anjum, N., Iftikhar, A. & Aslam, H., 3/07/2024.

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

  49. Published

    An empirical study of reflection attacks using NetFlow data

    Chuah, E. & Suri, N., 1/07/2024, In: Cybersecurity. 7, 1, 13.

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

  50. Published

    SiGBDT: Large-Scale Gradient Boosting Decision Tree Training via Function Secret Sharing

    Jiang, Y., Mei, F., Dai, T. & Li, Y., 1/07/2024, ASIA CCS '24: Proceedings of the 19th ACM Asia Conference on Computer and Communications Security. New York: ACM, p. 274-288 15 p.

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

  51. Published

    Comparing machine learning algorithms by union-free generic depth

    Blocher, H., Schollmeyer, G., Nalenz, M. & Jansen, C., 30/06/2024, In: International Journal of Approximate Reasoning. 169, 109166.

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

  52. Published

    The impact of artificial intelligence adoption for business-to-business marketing on shareholder reaction: A social actor perspective

    Zhan, Y., Xiong, Y., Han, R., Lam, H. K. S. & Blome, C., 30/06/2024, In: International Journal of Information Management. 76, 102768.

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

Previous 1 2 3 4 Next

Back to top