Home > Research > LANCASTER UNIVERSITY LEIPZIG > Publications & Outputs

Research

View graph of relations

LANCASTER UNIVERSITY LEIPZIG

1 - 100 out of 166Page size: 100
RSS feed of this list
  1. 2025
  2. 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

  3. 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

  4. 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

  5. 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

  6. 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

  7. 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

  8. 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

  9. 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

  10. 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

  11. 2024
  12. 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

  13. 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

  14. 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

  15. 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

  16. 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

  17. 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

  18. 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

  19. 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

  20. 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

  21. 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

  22. 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

  23. 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

  24. 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

  25. 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

  26. 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

  27. 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

  28. 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

  29. 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

  30. 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

  31. 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

  32. 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

  33. 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

  34. 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

  35. 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

  36. 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

  37. 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

  38. 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

  39. Published

    Issues and Their Causes in WebAssembly Applications: An Empirical Study

    Waseem, M., Das, T., Ahmad, A., Liang, P. & Mikkonen, T., 18/06/2024, Proceedings of 2024 28th International Conference on Evaluation and Assessment in Software Engineering, EASE 2024. New York: The Association for Computing Machinery, p. 170-180 11 p. (ACM International Conference Proceeding Series).

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

  40. Published

    (Re)-discovering simulation as a critical element of OM/SCM research: call for research

    Melnyk, S. A., Thürer, M., Blome, C., Schoenherr, T. & Gold, S., 10/06/2024, In: International Journal of Operations and Production Management. 44, 7, p. 1376-1389 14 p.

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

  41. Forthcoming

    Federated Adversarial Learning for Robust Autonomous Landing Runway Detection

    Li, Y., Angelov, P., Yu, Z., Lopez Pellicer, A. & Suri, N., 4/06/2024, (Accepted/In press) International Conference on Artificial Neural Networks (ICANN).

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

  42. Published

    Semi-Supervised Learning guided by the Generalized Bayes Rule under Soft Revision

    Dietrich, S., Rodemann, J. & Jansen, C., 24/05/2024, Arxiv.

    Research output: Working paper › Preprint

  43. Published

    Overhead Comparison of Instrumentation Frameworks

    Reichelt, D. G., Bulej, L., Jung, R. & Hoorn, A. V., 7/05/2024, ICPE '24 Companion: Companion of the 15th ACM/SPEC International Conference on Performance Engineering. New York: ACM, p. 249-256 8 p. (Companion of the International Conference on Performance Engineering).

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

  44. Published

    Business Analytics und Operations Management in der Klinik

    Grieger, M., Schoenfelder, J. & Brunner, J. O., 3/05/2024, Digitale Innovationen in der Pflege. Swoboda, W. & Seifert, N. (eds.). Heidelberg: Springer, p. 65-91 27 p.

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

  45. Published

    ChatGPT as a Software Development Bot: A Project-Based Study

    Waseem, M., Das, T., Ahmad, A., Liang, P., Fahmideh, M. & Mikkonen, T., 29/04/2024, Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2024. Kaindl, H., Mannion, M. & Maciaszek, L. (eds.). SciTePress, p. 406-413 8 p. (International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE - Proceedings).

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

  46. Published

    Quantitative Bounds on Resource Usage of Probabilistic Programs

    Chatterjee, K., Goharshady, A. K., Meggendorfer, T. & Žikelić, Đ., 29/04/2024, In: Proceedings of the ACM on Programming Languages. 8, OOPSLA1, p. 362-391 30 p.

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

  47. Published

    Enhanced Arabic disaster data classification using domain adaptation

    Moussa, A. M., Abdou, S., Elsayed, K. M., Rashwan, M., Asif, A., Khatoon, S., Alshamari, M. A. & Elbassuoni, S. (Editor), 4/04/2024, In: PLoS One. 19, 4, e0301255.

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

  48. Published

    Alliances and digital transformation are crucial for benefiting from dynamic supply chain capabilities during times of crisis: A multi-method study

    Dubey, R., Bryde, D. J., Blome, C., Dwivedi, Y. K., Childe, S. J. & Foropon, C., 31/03/2024, In: International Journal of Production Economics. 269, 109166.

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

  49. Published

    Role of green innovation and sustainable supply chain management in firm internationalization

    Anjum, N., Shahid, Z., Mubarik, M. & Mazhar, U., 20/03/2024, In: Review of International Business and Strategy. 34, 2, p. 292-310 19 p.

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

  50. Published

    The role of managerial activities in achieving Information technology ambidexterity and new product development performance in small and medium-sized enterprises

    Syed, T. A., Blome, C., Benitez, J. & Papadopoulos, T., 29/02/2024, In: European Journal of Information Systems. 33, 2, p. 97-122 26 p.

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

  51. Forthcoming

    Investigating the supply chain agility–Innovation link: The role of organizational context

    Aslam, H., Blome, C., Schleper, M. C., Ramish, A. & Bajwa, S. U., 22/02/2024, (Accepted/In press) In: European Management Journal.

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

  52. Published

    Layered Symbolic Security Analysis in DY*

    Bhargavan, K., Bichhawat, A., Hosseyni, P., Küsters, R., Pruiksma, K., Schmitz, G., Waldmann, C. & Würtele, T., 12/01/2024, Computer Security – ESORICS 2023 - 28th European Symposium on Research in Computer Security, 2023, Proceedings. Tsudik, G., Conti, M., Liang, K. & Smaragdakis, G. (eds.). p. 3-21 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14346 LNCS).

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

  53. Published

    Some contributions to decision making in complex information settings with imprecise probabilities and incomplete preferences: Theoretical and algorithmic results

    Jansen, C., 2024

    Research output: Thesis › Doctoral Thesis

  54. 2023
  55. Published

    Patient-to-nurse ratios: Balancing quality, nurse turnover, and cost

    Cho, D., Bretthauer, K. M. & Schoenfelder, J., 31/12/2023, In: Health Care Management Science. 26, 4, p. 807-826 20 p.

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

  56. Published

    An empirical study on secure usage of mobile health apps: the attack simulation approach

    Aljedaani, B., Ahmad, A., Zahedi, M. & Babar, M. A., 30/11/2023, In: Information and Software Technology. 163, 107285.

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

  57. Published

    More is Less in Kieker? The Paradox of No Logging Being Slower Than Logging

    Reichelt, D. G., Jung, R., Hoorn, A. V. & Hoorn, A. V., 8/11/2023, 14th Symposium on Software Performance.

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

  58. Published

    Reachability Poorman Discrete-Bidding Games.

    Avni, G., Meggendorfer, T., Sadhukhan, S., Tkadlec, J. & Žikelić, Đ., 28/09/2023, ECAI 2023 - 26th European Conference on Artificial Intelligence, including 12th Conference on Prestigious Applications of Intelligent Systems, PAIS 2023 - Proceedings. Gal, K., Gal, K., Nowe, A., Nalepa, G. J., Fairstein, R. & Radulescu, R. (eds.). p. 141-148 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 372).

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

  59. Published

    Entropic Risk for Turn-Based Stochastic Games.

    Baier, C., Chatterjee, K., Meggendorfer, T. & Piribauer, J., 28/08/2023, 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023. Leroux, J., Lombardy, S. & Peleg, D. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 272. p. 15:1-15:16 16 p. 15. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 272).

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

  60. Published

    Robust statistical comparison of random variables with locally varying scale of measurement

    Jansen, C., Schollmeyer, G., Blocher, H., Rodemann, J. & Augustin, T., 31/07/2023, Proceedings of the Thirty-Ninth Conference on Uncertainty in Artificial Intelligence. PMLR, (PMLR; vol. 216).

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

  61. Published

    Statistical Comparisons of Classifiers by Generalized Stochastic Dominance

    Jansen, C., Nalenz, M., Schollmeyer, G. & Augustin, T., 31/07/2023, In: Journal of Machine Learning Research. 24, 37 p.

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

  62. Published

    Neural Cellular Automata Can Respond to Signals

    Stovold, J., 24/07/2023, ALIFE 2023: Ghost in the Machine: : Proceedings of the 2023 Artificial Life Conference. Cambridge, Mass.: MIT Press

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

  63. Published

    Guessing Winning Policies in LTL Synthesis by Semantic Learning.

    Kretínský, J., Meggendorfer, T., Prokop, M. & Rieder, S., 17/07/2023, Computer Aided Verification - 35th International Conference, CAV 2023, Proceedings. Enea, C. & Lal, A. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 390-414 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13964 LNCS).

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

  64. Published

    MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives.

    Akshay, S., Chatterjee, K., Meggendorfer, T. & Žikelić, Đ., 17/07/2023, Computer Aided Verification - 35th International Conference, CAV 2023, Proceedings. Enea, C. & Lal, A. (eds.). p. 86-112 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13966 LNCS).

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

  65. Published

    Depth functions for partial orders with a descriptive analysis of machine learning algorithms

    Blocher, H., Schollmeyer, G., Jansen, C. & Nalenz, M., 14/07/2023, Proceedings of the Thirteenth International Symposium on Imprecise Probability: Theories and Applications (ISIPTA 2023). PMLR, p. 59-71 13 p. (PMLR; vol. 215).

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

  66. Published

    In All Likelihoods: Robust Selection of Pseudo-Labeled Data

    Rodemann, J., Jansen, C., Schollmeyer, G. & Augustin, T., 14/07/2023, Proceedings of the Thirteenth International Symposium on Imprecise Probabilities: Theories and Applications (ISIPTA '23). PMLR, p. 412-425 14 p. (PMLR; vol. 215).

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

  67. Published

    Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives.

    Kretínský, J., Meggendorfer, T. & Weininger, M., 14/07/2023, 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2023. IEEE, p. 1-14 14 p. (Proceedings - Symposium on Logic in Computer Science; vol. 2023-June).

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

  68. Published

    Hidden Schema Networks

    Sánchez, R. J., Conrads, L., Welke, P., Cvejoski, K. & Ojeda, C., 26/05/2023, Arxiv.

    Research output: Working paper › Preprint

  69. Published

    Multi-target Decision Making Under Conditions of Severe Uncertainty

    Jansen, C., Schollmeyer, G. & Augustin, T., 19/05/2023, Modeling Decisions for Artificial Intelligence: 20th International Conference, MDAI 2023, Umeå, Sweden, June 19–22, 2023, Proceedings. Torra, V. & Narukawa, Y. (eds.). Cham: Springer, p. 45-57 18 p. (Lecture Notes in Artificial Intelligence; vol. 13890).

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

  70. Published

    Adaptive Security for Self-Protection of Mobile Computing Devices

    Ahmad, A., Malik, A. W., Alreshidi, A., Khan, W. & Sajjad, M., 30/04/2023, In: Mobile Networks and Applications. 28, 2, p. 653-672 20 p.

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

  71. Published

    Correct Approximation of Stationary Distributions.

    Meggendorfer, T., 22/04/2023, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Sankaranarayanan, S. & Sharygina, N. (eds.). Springer, p. 489-507 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13993 LNCS).

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

  72. Published

    Towards Solving the Challenge of Minimal Overhead Monitoring

    Reichelt, D. G., Kühne, S. & Hasselbring, W., 15/04/2023, ICPE 2023 - Companion of the 2023 ACM/SPEC International Conference on Performance Engineering. New York: ACM, p. 381-388 8 p.

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

  73. Published

    Retention Is All You Need

    Mohiuddin, K., Alam, M. A., Alam, M. M., Welke, P., Martin, M., Lehmann, J. & Vahdati, S., 6/04/2023, Arxiv.

    Research output: Working paper › Preprint

  74. Published

    Frequent Generalized Subgraph Mining via Graph Edit Distances

    Palme, R. & Welke, P., 31/01/2023, Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD 2022). Koprinska, I. (ed.). Cham: Springer, p. 477-483 7 p. (Communications in Computer and Information Science; vol. 1753).

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

  75. Published

    Faster Algorithm for Turn-based Stochastic Games with Bounded Treewidth.

    Chatterjee, K., Meggendorfer, T., Saona, R. & Svoboda, J., 16/01/2023, 34th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2023. Curran Associates, Inc. , p. 4590-4605 16 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms; vol. 2023-January).

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

  76. Published

    Quantifying Degrees of E-admissibility in Decision Making with Imprecise Probabilities

    Jansen, C., Schollmeyer, G. & Augustin, T., 14/01/2023, Reflections on the Foundations of Probability and Statistics: Essays in Honor of Teddy Seidenfeld. Augustin, T., Gagliardi Cozman, F. & Wheeler, G. (eds.). Cham: Springer, p. 319-346 28 p. (Theory and Decision Library A; vol. 54).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed) › peer-review

  77. Forthcoming

    Learning by doing and environmental sustainability: The moderating role of employee empowerment

    Anjum, N., Paulraj, A. & Blome, C., 2023, (Accepted/In press) 2024 POMS Annual Conference.

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

  78. 2022
  79. Published

    Machine learning framework to predict nonwoven material properties from fiber graph representations

    Antweiler, D., Harmening, M., Marheineke, N., Schmeißer, A., Wegener, R. & Welke, P., 31/12/2022, In: Software Impacts. 14, 100423.

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

  80. Published

    Algorithms and Hardness Results for Computing Cores of Markov Chains.

    Ahmadi, A., Chatterjee, K., Goharshady, A. K., Meggendorfer, T., Safavi, R. & Zikelic, Ð., 14/12/2022, 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2022. Dawar, A. & Guruswami, V. (eds.). p. 29:1-29:20 20 p. 29. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 250).

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

  81. Published

    Generic performance measurement in CI: The GeoMap Case Study

    Reichelt, D. G., Krauß, H., Kühne, S. & Hasselbring, W., 7/11/2022. 3 p.

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

  82. Published

    Index appearance record with preorders

    Kretínský, J., Meggendorfer, T., Waldmann, C. & Weininger, M., 31/10/2022, In: Acta Informatica. 59, 5, p. 585-618 34 p., 5.

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

  83. Published

    PET - A Partial Exploration Tool for Probabilistic Verification.

    Meggendorfer, T., 21/10/2022, Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Proceedings. Bouajjani, A., Holík, L. & Wu, Z. (eds.). p. 320-326 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13505 LNCS).

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

  84. Published

    Risk aversion over finite domains

    Baccelli, J., Schollmeyer, G. & Jansen, C., 30/09/2022, In: Theory and Decision. 93, p. 371-397 27 p.

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

  85. Published

    Anytime Guarantees for Reachability in Uncountable Markov Decision Processes.

    Grover, K., Kretínský, J., Meggendorfer, T. & Weininger, M., 6/09/2022, 33rd International Conference on Concurrency Theory, CONCUR 2022. Klin, B., Lasota, S. & Muscholl, A. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 11:1-11:20 20 p. 11. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 243).

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

  86. Published

    Towards Process Centered Architecting for Quantum Software Systems

    Ahmad, A., Khan, A. A., Waseem, M., Fahmideh, M. & Mikkonen, T., 18/08/2022, Proceedings - 2022 IEEE International Conference on Quantum Software, QSW 2022. Ali, S., Ardagna, C. A., Barzen, J., Bian, H., Chang, C. K., Chang, R. N., Damiani, E., Faro, I., Feld, S., Leymann, F., Martin-Fernandez, F. J., Ward, R., Wimmer, M., Xhafa, F., Yu, J. & Zhang, J. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 26-31 6 p. (Proceedings - 2022 IEEE International Conference on Quantum Software, QSW 2022).

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

  87. Published

    Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs

    Chatterjee, K., Goharshady, A. K., Meggendorfer, T. & Žikelić, Đ., 7/08/2022, Computer Aided Verification - 34th International Conference, CAV 2022, Proceedings. Shoham, S. & Vizel, Y. (eds.). Cham: Springer, p. 55-78 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13371 LNCS).

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

  88. Published

    Software Engineering for Internet of Things: The Practitioners' Perspective

    Fahmideh, M., Ahmad, A., Behnaz, A., Grundy, J. & Susilo, W., 1/08/2022, In: IEEE Transactions on Software Engineering. 48, 8, p. 2857-2878 22 p.

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

  89. Published

    A generalized Weisfeiler-Lehman graph kernel

    Schulz, T. H., Horváth, T., Welke, P. & Wrobel, S., 31/07/2022, In: Machine Learning. 111, 7, p. 2601-2629 29 p.

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

  90. Published

    A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification

    Do, Q. H., Hosseyni, P., Küsters, R., Schmitz, G., Wenzler, N. & Würtele, T., 27/07/2022, 43rd IEEE Symposium on Security and Privacy (S&P 2022). IEEE

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

  91. Published

    Decision making with state-dependent preference systems

    Jansen, C. & Augustin, T., 4/07/2022, Information Processing and Management of Uncertainty in Knowledge-Based Systems. Cham: Springer, ( Communications in Computer and Information Science; vol. 1601).

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

  92. Published

    Statistical Models for Partial Orders Based on Data Depth and Formal Concept Analysis

    Blocher, H., Schollmeyer, G. & Jansen, C., 4/07/2022, Information Processing and Management of Uncertainty in Knowledge-Based Systems. Ciucci, D., Couso, I., Medina, J., Ślęzak, D., Petturiti, D., Bouchon-Meunier, B. & Yager, R. R. (eds.). Cham: Springer, (Communications in Computer and Information Sciences; vol. 1602).

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

  93. Published

    Graph Filtration Kernels

    Schulz, T. H., Welke, P. & Wrobel, S., 28/06/2022, p. 8196-8203. 8 p.

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

  94. Published

    Risk-Aware Stochastic Shortest Path

    Meggendorfer, T., 28/06/2022, AAAI-22 Technical Tracks 9. p. 9858-9867 10 p. (Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022; vol. 36).

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

  95. Published

    Decision Models for Selecting Patterns and Strategies in Microservices Systems and their Evaluation by Practitioners

    Waseem, M., Liang, P., Ahmad, A., Shahin, M., Khan, A. A. & Márquez, G., 17/06/2022, Proceedings - 2022 ACM/IEEE 44th International Conference on Software Engineering: Software Engineering in Practice, ICSE-SEIP 2022. IEEE Computer Society Press, p. 135-144 10 p. (Proceedings - International Conference on Software Engineering).

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

  96. Published

    Ethics of AI: A Systematic Literature Review of Principles and Challenges

    Khan, A. A., Badshah, S., Liang, P., Waseem, M., Khan, B., Ahmad, A., Fahmideh, M., Niazi, M. & Akbar, M. A., 13/06/2022, Proceedings of the ACM International Conference on Evaluation and Assessment in Software Engineering, EASE 2022. New York: The Association for Computing Machinery, p. 383-392 10 p. (ACM International Conference Proceeding Series).

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

  97. Published

    Information efficient learning of complexly structured preferences: Elicitation procedures and their application to decision making under uncertainty

    Jansen, C., Blocher, H., Augustin, T. & Schollmeyer, G., 31/05/2022, In: International Journal of Approximate Reasoning. 144, p. 69-91 23 p.

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

  98. Published

    Personalmanagement

    Stargardt, T., Kotter, P. M., Dorn, T., Albrecht, C., Edwards, D. R., Winter, C., Oswald, J., Schmidt-Rettig, B., Kopetsch, T., Wende, D., Golubinski, V., Hoogestraat, F., Wild, E.-M., Winter, V., Kirchner, L., Blobner, M., Brunner, J. O., Gross, C. N. & Schoenfelder, J., 24/05/2022, Management im Gesundheitswesen. Busse, R., Schreyögg, J. & Stargardt, T. (eds.). Heidelberg: Springer, p. 437-527 91 p.

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

  99. Published

    Privacy-preserving Web single sign-on: Formal security analysis and design

    Schmitz, G., 26/04/2022, In: IT - Information Technology. 64, 1-2, p. 43-48 6 p.

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

  100. 2021
  101. Published

    Software Engineering for IoT-Driven Data Analytics Applications

    Ahmad, A., Fahmideh, M., Altamimi, A. B., Katib, I., Albeshri, A., Alreshidi, A., Alanazi, A. A. & Mehmood, R., 31/12/2021, In: IEEE Access. 9, p. 48197-48217 21 p., 9374926.

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

  102. Published

    SUSAN: The Structural Similarity Random Walk Kernel

    Kalofolias, J., Welke, P. & Vreeken, J., 31/12/2021, Proceedings of the 2021 SIAM International Conference on Data Mining (SDM). Demeniconi, C., Davidson, I., Akoglu, L. & Terzi, E. (eds.). SIAM PUBLICATIONS, p. 298-306 9 p.

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

  103. Published

    A Tutorial-Style Introduction to DY*

    Bhargavan, K., Bichhawat, A., Do, Q. H., Hosseyni, P., Küsters, R., Schmitz, G. & Würtele, T., 19/11/2021, Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday. Dougherty, D., Meseguer, J., Mödersheim, S. A. & Rowe, P. (eds.). Cham: Springer, p. 77-97 21 p. (Lecture Notes in Computer Science ; vol. 13066).

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

  104. Published

    An In-Depth Symbolic Security Analysis of the ACME Standard

    Bhargavan, K., Bichhawat, A., Do, Q. H., Hosseyni, P., Küsters, R., Schmitz, G. & Würtele, T., 13/11/2021, CCS 2021 - Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security. New York: ACM, p. 2601-2617 17 p.

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

  105. Published

    DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code

    Bhargavan, K., Bichhawat, A., Do, Q. H., Hosseyni, P., Küsters, R., Schmitz, G. & Würtele, T., 4/11/2021, 2021 IEEE European Symposium on Security and Privacy, (Euro S & P) 2021. IEEE, p. 523-542 20 p.

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

Previous 1 2 Next

Back to top