Home > Research > LANCASTER UNIVERSITY LEIPZIG > Publications & Outputs

Research

View graph of relations

LANCASTER UNIVERSITY LEIPZIG

76 - 100 out of 200Page size: 25
RSS feed of this list
  1. 2023
  2. 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

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

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

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

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

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

  8. Published

    A New Aligned Simple German Corpus

    Toborek, V., Busch, M., Boßert, M., Bauckhage, C. & Welke, P., 9/07/2023, Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). Stroudsburg, PA: Association for Computational Linguistics (ACL Anthology), p. 11393-11412 20 p.

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

  9. Published

    Hidden Schema Networks

    Sánchez, R. J., Conrads, L., Welke, P., Cvejoski, K. & Marin, C. O., 9/07/2023, Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). Stroudsburg, Pa.: Association for Computational Linguistics, p. 4764-4798 35 p.

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

  10. Published

    An Empirical Evaluation of the Rashomon Effect in Explainable Machine Learning

    Müller, S., Toborek, V., Beckh, K., Jakobs, M., Bauckhage, C. & Welke, P., 27/06/2023, Arxiv.

    Research output: Working paper › Preprint

  11. Published

    Towards Human-Bot Collaborative Software Architecting with ChatGPT

    Ahmad, A., Waseem, M., Liang, P., Fahmideh, M., Aktar, M. S. & Mikkonen, T., 14/06/2023, Proceedings of EASE 2023 - Evaluation and Assessment in Software Engineering. New York: ACM, p. 279-285 7 p. (ACM International Conference Proceeding Series).

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

  12. Published

    Expectation-Complete Graph Representations with Homomorphisms

    Welke, P., Thiessen, M., Jogl, F. & Gärtner, T., 9/06/2023, Arxiv.

    Research output: Working paper › Preprint

  13. Published

    Harnessing Prior Knowledge for Explainable Machine Learning: An Overview

    Beckh, K., Müller, S., Jakobs, M., Toborek, V., Tan, H., Fischer, R., Welke, P., Houben, S. & von Rüden, L., 1/06/2023, 2023 IEEE Conference on Secure and Trustworthy Machine Learning (SaTML). IEEE, p. 450-463 14 p.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Previous 1 2 3 4 5 6 7 8 Next

Back to top