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

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

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

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

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

  6. Published

    The Kieker Observability Framework Version 2

    Yang, S., Reichelt, D. G., Jung, R., Hansson, M. & Hasselbring, W., 5/05/2025, ICPE '25: Companion of the 16th ACM/SPEC International Conference on Performance Engineering. New York: ACM, p. 11-15 5 p.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  34. Published

    Graph Filtration Kernels

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

    Research output: Working paper › Preprint

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

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

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

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

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

  40. Published

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

    Schmitz, G., 2019

    Research output: Thesis › Doctoral Thesis

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Previous 1 2 Next

Back to top