Home > Research > LANCASTER UNIVERSITY LEIPZIG > Publications & Outputs

Research

View graph of relations

LANCASTER UNIVERSITY LEIPZIG

1 - 100 out of 169Page size: 100
RSS feed of this list
Sort by: Title
  1. 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

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

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

  4. Published

    A Comprehensive Formal Security Analysis of OAuth 2.0.

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

    Research output: Other contribution

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

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

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

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

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

  10. Published

    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, EAI/Springer Innovations in Communication and Computing. Mehmood, R., See, S., Katib, I. & Chlamtac, I. (eds.). Cham: Springer, p. 283-309 27 p. (EAI/Springer Innovations in Communication and Computing).

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

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

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

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

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

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

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

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

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

  19. Published

    Adversarial Attack Detection via Fuzzy Predictions

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

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

  20. Published

    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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  66. Published

    Evaluating the Overhead of the Performance Profiler Cloudprofiler With MooBench

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

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

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

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

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

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

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

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

  73. Published

    Graph Filtration Kernels

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

    Research output: Working paper › Preprint

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Previous 1 2 Next

Back to top