Home > Research > LANCASTER UNIVERSITY LEIPZIG > Publications & Outputs

Research

View graph of relations

LANCASTER UNIVERSITY LEIPZIG

1 - 167 out of 167Page size: 500
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

    A New Aligned Simple German Corpus

    Toborek, V., Busch, M., Boßert, M., Bauckhage, C. & Welke, P., 2/09/2022, Arxiv.

    Research output: Working paper › Preprint

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  101. 2021
  102. 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

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

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

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

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

  107. Published

    Special Issue on IoT for Fighting COVID-19

    Boldrini, C., Ahmad, A., Fahmideh, M., Ramadan, R. & Younis, M., 31/10/2021, In: Pervasive and Mobile Computing. 77, 101492.

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

  108. Published

    Graph Filtration Kernels

    Schulz, T. H., Welke, P. & Wrobel, S., 22/10/2021, Arxiv.

    Research output: Working paper › Preprint

  109. Published

    On the nature of issues in five open source microservices systems: An empirical study

    Waseem, M., Liang, P., Shahin, M., Ahmad, A. & Nassab, A. R., 21/06/2021, Proceedings of EASE 2021 - Evaluation and Assessment in Software Engineering. The Association for Computing Machinery, p. 201-210 10 p. (ACM International Conference Proceeding Series).

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

  110. Published

    Explainable Machine Learning with Prior Knowledge: An Overview

    Beckh, K., Müller, S., Jakobs, M., Toborek, V., Tan, H., Fischer, R., Welke, P., Houben, S. & von Rueden, L., 21/05/2021, Arxiv.

    Research output: Working paper › Preprint

  111. Published

    Decision Snippet Features

    Welke, P., Alkhoury, F., Bauckhage, C. & Wrobel, S., 5/05/2021, 2020 25th International Conference on Pattern Recognition (ICPR). IEEE, p. 4260-4267 8 p.

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

  112. Published

    A Generalized Weisfeiler-Lehman Graph Kernel

    Schulz, T. H., Horváth, T., Welke, P. & Wrobel, S., 20/01/2021, Arxiv.

    Research output: Working paper › Preprint

  113. 2020
  114. Published

    Security and Privacy for mHealth and uHealth Systems: A Systematic Mapping Study

    Iwaya, L. H., Ahmad, A. & Ali Babar, M., 31/12/2020, In: IEEE Access. 8, p. 150081-150112 32 p., 9165743.

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

  115. Published

    Security awareness of end-users of mobile health applications: An empirical study

    Aljedaani, B., Ahmad, A., Zahedi, M. & Ali Babar, M., 7/12/2020, Proceedings of the 17th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MobiQuitous 2020. The Association for Computing Machinery, p. 125-136 12 p. (ACM International Conference Proceeding Series).

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

  116. Published

    An empirical study on developing secure mobile health apps: The developers' perspective

    Aljedaani, B., Ahmad, A., Zahedi, M. & Babar, M. A., 1/12/2020, Proceedings - 2020 27th Asia-Pacific Software Engineering Conference, APSEC 2020. IEEE Computer Society Press, p. 208-217 10 p. 9359266. (Proceedings - Asia-Pacific Software Engineering Conference, APSEC; vol. 2020-December).

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

  117. Published

    Multiple Texts as a Limiting Factor in Online Learning: Quantifying (Dis-)similarities of Knowledge Networks across Languages

    Mehler, A., Hemati, W., Welke, P., Konca, M. & Uslu, T., 3/11/2020, In: Frontiers in Education. 5, 562670.

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

  118. Published

    Efficient Frequent Subgraph Mining in Transactional Databases.

    Welke, P., 9/10/2020, Efficient Frequent Subgraph Mining in Transactional Databases.. IEEE, p. 307-314 7 p.

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

  119. Published

    Of Cores: A Partial-Exploration Framework for Markov Decision Processes.

    Kretínský, J. & Meggendorfer, T., 1/10/2020, In: Log. Methods Comput. Sci.. 16, 4, 4.

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

  120. Published

    HOPS: Probabilistic Subtree Mining for Small and Large Graphs.

    Welke, P., Seiffarth, F., Kamp, M. & Wrobel, S., 20/08/2020, p. 1275-1284.

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

  121. Published

    Classification and Mapping of Adaptive Security for Mobile Computing

    Sajjad, M., Ahmad, A., Malik, A. W., Altamimi, A. B. & Alseadoon, I., 1/07/2020, In: IEEE Transactions on Emerging Topics in Computing. 8, 3, p. 814-832 19 p., 8252799.

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

  122. Published

    Efficient Frequent Subtree Mining Beyond Forests

    Welke, P., 30/06/2020, IOS Press. 188 p. (Dissertations in Artificial Intelligence; vol. 348)

    Research output: Book/Report/Proceedings › Book

  123. 2019
  124. Published

    Satisfiability Bounds for ω-Regular Properties in Bounded-Parameter Markov Decision Processes.

    Weininger, M., Meggendorfer, T. & Kretínský, J., 11/12/2019, 2019 IEEE 58th Conference on Decision and Control, CDC 2019. p. 2284-2291 8 p. 9029460. (Proceedings of the IEEE Conference on Decision and Control; vol. 2019-December).

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

  125. Published

    Cloud-based detection of road bottlenecks using obd-ii telematics

    Sohail, A. M., Khattak, K. S., Iqbal, A., Khan, Z. H. & Ahmad, A., 29/11/2019, Proceedings - 22nd International Multitopic Conference, INMIC 2019. Institute of Electrical and Electronics Engineers Inc., 9022754. (Proceedings - 22nd International Multitopic Conference, INMIC 2019).

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

  126. Published

    Software architecture for mobile cloud computing systems

    Alreshidi, A., Ahmad, A., Altamimi, A. B., Sultan, K. & Mehmood, R., 13/11/2019, In: Future Internet. 11, 11, 238.

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

  127. Published

    Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis.

    Kretínský, J., Manta, A. & Meggendorfer, T., 21/10/2019, Automated Technology for Verification and Analysis- 17th International Symposium, AVTA 2019, Proceedings. Chen, Y.-F., Cheng, C.-H. & Esparza, J. (eds.). p. 404-422 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11781 LNCS).

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

  128. Published

    Of Cores: A Partial-Exploration Framework for Markov Decision Processes.

    Kretínský, J. & Meggendorfer, T., 1/08/2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). p. 1-17 17 p. 5. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 140).

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

  129. Published

    Probabilistic and exact frequent subtree mining in graphs beyond forests

    Welke, P., Horváth, T. & Wrobel, S., 15/07/2019, In: Machine Learning. 108, 7, p. 1137-1164 28 p.

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

  130. Published

    Architecting software for the Internet of Thing based systems

    Alreshidi, A. & Ahmad, A., 10/07/2019, In: Future Internet. 11, 7, 153.

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

  131. Forthcoming

    A mobile cloud framework for context-aware and portable recommender system for smart markets

    Khan, A., Ahmad, A., Rahman, A. U. & Alkhalil, A., 21/06/2019, (Accepted/In press) EAI/Springer Innovations in Communication and Computing. Mehmood, R., See, S., Katib, I. & Chlamtac, I. (eds.). Springer Science and Business Media Deutschland GmbH, p. 283-309 27 p. (EAI/Springer Innovations in Communication and Computing).

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

  132. Published

    Privacy-preserving web single sign-on: formal security analysis and design

    Schmitz, G., 2019

    Research output: Thesis › Doctoral Thesis

  133. 2018
  134. Published

    A probabilistic evaluation framework for preference aggregation reflecting group homogeneity

    Jansen, C., Schollmeyer, G. & Augustin, T., 30/11/2018, In: Mathematical Social Sciences. 96, p. 49-62 14 p.

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

  135. Published

    Probabilistic frequent subtrees for efficient graph classification and retrieval

    Welke, P., Horváth, T. & Wrobel, S., 30/11/2018, In: Machine Learning. 107, 11, p. 1847-1873 27 p.

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

  136. Published

    Mining Patterns from Change Logs to Support Reuse-Driven Evolution of Software Architectures

    Ahmad, A., Pahl, C., Altamimi, A. B. & Alreshidi, A., 1/11/2018, In: Journal of Computer Science and Technology. 33, 6, p. 1278-1306 29 p.

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

  137. Published

    Mining Tree Patterns with Partially Injective Homomorphisms.

    Schulz, T. H., Horváth, T., Welke, P. & Wrobel, S., 14/09/2018, Mining Tree Patterns with Partially Injective Homomorphisms.. Springer, Cham, Vol. 11052. p. 585-601 16 p. (Lecture Notes in Computer Science; vol. 11052).

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

  138. Published

    Concepts for decision making under severe uncertainty with partial ordinal and partial cardinal preferences

    Jansen, C., Schollmeyer, G. & Augustin, T., 31/07/2018, In: International Journal of Approximate Reasoning. 98, p. 112-131 20 p.

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

  139. Published

    IoT-based implementation and mobility-driven management of the smart and energy efficient home appliance ecosystem

    Ahmad, A., Altamimi, A. B. & Alshammari, M. T., 22/07/2018, Smart Societies, Infrastructure, Technologies and Applications - First International Conference, SCITA 2017, Proceedings. Mehmood, R., Katib, I., Chlamtac, I. & Bhaduri, B. (eds.). Springer-Verlag, p. 353-356 4 p. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST; vol. 224).

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

  140. Published

    Rabinizer 4: From LTL to Your Favourite Deterministic Automaton.

    Kretínský, J., Meggendorfer, T., Sickert, S. & Ziegler, C., 18/07/2018, CAV 2018: Computer Aided Verification . Springer, p. 567-577 11 p.

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

  141. Published

    Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes.

    Kretínský, J. & Meggendorfer, T., 9/07/2018, LICS. p. 609-618 10 p.

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

  142. Published

    Owl: A Library for ω-Words, Automata, and LTL.

    Kretínský, J., Meggendorfer, T. & Sickert, S., 2018, ATVA 2018: Automated Technology for Verification and Analysis. Springer, p. 543-550 8 p.

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

  143. 2017
  144. Published

    The Web SSO Standard OpenID Connect: In-depth Formal Security Analysis and Security Guidelines

    Fett, D., Küsters, R. & Schmitz, G., 28/09/2017, 2017 IEEE 30th Computer Security Foundations Symposium (CSF). IEEE

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

  145. Published

    Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes.

    Kretínský, J. & Meggendorfer, T., 27/09/2017, ATVA 2017: Automated Technology for Verification and Analysis . Springer, p. 380-399 20 p.

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

  146. Published

    Simple Necessary Conditions for the Existence of a Hamiltonian Path with Applications to Cactus Graphs

    Welke, P., 5/09/2017, Arxiv.

    Research output: Working paper › Preprint

  147. Published

    A simple descriptive method for multidimensional item response theory based on stochastic dominance

    Schollmeyer, G., Jansen, C. & Augustin, T., 31/08/2017, Technical Reports, Department of Statistics, LMU Munich, 210 30 p.

    Research output: Contribution to specialist publication › Technical Report › peer-review

  148. Published

    Detecting stochastic dominance for poset-valued random variables as an example of linear programming on closure systems

    Schollmeyer, G., Jansen, C. & Augustin, T., 31/08/2017, Technical Reports, Department of Statistics, LMU Munich, 209 69 p.

    Research output: Contribution to specialist publication › Technical Report › peer-review

  149. Published

    Value Iteration for Long-Run Average Reward in Markov Decision Processes.

    Ashok, P., Chatterjee, K., Daca, P., Kretínský, J. & Meggendorfer, T., 13/07/2017, CAV 2017: Computer Aided Verification . Majumdar, R. & Kunčak, V. (eds.). Cham: Springer, p. 201-221 21 p. (Lecture Notes in Computer Science ; vol. 10426).

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

  150. Published

    Decision Theory Meets Linear Optimization Beyond Computation

    Jansen, C., Schollmeyer, G. & Augustin, T., 15/06/2017, Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings. Antonucci, A., Cholvy, L. & Papini, O. (eds.). Cham: Springer, p. 329-339 11 p. (Lecture Notes in Computer Science; vol. 10369).

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

  151. Published

    Index Appearance Record for Transforming Rabin Automata into Parity Automata.

    Kretínský, J., Meggendorfer, T., Waldmann, C. & Weininger, M., 31/03/2017, TACAS 2017: Tools and Algorithms for the Construction and Analysis of Systems. Springer, p. 443-460 18 p.

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

  152. 2016
  153. Published

    Three-hop distance estimation in social graphs.

    Welke, P., Markowetz, A., Suel, T. & Christoforaki, M., 5/12/2016, Three-hop distance estimation in social graphs.. IEEE, p. 1048-1055 7 p.

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

  154. Published

    Software architectures for robotic systems: A systematic mapping study

    Ahmad, A. & Babar, M. A., 1/12/2016, In: Journal of Systems and Software. 122, p. 16-39 24 p.

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

  155. Published

    A comprehensive formal security analysis of OAuth 2.0

    Fett, D., Küsters, R. & Schmitz, G., 24/10/2016, Proceedings of the ACM Conference on Computer and Communications Security. ACM, p. 1204-1215

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

  156. Published

    Ligand Affinity Prediction with Multi-pattern Kernels.

    Ullrich, K., Mack, J. & Welke, P., 21/09/2016, Ligand Affinity Prediction with Multi-pattern Kernels.. Springer Nature, p. 474-489 15 p. (Lecture Notes in Computer Science; vol. 9956).

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

  157. Published

    Min-Hashing for Probabilistic Frequent Subtree Feature Spaces.

    Welke, P., Horváth, T. & Wrobel, S., 21/09/2016, Min-Hashing for Probabilistic Frequent Subtree Feature Spaces.. 1 ed. Springer, Cham, Vol. 9956. p. 67-82 15 p. (Lecture Notes in Computer Science; vol. 9956).

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

  158. Published

    Differentiating smartphone users by app usage.

    Welke, P., Andone, I., Blaszkiewicz, K. & Markowetz, A., 12/09/2016, Differentiating smartphone users by app usage.. The Association for Computing Machinery, p. 519-523 4 p.

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

  159. Published

    Probabilistic Frequent Subtree Kernels.

    Welke, P., Horváth, T. & Wrobel, S., 18/05/2016, Probabilistic Frequent Subtree Kernels.. Springer, Cham, Vol. 9067. p. 179-193 14 p. (Lecture Notes in Computer Science; vol. 9607).

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

  160. Published

    Analyzing the BrowserID SSO System with Primary Identity Providers Using an Expressive Model of the Web

    Fett, D., Küsters, R. & Schmitz, G., 13/01/2016, Computer Security -- ESORICS 2015: 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part I. Pernul, G., Ryan, P. Y. A. & Weippl, E. (eds.). Cham: Springer, (Lecture Notes in Computer Science; vol. 9326).

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

  161. Published

    A Comprehensive Formal Security Analysis of OAuth 2.0.

    Fett, D., Küsters, R. & Schmitz, G., 2016

    Research output: Other contribution

  162. Published

    Pi and More: Eine Veranstaltungsreihe rund um "kleine Computer"

    Fett, D. & Schmitz, G., 2016, Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI).

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

  163. 2015
  164. Published

    On the Complexity of Frequent Subtree Mining in Very Simple Structures.

    Welke, P., Horváth, T. & Wrobel, S., 27/12/2015, Springer Switerzland. Springer Nature, Vol. 9046. p. 194-209 (Lecture Notes in Computer Science; vol. 9046).

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

  165. Published

    SPRESSO: A Secure, Privacy-Respecting Single Sign-On System for the Web

    Fett, D., Küsters, R. & Schmitz, G., 12/10/2015, Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security - CCS '15. New York: ACM, p. 1358-1369 12 p.

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

  166. Published

    SPRESSO: A Secure, Privacy-Respecting Single Sign-On System for the Web

    Fett, D., Küsters, R. & Schmitz, G., 7/08/2015

    Research output: Other contribution

  167. 2014
  168. Published

    An Expressive Model for the Web Infrastructure: Definition and Application to the Browser ID SSO System

    Fett, D., Küsters, R. & Schmitz, G., 20/11/2014, 2014 IEEE Symposium on Security and Privacy. IEEE

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

  169. Published

    Classification and comparison of architecture evolution reuse knowledge - A systematic review

    Ahmad, A., Jamshidi, P. & Pahl, C., 18/07/2014, In: Journal of Software: Evolution and Process. 26, 7, p. 654-691 38 p.

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

  170. Published

    Autonomic resource provisioning for cloud-based software

    Jamshidi, P., Ahmad, A. & Pahl, C., 2/06/2014, 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014 - Proceedings. The Association for Computing Machinery, p. 95-104 10 p. (9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014 - Proceedings).

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

  171. Published

    A framework for architecture-driven migration of legacy systems to cloud-enabled software

    Ahmad, A. & Babar, M. A., 7/04/2014, 11th Working IEEE/IFIP Conference on Software Architecture, WICSA 2014 - Proceedings. The Association for Computing Machinery, p. 1-8 8 p. 7. (ACM International Conference Proceeding Series).

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

  172. Published

    Towards a pattern language for self-adaptation of cloud-based architectures

    Ahmad, A. & Babar, M. A., 7/04/2014, 11th Working IEEE/IFIP Conference on Software Architecture, WICSA 2014 - Proceedings. New York: The Association for Computing Machinery, p. 1-8 8 p. 7. (ACM International Conference Proceeding Series).

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

  173. 2013
  174. Published

    Cloud Migration Research: A Systematic Review

    Jamshidi, P., Ahmad, A. & Pahl, C., 31/12/2013, In: IEEE Transactions on Cloud Computing. 1, 2, p. 142-157 16 p., 6624108.

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

  175. Published

    A framework for classifying and comparing architecture-centric software evolution research

    Jamshidi, P., Ghafari, M., Ahmad, A. & Pahl, C., 8/03/2013, Proceedings of the 17th European Conference on Software Maintenance and Reengineering, CSMR 2013. IEEE, p. 305-314 10 p. 6498478. (Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR).

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

  176. 2012
  177. Published

    Graph-based implicit knowledge discovery from architecture change logs

    Ahmad, A., Jamshidi, P., Arshad, M. & Pahl, C., 20/08/2012, Joint 10th Working Conference on Software Architecture, WICSA 2012 and 6th European Conference on Software Architecture, ECSA 2012 - Proceedings Companion Volume. New York: The Association for Computing Machinery, p. 116-123 8 p. (ACM International Conference Proceeding Series).

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

  178. Published

    Pattern-driven reuse in architecture-centric evolution for service software

    Ahmad, A., Jamshidi, P. & Pahl, C., 24/07/2012, ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends. SciTePress, p. 279-284 6 p. (ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends).

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

  179. Published

    Graph-based pattern identification from architecture change logs

    Ahmad, A., Jamshidi, P. & Pahl, C., 2012, Advanced Information Systems EngineeringWorkshops - CAiSE 2012 International Workshops, Proceedings. Bajec, M. & Eder, J. (eds.). Berlin: Springer-Verlag, p. 200-213 14 p. (Lecture Notes in Business Information Processing; vol. 112 ).

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

  180. 2011
  181. Published

    Customisable transformation-driven evolution for service architectures

    Ahmad, A. & Pahl, C., 5/04/2011, Proceedings - 2011 15th European Conference on Software Maintenance and Reengineering, CSMR 2011. IEEE, p. 373-376 4 p. 5741350. (Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR).

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

  182. 2010
  183. Published

    Pattern-based customisable transformations for style-based service architecture evolution

    Ahmad, A. & Pahl, C., 22/11/2010, 2010 International Conference on Computer Information Systems and Industrial Management Applications, CISIM 2010. IEEE, p. 371-376 6 p. 5643631. (2010 International Conference on Computer Information Systems and Industrial Management Applications, CISIM 2010).

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

Back to top